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