19   void checkForSameParamRegions(MemRegionManager &MRMgr,  in checkForSameParamRegions()  argument
23       return MRMgr.getVarRegion(PVD, SFC) ==  in checkForSameParamRegions()
24              MRMgr.getVarRegion(cast<ParmVarDecl>(D2), SFC);  in checkForSameParamRegions()
30     MemRegionManager &MRMgr = StMgr.getRegionManager();  in performTest()  local
37           assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC)));  in performTest()
39           assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC)));  in performTest()
40         checkForSameParamRegions(MRMgr, SFC, P);  in performTest()
45           assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC)));  in performTest()
47           assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC)));  in performTest()
48         checkForSameParamRegions(MRMgr, SFC, P);  in performTest()
53           assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC)));  in performTest()
55           assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC)));  in performTest()
56         checkForSameParamRegions(MRMgr, SFC, P);  in performTest()