2606          IRExpr* fguard = fold_Expr(env, subst_Expr(env, sg->guard));  in subst_and_fold_Stmt()  local
2607          if (fguard->tag == Iex_Const) {  in subst_and_fold_Stmt()
2609             vassert(fguard->Iex.Const.con->tag == Ico_U1);  in subst_and_fold_Stmt()
2610             if (fguard->Iex.Const.con->Ico.U1 == False) {  in subst_and_fold_Stmt()
2613                vassert(fguard->Iex.Const.con->Ico.U1 == True);  in subst_and_fold_Stmt()
2617          return IRStmt_StoreG(sg->end, faddr, fdata, fguard);  in subst_and_fold_Stmt()
2633          IRExpr* fguard = fold_Expr(env, subst_Expr(env, lg->guard));  in subst_and_fold_Stmt()  local
2634          if (fguard->tag == Iex_Const) {  in subst_and_fold_Stmt()
2636             vassert(fguard->Iex.Const.con->tag == Ico_U1);  in subst_and_fold_Stmt()
2637             if (fguard->Iex.Const.con->Ico.U1 == False) {  in subst_and_fold_Stmt()
2642                vassert(fguard->Iex.Const.con->Ico.U1 == True);  in subst_and_fold_Stmt()
2652          return IRStmt_LoadG(lg->end, lg->cvt, lg->dst, faddr, falt, fguard);  in subst_and_fold_Stmt()