https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124310
--- Comment #1 from Liam Powell <liam at liampwll dot com> --- Correction: This doesn't just occur in expressions. It also occurs in a declare block. Also note that a Reference_Type at the same level as Integer_Access is allowed by the RM and in that case we are protected by tampering checks.
