Searched refs:fcond (Results 1 – 1 of 1) sorted by relevance
2724 IRExpr* fcond; in subst_and_fold_Stmt() local2726 fcond = fold_Expr(env, subst_Expr(env, st->Ist.Exit.guard)); in subst_and_fold_Stmt()2727 if (fcond->tag == Iex_Const) { in subst_and_fold_Stmt()2730 vassert(fcond->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()2731 if (fcond->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()2735 vassert(fcond->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()2746 return IRStmt_Exit(fcond, st->Ist.Exit.jk, in subst_and_fold_Stmt()