new_bugs.pl: don't create dot files
[smatch.git] / validation / crazy03.c
blob042033790a849cde83d339da63ff46f912268338
1 extern char a;
2 extern int b;
3 extern char *c, *d;
4 extern void e(void);
5 extern void f(char *);
7 int g(int h);
8 int g(int h)
10 if (h > 1)
11 e();
12 if (h > 1)
13 return 0;
14 for (;;) {
15 if (a) {
16 while (c) ;
17 b = 0;
18 } else {
19 c = (void*)0;
20 b = 1;
22 if (b) {
23 f(c);
24 continue;
26 d = c;
27 while (*c++) ;
32 * check-name: crazy03.c