Bug #522: `region_overlap()` function might not work as expected due to an integer overflow in `region_end()` function. - coreboot - Issue Tracker

Bug #522

https://review.coreboot.org/q/topic:enforce_region_api