Lines Matching refs:exprData_getPairA
288 stmt1 = exprData_getPairA (e->edata); in exprNode_stmtList()
604 stmtList = exprData_getPairA(body->edata); in exprNode_doGenerateConstraintSwitch()
766 switchExpr = exprData_getPairA (switchStmt->edata); in exprNode_generateConstraintSwitch()
831 exprNode_unparse (exprData_getPairA (data)), in doSwitch()
867 forPred = exprData_getPairA (data); in exprNode_multiStatement()
897 e1 = exprData_getPairA (data); in exprNode_multiStatement()
912 e1 = exprData_getPairA (data); in exprNode_multiStatement()
974 e1 = (exprData_getPairA (data)); in exprNode_multiStatement()
1216 t1 = (exprData_getPairA (data)); in exprNode_exprTraverse()
1222 t1 = (exprData_getPairA (data)); in exprNode_exprTraverse()
1234 exprNode_exprTraverse (exprData_getPairA (data), FALSE, TRUE, sequencePoint); in exprNode_exprTraverse()
1556 t1 = exprData_getPairA (data); in exprNode_exprTraverse()
1623 (exprData_getPairA (data))); in exprNode_traverseTrueEnsuresConstraints()
1757 (exprData_getPairA (data))); in exprNode_traverseFalseEnsuresConstraints()
1892 (exprData_getPairA (data))); in exprNode_traverseRequiresConstraints()
2035 (exprData_getPairA (data))); in exprNode_traverseEnsuresConstraints()