From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 53A473858C52; Mon, 6 Feb 2023 18:50:55 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 53A473858C52 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1675709455; bh=OulfLgtsRihw9R2Su0wMSOSHQLN9rNJFOMtTuPG+4Xw=; h=From:To:Subject:Date:From; b=h4E1f8YRmwCtagik3C+Pd1P3RZ09+I1USMfZ6BYKnDX/c9Kv8eyPu+NZQitFDmTI1 puyke3rjQej0MhHcHhv/mOZBQQi7DOifR6sK4EajecBPRsT+yU1TZW0xPwzHb998Ne 28p+cz4jIkdrfFcuyLB4bFNKVtSU/kNJkAAMwbGs= From: "gscfq@t-online.de" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/108685] New: [13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 Date: Mon, 06 Feb 2023 18:50:55 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: unknown X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: gscfq@t-online.de X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D108685 Bug ID: 108685 Summary: [13 Regression] ICE in verify_loop_structure, at cfgloop.cc:1748 Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: gscfq@t-online.de Target Milestone: --- Started between 20220828 and 20220904, at -O1+ : $ cat z1.c void f (int a) { for (;;) #pragma omp for collapse(2) ordered(4) for (int i =3D 0; i < 2; i++) for (int j =3D 0; j < a; j++) for (int k =3D 0; k < 2; k++) for (int l =3D 0; l < a; l++) { #pragma omp ordered doacross (source:) __builtin_abort (); } } $ gcc-13-20230205 -c z1.c -fopenmp -O2 z1.c: In function 'f': z1.c:4:13: error: size of loop 3 should be 9, not 10 4 | #pragma omp for collapse(2) ordered(4) | ^~~ z1.c:4:13: error: bb 8 does not belong to loop 3 z1.c:4:13: error: bb 18 does not belong to loop 3 z1.c:4:13: error: bb 15 does not belong to loop 3 z1.c:4:13: error: bb 14 does not belong to loop 3 z1.c:4:13: error: bb 13 does not belong to loop 3 z1.c:4:13: error: bb 9 does not belong to loop 3 z1.c:4:13: error: bb 17 does not belong to loop 3 z1.c:4:13: error: bb 16 does not belong to loop 3 z1.c:4:13: error: bb 10 does not belong to loop 3 z1.c:4:13: error: loop 3's header does not belong directly to it during GIMPLE pass: ompexp z1.c:4:13: internal compiler error: in verify_loop_structure, at cfgloop.cc:1748 0x9ae013 verify_loop_structure() ../../gcc/cfgloop.cc:1748 0xd21499 checking_verify_loop_structure ../../gcc/cfgloop.h:646 0xd21499 fix_loop_structure(bitmap_head*) ../../gcc/loop-init.cc:327 0xf8dd37 repair_loop_structures ../../gcc/tree-cfgcleanup.cc:1190 0xf8dd37 cleanup_tree_cfg(unsigned int) ../../gcc/tree-cfgcleanup.cc:1218 0xe1dc14 execute_function_todo ../../gcc/passes.cc:2057 0xe1e5a2 execute_todo ../../gcc/passes.cc:2145=