]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa3ee8e) | patch
Added preliminary transfer function support for '==' and '!='.
authorTed Kremenek <kremenek@apple.com>
Tue, 29 Jan 2008 19:43:15 +0000 (19:43 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 29 Jan 2008 19:43:15 +0000 (19:43 +0000)
commit687af80bc8d4907159ae158d10bf47c787c7a83c
treecc97f862d941dcd75f8720be20ad16f111492ae4tree | snapshot
parentfa3ee8e6776634caf064ba5928ca7699d317a280commit | diff
Added preliminary transfer function support for '==' and '!='.

Made some internal API cleanups with creating ConcreteInt values, which lead to
some code reduction in implementing "++", "--".

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46528 91177308-0d34-0410-b5e6-96231b3b80d8
Analysis/GRConstants.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.