blob: b66695bc723b97aac06a18310693661754c1dee4 [file] [log] [blame]
Ted Kremenek56b70862007-09-26 20:14:22 +00001// RUN: clang -parse-ast -verify %s
Chris Lattner4b009652007-07-25 00:24:17 +00002
Chris Lattner4b009652007-07-25 00:24:17 +00003void f (int z) {
4 while (z) {
Chris Lattner0ab833c2007-08-23 18:29:20 +00005 default: z--; // expected-error {{statement not in switch}}
Chris Lattner4b009652007-07-25 00:24:17 +00006 }
7}
8
Chris Lattner3429a812007-08-23 05:46:52 +00009void foo(int X) {
10 switch (X) {
Chris Lattner0ab833c2007-08-23 18:29:20 +000011 case 42: ; // expected-error {{previous case value}}
12 case 5000000000LL: // expected-warning {{overflow}}
13 case 42: // expected-error {{duplicate case value}}
Chris Lattner3429a812007-08-23 05:46:52 +000014 ;
Chris Lattner7443e0f2007-08-23 17:48:14 +000015
Chris Lattner0ab833c2007-08-23 18:29:20 +000016 case 100 ... 99: ; // expected-warning {{empty case range}}
17
18 case 43: ; // expected-error {{previous case value}}
19 case 43 ... 45: ; // expected-error {{duplicate case value}}
20
21 case 100 ... 20000:; // expected-error {{previous case value}}
22 case 15000 ... 40000000:; // expected-error {{duplicate case value}}
Chris Lattner3429a812007-08-23 05:46:52 +000023 }
24}
25
Chris Lattner2b1b9a82007-08-23 14:29:07 +000026void test3(void) {
Chris Lattner0ab833c2007-08-23 18:29:20 +000027 // empty switch;
Chris Lattner2b1b9a82007-08-23 14:29:07 +000028 switch (0);
29}
30