1*67e74705SXin Li // RUN: %clang_cc1 %s -fsyntax-only -verify -triple x86_64-pc-linux-gnu -Wno-unevaluated-expression
2*67e74705SXin Li
3*67e74705SXin Li typedef unsigned __uint32_t;
4*67e74705SXin Li
5*67e74705SXin Li #define __byte_swap_int_var(x) \
6*67e74705SXin Li __extension__ ({ register __uint32_t __X = (x); \
7*67e74705SXin Li __asm ("bswap %0" : "+r" (__X)); \
8*67e74705SXin Li __X; })
9*67e74705SXin Li
test(int _x)10*67e74705SXin Li int test(int _x) {
11*67e74705SXin Li return (__byte_swap_int_var(_x));
12*67e74705SXin Li }
13*67e74705SXin Li
14*67e74705SXin Li // PR2374
test2()15*67e74705SXin Li int test2() { return ({L:5;}); }
test3()16*67e74705SXin Li int test3() { return ({ {5;} }); } // expected-error {{returning 'void' from a function with incompatible result type 'int'}}\
17*67e74705SXin Li // expected-warning {{expression result unused}}
test4()18*67e74705SXin Li int test4() { return ({ ({5;}); }); }
test5()19*67e74705SXin Li int test5() { return ({L1: L2: L3: 5;}); }
test6()20*67e74705SXin Li int test6() { return ({5;}); }
test7()21*67e74705SXin Li void test7() { ({5;}); } // expected-warning {{expression result unused}}
22*67e74705SXin Li
23*67e74705SXin Li // PR3062
24*67e74705SXin Li int test8[({10;})]; // expected-error {{statement expression not allowed at file scope}}
25*67e74705SXin Li
26*67e74705SXin Li // PR3912
test9(const void * P)27*67e74705SXin Li void test9(const void *P) {
28*67e74705SXin Li __builtin_prefetch(P);
29*67e74705SXin Li }
30*67e74705SXin Li
31*67e74705SXin Li
test10()32*67e74705SXin Li void *test10() {
33*67e74705SXin Li bar:
34*67e74705SXin Li return &&bar; // expected-warning {{returning address of label, which is local}}
35*67e74705SXin Li }
36*67e74705SXin Li
37*67e74705SXin Li // PR6034
test11(int bit)38*67e74705SXin Li void test11(int bit) {
39*67e74705SXin Li switch (bit)
40*67e74705SXin Li switch (env->fpscr) // expected-error {{use of undeclared identifier 'env'}}
41*67e74705SXin Li {
42*67e74705SXin Li }
43*67e74705SXin Li }
44*67e74705SXin Li
45*67e74705SXin Li // rdar://3271964
46*67e74705SXin Li enum Numbers { kOne, kTwo, kThree, kFour};
test12(enum Numbers num)47*67e74705SXin Li int test12(enum Numbers num) {
48*67e74705SXin Li switch (num == kOne) {// expected-warning {{switch condition has boolean value}}
49*67e74705SXin Li default:
50*67e74705SXin Li case kThree:
51*67e74705SXin Li break;
52*67e74705SXin Li }
53*67e74705SXin Li }
54*67e74705SXin Li
55*67e74705SXin Li
56*67e74705SXin Li enum x { a, b, c, d, e, f, g };
57*67e74705SXin Li
foo(enum x X)58*67e74705SXin Li void foo(enum x X) {
59*67e74705SXin Li switch (X) { // expected-warning {{enumeration value 'g' not handled in switch}}
60*67e74705SXin Li case a:
61*67e74705SXin Li case b:
62*67e74705SXin Li case c:
63*67e74705SXin Li case d:
64*67e74705SXin Li case e:
65*67e74705SXin Li case f:
66*67e74705SXin Li break;
67*67e74705SXin Li }
68*67e74705SXin Li
69*67e74705SXin Li switch (X) { // expected-warning {{enumeration values 'f' and 'g' not handled in switch}}
70*67e74705SXin Li case a:
71*67e74705SXin Li case b:
72*67e74705SXin Li case c:
73*67e74705SXin Li case d:
74*67e74705SXin Li case e:
75*67e74705SXin Li break;
76*67e74705SXin Li }
77*67e74705SXin Li
78*67e74705SXin Li switch (X) { // expected-warning {{enumeration values 'e', 'f', and 'g' not handled in switch}}
79*67e74705SXin Li case a:
80*67e74705SXin Li case b:
81*67e74705SXin Li case c:
82*67e74705SXin Li case d:
83*67e74705SXin Li break;
84*67e74705SXin Li }
85*67e74705SXin Li
86*67e74705SXin Li switch (X) { // expected-warning {{5 enumeration values not handled in switch: 'c', 'd', 'e'...}}
87*67e74705SXin Li case a:
88*67e74705SXin Li case b:
89*67e74705SXin Li break;
90*67e74705SXin Li }
91*67e74705SXin Li }
92*67e74705SXin Li
test_pr8880()93*67e74705SXin Li int test_pr8880() {
94*67e74705SXin Li int first = 1;
95*67e74705SXin Li for ( ; ({ if (first) { first = 0; continue; } 0; }); )
96*67e74705SXin Li return 0;
97*67e74705SXin Li return 1;
98*67e74705SXin Li }
99*67e74705SXin Li
100*67e74705SXin Li // In PR22849, we considered __ptr to be a static data member of the anonymous
101*67e74705SXin Li // union. Now we declare it in the parent DeclContext.
test_pr22849()102*67e74705SXin Li void test_pr22849() {
103*67e74705SXin Li struct Bug {
104*67e74705SXin Li typeof(({ unsigned long __ptr; (int *)(0); })) __val;
105*67e74705SXin Li union Nested {
106*67e74705SXin Li typeof(({ unsigned long __ptr; (int *)(0); })) __val;
107*67e74705SXin Li } n;
108*67e74705SXin Li };
109*67e74705SXin Li enum E {
110*67e74705SXin Li SIZE = sizeof(({unsigned long __ptr; __ptr;}))
111*67e74705SXin Li };
112*67e74705SXin Li }
113