Home | History | Annotate | Download | only in Core

Lines Matching refs:superR

481                                          const MemRegion *superR);
501 const MemRegion *superR,
1362 const MemRegion* superR = R->getSuperRegion();
1365 if (const StringRegion *StrR=dyn_cast<StringRegion>(superR)) {
1391 if (isa<CodeTextRegion>(superR))
1413 if (const Optional<SVal> &V = B.getDirectBinding(superR)) {
1428 superR);
1444 const MemRegion *superR,
1448 if (const Optional<SVal> &D = B.getDefaultBinding(superR)) {
1503 const MemRegion *superR) {
1536 const SubRegion *Base = dyn_cast<SubRegion>(superR);
1561 // if superR is a vector and if so return Unknown.
1563 dyn_cast<TypedValueRegion>(superR)) {
1590 const MemRegion *superR = R->getSuperRegion();
1593 if (const Optional<SVal> &V = B.getDefaultBinding(superR)) {