https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120182
--- Comment #2 from mcccs at gmx dot com ---
Unsurprisingly the following also fails, but if you change always_inline to
noipa it works
__attribute__((always_inline)) inline char * x() {
return (char *)0x288000ull;
}
int main (void) {
int size = 0x8000;
char *ptr = x();
...
