fn verify_metadata_address_bound(spec: &SideMetadataSpec, data_addr: Address)
Expand description

This verifies two things:

  1. Check if data_addr is within the address space that we are supposed to use (LOG_ADDRESS_SPACE). If this fails, we log a warning.
  2. Check if metadata address is out of bounds. If this fails, we will panic.