From d8421eddff2d63e8b1f317f8cd7b1aeee5fdfe8a Mon Sep 17 00:00:00 2001 From: Tom Care Date: Fri, 27 Aug 2010 22:35:28 +0000 Subject: [PATCH] Fix bug in IdempotentOperationChecker where an assumption would not get updated properly. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112309 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Checker/IdempotentOperationChecker.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lib/Checker/IdempotentOperationChecker.cpp b/lib/Checker/IdempotentOperationChecker.cpp index 4b26d467b6..35fb83e877 100644 --- a/lib/Checker/IdempotentOperationChecker.cpp +++ b/lib/Checker/IdempotentOperationChecker.cpp @@ -386,6 +386,10 @@ void IdempotentOperationChecker::VisitEndAnalysis(ExplodedGraph &G, // Updates the current assumption given the new assumption inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A, const Assumption &New) { +// If the assumption is the same, there is nothing to do + if (A == New) + return; + switch (A) { // If we don't currently have an assumption, set it case Possible: -- 2.40.0