Home | History | Annotate | Download | only in Checkers

Lines Matching full:loc

161   void checkLocation(SVal loc, bool isLoad, const Stmt *S,
189   if (Optional<loc::MemRegionVal> X = val.getAs<loc::MemRegionVal>()) {
201 void NSOrCFErrorDerefChecker::checkLocation(SVal loc, bool isLoad,
206   if (loc.isUndef() || !loc.getAs<Loc>())
218   QualType parmT = parameterTypeFromSVal(loc, C);
228     setFlag<NSErrorOut>(state, state->getSVal(loc.castAs<Loc>()), C);
233     setFlag<CFErrorOut>(state, state->getSVal(loc.castAs<Loc>()), C);
242   SVal loc = event.Location;
246   bool isNSError = hasFlag<NSErrorOut>(loc, state);
249     isCFError = hasFlag<CFErrorOut>(loc, state);