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