Changes to fix malloc size problem.

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index a4846a0dd7aa2525df09937a2a696c0f77ba728e..15eb9c33b09e5ba43dddd962350b53110257637f 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -5009,9 +5009,12 @@ exprNode_cast (/*@only@*/ lltok tok, /*@only@*/ exprNode e, /*@only@*/ qtype q)
   ret->edata = exprData_makeCast (tok, e, q);
 
   ret->sref = sRef_copy (e->sref);
-  
-  DPRINTF (("Cast 2: -> %s", sRef_unparseFull (ret->sref)));
 
+  DPRINTF (("Cast: -> %s", sRef_unparseFull (ret->sref)));
+
+  constraintList_castConstraints (ret->requiresConstraints, t, c);
+  constraintList_castConstraints (ret->ensuresConstraints, t, c);
+  
   if (!sRef_isConst (e->sref))
     {
       usymtab_addForceMustAlias (ret->sref, e->sref);
@@ -9888,11 +9891,11 @@ exprNode_matchLiteral (ctype expected, exprNode e)
            }
          else if (multiVal_isChar (m))
            {
-             char val = multiVal_forceChar (m);          
+             /*signed? */ char val = multiVal_forceChar (m);      
              
              if (ctype_isChar (expected))
                {
-                 if (ctype_isUnsigned (expected) && ((int)val) < 0)
+                 if (ctype_isUnsigned (expected) && ((int) val) < 0)
                    {
                      return FALSE;
                    }