[Bug tree-optimization/100574] New: [11/12 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[Bug tree-optimization/100574] New: [11/12 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[zsojka at seznam dot cz]

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

            Bug ID: 100574
           Summary: [11/12 Regression] ICE: in size_remaining, at
                    builtins.c:413 with -O3 -ftracer
                    -fno-tree-dominator-opts -fno-tree-fre
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu

Created attachment 50802
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50802&action=edit
auto-reduced testcase (from OpenTTD sources)

Compiler output:
$ x86_64-pc-linux-gnu-gcc -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre
testcase.C 
during GIMPLE pass: strlen
testcase.C: In function 'void ReadTrackChunk()':
testcase.C:43:6: internal compiler error: in size_remaining, at builtins.c:413
   43 | void ReadTrackChunk() {
      |      ^~~~~~~~~~~~~~
0x714a5d
access_ref::size_remaining(generic_wide_int<fixed_wide_int_storage<128> >*)
const
        /repo/gcc-trunk/gcc/builtins.c:413
0xe2f36a access_ref::add_offset(generic_wide_int<fixed_wide_int_storage<128> >
const&, generic_wide_int<fixed_wide_int_storage<128> > const&)
        /repo/gcc-trunk/gcc/builtins.c:517
0xe30211 handle_mem_ref
        /repo/gcc-trunk/gcc/builtins.c:5407
0xe30211 compute_objsize_r
        /repo/gcc-trunk/gcc/builtins.c:5549
0xe335d2 compute_objsize(tree_node*, int, access_ref*, pointer_query*)
        /repo/gcc-trunk/gcc/builtins.c:5816
0x1514411 maybe_warn_overflow
        /repo/gcc-trunk/gcc/tree-ssa-strlen.c:1952
0x151cbe1 maybe_warn_overflow
        /repo/gcc-trunk/gcc/tree-ssa-strlen.c:2096
0x151cbe1 handle_store
        /repo/gcc-trunk/gcc/tree-ssa-strlen.c:4788
0x151f4a6 check_and_optimize_stmt
        /repo/gcc-trunk/gcc/tree-ssa-strlen.c:5426
0x151f4a6 strlen_dom_walker::before_dom_children(basic_block_def*)
        /repo/gcc-trunk/gcc/tree-ssa-strlen.c:5622
0x1dcfc57 dom_walker::walk(basic_block_def*)
        /repo/gcc-trunk/gcc/domwalk.c:309
0x1514f1e printf_strlen_execute
        /repo/gcc-trunk/gcc/tree-ssa-strlen.c:5688
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/100574] [11/12 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
   Target Milestone|---                         |11.2
   Last reconfirmed|                            |2021-05-12
                 CC|                            |msebor at gcc dot gnu.org
             Blocks|                            |88443
     Ever confirmed|0                           |1


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88443
[Bug 88443] [meta-bug] bogus/missing -Wstringop-overflow warnings

[Bug tree-optimization/100574] [11/12 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

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

--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
Patch: https://gcc.gnu.org/pipermail/gcc-patches/2021-May/570236.html

[Bug tree-optimization/100574] [11/12 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:5380e3c137b2bb63acd789cd09d01a4edc0a01c3

commit r12-784-g5380e3c137b2bb63acd789cd09d01a4edc0a01c3
Author: Martin Sebor <msebor@redhat.com>
Date:   Thu May 13 16:20:45 2021 -0600

    PR middle-end/100574 - ICE in size_remaining, at builtins.c

    gcc/ChangeLog:

            PR middle-end/100574
            * builtins.c (access_ref::get_ref): Improve detection of PHIs with
            all null arguments.

[Bug tree-optimization/100574] [11 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11/12 Regression] ICE: in  |[11 Regression] ICE: in
                   |size_remaining, at          |size_remaining, at
                   |builtins.c:413 with -O3     |builtins.c:413 with -O3
                   |-ftracer                    |-ftracer
                   |-fno-tree-dominator-opts    |-fno-tree-dominator-opts
                   |-fno-tree-fre               |-fno-tree-fre
      Known to fail|12.0                        |

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
Fixed on trunk.

[Bug tree-optimization/100574] [11 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug tree-optimization/100574] [11 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Martin Sebor
<msebor@gcc.gnu.org>:

https://gcc.gnu.org/g:11133f8f113e4591a2a5c9e61d810b9e5931043e

commit r11-8601-g11133f8f113e4591a2a5c9e61d810b9e5931043e
Author: Martin Sebor <msebor@redhat.com>
Date:   Thu Jun 17 10:32:00 2021 -0600

    Bacported from trunk:

    PR middle-end/100574 - ICE in size_remaining, at builtins.c

    gcc/ChangeLog:
            PR middle-end/100574
            * builtins.c (access_ref::get_ref): Improve detection of PHIs with
            all null arguments.

    gcc/testsuite/ChangeLog:
            PR middle-end/100574
            * g++.dg/pr100574.C: New test.

[Bug tree-optimization/100574] [11 Regression] ICE: in size_remaining, at builtins.c:413 with -O3 -ftracer -fno-tree-dominator-opts -fno-tree-fre

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

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

--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
Backported to GCC 11.2.