blob: fd8e0464be6b3f4add5bfb41a07e7e5ff8944233 [file] [log] [blame]
Chris Lattner4045a8a2007-10-11 00:18:28 +00001// RUN: clang -fsyntax-only -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
Anders Carlssone8bd9f22008-11-22 21:04:56 +000031extern int g();
32
33void test4()
34{
35 switch (1) {
36 case 0 && g():
37 case 1 || g():
38 break;
39 }
40
41 switch(1) {
42 case g(): // expected-error {{case label does not reduce to an integer constant}}
43 case 0 ... g(): // expected-error {{case label does not reduce to an integer constant}}
44 break;
45 }
46
47 switch (1) {
48 case 0 && g() ... 1 || g():
49 break;
50 }
51}
52