HomeIsabelle/Phabricator

Add a related check for offsets that could exceed a signed 32-bit value.

Authored by dcjm on Jul 14 2020, 9:09 AM.

Description

Add a related check for offsets that could exceed a signed 32-bit value.

Details