Home
last modified time | relevance | path

Searched refs:superR (Results 1 – 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DRegionStore.cpp188 const MemRegion *superR = R->getSuperRegion(); in process() local
189 if (add(superR, R)) in process()
190 if (const SubRegion *sr = dyn_cast<SubRegion>(superR)) in process()
339 QualType Ty, const MemRegion *superR);
356 const MemRegion *superR,
1031 const MemRegion* superR = R->getSuperRegion(); in RetrieveElement() local
1034 if (const StringRegion *StrR=dyn_cast<StringRegion>(superR)) { in RetrieveElement()
1056 if (isa<CodeTextRegion>(superR)) in RetrieveElement()
1077 if (const Optional<SVal> &V = getDirectBinding(B, superR)) { in RetrieveElement()
1091 return RetrieveFieldOrElementCommon(store, R, R->getElementType(), superR); in RetrieveElement()
[all …]
DMemRegion.cpp608 const MemRegion *superR) { in getVarRegion() argument
609 return getSubRegion<VarRegion>(D, superR); in getVarRegion()
822 const MemRegion *superR = NULL; in getAsArrayOffset() local
828 superR = ER->getSuperRegion(); in getAsArrayOffset()
841 superR = ER; in getAsArrayOffset()
850 ER = dyn_cast<ElementRegion>(superR); in getAsArrayOffset()
857 assert(superR && "super region cannot be NULL"); in getAsArrayOffset()
858 return RegionRawOffset(superR, offset); in getAsArrayOffset()
DSimpleSValBuilder.cpp902 const MemRegion *superR = 0; in evalBinOpLN() local
909 superR = elemReg->getSuperRegion(); in evalBinOpLN()
913 superR = region; in evalBinOpLN()
927 superR, getContext())); in evalBinOpLN()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h979 const VarRegion* getVarRegion(const VarDecl *D, const MemRegion *superR);