1// RUN: %clang_cc1 -fsyntax-only -verify %s -Wno-unreachable-code 2 3void test1() { 4 { ; { ;;}} ;; 5} 6 7void test2() { 8 if (0) { if (1) {} } else { } 9 10 do { } while (0); 11 12 while (0) while(0) do ; while(0); 13 14 for ((void)0;0;(void)0) 15 for (;;) 16 for ((void)9;0;(void)2) 17 ; 18 for (int X = 0; 0; (void)0); 19} 20 21void test3() { 22 switch (0) { 23 24 case 4: 25 if (0) { 26 case 6: ; 27 } 28 default: 29 ; 30 } 31} 32 33void test4() { 34 if (0); // expected-warning {{if statement has empty body}} 35 36 int X; // declaration in a block. 37 38foo: if (0); // expected-warning {{if statement has empty body}} 39} 40 41typedef int t; 42void test5() { 43 if (0); // expected-warning {{if statement has empty body}} 44 45 t x = 0; 46 47 if (0); // expected-warning {{if statement has empty body}} 48} 49 50 51void test6(void) { 52 do 53 . // expected-error {{expected expression}} 54 while (0); 55} 56 57int test7() { 58 return 4 // expected-error {{expected ';' after return statement}} 59} 60 61void test8() { 62 // Should not skip '}' and produce a "expected '}'" error. 63 undecl // expected-error {{use of undeclared identifier 'undecl'}} 64} 65