1 #include <stdio.h> 2 use(int used)3__attribute__((optnone)) __attribute__((nodebug)) void use(int used) {} 4 f(void * unused1,int used)5__attribute__((always_inline)) void f(void *unused1, int used) { 6 use(used); // break here 7 } 8 main(int argc,char ** argv)9int main(int argc, char **argv) { 10 char *undefined; 11 f(undefined, 42); 12 return 0; 13 } 14