| commit | 6da0f5a989982ac2ff60dae7fd4a6f97fc04f303 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Apr 18 17:20:23 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Apr 18 17:20:23 2008 +0000 |
| tree | fe250c94d6277b6b712d0c3d62cb5925030e610b | |
| parent | d5e35f80ba99033e36b463069fd22cab6ee65d27 [diff] |
Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluating the checker-specific logic of symbolic assumptions. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@49910 91177308-0d34-0410-b5e6-96231b3b80d8