Home
last modified time | relevance | path

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

/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DMoveChecker.cpp464 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall() local
465 if (!ArgRegion) in checkPostCall()
470 if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
474 if (IC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
477 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
484 if (State->get<TrackedRegionMap>(ArgRegion)) in checkPostCall()
488 ObjectKind OK = classifyObject(ArgRegion, RD); in checkPostCall()
491 State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved()); in checkPostCall()
615 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall() local
618 modelUse(State, ArgRegion, RD, MK, C); in checkPreCall()
[all …]
DSmartPtrModeling.cpp409 const auto *ArgRegion = Call.getArgSVal(0).getAsRegion(); in handleSwap() local
410 if (!ArgRegion) in handleSwap()
417 State->get<TrackedRegionMap>(ArgRegion); in handleSwap()
421 State = updateSwappedRegion(State, ArgRegion, ThisRegionInnerPointerVal); in handleSwap()
424 State, C.getNoteTag([ThisRegion, ArgRegion](PathSensitiveBugReport &BR, in handleSwap()
429 BR.markInteresting(ArgRegion); in handleSwap()
431 checkAndPrettyPrintRegion(OS, ArgRegion); in handleSwap()
DInnerPointerChecker.cpp170 const auto *ArgRegion = in checkFunctionArguments() local
172 if (!ArgRegion) in checkFunctionArguments()
175 markPtrSymbolsReleased(Call, State, ArgRegion, C); in checkFunctionArguments()
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
DRetainCountChecker.cpp555 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion()); in updateOutParameters() local
556 if (!ArgRegion) in updateOutParameters()
559 QualType PointeeTy = ArgRegion->getValueType(); in updateOutParameters()
560 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameters()
565 if (shouldEscapeRegion(ArgRegion)) in updateOutParameters()
/external/clang/lib/StaticAnalyzer/Checkers/
DRetainCountChecker.cpp2971 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion()); in updateOutParameter() local
2972 if (!ArgRegion) in updateOutParameter()
2975 QualType PointeeTy = ArgRegion->getValueType(); in updateOutParameter()
2979 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameter()
3401 if (const MemRegion *ArgRegion = RetVal.getAsRegion()) { in evalCall() local
3409 state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx, in evalCall()