diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-02-05 21:32:43 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-02-05 21:32:43 +0000 |
| commit | 1fbdb020311efa1b5b7de2758985287418018fac (patch) | |
| tree | 8e0c058b79b5c1796d94f888d69e2e99a62825d0 /Analysis/ValueState.cpp | |
| parent | 64515f31850024a263e8f55f81e9ea4b39925cfa (diff) | |
Added "SymIntConstraint", a utility class to represent intermediate values for
transfer function evaluation that represent constraints between symbolic values
and constant integers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46769 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Analysis/ValueState.cpp')
0 files changed, 0 insertions, 0 deletions