[Bug rtl-optimization/108241] New: [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658

[Bug rtl-optimization/108241] New: [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658

[asolokha at gmx dot com]

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

            Bug ID: 108241
           Summary: [12/13 Regression] ICE in lra_eliminate_regs_1, at
                    lra-eliminations.cc:658
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, ra
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: aarch64-linux-gnu

Created attachment 54160
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54160&action=edit
Testcase

gcc 13.0.0 20221225 snapshot (g:febb58d28bfa4b544ec7ffec2d61f46d25205ff0) ICEs
when compiling the attached testcase w/ -Os -frounding-math
-fvar-tracking-assignments -fno-dce -fno-trapping-math -fno-tree-dce
-fno-tree-dse:

% aarch64-linux-gnu-gcc-13 -Os -frounding-math -fvar-tracking-assignments
-fno-dce -fno-trapping-math -fno-tree-dce -fno-tree-dse -c ahfmksrk.c
during RTL pass: reload
ahfmksrk.c: In function 'foo':
ahfmksrk.c:60:1: internal compiler error: in lra_eliminate_regs_1, at
lra-eliminations.cc:658
   60 | }
      | ^
0x738287 lra_eliminate_regs_1(rtx_insn*, rtx_def*, machine_mode, bool, bool,
poly_int<2u, long>, bool)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:658
0xd698a2 lra_eliminate_regs_1(rtx_insn*, rtx_def*, machine_mode, bool, bool,
poly_int<2u, long>, bool)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:437
0xd694b8 lra_eliminate_regs_1(rtx_insn*, rtx_def*, machine_mode, bool, bool,
poly_int<2u, long>, bool)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:601
0xd6a258 eliminate_regs_in_insn(rtx_insn*, bool, bool, poly_int<2u, long>)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:1022
0xd6ab5d process_insn_for_elimination
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:1332
0xd6ab5d lra_eliminate(bool, bool)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra-eliminations.cc:1400
0xd4e6d5 lra(_IO_FILE*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/lra.cc:2497
0xd039b9 do_reload
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/ira.cc:5941
0xd039b9 execute
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.0_p20221225/work/gcc-13-20221225/gcc/ira.cc:6127

[Bug rtl-optimization/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-12-28
                 CC|                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
           Assignee|unassigned at gcc dot gnu.org      |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r13-259-g76db543db88727 which is a revision that fixed
-fvar-tracking option processing. I'm going to take a look.

[Bug rtl-optimization/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.3
           Priority|P3                          |P2

[Bug driver/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Patch candidate:
https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615048.html

[Bug driver/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658

[marxin at gcc dot gnu.org]

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

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #2)
> Patch candidate:
> https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615048.html

Sorry, this link:
https://gcc.gnu.org/pipermail/gcc-patches/2023-April/615044.html

[Bug driver/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:cb06a507073e4d6218a70a2d5b0738a0487d6d9a

commit r13-7136-gcb06a507073e4d6218a70a2d5b0738a0487d6d9a
Author: Martin Liska <mliska@suse.cz>
Date:   Fri Mar 31 14:28:15 2023 +0200

    driver: drop flag_var_tracking_assignments flag

    The revision r13-259-g76db543db88727 moved a condition from one
    file to another, but now we do not drop x_flag_var_tracking_assignments
    as it was done before the mentioned revision.

            PR driver/108241

    gcc/ChangeLog:

            * opts.cc (finish_options): Drop also
            x_flag_var_tracking_assignments.

    gcc/testsuite/ChangeLog:

            * gcc.dg/pr108241.c: New test.
            * gcc.dg/pr79570.c: Add also -g option.

[Bug driver/108241] [12/13 Regression] ICE in lra_eliminate_regs_1, at lra-eliminations.cc:658

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed on master, not planning to backport that.