Searched refs:fguard (Results 1 – 2 of 2) sorted by relevance
2607 IRExpr* fguard = fold_Expr(env, subst_Expr(env, sg->guard)); in subst_and_fold_Stmt() local2608 if (fguard->tag == Iex_Const) { in subst_and_fold_Stmt()2610 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()2611 if (fguard->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()2614 vassert(fguard->Iex.Const.con->Ico.U1 == True); in subst_and_fold_Stmt()2618 return IRStmt_StoreG(sg->end, faddr, fdata, fguard); in subst_and_fold_Stmt()2634 IRExpr* fguard = fold_Expr(env, subst_Expr(env, lg->guard)); in subst_and_fold_Stmt() local2635 if (fguard->tag == Iex_Const) { in subst_and_fold_Stmt()2637 vassert(fguard->Iex.Const.con->tag == Ico_U1); in subst_and_fold_Stmt()2638 if (fguard->Iex.Const.con->Ico.U1 == False) { in subst_and_fold_Stmt()[all …]
22398 fguard.