]> granicus.if.org Git - clang/commit
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
authorJordan Rose <jordan_rose@apple.com>
Mon, 1 Oct 2012 16:53:40 +0000 (16:53 +0000)
committerJordan Rose <jordan_rose@apple.com>
Mon, 1 Oct 2012 16:53:40 +0000 (16:53 +0000)
commitca5d78d0bc3010164f2f9682967d64d7e305a167
tree24b45df814da8cfbc76c137e30e9d0bed087328b
parent1a00fee3933066024a2398f9456e5d6bc74344b9
[analyzer] Make ProgramStateManager's SubEngine parameter optional.

It is possible and valid to have a state manager and associated objects
without having a SubEngine or checkers.

Patch by Olaf Krzikalla!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164947 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/ProgramState.cpp
lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
lib/StaticAnalyzer/Core/SimpleConstraintManager.h