From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 685CF3839DCD; Wed, 31 Aug 2022 09:07:54 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 685CF3839DCD DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1661936874; bh=+ZLwdXrD0JL8uZjYurLvuBG6aOfKg46TsEtpWWIW7GE=; h=From:To:Subject:Date:From; b=R6OXUQpqsCqP0a8r0UDK1mq92JtxG93TyVwUVAoopziMM0ORCvdqj2bhkp/d9TLGd XYZ2swXewKBUKkRhjo4VQlfdy9QkumIReHTuSMNhiVXelY33NGFHzcr2mjSnePMLgV Z+O50VJ+JldXaXzol9z6TL8KDCivD2S6qafmyZD0= 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 r13-2302] uninit testcase for PR65244 X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/master X-Git-Oldrev: b3048b6ffb126a4624f66bad713fe6d1dc6dc13d X-Git-Newrev: beec815f26bcb7041a824e0f7180855d364e2271 Message-Id: <20220831090754.685CF3839DCD@sourceware.org> Date: Wed, 31 Aug 2022 09:07:54 +0000 (GMT) List-Id: https://gcc.gnu.org/g:beec815f26bcb7041a824e0f7180855d364e2271 commit r13-2302-gbeec815f26bcb7041a824e0f7180855d364e2271 Author: Richard Biener Date: Wed Aug 31 11:05:33 2022 +0200 uninit testcase for PR65244 The PR65244 has an issue with code in init_from_control_deps for which there's no direct testcase. The following adds one. PR tree-optimization/65244 * gcc.dg/uninit-pr65244-1.c: New testcase. Diff: --- gcc/testsuite/gcc.dg/uninit-pr65244-1.c | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gcc/testsuite/gcc.dg/uninit-pr65244-1.c b/gcc/testsuite/gcc.dg/uninit-pr65244-1.c new file mode 100644 index 00000000000..7c1d910d546 --- /dev/null +++ b/gcc/testsuite/gcc.dg/uninit-pr65244-1.c @@ -0,0 +1,20 @@ +/* { dg-do compile } */ +/* { dg-options "-O -Wuninitialized" } */ + +extern void __attribute__((noreturn)) abort (void); + +int foo (int flag, int val) +{ + int tem; + if (flag) + { + if (val == 0) + abort (); + tem = val; + } + /* large - prevent jump threading */ + __asm__ volatile ("\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n"); + if (flag) + return tem; /* { dg-bogus "uninitialized" } */ + return 0; +}