Home | History | Annotate | Download | only in Checkers

Lines Matching defs:MS

721   const MemSpaceRegion *MS = R->getMemorySpace();
725 if (!(isa<UnknownSpaceRegion>(MS) || isa<HeapSpaceRegion>(MS))) {
824 const MemSpaceRegion *MS = MR->getMemorySpace();
826 if (isa<StackLocalsSpaceRegion>(MS)) {
841 if (isa<StackArgumentsSpaceRegion>(MS)) {
856 if (isa<GlobalsSpaceRegion>(MS)) {