]> granicus.if.org Git - clang/commit
[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default
authorGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 29 Aug 2018 20:29:17 +0000 (20:29 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 29 Aug 2018 20:29:17 +0000 (20:29 +0000)
commitfaff2291a94c9af1ea16d3cbf13b9180079d4874
tree8525aecae75757e3f1b78ba274e0018b651d4f9b
parentd2d7786ce5484832659567070a1ffc232b5cf40c
[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default

Differential Revision: https://reviews.llvm.org/D51251

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@340963 91177308-0d34-0410-b5e6-96231b3b80d8
76 files changed:
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