[Bug c/105166] New: [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:863

[Bug c/105166] New: [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:863

[gscfq@t-online.de]

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

            Bug ID: 105166
           Summary: [12 Regression] ICE in ao_ref_init_from_ptr_and_range,
                    at tree-ssa-alias.cc:863
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started between 20211107 and 20211114, at -O1+ :


$ cat z1.c
bar (foo, a)
  int (**foo) ();
{
  (foo)[1] = bar;
  foo[1] (1);
}


$ gcc-12-20220403 -c z1.c -O2
z1.c:1:1: warning: return type defaults to 'int' [-Wimplicit-int]
    1 | bar (foo, a)
      | ^~~
z1.c: In function 'bar':
z1.c:1:1: warning: type of 'a' defaults to 'int' [-Wimplicit-int]
during GIMPLE pass: dse
z1.c:1:1: internal compiler error: in ao_ref_init_from_ptr_and_range, at
tree-ssa-alias.cc:863
0xcfd747 ao_ref_init_from_ptr_and_range(ao_ref*, tree_node*, bool, poly_int<1u,
long>, poly_int<1u, long>, poly_int<1u, long>)
        ../../gcc/tree-ssa-alias.cc:863
0xa1080b modref_access_node::get_ao_ref(gcall const*, ao_ref*) const
        ../../gcc/ipa-modref-tree.cc:688
0xd03eb3 stmt_kills_ref_p(gimple*, ao_ref*)
        ../../gcc/tree-ssa-alias.cc:3461
0xd28b56 dse_classify_store(ao_ref*, gimple*, bool, simple_bitmap_def*, bool*,
tree_node*)
        ../../gcc/tree-ssa-dse.cc:1053
0xd2aecf dse_optimize_stmt
        ../../gcc/tree-ssa-dse.cc:1385
0xd2aecf execute
        ../../gcc/tree-ssa-dse.cc:1491

[Bug ipa/105166] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:863 since r12-5244

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |NEW
          Component|c                           |ipa
                 CC|                            |hubicka at gcc dot gnu.org,
                   |                            |jakub at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2022-04-05
     Ever confirmed|0                           |1
            Summary|[12 Regression] ICE in      |[12 Regression] ICE in
                   |ao_ref_init_from_ptr_and_ra |ao_ref_init_from_ptr_and_ra
                   |nge, at                     |nge, at
                   |tree-ssa-alias.cc:863       |tree-ssa-alias.cc:863 since
                   |                            |r12-5244

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r12-5244-g64f3e71c302b4a13e61656ee509e7050b9bce978

[Bug ipa/105166] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:863 since r12-5244

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Testcase without warnings:

void
bar (foo, a)
  void (**foo) ();
  int a;
{
  (foo)[1] = bar;
  foo[1] (1);
}

[Bug ipa/105166] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:863 since r12-5244

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.

[Bug ipa/105166] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:863 since r12-5244

[cvs-commit at gcc dot gnu.org]

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

--- 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:4be08315124281f4e9359bc7e5279a99bdbdd053

commit r12-8019-g4be08315124281f4e9359bc7e5279a99bdbdd053
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Apr 6 10:40:06 2022 +0200

    ipa/105166 - avoid modref queries with mismatching types

    We should avoid mismatched argument values (integers for pointers)
    when doing modref queries.  This is the third place to guard.

    2022-04-06  Richard Biener  <rguenther@suse.de>

            PR ipa/105166
            * ipa-modref-tree.cc (modref_access_node::get_ao_ref ): Bail
            out for non-pointer arguments.

            * gcc.dg/torture/pr105166.c: New testcase.

[Bug ipa/105166] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:863 since r12-5244

[rguenth at gcc dot gnu.org]

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

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.