From: drl7x <drl7x>
Date: Mon, 28 Apr 2003 00:25:13 +0000 (+0000)
Subject: Fixed bug causing Splint is suggest using the +ignoresigns flag even if it was alread... 
X-Git-Tag: splint-3_1_1~8
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/9f618ec5944075a7cf67408b2e87110b00e443da

Fixed bug causing Splint is suggest using the +ignoresigns flag even if it was already being used.

(Bug for reported by John Regehr )
---

diff --git a/src/llerror.c b/src/llerror.c
index 4e2fc30..cd92b01 100644
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -695,8 +695,23 @@ llgentypeerroraux (char *srcFile, int srcLine,
 	      hcode = FLG_MATCHANYINTEGRAL;
 	    }
 	  else
+	    /*drl 4-270-2003 even if ignoresigns is set there may be another
+	      problem that is causing splint to complain about a type error.
+	      Don't tell the user that they can add +ignoresigns if it's
+	      already on*/
 	    {
-	      hcode = FLG_IGNORESIGNS;
+	      DPRINTF(("TEST INGORESIGNS"));
+	      if (context_getFlag(FLG_IGNORESIGNS) )
+		{
+		  DPRINTF(("INGORESIGNS SET"));
+		  hcode = FLG_IGNOREQUALS;
+		}
+	    
+	      else
+		{
+		  DPRINTF(("INGORESIGNS NOT SET"));
+		  hcode = FLG_IGNORESIGNS;
+		}
 	    }
 	}
       else