[Bug ada/42816] Crash in Ada.Containers.Vectors.Update_Element

[gcc at coreland dot ath dot cx]

------- Comment #3 from gcc at coreland dot ath dot cx  2010-01-21 08:29 -------
Created an attachment (id=19675)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19675&action=view)
Simpler repro

As usual, here's a smaller repro that provokes the same crash.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42816