diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-06-18 22:57:13 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-06-18 22:57:13 +0000 |
| commit | a591bc04d21fa62ebffcb2c7814d738ca8f5e2f9 (patch) | |
| tree | 1167c46c3841a123b649b8828a50b474ba814452 /lib/Analysis/BugReporter.cpp | |
| parent | f6ddb737cb882ffbf0b75a9abd50b930cc2b9068 (diff) | |
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
Diffstat (limited to 'lib/Analysis/BugReporter.cpp')
0 files changed, 0 insertions, 0 deletions