HomeSort by: relevance | last modified time | path
    Searched refs:ValueRegion (Results 1 - 2 of 2) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
NullabilityChecker.cpp 1166 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown);
1167 if (!ValueRegion)
1171 State->get<NullabilityMap>(ValueRegion);
1184 CK_NullablePassedToNonnull, N, ValueRegion, C);
1196 ValueRegion, NullabilityState(ValNullability, NullabilitySource));
1204 ValueRegion, NullabilityState(LocNullability, NullabilitySource));
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 962 const MemRegion *ValueRegion = state->getSVal(Region).getAsRegion();
963 if (!ValueRegion) {
970 Region = ValueRegion->getBaseRegion();

Completed in 22 milliseconds