From d331d09e2f65d269b38171e4e8567264dfb47d3e Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 1 Oct 2008 00:21:14 +0000 Subject: 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 | 2 ++ 1 file changed, 2 insertions(+) (limited to 'clang/lib/Analysis/GRExprEngine.cpp') diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 40c2b6507b9..41bf98933ef 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -1702,10 +1702,12 @@ void GRExprEngine::VisitUnaryOperator(UnaryOperator* U, NodeTy* Pred, break; case UnaryOperator::Not: + // FIXME: Do we need to handle promotions? St = SetRVal(St, U, EvalComplement(cast(V))); break; case UnaryOperator::Minus: + // FIXME: Do we need to handle promotions? St = SetRVal(St, U, EvalMinus(U, cast(V))); break; -- cgit v1.2.3