Home
last modified time | relevance | path

Searched refs:ArgRegion (Results 1 – 3 of 3) sorted by relevance

/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
DMoveChecker.cpp458 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall() local
459 if (!ArgRegion) in checkPostCall()
464 if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
468 if (IC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
471 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
478 if (State->get<TrackedRegionMap>(ArgRegion)) in checkPostCall()
482 ObjectKind OK = classifyObject(ArgRegion, RD); in checkPostCall()
485 State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved()); in checkPostCall()
609 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall() local
612 modelUse(State, ArgRegion, RD, MK, C); in checkPreCall()
[all …]
DInnerPointerChecker.cpp177 const auto *ArgRegion = in checkFunctionArguments() local
179 if (!ArgRegion) in checkFunctionArguments()
187 markPtrSymbolsReleased(Call, State, ArgRegion, C); in checkFunctionArguments()
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
DRetainCountChecker.cpp556 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion()); in updateOutParameters() local
557 if (!ArgRegion) in updateOutParameters()
560 QualType PointeeTy = ArgRegion->getValueType(); in updateOutParameters()
561 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameters()
566 if (shouldEscapeRegion(ArgRegion)) in updateOutParameters()