Lines Matching defs:Region

144     NullabilityBugVisitor(const MemRegion *M) : Region(M) {}
149       ID.AddPointer(Region);
158     const MemRegion *Region;
167                                  ExplodedNode *N, const MemRegion *Region,
173                  const MemRegion *Region, BugReporter &BR,
177     if (Region) {
178       R->markInteresting(Region);
179       R->addVisitor<NullabilityBugVisitor>(Region);
326   const MemRegion *Region = RegionSVal->getRegion();
329     if (const SubRegion *FieldReg = Region->getAs<FieldRegion>()) {
334     if (auto ElementReg = Region->getAs<ElementRegion>())
338   return dyn_cast<SymbolicRegion>(Region);
347   const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region);
349       StatePrev->get<NullabilityMap>(Region);
483     const MemRegion *Region, CheckerContext &C, const Stmt *ValueExpr,
494   reportBug(Msg, Error, CK, N, Region, C.getBugReporter(), ValueExpr);
503     const auto *Region = Reg->getAs<SymbolicRegion>();
504     assert(Region && "Non-symbolic region is tracked.");
505     if (SR.isDead(Region->getSymbol())) {
536   const MemRegion *Region =
538   if (!Region)
543       State->get<NullabilityMap>(Region);
556                 Event.SinkNode, Region, BR);
561                 Event.SinkNode, Region, BR);
620   const auto *Region =
622   if (!Region)
627   auto StoredVal = State->getSVal(Region).getAs<loc::MemRegionVal>();
632       getNullabilityAnnotation(Region->getValueType());
741   const MemRegion *Region = getTrackRegion(*RetSVal);
742   if (!Region)
746       State->get<NullabilityMap>(Region);
762                                 CK_NullableReturnedFromNonnull, N, Region, C);
767     State = State->set<NullabilityMap>(Region,
833     const MemRegion *Region = getTrackRegion(*ArgSVal);
834     if (!Region)
838         State->get<NullabilityMap>(Region);
854                                   CK_NullablePassedToNonnull, N, Region, C,
863                                   CK_NullableDereferenced, N, Region, C,
893   const MemRegion *Region = getTrackRegion(Call.getReturnValue());
894   if (!Region)
902     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
908       State->get<NullabilityMap>(Region);
920     State = State->set<NullabilityMap>(Region, Nullability::Nullable);
1159   const MemRegion *Region = getTrackRegion(*RegionSVal);
1160   if (!Region)
1167       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
1174       State->get<NullabilityMap>(Region);
1179     State = State->set<NullabilityMap>(Region,
1187     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
1390   for (auto [Region, State] : B) {
1391     Out << Region << " : ";