From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 715543858D28; Fri, 17 Nov 2023 13:52:33 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 715543858D28 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1700229153; bh=9Lc9k3aokJrJt/VnNky7O+aPIPvo+ieju0Lwqo8Vl/c=; h=From:To:Subject:Date:From; b=FM0yIVuA3Pv094PLYlpipNYu8Sr6H1Vv4RzXcbURnuGfTwubh+goSws7JkIn1hbHw Ks8sN7HeAHn9izMqYQM4Zwmb9Fnnc/SsC+RRccf6rLAK1Q1KdfeK41w0A5GR4dqfwe q6i3jOP+/2V2167OjkTODGxBult13w1FyBoN9dg4= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Richard Biener To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-5555] tree-optimization/112585 - new testcase X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/master X-Git-Oldrev: 1f28b2e4d8f8ea54848c332c707fa4ca5f028fa1 X-Git-Newrev: 04abafe9831f6867af1211ecae853ff373235b2d Message-Id: <20231117135233.715543858D28@sourceware.org> Date: Fri, 17 Nov 2023 13:52:33 +0000 (GMT) List-Id: https://gcc.gnu.org/g:04abafe9831f6867af1211ecae853ff373235b2d commit r14-5555-g04abafe9831f6867af1211ecae853ff373235b2d Author: Richard Biener Date: Fri Nov 17 14:49:06 2023 +0100 tree-optimization/112585 - new testcase The offending commit r14-5444-g5ea2965b499f9e was reverted. The following adds a testcase. PR tree-optimization/112585 * gcc.dg/torture/pr112585.c: New testcase. Diff: --- gcc/testsuite/gcc.dg/torture/pr112585.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gcc/testsuite/gcc.dg/torture/pr112585.c b/gcc/testsuite/gcc.dg/torture/pr112585.c new file mode 100644 index 00000000000..6c8cbeba3c2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr112585.c @@ -0,0 +1,18 @@ +/* { dg-do run } */ +/* { dg-additional-options "-ftree-loop-distribution" } */ + +static int a[10], b; +char c, *d = &c, e; +int main() +{ + int f = 0; + for (; f < 9; f++) { + a[f] = 1; + a[f + 1] = e; + for (b = 0; b < 8; b++) + *d = 0; + } + if (a[2] != 1) + __builtin_abort(); + return 0; +}