Use OBJECT_SIZE(p) for dynamic memory bounds checking#5247

Merged

danpoe merged 1 commit intodiffblue:developfrom

danpoe:feature/memory-bounds-check

Feb 28, 2020

Commits on Feb 28, 2020

Change goto_checkt::address_check() dynamic memory bounds checking
danpoe
committed