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