# include "splintMacros.nf"
# include "basic.h"
-static /*@only@*/ /*@notnull@*/ /*@special@*/ functionClause /*@i32 need special? @*/
+static /*@only@*/ /*@notnull@*/ /*@special@*/ functionClause
functionClause_alloc (functionClauseKind kind) /*@defines result->kind@*/
{
functionClause res = (functionClause) dmalloc (sizeof (*res));
(!stateClause_isMetaState (node) ) )
{
DPRINTF((message("functionClause_createState:: Returning functionClause_undefined" ) ));
+ stateClause_free (node);
return functionClause_undefined;
}
else