[Bug c/105185] New: [12 Regression] ICE in visit_reference_op_call, at tree-ssa-sccvn.cc:5144

[Bug c/105185] New: [12 Regression] ICE in visit_reference_op_call, at tree-ssa-sccvn.cc:5144

[gscfq@t-online.de]

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

            Bug ID: 105185
           Summary: [12 Regression] ICE in visit_reference_op_call, at
                    tree-ssa-sccvn.cc:5144
           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: ---

Changed between 20220306 and 20220327, at -O1+ :
(derived from pr104825.c)


$ cat z1.c
int foo (fmt)
char* fmt;
{
  return (__builtin_strchr (fmt, '*') != 0
          || __builtin_strchr (fmt, 'n') != 0);
}
void bar ()
{
  if (foo ())
    __builtin_abort ();
}


$ gcc-12-20220403 -c z1.c
$
$ gcc-12-20220403 -c z1.c -O2
during GIMPLE pass: fre
z1.c: In function 'bar':
z1.c:11:1: internal compiler error: Segmentation fault
   11 | }
      | ^
0xe0a17f crash_signal
        ../../gcc/toplev.cc:322
0x103c188 contains_struct_check(tree_node*, tree_node_structure_enum, char
const*, int, char const*)
        ../../gcc/tree.h:3570
0x103c188 visit_reference_op_call
        ../../gcc/tree-ssa-sccvn.cc:5144
0x1046b93 visit_stmt
        ../../gcc/tree-ssa-sccvn.cc:5847
0x1047bfb process_bb
        ../../gcc/tree-ssa-sccvn.cc:7482
0x1049c8e do_rpo_vn(function*, edge_def*, bitmap_head*, bool, bool,
vn_lookup_kind)
        ../../gcc/tree-ssa-sccvn.cc:7967
0x104a75b execute
        ../../gcc/tree-ssa-sccvn.cc:8233

[Bug tree-optimization/105185] [12 Regression] ICE in visit_reference_op_call, at tree-ssa-sccvn.cc:5144

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
   Target Milestone|---                         |12.0

[Bug ipa/105185] [12 Regression] ICE in visit_reference_op_call, at tree-ssa-sccvn.cc:5144

[rguenth at gcc dot gnu.org]

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

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

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

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

[Bug ipa/105185] [12 Regression] ICE in visit_reference_op_call, at tree-ssa-sccvn.cc:5144 since r12-7531-gdc46350d44c2949e

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12 Regression] ICE in      |[12 Regression] ICE in
                   |visit_reference_op_call, at |visit_reference_op_call, at
                   |tree-ssa-sccvn.cc:5144      |tree-ssa-sccvn.cc:5144
                   |                            |since
                   |                            |r12-7531-gdc46350d44c2949e

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-7531-gdc46350d44c2949e.

[Bug ipa/105185] [12 Regression] ICE in visit_reference_op_call, at tree-ssa-sccvn.cc:5144 since r12-7531-gdc46350d44c2949e

[cvs-commit at gcc dot gnu.org]

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

--- 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:27bfd13437c773a050f532ed164907de54b5a64f

commit r12-8046-g27bfd13437c773a050f532ed164907de54b5a64f
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Apr 7 09:16:50 2022 +0200

    tree-optimization/105185 - simplify modref query in SCCVN

    This simplifies the modref query for calls in SCCVN again after
    r12-8019-g4be08315124281, avoiding an ICE when the modref
    analyzed access lacks an actual argument on the caller side.
    It effectively reverts r12-7531-gdc46350d44c294.

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

            PR tree-optimization/105185
            * tree-ssa-sccvn.cc (visit_reference_op_call): Simplify
            modref query again.

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

[Bug ipa/105185] [12 Regression] ICE in visit_reference_op_call, at tree-ssa-sccvn.cc:5144 since r12-7531-gdc46350d44c2949e

[rguenth at gcc dot gnu.org]

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

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.