Home | History | Annotate | Download | only in PathSensitive

Lines Matching refs:getUnknownRegion

1173   /// getUnknownRegion - Retrieve the memory region associated with unknown
1175   const MemSpaceRegion *getUnknownRegion();