| commit | a591bc04d21fa62ebffcb2c7814d738ca8f5e2f9 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Jun 18 22:57:13 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Jun 18 22:57:13 2009 +0000 |
| tree | 1167c46c3841a123b649b8828a50b474ba814452 | |
| 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