https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62042
--- Comment #6 from Victor Porton <porton at narod dot ru> --- > But you generally cannot do this optimization with controlled objects > in real software. Why we cannot?! If you are afraid that this may introduce errors, you are not right, as this is allowed by Ada standards. We can.
