Lines Matching refs:VR
422 /// \p VR.
423 static bool isInitializationOfVar(const ExplodedNode *N, const VarRegion *VR) {
432 if (DS->getSingleDecl() != VR->getDecl())
435 const MemSpaceRegion *VarSpace = VR->getMemorySpace();
441 assert(VR->getDecl()->isStaticLocal() && "non-static stackless VarRegion");
445 assert(VR->getDecl()->hasLocalStorage());
463 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) {
464 if (isInitializationOfVar(Pred, VR)) {
466 InitE = VR->getDecl()->getInit();
509 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) {
510 const ParmVarDecl *Param = cast<ParmVarDecl>(VR->getDecl());
555 const VarRegion *VR = dyn_cast<VarRegion>(R);
563 if (VR) {
569 if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) {
622 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) {
623 const ParmVarDecl *Param = cast<ParmVarDecl>(VR->getDecl());