Home | History | Annotate | Download | only in Checkers

Lines Matching defs:MS

1000   const MemSpaceRegion *MS = R->getMemorySpace();
1004 if (!(isa<UnknownSpaceRegion>(MS) || isa<HeapSpaceRegion>(MS))) {
1157 const MemSpaceRegion *MS = MR->getMemorySpace();
1159 if (isa<StackLocalsSpaceRegion>(MS)) {
1174 if (isa<StackArgumentsSpaceRegion>(MS)) {
1189 if (isa<GlobalsSpaceRegion>(MS)) {