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 E2F813858D33 for ; Tue, 21 Nov 2023 21:36:01 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E2F813858D33 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 E2F813858D33 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=1700602563; cv=none; b=PYaq09yXo90vLWKm7lEDpfkidLpunj/+iR1A6BoBnFLLsjZhJa83K3sLW9YvxjLoctxaUMhnFr539HAUkGURUE43Ka+VNEh0mt6Pi3mRopSagP2NjFEVVh3vHvHjYlrrYbIZWB5I4Obqt8YyppAy57ulaLzP23/AL7UGldXm4YY= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700602563; c=relaxed/simple; bh=sv7lwpeT7k/LCAMzsczBQJyMcTZQL31No5fi5sgPFJc=; h=From:To:Subject:Date:Message-ID:MIME-Version; b=S39YCy+sdeslsDEsKi0ggRpT1l7WFs2vYZLA/yPhIsctfgGmHuTgHcYju958vfVXXpIzrJiI0UoH3w28zLcthBZ5SfwR01l4ssx6U5hk1KMwyWxNhSqDtvzN3Shg358RoBoubcx39F8FIQZi1OKr8HSBePfkOopZ5R6FQjZWfPo= ARC-Authentication-Results: i=1; server2.sourceware.org X-CSE-ConnectionGUID: 8HIX4nNmQNu4yqZB9XARBg== X-CSE-MsgGUID: h5XA15DMQkCcXqU0CbVQTA== X-IronPort-AV: E=Sophos;i="6.04,216,1695715200"; d="scan'208";a="23367768" Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167]) by esa4.mentor.iphmx.com with ESMTP; 21 Nov 2023 13:36:00 -0800 IronPort-SDR: vCxJpCv2c55B64KHDrihBpMzU+mbJW1Wol/aaM2MtNxO1UdVR4qOsc+Cnp0a8+mfSjO4yY/yTT Kn19NUBQ9GzouJew2FzUMD05S0ulUkEshuItSsxJVHqS4dw7BpSQ9BAOY+qM76/3bIZEUhMIAN q1owVuZc2+TP9L9OhyJB2ctGLSrvPvafEGS6l9kBwPtBVtKG2g1zelpXyYFb/2RvLBv+1eJzhu WgRVsnEOtV5ZVm4McdB1LkCMt+vO6WysNzFmZHgsw5pRwrPBgl5PcjNOtc0NDVm2TgZrJ+onHv ACQ= From: Thomas Schwinge To: Jan Hubicka CC: Christophe Lyon , Subject: Re: 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 22:35:52 +0100 Message-ID: <87o7fmu6vb.fsf@euler.schwinge.homeip.net> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Originating-IP: [137.202.0.90] X-ClientProxiedBy: svr-ies-mbx-13.mgc.mentorg.com (139.181.222.13) To svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) X-Spam-Status: No, score=-5.8 required=5.0 tests=BAYES_00,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,SPF_HELO_PASS,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi Honza! On 2023-11-21T15:06:54+0100, Jan Hubicka wrote: >> After this patch in addition to the problem already reported about >> vlda1.c and return-value-range-1.c, [...] > return-value_range-1.c should be fixed now and I do not have vlda1.c in > my tree. I will check. Typo, I suppose; probably 'gcc.dg/vla-1.c' is meant here: PASS: gcc.dg/vla-1.c (test for excess errors) [-PASS:-]{+FAIL:+} gcc.dg/vla-1.c scan-tree-dump-times optimized " s=3D= > i" 2 ..., and can you please also check if the following also relates to your commit? I've not looked into any details, but noticed that you did adjusted 'gcc.dg/tree-prof/time-profiler-1.c', and 'gcc.dg/tree-prof/time-profiler-2.c', but not 'gcc.dg/tree-prof/time-profiler-3.c': @@ -142800,9 +142802,9 @@ PASS: gcc.dg/tree-prof/time-profiler-3.c comp= ilation, -fprofile-generate -D_PRO PASS: gcc.dg/tree-prof/time-profiler-3.c compilation, -fprofile-use -D= _PROFILE_USE PASS: gcc.dg/tree-prof/time-profiler-3.c execution, -fprofile-genera= te -D_PROFILE_GENERATE PASS: gcc.dg/tree-prof/time-profiler-3.c execution, -fprofile-use -D= _PROFILE_USE [-PASS:-]{+FAIL:+} gcc.dg/tree-prof/time-profiler-3.c scan-ipa-dump-tim= es profile "Read tp_first_run: 0" 1 PASS: gcc.dg/tree-prof/time-profiler-3.c scan-ipa-dump-times profile "R= ead tp_first_run: 1" 1 [-PASS:-]{+FAIL:+} gcc.dg/tree-prof/time-profiler-3.c scan-ipa-dump-tim= es profile "Read tp_first_run: 2" 1 >> > --- a/gcc/testsuite/gcc.dg/tree-prof/time-profiler-1.c >> > +++ b/gcc/testsuite/gcc.dg/tree-prof/time-profiler-1.c >> > @@ -1,4 +1,4 @@ >> > -/* { dg-options "-O2 -fdump-ipa-profile" } */ >> > +/* { dg-options "-O2 -fdump-ipa-profile -fno-ipa-vrp" } */ >> > --- a/gcc/testsuite/gcc.dg/tree-prof/time-profiler-2.c >> > +++ b/gcc/testsuite/gcc.dg/tree-prof/time-profiler-2.c >> > @@ -1,4 +1,4 @@ >> > -/* { dg-options "-O2 -fdump-ipa-profile" } */ >> > +/* { dg-options "-O2 -fdump-ipa-profile -fno-ipa-vrp" } */ Gr=C3=BC=C3=9Fe Thomas ----------------- 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