Lines Matching defs:guard1
1197 IRTemp guard1 = newIRTemp(clgs.sbOut->tyenv, Ity_I1);1205 IRStmt_WrTmp( guard1, st->Ist.Exit.guard ));1209 IRExpr_RdTmp(guard1))) );