This bug is till reproducible in Eiffel Studio 6.5 (6.5.7.9743 GPL Edition - linux-x86)

When reproducing, I get a precondition violation in {ARRAYED_LIST}.put_i_th when executing line "memory_map.do_nothing      -- Succeeds." After comment that line and restart, there is:

Segmentation fault: Operating system signal. 

when executing line "memory_map.do_nothing      -- Fails.".

Reproduce demo project attached.