xref: /illumos-gate/usr/src/tools/smatch/src/validation/attr_aligned.c (revision 4c87aefe8930bd07275b8dd2e96ea5f24d93a52e) 
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