Searched refs:superR (Results 1 – 4 of 4) sorted by relevance
189 const MemRegion *superR = R->getSuperRegion(); in process() local190 if (add(superR, R)) in process()191 if (const SubRegion *sr = dyn_cast<SubRegion>(superR)) in process()356 QualType Ty, const MemRegion *superR);373 const MemRegion *superR,1152 const MemRegion* superR = R->getSuperRegion(); in getBindingForElement() local1155 if (const StringRegion *StrR=dyn_cast<StringRegion>(superR)) { in getBindingForElement()1181 if (isa<CodeTextRegion>(superR)) in getBindingForElement()1203 if (const Optional<SVal> &V = getDirectBinding(B, superR)) { in getBindingForElement()1218 superR); in getBindingForElement()[all …]
715 const MemRegion *superR) { in getVarRegion() argument716 return getSubRegion<VarRegion>(D, superR); in getVarRegion()935 const MemRegion *superR = NULL; in getAsArrayOffset() local941 superR = ER->getSuperRegion(); in getAsArrayOffset()954 superR = ER; in getAsArrayOffset()963 ER = dyn_cast<ElementRegion>(superR); in getAsArrayOffset()970 assert(superR && "super region cannot be NULL"); in getAsArrayOffset()971 return RegionRawOffset(superR, offset); in getAsArrayOffset()
926 const MemRegion *superR = 0; in evalBinOpLN() local933 superR = elemReg->getSuperRegion(); in evalBinOpLN()937 superR = region; in evalBinOpLN()951 superR, getContext())); in evalBinOpLN()
1122 const VarRegion* getVarRegion(const VarDecl *D, const MemRegion *superR);