blob: e5b19afbe6a7c943e9a21e04a5f2c38ee7a1a21b (
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
|
// { dg-do compile }
// { dg-options "-Wlogical-op" }
enum { a, b1, b2 };
enum testenum { t1, t2};
extern int c;
extern bool bool_a, bool_b;
template<typename Enum>
class QFlags
{
public:
typedef void **Zero;
int i;
inline QFlags(Enum f) : i(f) {}
inline operator int() const
{ return i;}
};
QFlags<testenum> f(t2);
extern void do_something(int);
extern testenum testa();
void foo()
{
if ( f && b2 ) // { dg-warning "logical" }
do_something(1);
if ( c && b2 ) // { dg-warning "logical" }
do_something(2);
if ( b2 && c == a ) // { dg-bogus "logical" }
do_something(101);
if ( 1 && c )
do_something(102); // { dg-bogus "logical" }
if ( t2 && b2 ) // { dg-bogus "logical" }
do_something(103);
if ( true && c == a ) // { dg-bogus "logical" }
do_something(104);
if ( b2 && true ) // { dg-bogus "logical" }
do_something(105);
}
void bar()
{
if ( f || b2 ) // { dg-warning "logical" }
do_something(1);
if ( c || b2 ) // { dg-warning "logical" }
do_something(2);
if ( b2 || c == a ) // { dg-bogus "logical" }
do_something(101);
if ( 1 || c )
do_something(102); // { dg-bogus "logical" }
if ( t2 || b2 ) // { dg-bogus "logical" }
do_something(103);
if ( true || c == a ) // { dg-bogus "logical" }
do_something(104);
if ( b2 || true ) // { dg-bogus "logical" }
do_something(105);
}
|
