?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
atomic_inc_dec: improve how inc/dec is recorded in the DB
[smatch.git] / validation / attr_aligned.c
blobdc44e9fdd42d1fa63d13b38ffa22d544f421cfe0
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
Static analysis for C