Home | History | Annotate | Download | only in priv

Lines Matching refs:iffalse

1358       ppIRExpr(e->Iex.ITE.iffalse);
1878 IRExpr* IRExpr_ITE ( IRExpr* cond, IRExpr* iftrue, IRExpr* iffalse ) {
1883    e->Iex.ITE.iffalse = iffalse;
2325                            deepCopyIRExpr(e->Iex.ITE.iffalse));
3579          e = e->Iex.ITE.iffalse;
3581          /* return typeOfIRExpr(tyenv, e->Iex.ITE.iffalse); */
3686                                     && isIRAtom(e->Iex.ITE.iffalse));
3879          useBeforeDef_Expr(bb,stmt,expr->Iex.ITE.iffalse,def_counts);
4165          tcExpr(bb,stmt, expr->Iex.ITE.iffalse, gWordTy);
4169              != typeOfIRExpr(tyenv, expr->Iex.ITE.iffalse))
4170             sanityCheckFail(bb,stmt,"Iex.ITE: iftrue/iffalse mismatch");