[Bug c/105226] New: [10/11/12 Regression] ICE in gimple_split_edge, at tree-cfg.cc:2960

[Bug c/105226] New: [10/11/12 Regression] ICE in gimple_split_edge, at tree-cfg.cc:2960

[gscfq@t-online.de]

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

            Bug ID: 105226
           Summary: [10/11/12 Regression] ICE in gimple_split_edge, at
                    tree-cfg.cc:2960
           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 20190609 and 20190616, at -O3 or -Ofast :


$ cat z1.c
#include <setjmp.h>
struct longjmp_buf {
  jmp_buf buf;
};
void g ();
void f ()
{
  int i, n;
  long *a;
  long *args;
  struct longjmp_buf b;
  setjmp (b.buf);
  for (;;)
    {
      for (i = 0; i < n; i++)
        a[i] = args[i];
      g ();
    }
}


$ gcc-10-20190609 -c z1.c -Ofast
$ gcc-12-20220410 -c z1.c -O2
$
$ gcc-12-20220410 -c z1.c -Ofast
during GIMPLE pass: vect
z1.c: In function 'f':
z1.c:6:6: internal compiler error: in gimple_split_edge, at tree-cfg.cc:2960
    6 | void f ()
      |      ^
0xe53d86 gimple_split_edge
        ../../gcc/tree-cfg.cc:2960
0x89f16c split_edge(edge_def*)
        ../../gcc/cfghooks.cc:668
0x10eec7c vect_loop_versioning(_loop_vec_info*, gimple*)
        ../../gcc/tree-vect-loop-manip.cc:3636
0x10e4e01 vect_transform_loop(_loop_vec_info*, gimple*)
        ../../gcc/tree-vect-loop.cc:9691
0x111ec35 vect_transform_loops
        ../../gcc/tree-vectorizer.cc:1007
0x111f2e6 try_vectorize_loop_1
        ../../gcc/tree-vectorizer.cc:1136
0x111f2e6 try_vectorize_loop
        ../../gcc/tree-vectorizer.cc:1167
0x111f914 execute
        ../../gcc/tree-vectorizer.cc:1281

[Bug tree-optimization/105226] [10/11/12 Regression] ICE in gimple_split_edge with -Ofast and setjmp (returns twice)

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
            Summary|[10/11/12 Regression] ICE   |[10/11/12 Regression] ICE
                   |in gimple_split_edge, at    |in gimple_split_edge with
                   |tree-cfg.cc:2960            |-Ofast and setjmp (returns
                   |                            |twice)
           Keywords|                            |needs-bisection
   Target Milestone|---                         |10.4

[Bug tree-optimization/105226] [10/11/12 Regression] ICE in gimple_split_edge with -O3/fast and setjmp (returns twice)

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug tree-optimization/105226] [10/11/12 Regression] ICE in gimple_split_edge with -O3/fast and setjmp (returns twice) since r10-1057-g2778a719bebf7a32

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needs-bisection             |
                 CC|                            |marxin at gcc dot gnu.org
            Summary|[10/11/12 Regression] ICE   |[10/11/12 Regression] ICE
                   |in gimple_split_edge with   |in gimple_split_edge with
                   |-O3/fast and setjmp         |-O3/fast and setjmp
                   |(returns twice)             |(returns twice) since
                   |                            |r10-1057-g2778a719bebf7a32

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r10-1057-g2778a719bebf7a32.

[Bug tree-optimization/105226] [10/11/12 Regression] ICE in gimple_split_edge with -O3/fast and setjmp (returns twice) since r10-1057-g2778a719bebf7a32

[cvs-commit at gcc dot gnu.org]

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

--- 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:62d5bb0f35fb6ec373eaac942755585a633528a0

commit r12-8104-g62d5bb0f35fb6ec373eaac942755585a633528a0
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Apr 12 09:40:15 2022 +0200

    tree-optimization/105226 - avoid splitting abnormal edges

    Vectorizer loop versioning tries to version outer loops if possible
    but fails to check whether it can actually split the single exit
    edge as it will do.

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

            PR tree-optimization/105226
            * tree-vect-loop-manip.cc (vect_loop_versioning): Verify
            we can split the exit of an outer loop we choose to version.

            * gcc.dg/pr105226.c: New testcase.

[Bug tree-optimization/105226] [10/11 Regression] ICE in gimple_split_edge with -O3/fast and setjmp (returns twice) since r10-1057-g2778a719bebf7a32

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
            Summary|[10/11/12 Regression] ICE   |[10/11 Regression] ICE in
                   |in gimple_split_edge with   |gimple_split_edge with
                   |-O3/fast and setjmp         |-O3/fast and setjmp
                   |(returns twice) since       |(returns twice) since
                   |r10-1057-g2778a719bebf7a32  |r10-1057-g2778a719bebf7a32
      Known to work|                            |12.0

[Bug tree-optimization/105226] [10/11 Regression] ICE in gimple_split_edge with -O3/fast and setjmp (returns twice) since r10-1057-g2778a719bebf7a32

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:249aa9348ddf06b8961a3418c74e6d83963cdc1e

commit r11-9812-g249aa9348ddf06b8961a3418c74e6d83963cdc1e
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Apr 12 09:40:15 2022 +0200

    tree-optimization/105226 - avoid splitting abnormal edges

    Vectorizer loop versioning tries to version outer loops if possible
    but fails to check whether it can actually split the single exit
    edge as it will do.

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

            PR tree-optimization/105226
            * tree-vect-loop-manip.c (vect_loop_versioning): Verify
            we can split the exit of an outer loop we choose to version.

            * gcc.dg/pr105226.c: New testcase.

    (cherry picked from commit 62d5bb0f35fb6ec373eaac942755585a633528a0)

[Bug tree-optimization/105226] [10 Regression] ICE in gimple_split_edge with -O3/fast and setjmp (returns twice) since r10-1057-g2778a719bebf7a32

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:813b14ede7207555e65e6ce976ff0c04ab2b7875

commit r10-10543-g813b14ede7207555e65e6ce976ff0c04ab2b7875
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Apr 12 09:40:15 2022 +0200

    tree-optimization/105226 - avoid splitting abnormal edges

    Vectorizer loop versioning tries to version outer loops if possible
    but fails to check whether it can actually split the single exit
    edge as it will do.

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

            PR tree-optimization/105226
            * tree-vect-loop-manip.c (vect_loop_versioning): Verify
            we can split the exit of an outer loop we choose to version.

            * gcc.dg/pr105226.c: New testcase.

    (cherry picked from commit 62d5bb0f35fb6ec373eaac942755585a633528a0)

[Bug tree-optimization/105226] [10 Regression] ICE in gimple_split_edge with -O3/fast and setjmp (returns twice) since r10-1057-g2778a719bebf7a32

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |10.3.1
      Known to fail|                            |10.3.0
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

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