]> granicus.if.org Git - clang/commit
GRExprEngine:
authorTed Kremenek <kremenek@apple.com>
Fri, 20 Mar 2009 20:10:45 +0000 (20:10 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 20 Mar 2009 20:10:45 +0000 (20:10 +0000)
commitbb9b2711ded08d39f9c9aa08b06ac5e288f32c62
treea5d35ab986b1eda097b74dc905003237b7763db5
parent9ecede735e6b180676846e95844a846ff7c251e0
GRExprEngine:
- Conjure symbols at '--' and '++' unary operations
- Add utility method SVal::GetConjuredSymbolVal() and constify some arguments
  along the way.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67395 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/SVals.h
include/clang/Analysis/PathSensitive/SymbolManager.h
lib/Analysis/GRExprEngine.cpp
lib/Analysis/SVals.cpp
lib/Analysis/SymbolManager.cpp