[Bug tree-optimization/96114] New: ICE in make_ssa_name_fn, at tree-ssanames.c:279 since r7-536-g381cdae49785fc4b

[Bug tree-optimization/96114] New: ICE in make_ssa_name_fn, at tree-ssanames.c:279 since r7-536-g381cdae49785fc4b

[marxin at gcc dot gnu.org]

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

            Bug ID: 96114
           Summary: ICE in make_ssa_name_fn, at tree-ssanames.c:279 since
                    r7-536-g381cdae49785fc4b
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

One old one:

$ cat vlt_to_pointer.c
int test_n;

void
test(int (*fn())[test_n]) { (*fn())[0]; }

void
main_fn() { test(main_fn); }

$ gcc vlt_to_pointer.c -fsanitize=bounds-strict -O1 -finline-small-functions
-fnon-call-exceptions -ftrapv -fexceptions -c
vlt_to_pointer.c: In function ‘main_fn’:
vlt_to_pointer.c:7:18: warning: passing argument 1 of ‘test’ from incompatible
pointer type [-Wincompatible-pointer-types]
    7 | main_fn() { test(main_fn); }
      |                  ^~~~~~~
      |                  |
      |                  void (*)()
vlt_to_pointer.c:4:12: note: expected ‘int (* (*)())[(sizetype)(test_n)]’ but
argument is of type ‘void (*)()’
    4 | test(int (*fn())[test_n]) { (*fn())[0]; }
      |      ~~~~~~^~~~~~~~~~~~~
during GIMPLE pass: einline
vlt_to_pointer.c:7:13: internal compiler error: in make_ssa_name_fn, at
tree-ssanames.c:279
    7 | main_fn() { test(main_fn); }
      |             ^~~~~~~~~~~~~
0x7ffff79eccc9 __libc_start_main
        ../csu/libc-start.c:308
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://bugs.opensuse.org/> for instructions.

[Bug c/96114] ICE in make_ssa_name_fn, at tree-ssanames.c:279 since r7-536-g381cdae49785fc4b

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2020-07-08
             Status|UNCONFIRMED                 |NEW
          Component|tree-optimization           |c
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  Yet another testcase for a latent frontend bug which misses a
DECL_EXPR for VLAs.

[Bug c/96114] ICE in make_ssa_name_fn, at tree-ssanames.c:279 since r7-536-g381cdae49785fc4b

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-bisection             |

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r7-536-g381cdae49785fc4b.

[Bug c/96114] ICE in make_ssa_name_fn, at tree-ssanames.c:279 since r7-536-g381cdae49785fc4b

[muecker at gwdg dot de]

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

Martin Uecker <muecker at gwdg dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |muecker at gwdg dot de

--- Comment #3 from Martin Uecker <muecker at gwdg dot de> ---
Maybe related to PR108423 and probably covered by the patch. 

Seems latent since 13 though.

https://godbolt.org/z/WMqW57aP1