Home | History | Annotate | Download | only in Checkers

Lines Matching defs:VR

76   else if (const VarRegion *VR = dyn_cast<VarRegion>(R)) {
78 << VR->getString() << '\'';
79 range = VR->getDecl()->getSourceRange();
185 const MemRegion *vR = val.getAsRegion();
186 if (!vR)
192 isa<BlockDataRegion>(vR))
196 dyn_cast<StackSpaceRegion>(vR->getMemorySpace())) {
200 V.push_back(std::make_pair(region, vR));
231 const VarRegion *VR = cast<VarRegion>(cb.V[i].first->getBaseRegion());
232 os << *VR->getDecl()