Fixed scanf %x problem.

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index fde743bccfa52c79c80917126618745734692b72..3e6978e916e194e1d91d8b8c6ead86b44c426844 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -721,25 +721,27 @@ llgentypeerroraux (char *srcFile, int srcLine,
     }
   else if (ctype_isArbitraryIntegral (ctype_realType (ut1)))
     {
+      DPRINTF (("HERE: %s", ctype_unparse (ctype_realType (ut2))));
+
       if (ctype_isArbitraryIntegral (ctype_realType (ut2)))
        {
          hcode = FLG_MATCHANYINTEGRAL;
        }
-      else if (ctype_match (ut2, ctype_ulint))
+      else if (ctype_equal (ut2, ctype_ulint))
        {
          hcode = FLG_LONGUNSIGNEDINTEGRAL;
        }
-      else if (ctype_match (ut2, ctype_lint))
+      else if (ctype_equal (ut2, ctype_lint))
        {
          hcode = FLG_LONGINTEGRAL;
        }
       else if (ctype_isInt (ut2))
        {
          hcode = FLG_MATCHANYINTEGRAL;
-       }
+       }         
       else
        {
-         ;
+         hcode = FLG_TYPE;
        }
     }
   else if (ctype_isArbitraryIntegral (ctype_realType (ut2)))