[PATCH] D51251: [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default

[George Karpenkov via Phabricator via cfe-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rC340963: [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default (authored by george.karpenkov, committed by ).
Herald added a subscriber: cfe-commits.

Changed prior to commit:
  https://reviews.llvm.org/D51251?vs=162534&id=163177#toc

Repository:
  rC Clang

https://reviews.llvm.org/D51251

Files:
  include/clang/Driver/CC1Options.td
  include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
  lib/Driver/ToolChains/Clang.cpp
  lib/Frontend/CompilerInvocation.cpp
  lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  test/Analysis/MisusedMovedObject.cpp
  test/Analysis/PR24184.cpp
  test/Analysis/PR37855.c
  test/Analysis/additive-folding-range-constraints.c
  test/Analysis/additive-folding.cpp
  test/Analysis/analyzer-config.c
  test/Analysis/analyzer-config.cpp
  test/Analysis/array-struct-region.c
  test/Analysis/atomics.c
  test/Analysis/blocks-no-inline.c
  test/Analysis/bstring.c
  test/Analysis/bstring.cpp
  test/Analysis/call-invalidation.cpp
  test/Analysis/casts.c
  test/Analysis/conditional-operator.cpp
  test/Analysis/const-method-call.cpp
  test/Analysis/constant-folding.c
  test/Analysis/copy-elision.cpp
  test/Analysis/ctor.mm
  test/Analysis/cxx-for-range.cpp
  test/Analysis/dtor.cpp
  test/Analysis/edges-new.mm
  test/Analysis/func.c
  test/Analysis/global-region-invalidation.c
  test/Analysis/global_region_invalidation.mm
  test/Analysis/gtest.cpp
  test/Analysis/inline-plist.c
  test/Analysis/inline.cpp
  test/Analysis/inlining/InlineObjCClassMethod.m
  test/Analysis/inlining/containers.cpp
  test/Analysis/inlining/dyn-dispatch-bifurcate.cpp
  test/Analysis/inlining/false-positive-suppression.c
  test/Analysis/inlining/stl.cpp
  test/Analysis/invalidated-iterator.cpp
  test/Analysis/iterator-range.cpp
  test/Analysis/ivars.m
  test/Analysis/lifetime-extension.cpp
  test/Analysis/logical-ops.c
  test/Analysis/loop-widening-notes.cpp
  test/Analysis/loop-widening.c
  test/Analysis/malloc-plist.c
  test/Analysis/misc-ps-eager-assume.m
  test/Analysis/misc-ps.c
  test/Analysis/missing-bind-temporary.cpp
  test/Analysis/new-ctor-conservative.cpp
  test/Analysis/new-ctor-inlined.cpp
  test/Analysis/new-ctor-recursive.cpp
  test/Analysis/new-ctor-symbolic.cpp
  test/Analysis/new.cpp
  test/Analysis/null-deref-path-notes.cpp
  test/Analysis/objc-for.m
  test/Analysis/plist-macros.cpp
  test/Analysis/plist-output.m
  test/Analysis/pr22954.c
  test/Analysis/properties.m
  test/Analysis/ptr-arith.c
  test/Analysis/reference.cpp
  test/Analysis/region-store.c
  test/Analysis/self-assign.cpp
  test/Analysis/std-c-library-functions.c
  test/Analysis/string.c
  test/Analysis/svalbuilder-rearrange-comparisons.c
  test/Analysis/switch-case.c
  test/Analysis/temp-obj-dtors-option.cpp
  test/Analysis/templates.cpp
  test/Analysis/temporaries.cpp
  test/Analysis/test-after-div-zero.c
  test/Analysis/unions.cpp
  test/Analysis/unix-fns.c
  test/Analysis/weak-functions.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D51251.163177.patch
Type: text/x-patch
Size: 68016 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180829/8c1e2939/attachment-0001.bin>