Home | History | Annotate | Download | only in priv

Lines Matching full: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);
3771       RetLoc rloc    = mk_RetLoc_INVALID();
3791          doHelperCall(&addToSp, &rloc, env, d->guard,  d->cee, retty,
3793          vassert(is_sane_RetLoc(rloc));
3794          vassert(rloc.pri == RLPri_None);
3807          doHelperCall(&addToSp, &rloc, env, d->guard,  d->cee, retty,
3809          vassert(is_sane_RetLoc(rloc));
3810          vassert(rloc.pri == RLPri_Int);