[Bug c/108942] New: ICE in build2, at tree.c: 5096 for gcc/testsuite/gcc.dg/torture/ssa-fre-7.c:23:3

[Bug c/108942] New: ICE in build2, at tree.c: 5096 for gcc/testsuite/gcc.dg/torture/ssa-fre-7.c:23:3

[nightstrike at gmail dot com]

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

            Bug ID: 108942
           Summary: ICE in build2, at tree.c: 5096 for
                    gcc/testsuite/gcc.dg/torture/ssa-fre-7.c:23:3
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nightstrike at gmail dot com
  Target Milestone: ---

Created attachment 54541
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54541&action=edit
preprocessed source from -freport-bug

The gcc.dg/torture/ssa-fre-7.c tests fail with the following backtrace:

0x844e1f build2(tree_code, tree_node*, tree_node*, tree_node*)
        ../../gcc/tree.cc:5096
0x9a26d7 build2_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
        ../../gcc/tree.h:4604
0x9a26d7 c_parser_gimple_binary_expression
        ../../gcc/c/gimple-parser.cc:1027
0x9a38ce c_parser_gimple_statement
        ../../gcc/c/gimple-parser.cc:873
0x9a38ce c_parser_gimple_compound_statement
        ../../gcc/c/gimple-parser.cc:664
0x9a5c11 c_parser_parse_gimple_body(c_parser*, char*, c_declspec_il,
profile_count)
        ../../gcc/c/gimple-parser.cc:253
0x9954a6 c_parser_declaration_or_fndef
        ../../gcc/c/c-parser.cc:2835
0x99c6fb c_parser_external_declaration
        ../../gcc/c/c-parser.cc:1925
0x99d0d3 c_parser_translation_unit
        ../../gcc/c/c-parser.cc:1779
0x99d0d3 c_parse_file()
        ../../gcc/c/c-parser.cc:24632
0xa088e1 c_common_parse_file()
        ../../gcc/c-family/c-opts.cc:1248

This is in a linux to 64-bit windows cross compiler environment.  Output of
-freport-bug added as an attachment.

For this version of the repository (commit
e6d39f68d03c46637ca6e1bede3d28eae6278df3), line 23 is:

  p_4 = _Literal (int *) &x + _2;

[Bug c/108942] ICE in build2, at tree.c: 5096 for gcc/testsuite/gcc.dg/torture/ssa-fre-7.c:23:3

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2023-02-27
             Status|UNCONFIRMED                 |NEW
           Keywords|ice-on-valid-code           |ice-on-invalid-code

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
So there are two issues here, one a testsuite issue:
  long unsigned int _1;
  long unsigned int _2;

  _1 = (long unsigned int) i_3;

Those types should have been __SIZE_TYPE__ .

The other is the ICE happens because of the invalidness of the above ...

[Bug testsuite/108942] ICE in build2, at tree.c: 5096 for gcc/testsuite/gcc.dg/torture/ssa-fre-7.c:23:3

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=108954
           Keywords|ice-on-invalid-code         |
          Component|c                           |testsuite

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I split the ICE off into PR 108954 as I found a testcase which ICEs on
x86_64-linux-gnu.

So this bug report is just about the testsuite fix.

[Bug testsuite/108942] ICE in build2, at tree.c: 5096 for gcc/testsuite/gcc.dg/torture/ssa-fre-7.c:23:3

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Let me fix this.

[Bug testsuite/108942] ICE in build2, at tree.c: 5096 for gcc/testsuite/gcc.dg/torture/ssa-fre-7.c:23:3

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:41c02eeb309b3be58683be8f9961f3894b6fb4c7

commit r13-6374-g41c02eeb309b3be58683be8f9961f3894b6fb4c7
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Feb 28 11:36:01 2023 +0100

    testsuite/108942 - use sizetype in GIMPLE FE testcase

    The following properly uses __SIZETYPE__ for pointer offsets.

            PR testsuite/108942
            * gcc.dg/torture/ssa-fre-7.c: Use __SIZETYPE__.

[Bug testsuite/108942] ICE in build2, at tree.c: 5096 for gcc/testsuite/gcc.dg/torture/ssa-fre-7.c:23:3

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.