Home | History | Annotate | Download | only in Checkers

Lines Matching refs:isConstrainedTrue

141   if (State->isNull(C.getSVal(E)).isConstrainedTrue()) {
157   if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue())