1 // RUN: %clang_cc1 -fsyntax-only -verify -Wunused-value -Wunused-label %s
2 // RUN: %clang_cc1 -fsyntax-only -verify -Wunused %s
3 // RUN: %clang_cc1 -fsyntax-only -verify -Wall %s
4 
5 int i = 0;
6 int j = 0;
7 
8 void foo();
9 
10 // PR4806
11 void pr4806() {
12   1,foo();          // expected-warning {{expression result unused}}
13 
14   // other
15   foo();
16   i;                // expected-warning {{expression result unused}}
17 
18   i,foo();          // expected-warning {{expression result unused}}
19   foo(),i;          // expected-warning {{expression result unused}}
20 
21   i,j,foo();        // expected-warning {{expression result unused}} expected-warning {{expression result unused}}
22   i,foo(),j;        // expected-warning {{expression result unused}} expected-warning {{expression result unused}}
23   foo(),i,j;        // expected-warning {{expression result unused}} expected-warning {{expression result unused}}
24 
25   i++;
26 
27   i++,foo();
28   foo(),i++;
29 
30   i++,j,foo();      // expected-warning {{expression result unused}}
31   i++,foo(),j;      // expected-warning {{expression result unused}}
32   foo(),i++,j;      // expected-warning {{expression result unused}}
33 
34   i,j++,foo();      // expected-warning {{expression result unused}}
35   i,foo(),j++;      // expected-warning {{expression result unused}}
36   foo(),i,j++;      // expected-warning {{expression result unused}}
37 
38   i++,j++,foo();
39   i++,foo(),j++;
40   foo(),i++,j++;
41 
42   {};
43   ({});
44   ({}),foo();
45   foo(),({});
46 
47   (int)1U;          // expected-warning {{expression result unused}}
48   (void)1U;
49 
50   // pointer to volatile has side effect (thus no warning)
51   int* pi = &i;
52   volatile int* pj = &j;
53   *pi;              // expected-warning {{expression result unused}}
54   *pj;
55 
56   foo_label:        // expected-warning {{unused label}}
57   i;                // expected-warning {{expression result unused}}
58 }
59 
60 // Don't warn about unused '||', '&&' expressions that contain assignments.
61 int test_logical_foo1();
62 int test_logical_foo2();
63 int test_logical_foo3();
64 int test_logical_bar() {
65   int x = 0;
66   (x = test_logical_foo1()) ||  // no-warning
67   (x = test_logical_foo2()) ||  // no-warning
68   (x = test_logical_foo3());    // no-warning
69 
70   x || test_logical_foo1();     // no-warning
71 
72   return x;
73 }
74 
75 // PR8282
76 void conditional_for_control_flow(int cond, int x, int y)
77 {
78     cond? y++ : x; // no-warning
79     cond? y : ++x; // no-warning
80     cond? (x |= y) : ++x; // no-warning
81     cond? y : x; // expected-warning {{expression result unused}}
82 }
83 
84 struct s0 { int f0; };
85 
86 void f0(int a);
87 void f1(struct s0 *a) {
88   // rdar://8139785
89   f0((int)(a->f0 + 1, 10)); // expected-warning {{expression result unused}}
90 }
91