From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 1 May 2011 14:20:34 +0000 (+0000)
Subject: Compiling with -D_GLIBCXX_DEBUG reported warnings because we sometimes derefferenced... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=e5d01f72c102d3f0fb7d89171eb932541462c765;p=francis%2Fstp.git

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
---

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<ASTNode>& varsToCheck, set<ASTNode>
 	// for each variable.
 	for (set<ASTNode>::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);