Home | History | Annotate | Download | only in PathSensitive

Lines Matching defs:TypedRegion

475 /// TypedRegion - An abstract class representing regions that are typed.
476 class TypedRegion : public SubRegion {
480 TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {}
498 class TypedValueRegion : public TypedRegion {
502 TypedValueRegion(const MemRegion* sReg, Kind k) : TypedRegion(sReg, k) {}
530 class CodeTextRegion : public TypedRegion {
534 CodeTextRegion(const MemRegion *sreg, Kind k) : TypedRegion(sreg, k) {}
631 class BlockDataRegion : public TypedRegion {
641 : TypedRegion(sreg, BlockDataRegionKind), BC(bc), LC(lc),