Home | History | Annotate | Download | only in priv

Lines Matching refs:iffalse

1357       ppIRExpr(e->Iex.ITE.iffalse);
1874 IRExpr* IRExpr_ITE ( IRExpr* cond, IRExpr* iftrue, IRExpr* iffalse ) {
1879    e->Iex.ITE.iffalse = iffalse;
2321                            deepCopyIRExpr(e->Iex.ITE.iffalse));
3573          e = e->Iex.ITE.iffalse;
3575          /* return typeOfIRExpr(tyenv, e->Iex.ITE.iffalse); */
3680                                     && isIRAtom(e->Iex.ITE.iffalse));
3873          useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iffalse,def_counts);
4159          tcExpr(bb,stmt, expr->Iex.ITE.iffalse, gWordTy);
4163              != typeOfIRExpr(tyenv, expr->Iex.ITE.iffalse))
4164             sanityCheckFail(bb,stmt,"Iex.ITE: iftrue/iffalse mismatch");