Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getArgSVal

157   if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue())
790     if (msg.getArgSVal(I).getAs<loc::ConcreteInt>())