https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98618
--- Comment #2 from nsz at gcc dot gnu.org --- (In reply to Florian Weimer from comment #1) > Is the test case really valid? It involves an out-of-bounds array access, > after all. no it doesn't, n is signed long and its value can be such that the access is in bounds (and that's what the compiler must assume, so adrp must be anchored accordingly).