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

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index 4e2fc300d3817b2c1a5949f02108925e88c1ebdc..cd92b010e9df6779ad7479103cc6617e47e55256 100644 (file)
--- 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