|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Derived Classes
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h 801 class StringRegion : public TypedValueRegion {
836 class ObjCStringRegion : public TypedValueRegion {
872 class CompoundLiteralRegion : public TypedValueRegion {
905 class DeclRegion : public TypedValueRegion {
973 class CXXThisRegion : public TypedValueRegion {
1083 class ElementRegion : public TypedValueRegion {
1122 class CXXTempObjectRegion : public TypedValueRegion {
1153 class CXXBaseObjectRegion : public TypedValueRegion {
1191 class CXXDerivedObjectRegion : public TypedValueRegion {
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h 50 class TypedValueRegion;
References
include/llvm/Support/Casting.h 57 static inline bool doit(const From &Val) {
58 return To::classof(&Val);
66 static inline bool doit(const From &) { return true; }
104 static inline bool doit(const From *Val) {
106 return isa_impl<To, From>::doit(*Val);
106 return isa_impl<To, From>::doit(*Val);
122 return isa_impl_wrap<To, SimpleFrom,
132 return isa_impl_cl<To,FromTy>::doit(Val);
142 return isa_impl_wrap<X, const Y,
176 using ret_type = const To *; // Constant pointer arg case, return const Ty*
198 using ret_type = typename cast_retty<To, SimpleFrom>::ret_type;
204 using ret_type = typename cast_retty_impl<To,FromTy>::ret_type;
210 To, From, typename simplify_type<From>::SimpleType>::ret_type;
227 static typename cast_retty<To, FromTy>::ret_type doit(const FromTy &Val) {
228 typename cast_retty<To, FromTy>::ret_type Res2
256 inline typename cast_retty<X, Y>::ret_type cast(Y &Val) {
263 inline typename cast_retty<X, Y *>::ret_type cast(Y *Val) {
265 return cast_convert_val<X, Y*,
337 LLVM_NODISCARD inline typename cast_retty<X, Y>::ret_type dyn_cast(Y &Val) {
342 LLVM_NODISCARD inline typename cast_retty<X, Y *>::ret_type dyn_cast(Y *Val) {
343 return isa<X>(Val) ? cast<X>(Val) : nullptr;
343 return isa<X>(Val) ? cast<X>(Val) : nullptr;
366 LLVM_NODISCARD inline typename cast_retty<X, Y *>::ret_type
368 return (Val && isa<X>(Val)) ? cast<X>(Val) : nullptr;
368 return (Val && isa<X>(Val)) ? cast<X>(Val) : nullptr;
include/llvm/Support/PointerLikeTypeTraits.h 56 static inline void *getAsVoidPointer(T *P) { return P; }
57 static inline T *getFromVoidPointer(void *P) { return static_cast<T *>(P); }
59 enum { NumLowBitsAvailable = detail::ConstantLog2<alignof(T)>::value };
91 typedef PointerLikeTypeTraits<T *> NonConst;
93 static inline const void *getAsVoidPointer(const T *P) {
96 static inline const T *getFromVoidPointer(const void *P) {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h 63 const TypedValueRegion *region;
66 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r)
72 const TypedValueRegion *getRegion() const { return region; }
76 const TypedValueRegion *region);
225 const TypedValueRegion *region);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h 801 class StringRegion : public TypedValueRegion {
836 class ObjCStringRegion : public TypedValueRegion {
872 class CompoundLiteralRegion : public TypedValueRegion {
905 class DeclRegion : public TypedValueRegion {
973 class CXXThisRegion : public TypedValueRegion {
1083 class ElementRegion : public TypedValueRegion {
1122 class CXXTempObjectRegion : public TypedValueRegion {
1153 class CXXBaseObjectRegion : public TypedValueRegion {
1191 class CXXDerivedObjectRegion : public TypedValueRegion {
1228 const RegionTy* MemRegion::getAs() const {
1229 if (const auto *RT = dyn_cast<RegionTy>(this))
1229 if (const auto *RT = dyn_cast<RegionTy>(this))
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h 198 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
228 SymbolRef parentSymbol, const TypedValueRegion *region);
255 const TypedValueRegion *region) {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h 498 const TypedValueRegion *getRegion() const;
613 const REGION* getRegionAs() const {
614 return dyn_cast<REGION>(getRegion());
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h 294 SVal CastRetrievedVal(SVal val, const TypedValueRegion *region,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h 42 const TypedValueRegion *R;
45 SymbolRegionValue(SymbolID sym, const TypedValueRegion *r)
51 const TypedValueRegion* getRegion() const { return R; }
53 static void Profile(llvm::FoldingSetNodeID& profile, const TypedValueRegion* R) {
129 const TypedValueRegion *R;
132 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
140 const TypedValueRegion *getRegion() const { return R; }
148 const TypedValueRegion *r) {
484 const SymbolRegionValue* getRegionValueSymbol(const TypedValueRegion* R);
500 const TypedValueRegion *R);
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 472 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts());
472 const TypedValueRegion* R = dyn_cast<TypedValueRegion>(LV->stripCasts());
tools/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp 59 const TypedValueRegion *TR =
60 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion());
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 1011 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
1011 const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp 206 bool Find(const TypedValueRegion *R) {
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp 513 const TypedValueRegion *TVR =
tools/clang/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp 68 const auto *BaseClassRegion = MR->getAs<TypedValueRegion>();
68 const auto *BaseClassRegion = MR->getAs<TypedValueRegion>();
tools/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp 253 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR);
253 const TypedValueRegion *TVR = dyn_cast_or_null<TypedValueRegion>(MR);
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp 170 const auto *ArgRegion =
171 dyn_cast_or_null<TypedValueRegion>(Arg.getAsRegion());
200 const auto *ObjRegion = dyn_cast_or_null<TypedValueRegion>(
200 const auto *ObjRegion = dyn_cast_or_null<TypedValueRegion>(
293 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion);
293 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion);
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 3236 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion);
3236 const auto *TypedRegion = cast<TypedValueRegion>(ObjRegion);
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 1055 const TypedValueRegion *TVR =
1056 dyn_cast_or_null<TypedValueRegion>(L.getAsRegion());
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 489 const auto *TR = dyn_cast<TypedValueRegion>(
489 const auto *TR = dyn_cast<TypedValueRegion>(
555 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion());
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp 178 if (const auto *TR = dyn_cast<TypedValueRegion>(MR))
178 if (const auto *TR = dyn_cast<TypedValueRegion>(MR))
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp 179 const TypedValueRegion *R = SD->getRegion();
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObject.h 199 const TypedValueRegion *const ObjectR;
222 const TypedValueRegion *const R,
290 bool isUnionUninit(const TypedValueRegion *R);
294 bool isNonUnionUninit(const TypedValueRegion *R, FieldChainInfo LocalChain);
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp 110 static const TypedValueRegion *
156 const TypedValueRegion *R = getConstructedRegion(CtorDecl, Context);
230 ProgramStateRef State, const TypedValueRegion *const R,
276 bool FindUninitializedFields::isNonUnionUninit(const TypedValueRegion *R,
357 const auto *BaseRegion = State->getLValue(BaseSpec, R)
359 .getRegionAs<TypedValueRegion>();
377 bool FindUninitializedFields::isUnionUninit(const TypedValueRegion *R) {
457 static const TypedValueRegion *
466 auto *R = ObjectV.getAsRegion()->getAs<TypedValueRegion>();
476 const TypedValueRegion *CurrRegion = getConstructedRegion(Ctor, Context);
488 const TypedValueRegion *OtherRegion =
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedPointee.cpp 117 const TypedValueRegion *R;
120 DereferenceInfo(const TypedValueRegion *R, bool NCB, bool IC)
173 const TypedValueRegion *R = DerefInfo->R;
225 llvm::SmallSet<const TypedValueRegion *, 5> VisitedRegions;
237 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>();
237 const auto *R = V.getAsRegion()->getAs<TypedValueRegion>();
248 R = Tmp->getAs<TypedValueRegion>();
265 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion());
265 const auto *SuperR = dyn_cast<TypedValueRegion>(R->getSuperRegion());
tools/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp 39 const TypedValueRegion *region) {
144 const TypedValueRegion *region) {
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 1254 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) {
1254 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) {
1321 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) {
1321 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) {
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 372 const TypedValueRegion *TR = nullptr;
970 varType = cast<TypedValueRegion>(Region)->getValueType();
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp 62 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) {
62 if (const auto *R = dyn_cast<TypedValueRegion>(MV->getRegion())) {
tools/clang/lib/StaticAnalyzer/Core/MemRegion.cpp 1054 const TypedValueRegion *Super,
1077 if (isa<TypedValueRegion>(Super)) {
1211 R = cast<TypedValueRegion>(R)->getSuperRegion();
1347 if (const auto *TVR = dyn_cast<TypedValueRegion>(R)) {
1347 if (const auto *TVR = dyn_cast<TypedValueRegion>(R)) {
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp 252 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
252 if (const TypedValueRegion *TR = dyn_cast<TypedValueRegion>(R)) {
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp 496 const TypedValueRegion *R,
502 const TypedValueRegion* R, SVal V);
506 const TypedValueRegion* R, SVal V);
509 const TypedValueRegion* R,
571 SVal getBindingForLazySymbol(const TypedValueRegion *R);
574 const TypedValueRegion *R,
585 SVal getBindingForStruct(RegionBindingsConstRef B, const TypedValueRegion *R);
586 SVal getBindingForArray(RegionBindingsConstRef B, const TypedValueRegion *R);
587 NonLoc createLazyBinding(RegionBindingsConstRef B, const TypedValueRegion *R);
596 const TypedValueRegion *R,
1082 if (const auto *TO = dyn_cast<TypedValueRegion>(baseR)) {
1082 if (const auto *TO = dyn_cast<TypedValueRegion>(baseR)) {
1159 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR);
1159 const TypedValueRegion *TR = cast<TypedValueRegion>(baseR);
1470 if (!isa<TypedValueRegion>(MR)) {
1481 T = cast<TypedValueRegion>(MR)->getValueType();
1486 const TypedValueRegion *R = cast<TypedValueRegion>(MR);
1486 const TypedValueRegion *R = cast<TypedValueRegion>(MR);
1575 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(R))
1575 if (const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(R))
1754 if (const TypedValueRegion *baseR =
1755 dyn_cast_or_null<TypedValueRegion>(O.getRegion())) {
1822 const TypedValueRegion *R,
1879 const TypedValueRegion *R,
1940 if (const TypedValueRegion *typedSuperR =
1941 dyn_cast<TypedValueRegion>(R->getSuperRegion())) {
2045 SVal RegionStoreManager::getBindingForLazySymbol(const TypedValueRegion *R) {
2093 const TypedValueRegion *R) {
2110 const TypedValueRegion *R) {
2119 const TypedValueRegion *R) {
2174 if (const TypedValueRegion* TR = dyn_cast<TypedValueRegion>(R)) {
2174 if (const TypedValueRegion* TR = dyn_cast<TypedValueRegion>(R)) {
2233 const TypedValueRegion* R,
2291 const TypedValueRegion* R,
2332 const TypedValueRegion *R,
2371 const TypedValueRegion* R,
tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp 118 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion *region) {
222 const TypedValueRegion *region) {
tools/clang/lib/StaticAnalyzer/Core/SVals.cpp 170 const TypedValueRegion *nonloc::LazyCompoundVal::getRegion() const {
tools/clang/lib/StaticAnalyzer/Core/Store.cpp 105 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) {
105 if (const auto *TR = dyn_cast<TypedValueRegion>(R)) {
178 if (const auto *TR = dyn_cast<TypedValueRegion>(baseR)) {
178 if (const auto *TR = dyn_cast<TypedValueRegion>(baseR)) {
233 const auto *TVR = dyn_cast<TypedValueRegion>(MR);
233 const auto *TVR = dyn_cast<TypedValueRegion>(MR);
307 if (const auto *TVR = dyn_cast<TypedValueRegion>(MR))
307 if (const auto *TVR = dyn_cast<TypedValueRegion>(MR))
392 Failed = isa<TypedValueRegion>(MR);
399 SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R,
tools/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp 168 SymbolManager::getRegionValueSymbol(const TypedValueRegion* R) {
204 const TypedValueRegion *R) {