Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getArgSVal

1017       return !Call.getArgSVal(i).isZeroConstant();
2209     SVal ArgSVal = Call.getArgSVal(I);
2484     if (Call->getNumArgs() >= 4 && Call->getArgSVal(4).isConstant(0))