diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-04-22 21:39:21 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-04-22 21:39:21 +0000 |
| commit | c79c0591d6c63eb7e06e68faadcff14abb056b52 (patch) | |
| tree | 8fe082b5e4c55091f4097a4e8ecfe03a49168670 /clang/lib/Analysis/CFRefCount.cpp | |
| parent | eccf3e582114611d2b6c1915f709ddc6f6b7943e (diff) | |
| download | bcm5719-llvm-c79c0591d6c63eb7e06e68faadcff14abb056b52.tar.gz bcm5719-llvm-c79c0591d6c63eb7e06e68faadcff14abb056b52.zip | |
Added lval type (and tracking) for StringLiterals.
llvm-svn: 50109
Diffstat (limited to 'clang/lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFRefCount.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp index 253e00589e0..499da2f85f2 100644 --- a/clang/lib/Analysis/CFRefCount.cpp +++ b/clang/lib/Analysis/CFRefCount.cpp @@ -826,6 +826,8 @@ void CFRefCount::EvalCall(ExplodedNodeSet<ValueState>& Dst, // should compose behavior, not copy it. StateMgr.Unbind(StVals, cast<LVal>(V)); } + else if (isa<nonlval::LValAsInteger>(V)) + StateMgr.Unbind(StVals, cast<nonlval::LValAsInteger>(V).getLVal()); } St = StateMgr.getPersistentState(StVals); |
