From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from esa4.mentor.iphmx.com (esa4.mentor.iphmx.com [68.232.137.252]) by sourceware.org (Postfix) with ESMTPS id 785B63858D3C for ; Tue, 21 Nov 2023 11:09:21 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 785B63858D3C Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 785B63858D3C Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=68.232.137.252 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700564963; cv=none; b=x7Nq47qQIv5o3jI7x8+hJglBcJ0kv2lf7MM1VcEPTDibod52fFrSJmktGZ4fPAgpbgXOoDPmIKgwTqOLIrhSjh7chnEhcU6ZDDonREDnY/IU4QknpEeYNRBhnqpqVDqrHx6LFFrPVzA03mOrMTX0Ba3TvrbNbNOBZgjxZK90Eus= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700564963; c=relaxed/simple; bh=5M3NiEH+jZCv08EiYbExxklurG9SJr6Fta4iTnmKqY8=; h=From:To:Subject:Date:Message-ID:MIME-Version; b=Pe10bZCOO9sJfRiOWXvl7FjsdT7a8H7WQsxNB7U2+3LW+aIN2IzchmurnV/+ksvTSd+Dr5B52gxpSa34LtiBXucskBASYZoiB/VjyLbKklU3tVBDv1/5jBSehP1+Vs2//MEqMCjFhHcGvzuKnd6TJY2hV9DXyhAJqh/049v+aUA= ARC-Authentication-Results: i=1; server2.sourceware.org X-CSE-ConnectionGUID: h596xsboRm++0EZTqnT17A== X-CSE-MsgGUID: j/IkJr69THKWeMmXI+3bUw== X-IronPort-AV: E=Sophos;i="6.04,215,1695715200"; d="scan'208,223";a="23320498" Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167]) by esa4.mentor.iphmx.com with ESMTP; 21 Nov 2023 03:09:20 -0800 IronPort-SDR: A+HoMFeQIwUoYf6R8WvOOMPQINlRoHQNJ5T0LmMsa+J+RokZWSrbmg9Ds2mDG24e7BKQ7U+MAp ZGtWvJVSF3lxcbyo34sJOgHr9LMkcIPRwUYfUdwWbCLAGEYURLONq9pFdVnfwl1eSObObDoY9c wF52t0NvfaNU0tV8wxJbfgsxxXRq3ujDBQCWhIpGBvJI8BSh4/5fCEyvbs1nonpQiqop6TNAth vvUNLETCesTZTCDxn0LSFqz04zLfRYxwMy87oCj8Gns2zgFCS7erYYnLU5wSFjG1HkjfZyn3PZ Wr8= From: Thomas Schwinge To: Jan Hubicka , Subject: Fix 'gcc.dg/tree-ssa/return-value-range-1.c' (was: Propagate value ranges of return values) In-Reply-To: References: <871qcmkmgd.fsf@gentoo.org> User-Agent: Notmuch/0.29.3+94~g74c3f1b (https://notmuchmail.org) Emacs/28.2 (x86_64-pc-linux-gnu) Date: Tue, 21 Nov 2023 12:09:14 +0100 Message-ID: <87v89v5pnp.fsf@euler.schwinge.homeip.net> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-Originating-IP: [137.202.0.90] X-ClientProxiedBy: svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) To svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) X-Spam-Status: No, score=-11.8 required=5.0 tests=BAYES_00,GIT_PATCH_0,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,SPF_HELO_PASS,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --=-=-= Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Hi! On 2023-11-19T16:05:42+0100, Jan Hubicka wrote: > --- /dev/null > +++ b/gcc/testsuite/gcc.dg/tree-ssa/return-value-range-1.c > @@ -0,0 +1,22 @@ > +/* { dg-do ling } */ ERROR: gcc.dg/tree-ssa/return-value-range-1.c: 1: syntax error for " dg= -do 1 ling " With that fixed into 'dg-do link', and... > +/* { dg-options "-O1 -dump-tree-evrp-details" } */ ... that one fixed into '-fdump-tree-evrp-details', I then get: FAIL: gcc.dg/tree-ssa/return-value-range-1.c (test for excess errors) UNRESOLVED: gcc.dg/tree-ssa/return-value-range-1.c scan-tree-dump-times= evrp "Recording return range" 2 /tmp/ccTEuffl.o: In function `test': return-value-range-1.c:(.text+0x24): undefined reference to `link_error= ' This disappears when switching from '-O1' to '-O2'. OK to push the attached "Fix 'gcc.dg/tree-ssa/return-value-range-1.c'"? (..., or did you intend something else, here?) Gr=C3=BC=C3=9Fe Thomas > +__attribute__ ((__noinline__)) > +int a(char c) > +{ > + return c; > +} > +void link_error (); > + > +void > +test(int d) > +{ > + if (a(d) > 200) > + link_error (); > +} > +int > +main(int argc, char **argv) > +{ > + test(argc); > + return 0; > +} > +/* { dg-final { scan-tree-dump-times "Recording return range" 2 "evrp"} = } */ ----------------- Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstra=C3=9Fe 201= , 80634 M=C3=BCnchen; Gesellschaft mit beschr=C3=A4nkter Haftung; Gesch=C3= =A4ftsf=C3=BChrer: Thomas Heurung, Frank Th=C3=BCrauf; Sitz der Gesellschaf= t: M=C3=BCnchen; Registergericht M=C3=BCnchen, HRB 106955 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename="0001-Fix-gcc.dg-tree-ssa-return-value-range-1.c.patch" >From f3a47339a9df9726da7e3c1daeadc216e1d5b365 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Tue, 21 Nov 2023 11:51:42 +0100 Subject: [PATCH] Fix 'gcc.dg/tree-ssa/return-value-range-1.c' ... added in recent commit 53ba8d669550d3a1f809048428b97ca607f95cf5 "inter-procedural value range propagation". gcc/testsuite/ * gcc.dg/tree-ssa/return-value-range-1.c: Fix. --- gcc/testsuite/gcc.dg/tree-ssa/return-value-range-1.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/testsuite/gcc.dg/tree-ssa/return-value-range-1.c b/gcc/testsuite/gcc.dg/tree-ssa/return-value-range-1.c index 4db52233c5d..74f1a5080bb 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/return-value-range-1.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/return-value-range-1.c @@ -1,5 +1,5 @@ -/* { dg-do ling } */ -/* { dg-options "-O1 -dump-tree-evrp-details" } */ +/* { dg-do link } */ +/* { dg-options "-O2 -fdump-tree-evrp-details" } */ __attribute__ ((__noinline__)) int a(char c) { -- 2.34.1 --=-=-=--