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

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

[gscfq@t-online.de]

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

            Bug ID: 104825
           Summary: [12 Regression] ICE in ao_ref_init_from_ptr_and_range,
                    at tree-ssa-alias.cc:840
           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 20211121 and 20211128, at -O1+ :


$ cat z1.c
#include <string.h>
int foo (fmt)
char* fmt;
{
  return (strchr (fmt, '*') != 0
          || strchr (fmt, 'n') != 0);
}
void bar ()
{
  if ( foo (1) )
    __builtin_abort ();
}


$ gcc-12-20220306 -c z1.c
$
$ gcc-12-20220306 -c z1.c -O2
during GIMPLE pass: fre
z1.c: In function 'bar':
z1.c:12:1: internal compiler error: in ao_ref_init_from_ptr_and_range, at
tree-ssa-alias.cc:840
   12 | }
      | ^
0xcfa3f7 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:840
0xa0de1b modref_access_node::get_ao_ref(gcall const*, ao_ref*) const
        ../../gcc/ipa-modref-tree.cc:688
0xdc6283 visit_reference_op_call
        ../../gcc/tree-ssa-sccvn.cc:5143
0xdcfd58 visit_stmt
        ../../gcc/tree-ssa-sccvn.cc:5846
0xdd0aeb process_bb
        ../../gcc/tree-ssa-sccvn.cc:7481
0xdd25dd do_rpo_vn(function*, edge_def*, bitmap_head*, bool, bool,
vn_lookup_kind)
        ../../gcc/tree-ssa-sccvn.cc:7966
0xdd2f3b execute
        ../../gcc/tree-ssa-sccvn.cc:8232

[Bug tree-optimization/104825] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:840

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0

[Bug tree-optimization/104825] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:840

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2022-03-08
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

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

[Bug tree-optimization/104825] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:840

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Similar to PR103987.  Testing patch.

[Bug tree-optimization/104825] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:840

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 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:dc46350d44c2949ec38deb028960f8040f8e8e5d

commit r12-7531-gdc46350d44c2949ec38deb028960f8040f8e8e5d
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Mar 8 08:42:58 2022 +0100

    tree-optimization/104825 - guard modref query

    The following makes sure to guard the modref query in VN on a
    pointer typed argument.

    2022-03-08  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/104825
            * tree-ssa-sccvn.cc (visit_reference_op_call): Properly
            guard modref get_ao_ref on a pointer typed argument.

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

[Bug tree-optimization/104825] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:840

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug tree-optimization/104825] [12 Regression] ICE in ao_ref_init_from_ptr_and_range, at tree-ssa-alias.cc:840

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104825
Bug 104825 depends on bug 105185, which changed state.

Bug 105185 Summary: [12 Regression] ICE in visit_reference_op_call, at tree-ssa-sccvn.cc:5144 since r12-7531-gdc46350d44c2949e
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105185

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