Home | History | Annotate | Download | only in Checkers

Lines Matching refs:UnknownSpaceRegion

1114   if (!(isa<UnknownSpaceRegion>(MS) || isa<HeapSpaceRegion>(MS))) {
1116 // represented by conjured symbols, which are all in UnknownSpaceRegion.
1120 // function, so UnknownSpaceRegion is always a possibility.