Module memory 

Memory locations and byte-range aliasing.

These types are one alias-domain implementation. MemorySSA itself does not depend on them: clients may use a different query and alias oracle.

Structs

MemoryLocation

Enums

MemoryEffect

Functions

effects_may_alias

Conservatively decide whether two byte-range effects may touch the same memory. Callers are responsible for rejecting empty or overflowing exact ranges when constructing their IR adapter.