[PATCH] D28952: [analyzer] Add new Z3 constraint manager backend

Dominic Chen via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Feb 18 21:18:19 PST 2017


ddcc updated this revision to Diff 89058.
ddcc added a comment.

Fix macro check


https://reviews.llvm.org/D28952

Files:
  CMakeLists.txt
  cmake/modules/FindZ3.cmake
  include/clang/Config/config.h.cmake
  include/clang/StaticAnalyzer/Core/Analyses.def
  include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
  lib/StaticAnalyzer/Core/CMakeLists.txt
  lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp
  test/Analysis/CFContainers-invalid.c
  test/Analysis/CFContainers.mm
  test/Analysis/CFDateGC.m
  test/Analysis/CFNumber.c
  test/Analysis/CFRetainRelease_NSAssertionHandler.m
  test/Analysis/CGColorSpace.c
  test/Analysis/CheckNSError.m
  test/Analysis/DeallocMissingRelease.m
  test/Analysis/DeallocUseAfterFreeErrors.m
  test/Analysis/DynamicTypePropagation.m
  test/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp
  test/Analysis/Malloc+MismatchedDeallocator_intersections.cpp
  test/Analysis/Malloc+NewDelete_intersections.cpp
  test/Analysis/MemRegion.cpp
  test/Analysis/MismatchedDeallocator-checker-test.mm
  test/Analysis/MismatchedDeallocator-path-notes.cpp
  test/Analysis/MissingDealloc.m
  test/Analysis/NSContainers.m
  test/Analysis/NSPanel.m
  test/Analysis/NSString.m
  test/Analysis/NSWindow.m
  test/Analysis/NewDelete+MismatchedDeallocator_intersections.cpp
  test/Analysis/NewDelete-checker-test.cpp
  test/Analysis/NewDelete-custom.cpp
  test/Analysis/NewDelete-intersections.mm
  test/Analysis/NewDelete-path-notes.cpp
  test/Analysis/NewDelete-variadic.cpp
  test/Analysis/NewDeleteLeaks-PR18394.cpp
  test/Analysis/NewDeleteLeaks-PR19102.cpp
  test/Analysis/NoReturn.m
  test/Analysis/OSAtomic_mac.cpp
  test/Analysis/ObjCProperties.m
  test/Analysis/ObjCPropertiesSyntaxChecks.m
  test/Analysis/ObjCRetSigs.m
  test/Analysis/PR12905.c
  test/Analysis/PR24184.cpp
  test/Analysis/PR2599.m
  test/Analysis/PR2978.m
  test/Analysis/PR3991.m
  test/Analysis/PR7218.c
  test/Analysis/additive-folding-range-constraints.c
  test/Analysis/additive-folding.cpp
  test/Analysis/analyzeOneFunction.m
  test/Analysis/analyzer-checker-config.c
  test/Analysis/analyzer-config.c
  test/Analysis/analyzer-config.cpp
  test/Analysis/analyzer-display-progress.cpp
  test/Analysis/analyzer-display-progress.m
  test/Analysis/analyzer-enabled-checkers.c
  test/Analysis/analyzer-stats.c
  test/Analysis/array-struct-region.c
  test/Analysis/array-struct-region.cpp
  test/Analysis/array-struct.c
  test/Analysis/atomics.c
  test/Analysis/auto-obj-dtors-cfg-output.cpp
  test/Analysis/base-init.cpp
  test/Analysis/bitwise-ops.c
  test/Analysis/block-in-critical-section.cpp
  test/Analysis/blocks-no-inline.c
  test/Analysis/blocks.m
  test/Analysis/blocks.mm
  test/Analysis/bool-assignment.c
  test/Analysis/bstring.c
  test/Analysis/bstring.cpp
  test/Analysis/bug_hash_test.cpp
  test/Analysis/bug_hash_test.m
  test/Analysis/builtin-functions.cpp
  test/Analysis/call-invalidation.cpp
  test/Analysis/cast-to-struct.cpp
  test/Analysis/castexpr-callback.c
  test/Analysis/casts.c
  test/Analysis/casts.cpp
  test/Analysis/casts.m
  test/Analysis/cfg.cpp
  test/Analysis/cfref_PR2519.c
  test/Analysis/cfref_rdar6080742.c
  test/Analysis/check-deserialization.cpp
  test/Analysis/checker-plugins.c
  test/Analysis/chroot.c
  test/Analysis/comparison-implicit-casts.cpp
  test/Analysis/complex-init-list.cpp
  test/Analysis/complex.c
  test/Analysis/concrete-address.c
  test/Analysis/conditional-operator.cpp
  test/Analysis/conditional-path-notes.c
  test/Analysis/const-method-call.cpp
  test/Analysis/constant-folding.c
  test/Analysis/conversion.c
  test/Analysis/copypaste/asm.cpp
  test/Analysis/copypaste/attributes.cpp
  test/Analysis/copypaste/blocks.cpp
  test/Analysis/copypaste/call.cpp
  test/Analysis/copypaste/catch.cpp
  test/Analysis/copypaste/delete.cpp
  test/Analysis/copypaste/dependent-exist.cpp
  test/Analysis/copypaste/expr-types.cpp
  test/Analysis/copypaste/fold.cpp
  test/Analysis/copypaste/function-try-block.cpp
  test/Analysis/copypaste/functions.cpp
  test/Analysis/copypaste/generic.c
  test/Analysis/copypaste/labels.cpp
  test/Analysis/copypaste/lambda.cpp
  test/Analysis/copypaste/macro-complexity.cpp
  test/Analysis/copypaste/macros.cpp
  test/Analysis/copypaste/objc-methods.m
  test/Analysis/copypaste/plist-diagnostics-notes-as-events.cpp
  test/Analysis/copypaste/plist-diagnostics.cpp
  test/Analysis/copypaste/sub-sequences.cpp
  test/Analysis/copypaste/suspicious-clones.cpp
  test/Analysis/copypaste/text-diagnostics.cpp
  test/Analysis/coverage.c
  test/Analysis/crash-trace.c
  test/Analysis/cstring-syntax-cxx.cpp
  test/Analysis/cstring-syntax.c
  test/Analysis/ctor.mm
  test/Analysis/cxx-crashes.cpp
  test/Analysis/cxx-for-range.cpp
  test/Analysis/cxx-method-names.cpp
  test/Analysis/cxx11-crashes.cpp
  test/Analysis/dead-stores.c
  test/Analysis/dead-stores.cpp
  test/Analysis/dead-stores.m
  test/Analysis/debug-CallGraph.c
  test/Analysis/default-analyze.m
  test/Analysis/default-diagnostic-visitors.c
  test/Analysis/delayed-template-parsing-crash.cpp
  test/Analysis/delegates.m
  test/Analysis/derived-to-base.cpp
  test/Analysis/designated-initializer.c
  test/Analysis/diagnostics/deref-track-symbolic-region.c
  test/Analysis/diagnostics/deref-track-symbolic-region.cpp
  test/Analysis/diagnostics/diag-cross-file-boundaries.c
  test/Analysis/diagnostics/explicit-suppression.cpp
  test/Analysis/diagnostics/false-positive-suppression.c
  test/Analysis/diagnostics/implicit-cxx-std-suppression.cpp
  test/Analysis/diagnostics/macros.cpp
  test/Analysis/diagnostics/macros.m
  test/Analysis/diagnostics/no-prune-paths.c
  test/Analysis/diagnostics/plist-diagnostics-include-check.cpp
  test/Analysis/diagnostics/report-issues-within-main-file.cpp
  test/Analysis/diagnostics/shortest-path-suppression.c
  test/Analysis/diagnostics/text-diagnostics.c
  test/Analysis/diagnostics/undef-value-caller.c
  test/Analysis/diagnostics/undef-value-param.c
  test/Analysis/diagnostics/undef-value-param.m
  test/Analysis/disable-all-checks.c
  test/Analysis/dispatch-once.m
  test/Analysis/div-zero.cpp
  test/Analysis/division-by-zero.c
  test/Analysis/domtest.c
  test/Analysis/dtor-cxx11.cpp
  test/Analysis/dtor.cpp
  test/Analysis/dtors-in-dtor-cfg-output.cpp
  test/Analysis/dynamic-cast.cpp
  test/Analysis/dynamic_type_check.m
  test/Analysis/edges-new.mm
  test/Analysis/elementtype.c
  test/Analysis/engine/replay-without-inlining.c
  test/Analysis/enum.cpp
  test/Analysis/exceptions.mm
  test/Analysis/exercise-ps.c
  test/Analysis/explain-svals.cpp
  test/Analysis/explain-svals.m
  test/Analysis/expr-inspection.c
  test/Analysis/fields.c
  test/Analysis/free.c
  test/Analysis/func.c
  test/Analysis/generics.m
  test/Analysis/global-region-invalidation.c
  test/Analysis/global_region_invalidation.mm
  test/Analysis/gtest.cpp
  test/Analysis/html-diags-multifile.c
  test/Analysis/html-diags.c
  test/Analysis/identical-expressions.cpp
  test/Analysis/index-type.c
  test/Analysis/initializer.cpp
  test/Analysis/initializers-cfg-output.cpp
  test/Analysis/inline-not-supported.c
  test/Analysis/inline-plist.c
  test/Analysis/inline-unique-reports.c
  test/Analysis/inline.c
  test/Analysis/inline.cpp
  test/Analysis/inline2.c
  test/Analysis/inline3.c
  test/Analysis/inline4.c
  test/Analysis/inlining/DynDispatchBifurcate.m
  test/Analysis/inlining/InlineObjCClassMethod.m
  test/Analysis/inlining/InlineObjCInstanceMethod.m
  test/Analysis/inlining/ObjCDynTypePopagation.m
  test/Analysis/inlining/ObjCImproperDynamictallyDetectableCast.m
  test/Analysis/inlining/RetainCountExamples.m
  test/Analysis/inlining/analysis-order.c
  test/Analysis/inlining/assume-super-init-does-not-return-nil.m
  test/Analysis/inlining/containers.cpp
  test/Analysis/inlining/dyn-dispatch-bifurcate.cpp
  test/Analysis/inlining/eager-reclamation-path-notes.c
  test/Analysis/inlining/eager-reclamation-path-notes.cpp
  test/Analysis/inlining/false-positive-suppression.c
  test/Analysis/inlining/false-positive-suppression.cpp
  test/Analysis/inlining/false-positive-suppression.m
  test/Analysis/inlining/inline-defensive-checks.c
  test/Analysis/inlining/inline-defensive-checks.cpp
  test/Analysis/inlining/inline-defensive-checks.m
  test/Analysis/inlining/path-notes.c
  test/Analysis/inlining/path-notes.cpp
  test/Analysis/inlining/path-notes.m
  test/Analysis/inlining/retain-count-self-init.m
  test/Analysis/inlining/stl.cpp
  test/Analysis/inlining/test-always-inline-size-option.c
  test/Analysis/inlining/test_objc_inlining_option.m
  test/Analysis/iterator-past-end.cpp
  test/Analysis/ivars.m
  test/Analysis/keychainAPI-diagnostic-visitor.m
  test/Analysis/keychainAPI.m
  test/Analysis/kmalloc-linux.c
  test/Analysis/lambda-notes.cpp
  test/Analysis/lambdas-generalized-capture.cpp
  test/Analysis/lambdas.cpp
  test/Analysis/lambdas.mm
  test/Analysis/lifetime-extension.cpp
  test/Analysis/lit.local.cfg
  test/Analysis/live-variables.cpp
  test/Analysis/live-variables.m
  test/Analysis/localization-aggressive.m
  test/Analysis/localization.m
  test/Analysis/logical-ops.c
  test/Analysis/loop-widening.c
  test/Analysis/lvalue.cpp
  test/Analysis/malloc-annotations.c
  test/Analysis/malloc-custom.c
  test/Analysis/malloc-interprocedural.c
  test/Analysis/malloc-overflow.c
  test/Analysis/malloc-overflow.cpp
  test/Analysis/malloc-overflow2.c
  test/Analysis/malloc-plist.c
  test/Analysis/malloc-protoype.c
  test/Analysis/malloc-sizeof.c
  test/Analysis/malloc-sizeof.cpp
  test/Analysis/malloc-three-arg.c
  test/Analysis/malloc.c
  test/Analysis/malloc.cpp
  test/Analysis/malloc.m
  test/Analysis/malloc.mm
  (167 more files...)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D28952.89058.patch
Type: text/x-patch
Size: 326089 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170219/ba0ffce8/attachment-0001.bin>


More information about the cfe-commits mailing list