RVM-592 created automated checks that a value that is accessed from memory as an object is a valid object. These checks should be implemented in the opt compiler.
Description
RVM-592 created automated checks that a value that is accessed from memory as an object is a valid object. These checks should be implemented in the opt compiler.
New Feature
Open
Major
Checks when creating object references in opt compilation
