[Bug target/124064] New: [10/11/12/13/14/15/16 Regression] g++.target/arm/bfloat_cpp_typecheck.C expected errors are not emitted

[azoff at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124064

            Bug ID: 124064
           Summary: [10/11/12/13/14/15/16 Regression]
                    g++.target/arm/bfloat_cpp_typecheck.C expected errors
                    are not emitted
           Product: gcc
           Version: 15.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: azoff at gcc dot gnu.org
  Target Milestone: ---

After r10-7049-g55ace4d1463786, the test case
g++.target/arm/bfloat_cpp_typecheck.C no longer generates the expected errors
for the following 2 statements:

  bfloat16_t (); /* { dg-bogus {invalid conversion to type 'bfloat16_t'} "" {
xfail *-*-* } } */
  bfloat16_t a = bfloat16_t(); /* { dg-bogus {invalid conversion to type
'bfloat16_t'} "" { xfail *-*-* } } */

Are these 2 statements really supposed to be xfail?



$ /build/r10-7048-g3a0e583bf17240/bin/arm-none-eabi-g++
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C
-fmessage-length=0  -pedantic-errors -Wno-long-long -mfloat-abi=softfp
-mfpu=neon-fp-armv8 -march=armv8.2-a+bf16 -O3 -S -o /dev/null
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C: In function
'void foo()':
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C:10:15:
error: invalid conversion to type 'bfloat16_t'
   10 |   bfloat16_t (); /* { dg-bogus {invalid conversion to type
'bfloat16_t'} "" { xfail *-*-* } } */
      |               ^
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C:11:29:
error: invalid conversion to type 'bfloat16_t'
   11 |   bfloat16_t a = bfloat16_t(); /* { dg-bogus {invalid conversion to
type 'bfloat16_t'} "" { xfail *-*-* } } */
      |                             ^
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C:12:21:
error: invalid conversion to type 'bfloat16_t'
   12 |   bfloat16_t (0x1234); /* { dg-error {invalid conversion to type
'bfloat16_t'} } */
      |                     ^
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C:13:18:
error: invalid conversion to type 'bfloat16_t'
   13 |   bfloat16_t (0.1); /* { dg-error {invalid conversion to type
'bfloat16_t'} } */
      |                  ^


$ /build/r10-7049-g55ace4d1463786/bin/arm-none-eabi-g++
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C
-fmessage-length=0  -pedantic-errors -Wno-long-long -mfloat-abi=softfp
-mfpu=neon-fp-armv8 -march=armv8.2-a+bf16 -O3 -S -o /dev/null
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C: In function
'void foo()':
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C:12:21:
error: invalid conversion to type 'bfloat16_t'
   12 |   bfloat16_t (0x1234); /* { dg-error {invalid conversion to type
'bfloat16_t'} } */
      |                     ^
/build/gcc_src/gcc/testsuite/g++.target/arm/bfloat_cpp_typecheck.C:13:18:
error: invalid conversion to type 'bfloat16_t'
   13 |   bfloat16_t (0.1); /* { dg-error {invalid conversion to type
'bfloat16_t'} } */
      |                  ^