]> granicus.if.org Git - clang/commit
Added pretty-printing support for lval::SymIntConstraintVal and
authorTed Kremenek <kremenek@apple.com>
Tue, 5 Feb 2008 23:08:41 +0000 (23:08 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 5 Feb 2008 23:08:41 +0000 (23:08 +0000)
commit0806acf6a197ac7bd5c87649c0429e64e5d0db06
treeb1d85beaeed3b1ae91861121946708b76943dca8
parentdfab34a696d1dba8622248c31aaf605906cb6109
Added pretty-printing support for lval::SymIntConstraintVal and
nonlval::SymIntConstraintVal.

Reworked transfer function for '==' and '!=' for LValues to return
SymIntConstraintVal when comparing a symbol with a constant.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46778 91177308-0d34-0410-b5e6-96231b3b80d8
Analysis/RValues.cpp
Analysis/RValues.h