Author: kremenek
Date: Fri Oct 17 15:49:23 2008
New Revision: 57719
URL: http://llvm.org/viewvc/llvm-project?rev=57719&view=rev
Log:
Fixed an elusive caching bug in ExplodedGraph construction when a PostStmtKind
was used instead of a PostStoreKind.
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h
cfe/trunk/lib/Analysis/GRCoreEngine.cpp
Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h?rev=57719&r1=57718&r2=57719&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRCoreEngine.h Fri Oct 17
15:49:23 2008
@@ -235,8 +235,12 @@
}
NodeTy* MakeNode(ExplodedNodeSet<StateTy>& Dst, Stmt* S,
- NodeTy* Pred, const StateTy* St,
- ProgramPoint::Kind K = ProgramPoint::PostStmtKind) {
+ NodeTy* Pred, const StateTy* St) {
+ return MakeNode(Dst, S, Pred, St, PointKind);
+ }
+
+ NodeTy* MakeNode(ExplodedNodeSet<StateTy>& Dst, Stmt* S,
+ NodeTy* Pred, const StateTy* St, ProgramPoint::Kind K) {
const StateTy* PredState = GetState(Pred);
Modified: cfe/trunk/lib/Analysis/GRCoreEngine.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRCoreEngine.cpp?rev=57719&r1=57718&r2=57719&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/GRCoreEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRCoreEngine.cpp Fri Oct 17 15:49:23 2008
@@ -318,6 +318,9 @@
case ProgramPoint::PostLoadKind:
return PostLoad(S);
+ case ProgramPoint::PostStoreKind:
+ return PostStore(S);
+
case ProgramPoint::PostPurgeDeadSymbolsKind:
return PostPurgeDeadSymbols(S);
}
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
