?  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 / Wunknown-attribute-def.c
blobcccce3578044063c627285ba9645698707bc827d
1 static int foo(void) __attribute__((unknown_attribute));
2
3 /*
4 * check-name: warn-unknown-attribute
5 */
Static analysis for C