From e5d01f72c102d3f0fb7d89171eb932541462c765 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sun, 1 May 2011 14:20:34 +0000 Subject: [PATCH] Compiling with -D_GLIBCXX_DEBUG reported warnings because we sometimes derefferenced an iterator that was at the end. I'm not sure if this is really a problem or not.. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1298 e59a4935-1847-0410-ae03-e826735625c1 --- src/simplifier/SubstitutionMap.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/simplifier/SubstitutionMap.cpp b/src/simplifier/SubstitutionMap.cpp index ce0b742..4734e7f 100644 --- a/src/simplifier/SubstitutionMap.cpp +++ b/src/simplifier/SubstitutionMap.cpp @@ -399,10 +399,10 @@ void SubstitutionMap::loops_helper(const set& varsToCheck, set // for each variable. for (set::const_iterator varIt = varsToCheck.begin(); varIt != varsToCheck.end(); varIt++) { - while (*visitedIt < *varIt && visitedIt != visited.end()) - visitedIt++; + while (visitedIt != visited.end() && *visitedIt < *varIt ) + visitedIt++; - if (*visitedIt == *varIt) + if ((visitedIt != visited.end()) && *visitedIt == *varIt) continue; visitedN.push_back(*varIt); -- 2.47.3