• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download

foo(void)1 void foo(void)
2 {
3 	int c = 1;
4 	switch (3) {
5 	case 0:
6 		do {
7 			;
8 	case 3:	;
9 		} while (c++);
10 	}
11 }
12 
13 /*
14  * check-name: bad-phisrc3
15  * check-command: test-linearize -Wno-decl $file
16  *
17  * check-output-ignore
18  * check-output-pattern(2): phisrc\\.
19  * check-output-pattern(1): phi\\.
20  */
21