[Bug ada/62042] Missing optimization of copying non-limited objects

[porton at narod dot ru]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62042

--- Comment #8 from Victor Porton <porton at narod dot ru> ---
> Only under certain circumstances though.

Yes, such circumstances as my toy (but representing a real case) program.

Such programs SHOULD be optimized, because the standards allow optimization
under such "circumstances".