[rvm-research] Missing assertion in opt compiler?

The baseline ia32 compiler contains the modifyCheck extreme assertion on putfields and array stores.   modifyCheck ensures that pure Java is not used to manipulate moving objects during a GC.   RVM-833 and RVM-834 expose potential bugs caught directly and indirectly by this assertion

I cannot immediately see any sort of similar assertion within the Opt compiler. Is this a design decision or a potential oversight in the compiler?  If such an assertion within the Opt compiler is desired then I am happy to contribute a patch in the next few days.

At present I don't believe any ExtremeAssertionBaseBase configurations are tested by the nightly sanity runs.  If such a run was performed then RVM-834 might have been caught earlier.  Adding a modifyCheck assertion to the opt compiler might help catch certain errors but perhaps doesn't provide full coverage of the entire baseline compiler.  Should a ExtremeAssertionBaseBase configuration be added to the nightly sanity runs?

I'd be interested in any discussion about if a modifyCheck assertion should be added to the opt compiler

Kind regards

Laurence