]> granicus.if.org Git - clang/commit
Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point distinguishes...
authorTed Kremenek <kremenek@apple.com>
Wed, 18 Jun 2008 05:34:07 +0000 (05:34 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 18 Jun 2008 05:34:07 +0000 (05:34 +0000)
commit331b0ac44b9eb0ffcba66b4f3f3f9adb27c2434f
treeffb6b8127a7735a6996f4777740a1c8a135530a8
parent60c5e4263b5146aa6c82ef1b6c1dbd391a285c95
Added a new ProgramPoint: PostPurgeDeadSymbols.  This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad).  This solves a caching bug observed in a recent bug report.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@52443 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRCoreEngine.h
include/clang/Analysis/ProgramPoint.h
lib/Analysis/BugReporter.cpp
lib/Analysis/GRCoreEngine.cpp
lib/Analysis/GRExprEngine.cpp