Home | History | Annotate | Download | only in PathSensitive

Lines Matching refs:getSubRegion

1287   RegionTy* getSubRegion(const A1 a1, const MemRegion* superRegion);
1293 RegionTy* getSubRegion(const A1 a1, const A2 a2,
1297 RegionTy* getSubRegion(const A1 a1, const A2 a2, const A3 a3,