Changes to fix malloc size problem.

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index b8a3c056dca8d3283f8d5a386e1eb9562b8e52dd..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);