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