Home | History | Annotate | Download | only in priv

Lines Matching refs:iffalse

1271       ppIRExpr(e->Iex.ITE.iffalse);
1785 IRExpr* IRExpr_ITE ( IRExpr* cond, IRExpr* iftrue, IRExpr* iffalse ) {
1790    e->Iex.ITE.iffalse = iffalse;
2227                            deepCopyIRExpr(e->Iex.ITE.iffalse));
3425          e = e->Iex.ITE.iffalse;
3427          /* return typeOfIRExpr(tyenv, e->Iex.ITE.iffalse); */
3533                                     && isIRAtom(e->Iex.ITE.iffalse));
3722          useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iffalse,def_counts);
4007          tcExpr(bb,stmt, expr->Iex.ITE.iffalse, gWordTy);
4011              != typeOfIRExpr(tyenv, expr->Iex.ITE.iffalse))
4012             sanityCheckFail(bb,stmt,"Iex.ITE: iftrue/iffalse mismatch");