]> granicus.if.org Git - clang/commit
libAnalysis:
authorTed Kremenek <kremenek@apple.com>
Thu, 18 Jun 2009 22:57:13 +0000 (22:57 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 18 Jun 2009 22:57:13 +0000 (22:57 +0000)
commita591bc04d21fa62ebffcb2c7814d738ca8f5e2f9
tree1167c46c3841a123b649b8828a50b474ba814452
parentf6ddb737cb882ffbf0b75a9abd50b930cc2b9068
libAnalysis:
- Remove the 'isFeasible' flag from all uses of 'Assume'.
- Remove the 'Assume' methods from GRStateManager.  Now the only way to
  create a new GRState with an assumption is to use the new 'assume' methods
  in GRState.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73731 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/ConstraintManager.h
include/clang/Analysis/PathSensitive/GRExprEngine.h
include/clang/Analysis/PathSensitive/GRState.h
include/clang/Analysis/PathSensitive/GRTransferFuncs.h
lib/Analysis/BasicConstraintManager.cpp
lib/Analysis/CFRefCount.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/GRExprEngineInternalChecks.cpp
lib/Analysis/RangeConstraintManager.cpp
lib/Analysis/SimpleConstraintManager.cpp
lib/Analysis/SimpleConstraintManager.h