HomeIsabelle/Phabricator

Invalid constant indexes for arrays or vectors can result in an overflow when…

Description

Invalid constant indexes for arrays or vectors can result in an overflow when compiling code that
will never be reached at run-time.

Details

Provenance
dcjmAuthored on Jun 7 2020, 6:22 PM
Parents
rPOLYML8a67ec468af6: Must use XInitImage to set the access functions before returning.
Branches
Unknown
Tags
Unknown