Home | History | Annotate | Download | only in Core

Lines Matching defs: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());