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 | 60a6e0ce72a24d6247602625c631fc3dc7bfd8d4 (patch) | |
| tree | c12a06611efdb4af760039d9fb442a47139ca9a1 /lib/Analysis/CFRefCount.cpp | |
| parent | b10362acd971b84d4525334b275fcbfb4e42cb85 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56894 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | lib/Analysis/CFRefCount.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp index adbeff9915..733cad18ac 100644 --- a/lib/Analysis/CFRefCount.cpp +++ b/lib/Analysis/CFRefCount.cpp @@ -1515,7 +1515,9 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, // Set the value of the variable to be a conjured symbol. unsigned Count = Builder.getCurrentBlockCount(); - SymbolID NewSym = Eng.getSymbolManager().getConjuredSymbol(*I, Count); + SymbolID NewSym = + Eng.getSymbolManager().getConjuredSymbol(*I, DV->getDecl()->getType(), + Count); state = state.SetRVal(*DV, LVal::IsLValType(DV->getDecl()->getType()) |