HomeIsabelle/Phabricator

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

Authored by dcjm on Jun 7 2020, 6:22 PM.

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

Committed
dcjmJun 7 2020, 6:22 PM
Parents
rPOLYML8a67ec468af6: Must use XInitImage to set the access functions before returning.
Branches
Unknown
Tags
Unknown