diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-10-01 00:21:14 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-10-01 00:21:14 +0000 |
| commit | d331d09e2f65d269b38171e4e8567264dfb47d3e (patch) | |
| tree | 6dc91d7716e4c024082f4aa228365c4c8d39f865 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 15e6be8cc514c0b79ffe4ddfe18c33a5ac31f68e (diff) | |
| download | bcm5719-llvm-d331d09e2f65d269b38171e4e8567264dfb47d3e.tar.gz bcm5719-llvm-d331d09e2f65d269b38171e4e8567264dfb47d3e.zip | |
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
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
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<NonLVal>(V))); break; case UnaryOperator::Minus: + // FIXME: Do we need to handle promotions? St = SetRVal(St, U, EvalMinus(U, cast<NonLVal>(V))); break; |
