Searched refs:ValueRegion (Results 1 - 2 of 2) sorted by relevance

/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp1282 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); local
1283 if (!ValueRegion)
1287 State->get<NullabilityMap>(ValueRegion);
1300 CK_NullablePassedToNonnull, N, ValueRegion, C);
1312 ValueRegion, NullabilityState(ValNullability, NullabilitySource));
1320 ValueRegion, NullabilityState(LocNullability, NullabilitySource));
/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1336 const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion(); local
1337 if (!ValueRegion) {
1344 Region = ValueRegion->getBaseRegion();

Completed in 72 milliseconds