Module miri::shims::alloc

Traits

• EvalContextExt

Functions

• check_alloc_request 🔒
  Check some basic requirements for this allocation request: non-zero size, power-of-two alignment.