flow: set a flag insidehandle_builtin_overflow_func()
[smatch.git] / validation / inline-generic.c
blob1f05c07904b5fce272eee0b8e2e02efaca0f4b1d
1 extern int a, b;
2 inline int c(void) { return a++; }
3 inline int e(int d) { return 0; }
4 inline unsigned f(void) { return e(_Generic(b, int: c())); }
5 static int g(void) { return f(); }
6 static int h(void) { return f(); }
8 /*
9 * check-name: inline-generic