1void *foo(void) __attribute__((__assume_aligned__(4096)));
2void *foo(void) __attribute__((assume_aligned(4096)));
3/*
4 * check-name: attribute assume_aligned
5 */
6
7