# include "exprNodeSList.h"
/*@-czechfcns@*/
+/*@-nullderef@*/ /* !!! DRL needs to fix this code! */
+/*@-nullstate@*/ /* !!! DRL needs to fix this code! */
+/*@-nullpass@*/ /* !!! DRL needs to fix this code! */
+/*@-temptrans@*/ /* !!! DRL needs to fix this code! */
-/*@access exprNode @*/
+/*@access exprNode@*/ /* !!! NO! Don't do this recklessly! */
bool constraintTerm_isDefined (constraintTerm t)
{
fprintf(f, "Param %s %d\n", cstring_toCharsSafe(ctString), (int) param );
cstring_free(ctString);
}
+ else if (sRef_isField (s) )
+ {
+ fprintf(f, "sRef_dump %s\n", cstring_toCharsSafe(sRef_dump(s)) );
+ }
else
{
u = sRef_getUentry(s);
s = sRef_makeParam (param, t, stateInfo_makeLoc (g_currentloc));
free (ostr2);
}
+ else if (strcmp (term, "sRef_dump" ) == 0 )
+ {
+ reader_checkChar(&str, ' ');
+ s = sRef_undump (&str);
+ }
else /* This must be an identified that we can search for in usymTab */
{
cstring termStr = cstring_makeLiteralTemp(term);