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 | f9906843b7a30dd08a65598b422de1c5a6a9bee2 (patch) | |
| tree | 33e38758866bdc36ed0517b9e6ccbf416f39dbd9 /llvm/tools/CMakeLists.txt | |
| parent | fb8097b5763bc97e98739a6128c0c4aa441121a2 (diff) | |
| download | bcm5719-llvm-f9906843b7a30dd08a65598b422de1c5a6a9bee2.tar.gz bcm5719-llvm-f9906843b7a30dd08a65598b422de1c5a6a9bee2.zip | |
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
Diffstat (limited to 'llvm/tools/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions
