| #include <stdio.h> | |
| __attribute__((optnone)) __attribute__((nodebug)) void use(int used) {} | |
| __attribute__((always_inline)) void f(void *unused1, int used) { | |
| use(used); // break here | |
| } | |
| int main(int argc, char **argv) { | |
| char *undefined; | |
| f(undefined, 42); | |
| return 0; | |
| } |