*/
# include <ctype.h> /* for isdigit */
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "basic.h"
# include "cgrammar.h"
# include "cgrammar_tokens.h"
# include "exprChecks.h"
-# include "aliasChecks.h"
# include "exprNodeSList.h"
void exprData_freeShallow (/*@only@*/ exprData data, exprKind kind)
/*@exposed@*/ exprNode exprData_getOpB (exprData data) /*@*/
{
- llassert (data != exprData_undefined);
+ llassertretval (data != exprData_undefined, exprNode_undefined);
return (data->op->b);
}
/*@exposed@*/ exprNode exprData_getPairA (exprData data) /*@*/
{
- llassert (data != exprData_undefined);
+ llassertretval (data != exprData_undefined, exprNode_undefined);
return (data->pair->a);
}
/*@exposed@*/ exprNode exprData_getPairB (exprData data) /*@*/
{
- llassert (data != exprData_undefined);
+ llassertretval (data != exprData_undefined, exprNode_undefined);
return (data->pair->b);
}
-
/*@exposed@*/ uentry exprData_getIterSname (exprData data) /*@*/
{
- llassert (data != exprData_undefined);
+ llassertretval (data != exprData_undefined, uentry_undefined);
return (data->iter->sname);
}
/*@exposed@*/ exprNode exprData_getIterBody (exprData data) /*@*/
{
- llassert (data != exprData_undefined);
+ llassertretval (data != exprData_undefined, exprNode_undefined);
return (data->iter->body);
}
/*@exposed@*/ uentry exprData_getIterEname (exprData data) /*@*/
{
- llassert (data != exprData_undefined);
+ llassertretval (data != exprData_undefined, uentry_undefined);
return (data->iter->ename);
}
/*@exposed@*/ exprNode exprData_getFcn (exprData data) /*@*/
{
- llassert (data != exprData_undefined);
+ llassertretval (data != exprData_undefined, exprNode_undefined);
return (data->call->fcn);
}
/*@observer@*/ lltok exprData_getTok (exprData data) /*@*/
{
llassert (data != exprData_undefined);
- return (*data->tok);
+ return data->tok;
}
/*@exposed@*/ qtype exprData_getType (exprData data) /*@*/
return (data->offset->field);
}
-/*@exposed@*/ exprNode exprData_getSingle (exprData data)
+/*@exposed@*/ exprNode exprData_getSingle (exprData data) /*@*/
{
exprNode ret;
llassert (data != exprData_undefined);
/*@only@*/ exprData exprData_makeTok (/*@only@*/ lltok op)
{
exprData ed = (exprData) dmalloc (sizeof (*ed));
-
- ed->tok = (lltok *) dmalloc (sizeof (*(ed->tok)));
- *(ed->tok) = op;
+ ed->tok = op;
+
return ed;
}