Searched refs:fguard (Results 1 – 2 of 2) sorted by relevance
2606 IRExpr* fguard = fold_Expr(env, subst_Expr(env, sg->guard)); in subst_and_fold_Stmt() local2607 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() local2634 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()[all …]
22398 fguard.