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

[ebotcazou at gcc dot gnu.org]

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

--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Why we cannot?!

Because the correct semantics of the program need to be preserved.

> If you are afraid that this may introduce errors, you are not right, as this
> is allowed by Ada standards.

Only under certain circumstances though.