]> granicus.if.org Git - clang/commit
[analyzer] Expose exploration strategy through analyzer options.
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 2 Feb 2018 02:01:55 +0000 (02:01 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 2 Feb 2018 02:01:55 +0000 (02:01 +0000)
commit63f1a460027e2aec2f16562a76003202ae03ea25
treee1a6211cd7a6a82bf3ed155af31414e649ecbf99
parent7806f274e20e3d9f0fbf4a0ffe2d1f1c3ccc5cce
[analyzer] Expose exploration strategy through analyzer options.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@324049 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
include/clang/StaticAnalyzer/Core/PathSensitive/WorkList.h
lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
lib/StaticAnalyzer/Core/CoreEngine.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
test/Analysis/analyzer-config.c
test/Analysis/analyzer-config.cpp