Searched refs:ArgRegion (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MoveChecker.cpp | 463 const auto ArgRegion = AFC->getArgSVal(0).getAsRegion(); in checkPostCall() local
464 if (!ArgRegion) in checkPostCall()
469 if (CC && CC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
473 if (IC->getCXXThisVal().getAsRegion() == ArgRegion) in checkPostCall()
476 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall()
483 if (State->get<TrackedRegionMap>(ArgRegion)) in checkPostCall()
487 ObjectKind OK = classifyObject(State, ArgRegion, RD); in checkPostCall()
490 State = State->set<TrackedRegionMap>(ArgRegion, RegionState::getMoved()); in checkPostCall()
616 const MemRegion *ArgRegion = CC->getArgSVal(0).getAsRegion(); in checkPreCall() local
619 modelUse(State, ArgRegion, RD, MK, C); in checkPreCall()
[all …]
|
| H A D | InnerPointerChecker.cpp | 167 const auto *ArgRegion = in checkFunctionArguments() local
169 if (!ArgRegion) in checkFunctionArguments()
177 markPtrSymbolsReleased(Call, State, ArgRegion, C); in checkFunctionArguments()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 553 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion()); in updateOutParameters() local
554 if (!ArgRegion) in updateOutParameters()
557 QualType PointeeTy = ArgRegion->getValueType(); in updateOutParameters()
558 SVal PointeeVal = State->getSVal(ArgRegion); in updateOutParameters()
563 if (shouldEscapeRegion(State, ArgRegion)) in updateOutParameters()
|