Home | History | Annotate | Download | only in Checkers

Lines Matching defs:getArg

406   /// getArg - Return the argument effect on the argument specified by
408 ArgEffect getArg(unsigned idx) const {
2031 AEffects.push_back(Summ->getArg(i));
2946 if (Summ.getArg(idx) == StopTrackingHard) {
3022 ArgEffect Effect = Summ.getArg(idx);
3398 SVal RetVal = state->getSVal(CE->getArg(0), LCtx);
4012 CE.Args.push_back(S->getArg(i));\