79991e2348
As [depr.arith.conv.enum] says, these are ill-formed. gcc/cp/ChangeLog: * typeck.c (do_warn_enum_conversions): Don't warn for SPACESHIP_EXPR. (cp_build_binary_op): Reject float <=> enum or enum <=> float. Use CP_INTEGRAL_TYPE_P instead of INTEGRAL_OR_ENUMERATION_TYPE_P. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/enum-conv1.C: Remove unused code. * g++.dg/cpp2a/spaceship-err5.C: New test.
118 lines
5.8 KiB
C
118 lines
5.8 KiB
C
// PR c++/97573
|
|
// { dg-do compile }
|
|
// No special options. In C++20 (only), we should get the deprecated warnings
|
|
// by default. -Wenum-compare is enabled by default so some of them will be
|
|
// printed even pre-C++20.
|
|
|
|
enum E1 { e } e1;
|
|
enum E2 { f } e2;
|
|
__extension__ static enum { } u1;
|
|
__extension__ static enum { } u2;
|
|
static double d;
|
|
|
|
void
|
|
conv ()
|
|
{
|
|
bool b1 = e == e1;
|
|
bool b2 = e == f; // { dg-warning "comparison between .enum E1. and .enum E2." }
|
|
bool b3 = e == 0.0; // { dg-warning "comparison of enumeration type .E1. with floating-point type .double." "" { target c++20 } }
|
|
bool b4 = 0.0 == f; // { dg-warning "comparison of floating-point type .double. with enumeration type .E2." "" { target c++20 } }
|
|
int n1 = true ? e : f; // { dg-warning "enumerated mismatch" }
|
|
int n2 = true ? e : 0.0; // { dg-warning "conditional expression between" "" { target c++20 } }
|
|
}
|
|
|
|
int
|
|
enum_enum (bool b)
|
|
{
|
|
int r = 0;
|
|
const E1 e1c = e;
|
|
|
|
r += e - e;
|
|
r += e - e1;
|
|
r += e - f; // { dg-warning "arithmetic between different enumeration types .E1. and .E2." "" { target c++20 } }
|
|
r += f - e; // { dg-warning "arithmetic between different enumeration types .E2. and .E1." "" { target c++20 } }
|
|
|
|
r += f + f;
|
|
r += f + e; // { dg-warning "arithmetic between different enumeration types .E2. and .E1." "" { target c++20 } }
|
|
r += e + f; // { dg-warning "arithmetic between different enumeration types .E1. and .E2." "" { target c++20 } }
|
|
|
|
r += e1 - e2; // { dg-warning "arithmetic between different enumeration types .E1. and .E2." "" { target c++20 } }
|
|
r += e1 - e1c;
|
|
r += e1c - e1;
|
|
|
|
r += e * f; // { dg-warning "arithmetic between different enumeration types .E1. and .E2." "" { target c++20 } }
|
|
r += f * e; // { dg-warning "arithmetic between different enumeration types .E2. and .E1." "" { target c++20 } }
|
|
r += e * e;
|
|
|
|
r += e1 < e1c;
|
|
r += e < e1;
|
|
r += e1 < e2; // { dg-warning "comparison between .enum E1. and .enum E2." }
|
|
r += e < f; // { dg-warning "comparison between .enum E1. and .enum E2." }
|
|
r += f < e; // { dg-warning "comparison between .enum E2. and .enum E1." }
|
|
|
|
r += e1 == e1c;
|
|
r += e == e1;
|
|
r += e == f; // { dg-warning "comparison between .enum E1. and .enum E2." }
|
|
r += f == e; // { dg-warning "comparison between .enum E2. and .enum E1." }
|
|
r += e1 == e2; // { dg-warning "comparison between .enum E1. and .enum E2." }
|
|
r += e2 == e1; // { dg-warning "comparison between .enum E2. and .enum E1." }
|
|
|
|
r += b ? e1 : e1c;
|
|
r += b ? e1 : e;
|
|
r += b ? f : e; // { dg-warning "enumerated mismatch in conditional expression: .E2. vs .E1." }
|
|
r += b ? e1 : e2; // { dg-warning "enumerated mismatch in conditional expression: .E1. vs .E2." }
|
|
|
|
r += e | f; // { dg-warning "bitwise operation between different enumeration types .E1. and .E2." "" { target c++20 } }
|
|
r += e ^ f; // { dg-warning "bitwise operation between different enumeration types .E1. and .E2." "" { target c++20 } }
|
|
r += e & f; // { dg-warning "bitwise operation between different enumeration types .E1. and .E2." "" { target c++20 } }
|
|
r += !e;
|
|
r += e1 | e;
|
|
|
|
r += e << f;
|
|
r += e >> f;
|
|
r += e || f;
|
|
r += e && f;
|
|
e1 = e1c;
|
|
|
|
// Anonymous enum.
|
|
r += u1 - u1;
|
|
r += u1 + u2; // { dg-warning "arithmetic between different enumeration types" "" { target c++20 } }
|
|
r += u1 * u2; // { dg-warning "arithmetic between different enumeration types" "" { target c++20 } }
|
|
r += u1 == u2; // { dg-warning "comparison between" }
|
|
r += u1 & u2; // { dg-warning "bitwise operation between different enumeration types" "" { target c++20 } }
|
|
|
|
return r;
|
|
}
|
|
|
|
double
|
|
enum_float (bool b)
|
|
{
|
|
double r = 0.0;
|
|
|
|
r += e1 - d; // { dg-warning "arithmetic between enumeration type .E1. and floating-point type .double." "" { target c++20 } }
|
|
r += d - e1; // { dg-warning "arithmetic between floating-point type .double. and enumeration type .E1." "" { target c++20 } }
|
|
r += e1 + d; // { dg-warning "arithmetic between enumeration type .E1. and floating-point type .double." "" { target c++20 } }
|
|
r += d + e1; // { dg-warning "arithmetic between floating-point type .double. and enumeration type .E1." "" { target c++20 } }
|
|
r += e1 * d; // { dg-warning "arithmetic between enumeration type .E1. and floating-point type .double." "" { target c++20 } }
|
|
r += d * e1; // { dg-warning "arithmetic between floating-point type .double. and enumeration type .E1." "" { target c++20 } }
|
|
r += u1 * d; // { dg-warning "arithmetic between enumeration type" "" { target c++20 } }
|
|
r += d * u1; // { dg-warning "arithmetic between floating-point type" "" { target c++20 } }
|
|
|
|
r += e1 < d; // { dg-warning "comparison of enumeration type .E1. with floating-point type .double." "" { target c++20 } }
|
|
r += d < e1; // { dg-warning "comparison of floating-point type .double. with enumeration type .E1." "" { target c++20 } }
|
|
r += d == e1; // { dg-warning "comparison of floating-point type .double. with enumeration type .E1." "" { target c++20 } }
|
|
r += e1 == d; // { dg-warning "comparison of enumeration type .E1. with floating-point type .double." "" { target c++20 } }
|
|
r += u1 == d; // { dg-warning "comparison of enumeration type" "" { target c++20 } }
|
|
r += d == u1; // { dg-warning "comparison of floating-point type" "" { target c++20 } }
|
|
|
|
r += b ? e1 : d; // { dg-warning "conditional expression between enumeration type .E1. and floating-point type .double." "" { target c++20 } }
|
|
r += b ? d : e1; // { dg-warning "conditional expression between floating-point type .double. and enumeration type .E1." "" { target c++20 } }
|
|
r += b ? d : u1; // { dg-warning "conditional expression between" "" { target c++20 } }
|
|
r += b ? u1 : d; // { dg-warning "conditional expression between" "" { target c++20 } }
|
|
|
|
d += e1; // { dg-warning "arithmetic between floating-point type .double. and enumeration type .E1." "" { target c++20 } }
|
|
d = e1;
|
|
|
|
return r;
|
|
}
|