| commit | f9906843b7a30dd08a65598b422de1c5a6a9bee2 | [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 | 33e38758866bdc36ed0517b9e6ccbf416f39dbd9 | |
| parent | fb8097b5763bc97e98739a6128c0c4aa441121a2 [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. llvm-svn: 73731