[Bug tree-optimization/107867] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b08

[Bug tree-optimization/107867] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b08

[marxin at gcc dot gnu.org]

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

            Bug ID: 107867
           Summary: [13 Regression] ICE in init_from_control_deps, at
                    gimple-predicate-analysis.cc:1699 since
                    r13-2314-ga8ebd27d0ab69b08
           Product: gcc
           Version: 13.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 more ICE with the same test-case as PR107803:

$ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/pr107803.C -Wextra
-fno-tree-ccp -Os
during GIMPLE pass: uninit
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/pr107803.C: In function ‘int
main()’:
/home/marxin/Programming/gcc/gcc/testsuite/g++.dg/pr107803.C:10:1: internal
compiler error: in init_from_control_deps, at gimple-predicate-analysis.cc:1747
   10 | main()
      | ^~~~
0x947200 predicate::init_from_control_deps(vec<edge_def*, va_heap, vl_ptr>
const*, unsigned int, bool)
        /home/marxin/Programming/gcc/gcc/gimple-predicate-analysis.cc:1747
0x1f79316 predicate::init_from_control_deps(vec<edge_def*, va_heap, vl_ptr>
const*, unsigned int, bool)
        /home/marxin/Programming/gcc/gcc/gimple-predicate-analysis.cc:1722
0x1f79316 uninit_analysis::init_use_preds(predicate&, basic_block_def*,
basic_block_def*)
        /home/marxin/Programming/gcc/gcc/gimple-predicate-analysis.cc:2003
0x1f7c98f uninit_analysis::is_use_guarded(gimple*, basic_block_def*, gphi*,
unsigned int, hash_set<gphi*, false, default_hash_traits<gphi*> >*)
        /home/marxin/Programming/gcc/gcc/gimple-predicate-analysis.cc:2154
0x1f7cf7a uninit_analysis::is_use_guarded(gimple*, basic_block_def*, gphi*,
unsigned int)
        /home/marxin/Programming/gcc/gcc/gimple-predicate-analysis.cc:2195
0x1410e5c find_uninit_use
        /home/marxin/Programming/gcc/gcc/tree-ssa-uninit.cc:1234
0x141178e warn_uninitialized_phi
        /home/marxin/Programming/gcc/gcc/tree-ssa-uninit.cc:1304
0x141178e execute_late_warn_uninitialized
        /home/marxin/Programming/gcc/gcc/tree-ssa-uninit.cc:1425
0x141178e execute
        /home/marxin/Programming/gcc/gcc/tree-ssa-uninit.cc:1442
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/107867] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b08

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Target Milestone|---                         |13.0
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=107803
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-11-25

[Bug tree-optimization/107867] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b08

[rguenth at gcc dot gnu.org]

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

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 #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
forwprop has the same issue.

[Bug tree-optimization/107867] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b08

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:0976b012d89e3d819d83cdaf0dab05925b3eb3a0

commit r13-4316-g0976b012d89e3d819d83cdaf0dab05925b3eb3a0
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Nov 25 13:53:14 2022 +0100

    tree-optimization/107867 - failed abnormal cleanup in forwprop

    The following makes sure to perform abnormal cleanup when forwprop
    propagates into a call.

            PR tree-optimization/107867
            * tree-ssa-forwprop.cc (pass_forwprop::execute): Handle
            abnormal cleanup after substitution.

            * g++.dg/pr107867.C: New testcase.

[Bug tree-optimization/107867] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b08

[rguenth at gcc dot gnu.org]

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

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

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

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