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