diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-05-07 18:27:16 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-05-07 18:27:16 +0000 |
| commit | 7090d5465de7ca620da16211cf886edf1edc1f1f (patch) | |
| tree | 6e63bf21208f5d16e116a6bc69db59cd6783d6da /lib/Analysis/GRCoreEngine.cpp | |
| parent | 6d507a6d96ea6379bc1df207abe26ad4cbe6563d (diff) | |
analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for
analysis introspection) when we computed an lvalue. This shouldn't
effect the current analysis results in any way.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71169 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRCoreEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRCoreEngine.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Analysis/GRCoreEngine.cpp b/lib/Analysis/GRCoreEngine.cpp index 46a2173c96..8bbf71e90a 100644 --- a/lib/Analysis/GRCoreEngine.cpp +++ b/lib/Analysis/GRCoreEngine.cpp @@ -417,6 +417,9 @@ static inline PostStmt GetPostLoc(Stmt* S, ProgramPoint::Kind K, case ProgramPoint::PostStoreKind: return PostStore(S, tag); + case ProgramPoint::PostLValueKind: + return PostLValue(S, tag); + case ProgramPoint::PostPurgeDeadSymbolsKind: return PostPurgeDeadSymbols(S, tag); } |