diff options
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h b/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h index b1aad7f63d..c3a00bd97a 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h @@ -110,7 +110,6 @@ public: /// \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 @@ private: 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); |