Lines Matching full:guard1
1124 IRTemp guard1 = newIRTemp(clgs.sbOut->tyenv, Ity_I1);1132 IRStmt_WrTmp( guard1, st->Ist.Exit.guard ));1136 IRExpr_RdTmp(guard1))) );