- case XPR_ALIGNOFT:
- ret = message ("alignof(%s)", ctype_unparse (qtype_getType (exprData_getType (data))));
- break;
-
- case XPR_ALIGNOF:
- ret = message ("alignof(%s)", exprNode_generateConstraints (exprData_getSingle (data)));
- break;
-
- case XPR_VAARG:
- ret = message ("va_arg(%s, %q)",
- exprNode_generateConstraints (exprData_getCastNode (data)),
- qtype_unparse (exprData_getCastType (data)));
- break;
-
- case XPR_ITERCALL:
- ret = message ("%q(%q)",
- uentry_getName (exprData_getIterCallIter (data)),
- exprNodeList_unparse (exprData_getIterCallArgs (data)));
- break;
- case XPR_ITER:
- ret = message ("%q(%q) %s %q",
- uentry_getName (exprData_getIterSname (data)),
- exprNodeList_unparse (exprData_getIterAlist (data)),
- exprNode_generateConstraints (exprData_getIterBody (data)),
- uentry_getName (exprData_getIterEname (data)));
- break;
- case XPR_CAST:
- ret = message ("(%q)%s",
- qtype_unparse (exprData_getCastType (data)),
- exprNode_generateConstraints (exprData_getCastNode (data)));
- break;
-
- case XPR_FOR:
- ret = message ("%s %s",
- exprNode_generateConstraints (exprData_getPairA (data)),
- exprNode_generateConstraints (exprData_getPairB (data)));
- break;
-
- case XPR_FORPRED:
- ret = message ("for (%s; %s; %s)",
- exprNode_generateConstraints (exprData_getTripleInit (data)),
- exprNode_generateConstraints (exprData_getTripleTest (data)),
- exprNode_generateConstraints (exprData_getTripleInc (data)));
- break;
-
- case XPR_GOTO:
- ret = message ("goto %s", exprData_getLiteral (data));
- break;
-
- case XPR_CONTINUE:
- ret = cstring_makeLiteral ("continue");
- break;
-
- case XPR_BREAK:
- ret = cstring_makeLiteral ("break");
- break;
-
- case XPR_RETURN:
- ret = message ("return %s", exprNode_generateConstraints (exprData_getSingle (data)));
- break;
-
- case XPR_NULLRETURN:
- ret = cstring_makeLiteral ("return");
- break;
-
- case XPR_COMMA:
- ret = message ("%s, %s",
- exprNode_generateConstraints (exprData_getPairA (data)),
- exprNode_generateConstraints (exprData_getPairB (data)));
- break;
-
- case XPR_COND:
- ret = message ("%s ? %s : %s",
- exprNode_generateConstraints (exprData_getTriplePred (data)),
- exprNode_generateConstraints (exprData_getTripleTrue (data)),
- exprNode_generateConstraints (exprData_getTripleFalse (data)));
- break;
- case XPR_IF:
- ret = message ("if (%s) %s",
- exprNode_generateConstraints (exprData_getPairA (data)),
- exprNode_generateConstraints (exprData_getPairB (data)));
- break;
-
- case XPR_IFELSE:
- ret = message ("if (%s) %s else %s",
- exprNode_generateConstraints (exprData_getTriplePred (data)),
- exprNode_generateConstraints (exprData_getTripleTrue (data)),
- exprNode_generateConstraints (exprData_getTripleFalse (data)));
- break;
- case XPR_WHILE:
- ret = message ("while (%s) %s",
- exprNode_generateConstraints (exprData_getPairA (data)),
- exprNode_generateConstraints (exprData_getPairB (data)));
- break;
-
- case XPR_WHILEPRED:
- ret = cstring_copy (exprNode_generateConstraints (exprData_getSingle (data)));
- break;
-
- case XPR_TOK:
- ret = cstring_copy (lltok_unparse (exprData_getTok (data)));
- break;
-
- case XPR_DOWHILE:
- ret = message ("do { %s } while (%s)",
- exprNode_generateConstraints (exprData_getPairB (data)),
- exprNode_generateConstraints (exprData_getPairA (data)));
- break;
-
- case XPR_BLOCK:
- ret = message ("{ %s }", exprNode_generateConstraints (exprData_getSingle (data)));
- e->constraints = (exprData_getSingle (data))->constraints;
- break;
-
- case XPR_STMT:
- ret = cstring_copy (exprNode_generateConstraints (exprData_getSingle (data)));
- e->constraints = (exprData_getSingle (data))->constraints;
- break;
-
- case XPR_STMTLIST:
- ret = message ("%s;%d %s",
- exprNode_generateConstraints (exprData_getPairA (data)), temp++,
- exprNode_generateConstraints (exprData_getPairB (data)));
- e->constraints = constraintList_exprNodemerge (exprData_getPairA (data), exprData_getPairB (data) );
- break;
-
- case XPR_FTDEFAULT:
- case XPR_DEFAULT:
- ret = cstring_makeLiteral ("default:");
- break;
-
- case XPR_SWITCH:
- ret = message ("switch (%s) %s",
- exprNode_generateConstraints (exprData_getPairA (data)),
- exprNode_generateConstraints (exprData_getPairB (data)));
- break;
-
- case XPR_FTCASE:
- case XPR_CASE:
- ret = message ("case %s:",
- exprNode_generateConstraints (exprData_getSingle (data)));
- break;
-
- case XPR_INIT:
- ret = message ("%s = %s",
- idDecl_getName (exprData_getInitId (data)),
- exprNode_generateConstraints (exprData_getInitNode (data)));
- break;
-
- case XPR_FACCESS:
- ret = message ("%s.%s",
- exprNode_generateConstraints (exprData_getFieldNode (data)),
- exprData_getFieldName (data));
- break;
-
- case XPR_ARROW:
- ret = message ("%s->%s",
- exprNode_generateConstraints (exprData_getFieldNode (data)),
- exprData_getFieldName (data));
- break;
-
- case XPR_STRINGLITERAL:
- ret = cstring_copy (exprData_getLiteral (data));
- break;
-
- case XPR_NUMLIT:
- ret = cstring_copy (exprData_getLiteral (data));
- break;
-
- case XPR_NODE:
- ret = cstring_makeLiteral ("<node>");
- break;