Lines Matching refs:rloc
1823 RetLoc rloc = mk_RetLoc_INVALID();
1825 doHelperCall(&addToSp, &rloc, env, NULL, expr->Iex.CCall.cee,
1827 vassert(is_sane_RetLoc(rloc));
1828 vassert(rloc.pri == RLPri_Int);
3809 RetLoc rloc = mk_RetLoc_INVALID();
3829 doHelperCall(&addToSp, &rloc, env, d->guard, d->cee, retty,
3831 vassert(is_sane_RetLoc(rloc));
3832 vassert(rloc.pri == RLPri_None);
3845 doHelperCall(&addToSp, &rloc, env, d->guard, d->cee, retty,
3847 vassert(is_sane_RetLoc(rloc));
3848 vassert(rloc.pri == RLPri_Int);