Dan Gohman (Oct 30 2025 at 15:21): Dan Gohman (Oct 30 2025 at 15:21):This code in can_elide_bounds_check says that bounds checks cannot be elided if the memory_reservation isn't at least 4 GiB. However according to the diagram in the docs for memory_reservation, this value does not include the guard. It's my understanding that a sufficiently large guard should allow for eliding bounds checks. Should the can_elide_bounds_check check for memory_reservation + guard_size >= 4 GiB, or am I missing something?
Dan Gohman (Oct 30 2025 at 15:36):(deleted)
Last updated: Dec 06 2025 at 06:05 UTC