[Bug other/115545] New: [15 regression] missing/excess errors after r15-1395-g01044471ea39f9

[Bug other/115545] New: [15 regression] missing/excess errors after r15-1395-g01044471ea39f9

[seurer at gcc dot gnu.org]

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

            Bug ID: 115545
           Summary: [15 regression] missing/excess errors after
                    r15-1395-g01044471ea39f9
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:01044471ea39f9be4803c583ef2a946abc657f99, r15-1395-g01044471ea39f9

Seeing this on powerpc64 BE systems.

FAIL: gcc.dg/c23-tag-enum-6.c  (test for errors, line 10)
FAIL: gcc.dg/c23-tag-enum-6.c  (test for errors, line 13)
FAIL: gcc.dg/c23-tag-enum-7.c (test for excess errors)
FAIL: gcc.dg/pr115109.c (test for excess errors)


commit 01044471ea39f9be4803c583ef2a946abc657f99 (HEAD)
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Tue Jun 18 12:22:30 2024 +0100

    Make force_subreg emit nothing on failure



Looks like it is missing some errors

spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test2/gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test2/gcc/
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-6.c -m32
-fdiagnostics-plain-output -std=c23 -fno-short-enums -S -o c23-tag-enum-6.s
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-6.c:16:24:
error: value of redeclared enumerator outside the range of 'enum F'
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-6.c:15:10:
note: previous definition of 'A' with type 'enum F'
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-6.c:19:39:
error: overflow in enumeration values
compiler exited with status 1
FAIL: gcc.dg/c23-tag-enum-6.c  (test for errors, line 10)
FAIL: gcc.dg/c23-tag-enum-6.c  (test for errors, line 13)
PASS: gcc.dg/c23-tag-enum-6.c  (test for errors, line 16)
PASS: gcc.dg/c23-tag-enum-6.c  (test for errors, line 19)

And has excess errors

spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test2/gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test2/gcc/ exceptions_enabled727535.cc -m32
-fdiagnostics-plain-output -Wno-complain-wrong-lang -S -o
exceptions_enabled727535.s
FAIL: gcc.dg/c23-tag-enum-7.c (test for excess errors)
Excess errors:
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:15:18:
warning: left shift count >= width of type [-Wshift-count-overflow]
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:16:24:
error: '_Generic' selector of type 'int' is not compatible with any association
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:16:15:
error: expression in static assertion is not an integer
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:17:24:
error: '_Generic' selector of type 'int' is not compatible with any association
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:17:15:
error: expression in static assertion is not an integer
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:18:18:
warning: left shift count >= width of type [-Wshift-count-overflow]
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:18:39:
error: conflicting redeclaration of enumerator 'd'
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:18:39:
error: conflicting redefinition of enum 'enum H'
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:19:24:
error: '_Generic' selector of type 'int' is not compatible with any association
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:19:15:
error: expression in static assertion is not an integer
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:20:24:
error: '_Generic' selector of type 'int' is not compatible with any association
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:20:15:
error: expression in static assertion is not an integer
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:23:71:
error: '_Generic' selector of type 'long long unsigned int' is not compatible
with any association
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/c23-tag-enum-7.c:33:61:
error: '_Generic' selector of type 'long long int' is not compatible with any
association

spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test2/gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test2/gcc/ exceptions_enabled730621.cc -m32
-fdiagnostics-plain-output -Wno-complain-wrong-lang -S -o
exceptions_enabled730621.s
FAIL: gcc.dg/pr115109.c (test for excess errors)
Excess errors:
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/pr115109.c:7:54: error:
'_Generic' selector of type 'int' is not compatible with any association
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/pr115109.c:7:41: error:
conflicting redeclaration of enumerator 'b'
/home/seurer/gcc/git/gcc-test2/gcc/testsuite/gcc.dg/pr115109.c:7:62: error:
conflicting redefinition of enum 'enum E'

[Bug other/115545] [15 regression] missing/excess errors after r15-1394

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[15 regression]             |[15 regression]
                   |missing/excess errors after |missing/excess errors after
                   |r15-1395-g01044471ea39f9    |r15-1394
                 CC|rsandifo at gcc dot gnu.org        |muecker at gwdg dot de

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---

FAIL: gcc.dg/c23-tag-enum-6.c  (test for errors, line 10)
FAIL: gcc.dg/c23-tag-enum-6.c  (test for errors, line 13)
FAIL: gcc.dg/c23-tag-enum-7.c (test for excess errors)
FAIL: gcc.dg/pr115109.c (test for excess errors)

Was definitely introduced by the patch before you mentioned:
https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=c9b96a68860bfdee49d40b4a844af7c5ef69cd12

They fail with -m32 just like x86_64 too:
https://gcc.gnu.org/pipermail/gcc-patches/2024-June/654984.html

[Bug testsuite/115545] [15 regression] missing/excess errors after r15-1394

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |15.0

[Bug testsuite/115545] [15 regression] missing/excess errors after r15-1394

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-06-18
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
>enum H { x = 2UL + UINT_MAX };          /* { dg-error "outside the range" } */

UL should most likely be ULL here.
or require lp64 target.

and yes this is just a testsuite issue. Because on ILP32 targets, `unsigned
long` is the same as `unsigned int` so obvious they won't fail.

NOTE there are also LLP64 targets where long is still the same size as int.

[Bug testsuite/115545] [15 regression] missing/excess errors after r15-1394

[uecker at gcc dot gnu.org]

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

uecker at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |uecker at gcc dot gnu.org
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=115157

--- Comment #3 from uecker at gcc dot gnu.org ---
Also https://linaro.atlassian.net/browse/GNU-1262

And I introduced a similar issue with PR115157.

[Bug testsuite/115545] [15 regression] missing/excess errors after r15-1394

[pinskia at gcc dot gnu.org]

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

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to uecker from comment #3)
> And I introduced a similar issue with PR115157.

Except that was about enum where here we are talking about size of long.
You could have tested on x86_64 with -m32 to get the failure in the first place
...
as shown by https://gcc.gnu.org/pipermail/gcc-patches/2024-June/654984.html
 .

[Bug testsuite/115545] [15 regression] missing/excess errors after r15-1394 for targets where sizeof(int)==sizeof(long)

[uecker at gcc dot gnu.org]

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

--- Comment #5 from uecker at gcc dot gnu.org ---
PATCH: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/655470.html