commit d331d09e2f65d269b38171e4e8567264dfb47d3e
author Ted Kremenek <kremenek@apple.com> Wed Oct 01 00:21:14 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Oct 01 00:21:14 2008 +0000
tree 6dc91d7716e4c024082f4aa228365c4c8d39f865
parent 15e6be8cc514c0b79ffe4ddfe18c33a5ac31f68e

Add a QualType to ConjuredSymbol to represent the type and size of the symbol.

Use this updated interface when invalidating arguments passed by reference; the type of symbol is of the object passed by reference, not the reference itself.

llvm-svn: 56894

clang/lib/Analysis/GRExprEngine.cpp

diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp
index 40c2b65..41bf989 100644
--- a/clang/lib/Analysis/GRExprEngine.cpp
+++ b/clang/lib/Analysis/GRExprEngine.cpp
@@ -1702,10 +1702,12 @@
             break;
             
           case UnaryOperator::Not:
+            // FIXME: Do we need to handle promotions?
             St = SetRVal(St, U, EvalComplement(cast<NonLVal>(V)));
             break;            
             
           case UnaryOperator::Minus:
+            // FIXME: Do we need to handle promotions?
             St = SetRVal(St, U, EvalMinus(U, cast<NonLVal>(V)));
             break;