void *foo(void) __attribute__((__assume_aligned__(4096))); void *foo(void) __attribute__((assume_aligned(4096))); /* * check-name: attribute assume_aligned */