[cfe-commits] r143091 - /cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h

[Anna Zaks]

Author: zaks
Date: Wed Oct 26 19:59:32 2011
New Revision: 143091

URL: http://llvm.org/viewvc/llvm-project?rev=143091&view=rev
Log:
[analyzer] Optimize by not generating empty transitions in CheckerContext

Go not generate a new transition by addTransition methods if nothing changed.

Modified:
    cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h

Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h?rev=143091&r1=143090&r2=143091&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h Wed Oct 26 19:59:32 2011
@@ -110,7 +110,6 @@
 
   /// \brief Generates a default transition (containing checker tag but no
   /// checker state changes).
-  // TODO: Can we remove this one? We always generate autotransitions.
   ExplodedNode *addTransition() {
     return addTransition(getState());
   }
@@ -148,6 +147,9 @@
                                  ExplodedNode *P = 0,
                                  const ProgramPointTag *Tag = 0) {
     assert(State);
+    if (State == Pred->getState() && !Tag && !MarkAsSink)
+      return Pred;
+
     ExplodedNode *node = NB.generateNode(Tag ? Location.withTag(Tag) : Location,
                                         State,
                                         P ? P : Pred, MarkAsSink);