Committed my changes (but there are several splintme errors currently).

[splint.git] / src / cprim.c

diff --git a/src/cprim.c b/src/cprim.c
index 4a0210f8991f5b86c11e632b449efd937e7afd26..9f751193c05e66d892f55ce240f5f6f5fd097b75 100644 (file)
--- a/src/cprim.c
+++ b/src/cprim.c
@@ -109,8 +109,16 @@ cprim_closeEnoughAux (cprim c1, cprim c2, bool deep)
       if (context_getFlag (FLG_MATCHANYINTEGRAL)
          || context_getFlag (FLG_IGNOREQUALS))
        {
-         return (cprim_isAnyInt (c2)
-                 || (cprim_isAnyChar (c2) && context_msgCharInt ()));
+         if (context_getFlag (FLG_IGNORESIGNS)) 
+           {
+             return (cprim_isAnyUnsignedInt (c2)
+                     || (cprim_isUnsignedChar (c2) && context_msgCharInt ()));
+           }
+         else
+           {
+             return (cprim_isAnyInt (c2)
+                     || (cprim_isAnyChar (c2) && context_msgCharInt ()));
+           }
        }
       else if (context_getFlag (FLG_LONGUNSIGNEDUNSIGNEDINTEGRAL))
        {