summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/warn/Wparentheses-23.C
blob: cadc287fe967209c7a15d950959a57f4daa06d71 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
// { dg-do compile }
// { dg-options "-Wparentheses" }

// Template version of Wparentheses-22.C.

int foo (int);

class C
{
 public:
  C()
    : b(0)
  { }

  // Use default assignment constructor.

  // Provide conversion to bool so that an instance of this class will
  // work as a condition.
  operator bool() const
  { return b != 0; }

 private:
  int b;
};

C a, b, c;
bool d;

template<class T>
void
bar (T)
{
  if (a = b) // { dg-warning "assignment" "correct warning" }
    foo (0);
  if ((a = b))
    foo (1);
  if (a = a) // { dg-warning "assignment" "correct warning" }
    foo (2);
  if ((a = a))
    foo (3);
  if (b = c) // { dg-warning "assignment" "correct warning" }
    foo (4);
  else
    foo (5);
  if ((b = c))
    foo (6);
  else
    foo (7);
  if (b = b) // { dg-warning "assignment" "correct warning" }
    foo (8);
  else
    foo (9);
  if ((b = b))
    foo (10);
  else
    foo (11);
  while (c = b) // { dg-warning "assignment" "correct warning" }
    foo (12);
  while ((c = b))
    foo (13);
  while (c = c) // { dg-warning "assignment" "correct warning" }
    foo (14);
  while ((c = c))
    foo (15);
  do foo (16); while (a = b); // { dg-warning "assignment" "correct warning" }
  do foo (17); while ((a = b));
  do foo (18); while (a = a); // { dg-warning "assignment" "correct warning" }
  do foo (19); while ((a = a));
  for (;c = b;) // { dg-warning "assignment" "correct warning" }
    foo (20);
  for (;(c = b);)
    foo (21);
  for (;c = c;) // { dg-warning "assignment" "correct warning" }
    foo (22);
  for (;(c = c);)
    foo (23);
  d = a = b; // { dg-warning "assignment" "correct warning" }
  foo (24);
  d = (a = b);
  foo (25);
  d = a = a; // { dg-warning "assignment" "correct warning" }
  foo (26);
  d = (a = a);
  foo (27);
  if (C(a))
    foo (28);
}

template<class T>
bool
bar1 (T)
{
  return a = b; // { dg-warning "assignment" "correct warning" }
}

template<class T>
bool
bar2 (T)
{
  return (a = b);
}

template<class T>
bool
bar3 (T)
{
  return a = a; // { dg-warning "assignment" "correct warning" }
}

template<class T>
bool
bar4 (T)
{
  return (a = a);
}

template void bar<int> (int); // { dg-message "instantiated" }
template bool bar1<int> (int); // { dg-message "instantiated" }
template bool bar2<int> (int);
template bool bar3<int> (int); // { dg-message "instantiated" }
template bool bar4<int> (int);