Home
last modified time | relevance | path

Searched refs:TypedValueRegion (Results 1 – 25 of 38) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRegions.def67 ABSTRACT_REGION(TypedValueRegion, TypedRegion)
68 REGION(CompoundLiteralRegion, TypedValueRegion)
69 REGION(CXXBaseObjectRegion, TypedValueRegion)
70 REGION(CXXDerivedObjectRegion, TypedValueRegion)
71 REGION(CXXTempObjectRegion, TypedValueRegion)
72 REGION(CXXLifetimeExtendedObjectRegion, TypedValueRegion)
73 REGION(CXXThisRegion, TypedValueRegion)
74 ABSTRACT_REGION(DeclRegion, TypedValueRegion)
84 REGION(ElementRegion, TypedValueRegion)
85 REGION(ObjCStringRegion, TypedValueRegion)
[all …]
H A DMemRegion.h563 class TypedValueRegion : public TypedRegion {
567 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) { in TypedValueRegion() function
857 class StringRegion : public TypedValueRegion {
863 : TypedValueRegion(sreg, StringRegionKind), Str(str) { in StringRegion()
891 class ObjCStringRegion : public TypedValueRegion {
898 : TypedValueRegion(sreg, ObjCStringRegionKind), Str(str) { in ObjCStringRegion()
928 class CompoundLiteralRegion : public TypedValueRegion {
935 : TypedValueRegion(sReg, CompoundLiteralRegionKind), CL(cl) { in CompoundLiteralRegion()
962 class DeclRegion : public TypedValueRegion {
964 DeclRegion(const MemRegion *sReg, Kind k) : TypedValueRegion(sReg, k) { in DeclRegion()
[all …]
H A DBasicValueFactory.h65 const TypedValueRegion *region;
68 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) in LazyCompoundValData()
78 const TypedValueRegion *getRegion() const { return region; } in getRegion()
82 const TypedValueRegion *region);
240 const TypedValueRegion *region);
H A DSymbolManager.h45 const TypedValueRegion *R;
48 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r) in SymbolRegionValue()
56 const TypedValueRegion *getRegion() const { return R; } in getRegion()
58 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) { in Profile()
140 const TypedValueRegion *R;
143 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r) in SymbolDerived()
154 const TypedValueRegion *getRegion() const { return R; } in getRegion()
164 const TypedValueRegion *r) { in Profile()
H A DSValBuilder.h186 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
227 SymbolRef parentSymbol, const TypedValueRegion *region);
254 const TypedValueRegion *region) { in makeLazyCompoundVal()
H A DSVals.h51 class TypedValueRegion; variable
419 const TypedValueRegion *getRegion() const;
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp112 const TypedValueRegion *R;
115 DereferenceInfo(const TypedValueRegion *R, bool NCB, bool IC) in DereferenceInfo()
168 const TypedValueRegion *R = DerefInfo->R; in isDereferencableUninit()
220 llvm::SmallSet<const TypedValueRegion *, 5> VisitedRegions; in dereference()
232 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>(); in dereference()
243 R = Tmp->getAs<TypedValueRegion>(); in dereference()
260 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion()); in dereference()
H A DUninitializedObjectChecker.cpp105 static const TypedValueRegion *
151 const TypedValueRegion *R = getConstructedRegion(CtorDecl, Context); in checkEndFunction()
225 ProgramStateRef State, const TypedValueRegion *const R, in FindUninitializedFields()
271 bool FindUninitializedFields::isNonUnionUninit(const TypedValueRegion *R, in isNonUnionUninit()
356 .getRegionAs<TypedValueRegion>(); in isNonUnionUninit()
374 bool FindUninitializedFields::isUnionUninit(const TypedValueRegion *R) { in isUnionUninit()
454 static const TypedValueRegion *
463 auto *R = ObjectV.getAsRegion()->getAs<TypedValueRegion>(); in getConstructedRegion()
473 const TypedValueRegion *CurrRegion = getConstructedRegion(Ctor, Context); in willObjectBeAnalyzedLater()
485 const TypedValueRegion *OtherRegion = in willObjectBeAnalyzedLater()
H A DUninitializedObject.h199 const TypedValueRegion *const ObjectR;
222 const TypedValueRegion *const R,
290 bool isUnionUninit(const TypedValueRegion *R);
294 bool isNonUnionUninit(const TypedValueRegion *R, FieldChainInfo LocalChain);
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCXXDeleteChecker.cpp57 const TypedValueRegion *BaseClassRegion,
70 const TypedValueRegion *BaseClassRegion,
80 const TypedValueRegion *BaseClassRegion,
98 const auto *BaseClassRegion = MR->getAs<TypedValueRegion>(); in checkPreStmt()
108 const TypedValueRegion *BaseClassRegion, in checkTypedDeleteExpr()
138 const TypedValueRegion *BaseClassRegion, in checkTypedDeleteExpr()
H A DInnerPointerChecker.cpp168 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion()); in checkFunctionArguments()
201 const TypedValueRegion *ObjRegion = nullptr; in checkPostCall()
204 ObjRegion = dyn_cast_or_null<TypedValueRegion>( in checkPostCall()
221 dyn_cast_or_null<TypedValueRegion>(Call.getArgSVal(0).getAsRegion()); in checkPostCall()
308 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion); in VisitNode()
H A DBoolAssignmentChecker.cpp61 const TypedValueRegion *TR = in checkBind()
62 dyn_cast_or_null<TypedValueRegion>(Loc.getAsRegion()); in checkBind()
H A DDereferenceChecker.cpp338 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR); in checkBind()
H A DNullabilityChecker.cpp618 dyn_cast_or_null<TypedValueRegion>(Location.getAsRegion()); in checkLocation()
1254 const TypedValueRegion *TVR = in checkBind()
1255 dyn_cast_or_null<TypedValueRegion>(L.getAsRegion()); in checkBind()
H A DCStringChecker.cpp450 const auto *SuperR = ER->getSuperRegion()->getAs<TypedValueRegion>(); in checkInit()
1331 << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
1334 os << "a variable of type" << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
1337 os << "a parameter of type" << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
1340 os << "a field of type " << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
1344 << cast<TypedValueRegion>(MR)->getValueType(); in SummarizeRegion()
H A DTaint.cpp300 const TypedValueRegion *R = SD->getRegion(); in getTaintedSymbolsImpl()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp656 tryBindSmallStruct(LimitedRegionBindingsConstRef B, const TypedValueRegion *R,
661 const TypedValueRegion *R, SVal V);
665 const TypedValueRegion *R, SVal V);
668 tryBindSmallArray(LimitedRegionBindingsConstRef B, const TypedValueRegion *R,
672 const TypedValueRegion *R, SVal V);
715 const TypedValueRegion *R) const;
737 SVal getBindingForLazySymbol(const TypedValueRegion *R);
740 const TypedValueRegion *R,
751 SVal getBindingForStruct(RegionBindingsConstRef B, const TypedValueRegion *R);
752 SVal getBindingForArray(RegionBindingsConstRef B, const TypedValueRegion *R);
[all …]
H A DStore.cpp108 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) { in castRegion()
239 const auto *TVR = dyn_cast<TypedValueRegion>(MR); in regionMatchesCXXRecordType()
311 if (const auto *TVR = dyn_cast<TypedValueRegion>(MR)) in getCXXRecordType()
394 if (isa<TypedValueRegion>(MR)) in evalBaseToDerived()
H A DMemRegion.cpp70 const auto *TyReg = llvm::dyn_cast<TypedValueRegion>(R); in REGISTER_MAP_WITH_PROGRAMSTATE()
464 void TypedValueRegion::anchor() {} in anchor()
831 QualType Ty = cast<TypedValueRegion>(SR)->getDesugaredValueType(Ctx); in getStaticSize()
845 QualType Ty = cast<TypedValueRegion>(SR)->getDesugaredValueType(Ctx); in getStaticSize()
1012 const TypedValueRegion *OrigR = Var.getOriginalRegion(); in getStackOrCaptureRegionForDeclContext()
1301 const TypedValueRegion *Super, in isValidBaseClass()
1324 if (isa<TypedValueRegion>(Super)) { in getCXXBaseObjectRegion()
1325 assert(isValidBaseClass(RD, cast<TypedValueRegion>(Super), IsVirtual)); in getCXXBaseObjectRegion()
1462 R = cast<TypedValueRegion>(R)->getSuperRegion(); in StripCasts()
1598 if (const auto *TVR = dyn_cast<TypedValueRegion>(R)) { in calculateOffset()
H A DBasicValueFactory.cpp40 const TypedValueRegion *region) { in Profile()
143 const TypedValueRegion *region) { in getLazyCompoundValData()
H A DDynamicExtent.cpp48 const auto *TVR = MR->getAs<TypedValueRegion>(); in getConstantArrayElementCount()
H A DProgramState.cpp212 const auto *TyReg = dyn_cast_or_null<TypedValueRegion>(Val.getAsRegion()); in desugarReference()
253 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) { in getSValAsScalarOrLoc()
H A DExprEngineObjC.cpp60 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) { in populateObjCForDestinationSet()
H A DSVals.cpp193 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const { in getRegion()
H A DSValBuilder.cpp137 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion *region) { in getRegionValueSymbolVal()
258 const TypedValueRegion *region) { in getDerivedRegionValueSymbolVal()

12