Wrong RTL instruction deleted

[Richard Kenner]

    If I compile the following code with "-O2 -fno-strict-aliasing" and
    GCC 3.4.3, the array bounds are not reloaded from the stack, i.e. the
    case where the array aliases its dope isn't handled correctly (as it
    would have to be if this where C in non-strict aliasing mode).

I believe they aren't reloaded because they are marked as readonly.

But note that this handling of readonly has been removed from GCC 4.0.