|
#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;
|
|
}
|