X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d0e5b01f276f977e213ea8859faeca399d826769..ed62d3fbeda6bb085991cdd683ceacfc57f7afbe:/src/exprData.c

diff --git a/src/exprData.c b/src/exprData.c
index 8bcfe0d..b16be35 100644
--- a/src/exprData.c
+++ b/src/exprData.c
@@ -1,17 +1,657 @@
 /*
-** exprNode.c
+** exprData.c
 */
 
 # 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"
-# include "exprData.i"
+
+void exprData_freeShallow (/*@only@*/ exprData data, exprKind kind)
+{
+  /*@-compdestroy@*/ 
+
+  if (data == exprData_undefined)
+    {
+      return;
+    }
+
+  switch (kind)
+    {
+    case XPR_INITBLOCK:
+    case XPR_CALL:
+      exprNode_freeShallow (data->call->fcn);
+      exprNodeList_freeShallow (data->call->args);
+      sfree (data->call);
+      break;
+    case XPR_COMMA:
+    case XPR_FETCH:
+    case XPR_OP:
+    case XPR_ASSIGN:
+    case XPR_IF:
+    case XPR_WHILE:
+    case XPR_DOWHILE:
+    case XPR_STMTLIST:
+    case XPR_SWITCH:
+    case XPR_FOR:
+      exprNode_freeShallow (data->op->a);
+      exprNode_freeShallow (data->op->b);
+      sfree (data->op);
+      break;
+
+    case XPR_STMT:
+    case XPR_PREOP: 
+    case XPR_POSTOP:
+    case XPR_PARENS: 
+      exprNode_freeShallow (data->uop->a);
+      sfree (data->uop);
+      break;
+
+    case XPR_FTCASE:
+    case XPR_CASE:      
+    case XPR_RETURN:
+    case XPR_WHILEPRED:
+    case XPR_BLOCK:
+      exprNode_freeShallow (data->single);
+      break;
+      
+    case XPR_CAST:
+    case XPR_VAARG:
+      exprNode_freeShallow (data->cast->exp);
+      /* NO: qtype_free (data->cast->q); */
+      sfree (data->cast);      
+      break;
+      
+    case XPR_ITERCALL:
+      exprNodeList_freeShallow (data->itercall->args);
+      sfree (data->itercall);
+      break;
+
+    case XPR_ITER:
+      exprNodeList_freeShallow (data->iter->args);
+      exprNode_freeShallow (data->iter->body);
+      sfree (data->iter);
+      break;
+      
+    case XPR_FORPRED:
+    case XPR_COND:
+    case XPR_IFELSE:
+      exprNode_freeShallow (data->triple->pred);
+      exprNode_freeShallow (data->triple->tbranch);
+      exprNode_freeShallow (data->triple->fbranch);
+      sfree (data->triple);
+      break;
+      
+    case XPR_INIT:
+      exprNode_freeShallow (data->init->exp);
+      /* NO: idDecl_free (data->init->id); */
+      sfree (data->init);
+      break;
+      
+    case XPR_FACCESS:
+    case XPR_ARROW:
+      exprNode_freeShallow (data->field->rec);
+      /* NO: cstring_free (data->field->field); */
+      sfree (data->field);
+      break;
+
+    case XPR_LABEL:
+    case XPR_CONST:
+    case XPR_VAR:
+      break;
+
+    case XPR_OFFSETOF:
+    case XPR_ALIGNOFT:
+    case XPR_ALIGNOF:
+    case XPR_SIZEOFT:
+    case XPR_SIZEOF:
+    case XPR_GOTO:
+    case XPR_CONTINUE:
+    case XPR_BREAK:
+    case XPR_NULLRETURN:
+    case XPR_TOK:
+    case XPR_FTDEFAULT:
+    case XPR_DEFAULT:
+      break;
+
+    case XPR_STRINGLITERAL:
+    case XPR_NUMLIT:
+      llcontbuglit ("exprData_freeShallow: not shallow!");
+      break;
+
+    case XPR_EMPTY:
+      llcontbuglit ("XPR_EMPTY case!");
+      break;
+
+    case XPR_BODY:
+      llcontbuglit ("XPR_BODY case!");
+      break;
+    case XPR_NODE:
+      llcontbuglit ("XPR_NODE case!");
+      break;
+    }
+
+  sfree (data);
+  /*@=compdestroy@*/
+}
+
+void exprData_free (/*@only@*/ exprData data, exprKind kind)
+{
+  if (data == exprData_undefined)
+    {
+      return;
+    }
+
+  switch (kind)
+    {
+    case XPR_INITBLOCK:
+    case XPR_CALL:
+      exprNode_free (data->call->fcn);
+      exprNodeList_free (data->call->args);
+      sfree (data->call);
+      break;
+
+    case XPR_LABEL:
+    case XPR_CONST:
+    case XPR_VAR:
+      cstring_free (data->id);
+      break;
+
+    case XPR_COMMA:
+    case XPR_FETCH:
+    case XPR_OP:
+    case XPR_ASSIGN:
+    case XPR_IF:
+    case XPR_WHILE:
+    case XPR_DOWHILE:
+    case XPR_STMTLIST:
+    case XPR_SWITCH:
+    case XPR_FOR:
+      exprNode_free (data->op->a);
+      exprNode_free (data->op->b);
+      sfree (data->op);
+      break;
+
+    case XPR_STMT:
+    case XPR_PREOP: 
+    case XPR_POSTOP:
+    case XPR_PARENS: 
+      exprNode_free (data->uop->a);
+      sfree (data->uop);
+      break;
+
+    case XPR_OFFSETOF:
+      qtype_free (data->offset->q);
+      cstringList_free (data->offset->field);
+      sfree (data->offset);
+      break;
+
+    case XPR_ALIGNOFT:
+    case XPR_SIZEOFT:
+      qtype_free (data->qt);
+      break;
+
+    case XPR_FTCASE:
+    case XPR_CASE:      
+    case XPR_SIZEOF:
+    case XPR_ALIGNOF:
+    case XPR_RETURN:
+    case XPR_WHILEPRED:
+    case XPR_BLOCK:
+      exprNode_free (data->single);
+      break;
+      
+    case XPR_CAST:
+    case XPR_VAARG:
+      exprNode_free (data->cast->exp);
+      qtype_free (data->cast->q);
+      sfree (data->cast);
+      break;
+      
+    case XPR_ITERCALL:
+      exprNodeList_free (data->itercall->args);
+      sfree (data->itercall);
+      break;
+
+    case XPR_ITER:
+      exprNodeList_free (data->iter->args);
+      exprNode_free (data->iter->body);
+      sfree (data->iter);
+      break;
+      
+    case XPR_FORPRED:
+    case XPR_COND:
+    case XPR_IFELSE:
+      exprNode_free (data->triple->pred);
+      exprNode_free (data->triple->tbranch);
+      exprNode_free (data->triple->fbranch);
+      sfree (data->triple);
+      break;
+      
+    case XPR_GOTO:
+    case XPR_STRINGLITERAL:
+    case XPR_NUMLIT:
+      cstring_free (data->literal);
+      break;
+
+    case XPR_CONTINUE:
+    case XPR_BREAK:
+    case XPR_NULLRETURN:
+      break;
+
+    case XPR_FTDEFAULT:
+    case XPR_DEFAULT:
+    case XPR_TOK:
+      break;
+      
+    case XPR_INIT:
+      exprNode_free (data->init->exp);
+      idDecl_free (data->init->id);
+      sfree (data->init);
+      break;
+      
+    case XPR_FACCESS:
+    case XPR_ARROW:
+      exprNode_free (data->field->rec);
+      cstring_free (data->field->field);
+      sfree (data->field);
+      break;
+
+    case XPR_EMPTY:
+      llcontbuglit ("XPR_EMPTY case!");
+      break;
+    case XPR_BODY:
+      llcontbuglit ("XPR_BODY case!");
+      break;
+    case XPR_NODE:
+      llcontbuglit ("XPR_NODE case!");
+      break;
+    }
+
+  sfree (data);
+}
+
+/*@exposed@*/ exprNode exprData_getInitNode (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->init->exp);
+}
+
+/*@exposed@*/ idDecl exprData_getInitId (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->init->id);
+}
+
+/*@exposed@*/ exprNode exprData_getOpA (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->op->a);
+}
+
+/*@exposed@*/ exprNode exprData_getOpB (exprData data) /*@*/
+{
+  llassertretval (data != exprData_undefined, exprNode_undefined);
+  return (data->op->b);
+}
+
+/*@observer@*/ lltok exprData_getOpTok (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->op->op);
+}
+
+/*@exposed@*/ exprNode exprData_getPairA (exprData data) /*@*/
+{
+  llassertretval (data != exprData_undefined, exprNode_undefined);
+  return (data->pair->a);
+}
+
+/*@exposed@*/ exprNode exprData_getPairB (exprData data) /*@*/
+{
+  llassertretval (data != exprData_undefined, exprNode_undefined);
+  return (data->pair->b);
+}
+
+/*@exposed@*/ uentry exprData_getIterSname (exprData data) /*@*/
+{
+  llassertretval (data != exprData_undefined, uentry_undefined);
+  return (data->iter->sname);
+}
+
+/*@exposed@*/ exprNodeList exprData_getIterAlist (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->iter->args);
+}
+
+/*@exposed@*/ exprNode exprData_getIterBody (exprData data) /*@*/
+{
+  llassertretval (data != exprData_undefined, exprNode_undefined);
+  return (data->iter->body);
+}
+
+/*@exposed@*/ uentry exprData_getIterEname (exprData data) /*@*/
+{
+  llassertretval (data != exprData_undefined, uentry_undefined);
+  return (data->iter->ename);
+}
+
+/*@exposed@*/ exprNode exprData_getFcn (exprData data) /*@*/
+{
+  llassertretval (data != exprData_undefined, exprNode_undefined);
+  return (data->call->fcn);
+}
+
+/*@exposed@*/ exprNodeList exprData_getArgs (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->call->args);
+}
+
+/*@exposed@*/ exprNode exprData_getTriplePred (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->triple->pred);
+}
+
+/*@exposed@*/ uentry exprData_getIterCallIter (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->itercall->iter);
+}
+
+/*@exposed@*/ exprNodeList
+  exprData_getIterCallArgs (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->itercall->args);
+}
+
+/*@exposed@*/ exprNode exprData_getTripleInit (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->triple->pred);
+}
+
+/*@exposed@*/ exprNode exprData_getTripleTrue (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->triple->tbranch);
+}
+
+/*@exposed@*/ exprNode exprData_getTripleTest (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->triple->tbranch);
+}
+
+/*@exposed@*/ exprNode exprData_getTripleFalse (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->triple->fbranch);
+}
+
+/*@exposed@*/ exprNode exprData_getTripleInc (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->triple->fbranch);
+}
+
+/*@exposed@*/ exprNode exprData_getFieldNode (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->field->rec);
+}
+
+/*@exposed@*/ cstring exprData_getFieldName (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->field->field);
+}
+
+/*@observer@*/ lltok exprData_getUopTok (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->uop->op);
+}
+
+/*@exposed@*/ exprNode exprData_getUopNode (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->uop->a);
+}
+
+/*@exposed@*/ exprNode exprData_getCastNode (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->cast->exp);
+}
+
+/*@observer@*/ lltok exprData_getCastTok (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->cast->tok);
+}
+
+/*@exposed@*/ qtype exprData_getCastType (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->cast->q);
+}
+
+/*@exposed@*/ cstring exprData_getLiteral (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->literal);
+}
+
+/*@exposed@*/ cstring exprData_getId (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return (data->id);
+}
+
+/*@observer@*/ lltok exprData_getTok (exprData data) /*@*/
+{
+  llassert (data != exprData_undefined);
+  return data->tok;
+}
+
+/*@exposed@*/ qtype exprData_getType (exprData data) /*@*/ 
+{
+  llassert (data != exprData_undefined);
+  return (data->qt);
+}
+
+/*@exposed@*/ qtype exprData_getOffsetType (exprData data) /*@*/ 
+{
+  llassert (data != exprData_undefined);
+  return (data->offset->q);
+}
+
+/*@exposed@*/ cstringList exprData_getOffsetName (exprData data) /*@*/ 
+{
+  llassert (data != exprData_undefined);
+  return (data->offset->field);
+}
+
+/*@exposed@*/ exprNode exprData_getSingle (exprData data) /*@*/
+{
+  exprNode ret;
+  llassert (data != exprData_undefined);
+
+  ret = data->single;
+  return (ret);
+}
+
+
+/*@only@*/ exprData 
+  exprData_makeOp (/*@keep@*/ exprNode a, /*@keep@*/ exprNode b, /*@keep@*/ lltok op)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+  
+  ed->op = (exprOp) dmalloc (sizeof (*ed->op));
+  ed->op->a = a;
+  ed->op->b = b;
+  ed->op->op = op;
+  
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeUop (/*@keep@*/ exprNode a, /*@keep@*/ lltok op)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+  
+  ed->uop = (exprUop) dmalloc (sizeof (*ed->uop));
+  ed->uop->a = a;
+  ed->uop->op = op;
+  
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeSingle (/*@only@*/ exprNode a)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+  
+  ed->single = a;  
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeTok (/*@only@*/ lltok op)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+  ed->tok = op;  
+
+  return ed;
+}
+
+/*@only@*/ exprData 
+exprData_makeIter (/*@exposed@*/ uentry sname, /*@keep@*/ exprNodeList args,
+		   /*@keep@*/ exprNode body, /*@exposed@*/ uentry ename)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+  
+  ed->iter = (exprIter) dmalloc (sizeof (*ed->iter));
+  ed->iter->sname = uentry_isVar (sname) ? uentry_copy (sname) : sname; 
+  ed->iter->args = args;
+  ed->iter->body = body;
+  ed->iter->ename = uentry_isVar (ename) ? uentry_copy (ename) : ename; 
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeTriple (/*@keep@*/ exprNode pred, 
+						/*@keep@*/ exprNode tbranch, 
+						/*@keep@*/ exprNode fbranch)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+  
+  ed->triple = (exprTriple) dmalloc (sizeof (*ed->triple));
+  ed->triple->pred = pred;
+  ed->triple->tbranch = tbranch;
+  ed->triple->fbranch = fbranch;
+
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeCall (/*@keep@*/ exprNode fcn,
+					      /*@keep@*/ exprNodeList args)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+
+  ed->call = (exprCall) dmalloc (sizeof (*ed->call));
+  ed->call->fcn = fcn;
+  ed->call->args = args;
+
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeIterCall (/*@dependent@*/ uentry iter,
+						  /*@keep@*/ exprNodeList args)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+
+  ed->itercall = (exprIterCall) dmalloc (sizeof (*ed->itercall));
+  ed->itercall->iter = uentry_isVar (iter) ? uentry_copy (iter) : iter; 
+  ed->itercall->args = args;
+
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeField (/*@keep@*/ exprNode rec, 
+					       /*@keep@*/ cstring field)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+
+  ed->field = (exprField) dmalloc (sizeof (*ed->field));
+  ed->field->rec = rec;
+  ed->field->field = field;
+
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeOffsetof (/*@only@*/ qtype q,
+						  /*@keep@*/ cstringList s)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+  ed->offset = (exprOffsetof) dmalloc (sizeof (*ed->offset));
+
+  ed->offset->q = q;
+  ed->offset->field = s;
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeSizeofType (/*@only@*/ qtype q)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+
+  ed->qt = q;
+  return ed;
+}
+
+/*@only@*/ exprData 
+  exprData_makeCast (/*@keep@*/ lltok tok, /*@keep@*/ exprNode e, /*@only@*/ qtype q)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+
+  ed->cast = (exprCast) dmalloc (sizeof (*ed->cast));
+  ed->cast->tok = tok;
+  ed->cast->exp = e;
+  ed->cast->q = q;
+
+  return ed;
+}
+
+/*@only@*/ exprData 
+  exprData_makeInit (/*@keep@*/ idDecl t, /*@keep@*/ exprNode e)
+{
+  exprData ed = (exprData) dmalloc (sizeof (*ed));
+
+  ed->init = (exprInit) dmalloc (sizeof (*ed->init));
+  ed->init->exp = e;
+  ed->init->id = t;
+
+  return ed;
+}
+
+/*@only@*/ exprData exprData_makeCond (/*@keep@*/ exprNode pred, 
+					      /*@keep@*/ exprNode ifclause, 
+					      /*@keep@*/ exprNode elseclause)
+{
+  return exprData_makeTriple (pred, ifclause, elseclause);
+}
+
+/*@only@*/ exprData exprData_makeFor (/*@keep@*/ exprNode init, 
+				      /*@keep@*/ exprNode pred, 
+				      /*@keep@*/ exprNode inc)
+{
+  return exprData_makeTriple (init, pred, inc);
+}
+
 
 /*@only@*/ exprData exprData_makeLiteral (/*@only@*/ cstring s)
 {