Searched refs:fcond (Results 1 – 1 of 1) sorted by relevance
2725 IRExpr* fcond; in subst_and_fold_Stmt() local2727 fcond = fold_Expr(env, subst_Expr(env, st->Ist.Exit.guard)); in subst_and_fold_Stmt()2728 if (fcond->tag == Iex_Const) { in subst_and_fold_Stmt()2731 vassert(fcond->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()2732 if (fcond->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()2736 vassert(fcond->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()2747 return IRStmt_Exit(fcond, st->Ist.Exit.jk, in subst_and_fold_Stmt()