On 16/04/2024 04:50, Alexandre Oliva wrote:
>
> Complete r13-2205, adjusting an arm-specific test that expects a
> no-longer-issued error at an empty initializer.
>
> Regstrapped on x86_64-linux-gnu. Also tested with gcc-13 on arm-,
> aarch64-, x86- and x86_64-vxworks7r2. Ok to install?
>
>
> for gcc/testsuite/ChangeLog
>
> * gcc.target/arm/bfloat16_scalar_typecheck.c: Accept C23
> empty initializers.
> ---
> .../gcc.target/arm/bfloat16_scalar_typecheck.c | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gcc/testsuite/gcc.target/arm/bfloat16_scalar_typecheck.c
> b/gcc/testsuite/gcc.target/arm/bfloat16_scalar_typecheck.c
> index 8c80c55bc9f4c..04ede93bda152 100644
> --- a/gcc/testsuite/gcc.target/arm/bfloat16_scalar_typecheck.c
> +++ b/gcc/testsuite/gcc.target/arm/bfloat16_scalar_typecheck.c
> @@ -42,7 +42,7 @@ bfloat16_t footest (bfloat16_t scalar0)
> short initi_1_4 = glob_bfloat; /* { dg-error {invalid conversion from type
> 'bfloat16_t'} } */
> double initi_1_5 = glob_bfloat; /* { dg-error {invalid conversion from
> type 'bfloat16_t'} } */
>
> - bfloat16_t scalar2_1 = {}; /* { dg-error {empty scalar initializer} } */
> + bfloat16_t scalar2_1 = {};
> bfloat16_t scalar2_2 = { glob_bfloat };
> bfloat16_t scalar2_3 = { 0 }; /* { dg-error {invalid conversion to type
> 'bfloat16_t'} } */
> bfloat16_t scalar2_4 = { 0.1 }; /* { dg-error {invalid conversion to type
> 'bfloat16_t'} } */
> @@ -94,7 +94,7 @@ bfloat16_t footest (bfloat16_t scalar0)
>
> /* Compound literals. */
>
> - (bfloat16_t) {}; /* { dg-error {empty scalar initializer} } */
> + (bfloat16_t) {};
> (bfloat16_t) { glob_bfloat };
> (bfloat16_t) { 0 }; /* { dg-error {invalid conversion to type
> 'bfloat16_t'} } */
> (bfloat16_t) { 0.1 }; /* { dg-error {invalid conversion to type
> 'bfloat16_t'} } */
>
This test is checking for errors. Perhaps it would be better to select an
older version of the standard and then set pedantic-error mode.
R.
