xref: /aosp_15_r20/external/clang/test/Sema/statements.c (revision 67e74705e28f6214e480b399dd47ea732279e315)
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