From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id C641C3858CDB for ; Thu, 30 Mar 2023 15:58:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C641C3858CDB Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1680191905; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=9pdu0hmrKwOUSLVpYFrh7d+aexiwAAjz9uodRL5H2jA=; b=Vv+Met5ZCV2V+oMUkvMnvhsqsJKM9dl0hDvRHkjG0cz2/DaQrmxxORrx/LnzYs0Pejnb+v zmgWo/I/SqXvJs2SZsp/8eS1oU8ynZTnCmvOltuQ/CMtCEdkJz6lEP8u4JClwQ5uJ66Iab go6BF4bjwR0KZUzBafVwdEI9hB7pTXg= Received: from mail-qk1-f198.google.com (mail-qk1-f198.google.com [209.85.222.198]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-586-JjzdPt01MhauKS0qChxrtA-1; Thu, 30 Mar 2023 11:58:22 -0400 X-MC-Unique: JjzdPt01MhauKS0qChxrtA-1 Received: by mail-qk1-f198.google.com with SMTP id s21-20020a05620a0bd500b0074234f33f24so8984330qki.3 for ; Thu, 30 Mar 2023 08:58:22 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1680191902; h=in-reply-to:from:references:cc:to:content-language:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=plst1cxvY8nSKwELeWaI6XrCIOx5dpO1T+sZJKdIDaM=; b=acshPZQkPciIt8tSgRTiGP/FkFpLq0Hzp6oXB1HvFw4LVFuHuSgLdIoBFTOkhTOslr Ze0CNMr7PNZW0AD4oX1GDwy/H6UN21/2s3/eEf+eNJqmGtXD4bKfOcPkOLV9XcrwhD5h yAiQYLPNO4kHHKi9CtAzGoUuQcLmbfMa44iw5AGAsxizQ4RFdVofVi6m/VfsrFU4Eyo4 W9owJ2CxADLAd/jl8eNcBqRaJFdFq9pk73xnk+4VV2E+agGkrsVffccVOF4KP75nV7uU J6LAfwz/sRoZ26/2urOarQakFOF62KYuomOUxjcfiQTF1EQBrZG1k6cVc9SiuXzMUbPh UT+A== X-Gm-Message-State: AAQBX9fB79cEYtmIi1yPkW/uRe9iKIumS51138KewzppsWNWUfd6X/i9 GDp++OVUUDhaDYgEWyCkkPJCMNY0MzAWlSPDAZwFV3o0N+VpLbYtOiyjyOj2tif8nXkVtxezSo3 FTWoI1/pwbN2Z1KRN5w== X-Received: by 2002:a05:622a:1991:b0:3e4:ed8e:6ddb with SMTP id u17-20020a05622a199100b003e4ed8e6ddbmr20968147qtc.45.1680191901787; Thu, 30 Mar 2023 08:58:21 -0700 (PDT) X-Google-Smtp-Source: AKy350YNSObBBRwwyL71reM2PiZsZ7Tdo/6X6A7RaBs0X0SmfhCsVEG9+JmNEnyfF3AOx1Kl0LBSZg== X-Received: by 2002:a05:622a:1991:b0:3e4:ed8e:6ddb with SMTP id u17-20020a05622a199100b003e4ed8e6ddbmr20968115qtc.45.1680191901483; Thu, 30 Mar 2023 08:58:21 -0700 (PDT) Received: from ?IPV6:2607:fea8:51dd:1100::1edc? ([2607:fea8:51dd:1100::1edc]) by smtp.gmail.com with ESMTPSA id c7-20020ac86e87000000b003e1ff058350sm12233158qtv.63.2023.03.30.08.58.20 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 30 Mar 2023 08:58:20 -0700 (PDT) Message-ID: Date: Thu, 30 Mar 2023 11:58:19 -0400 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.8.0 Subject: Re: recomputation and PR 109154 To: Jakub Jelinek Cc: gcc-patches , Richard Biener , "hernandez, aldy" References: <54bb3bc9-e0c1-b5ab-4447-5908b09fd19f@redhat.com> From: Andrew MacLeod In-Reply-To: X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: multipart/mixed; boundary="------------dnl7YQwiZ5ykOrKeEPkqkFMp" Content-Language: en-US X-Spam-Status: No, score=-12.0 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,KAM_NUMSUBJECT,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,TXREP 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: This is a multi-part message in MIME format. --------------dnl7YQwiZ5ykOrKeEPkqkFMp Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit On 3/30/23 09:41, Jakub Jelinek wrote: > On Wed, Mar 29, 2023 at 01:22:27PM -0400, Andrew MacLeod wrote: >> however, as seems to be the case often, better ranges result in, I now get: >> >> FAIL: 23_containers/vector/bool/allocator/copy.cc (test for excess errors) > Our middle-end warnings are just badly designed :(, the better value ranges > are, the more false positives they have. > >> commit 358d0ca44faf2e20fbacd0f74386308b5ca52cd4 >> Author: Andrew MacLeod >> Date: Tue Mar 28 12:16:34 2023 -0400 >> >> Add recursive GORI recompuations with a depth limit. > LGTM for trunk, let's do with the regression incrementally. > Or as Richard mentioned on IRC, one possibility would be to force this > param temporarily to 1 (or whatever matches previous behavior) for the > diagnostic range queries). > > You need a ChangeLog entry though... > Attached. I also removed the bogus warning in Walloc-13.c that no longer happens So incrementally deal with it.. what? just let it fail? Andrew --------------dnl7YQwiZ5ykOrKeEPkqkFMp Content-Type: text/x-patch; charset=UTF-8; name="154.diff" Content-Disposition: attachment; filename="154.diff" Content-Transfer-Encoding: base64 Y29tbWl0IGRlYmI4Y2UxZjliOWQ1YTcyZDg4ZDBhZTkwYTZiNGRhNTEzMGZmNTkKQXV0aG9yOiBB bmRyZXcgTWFjTGVvZCA8YW1hY2xlb2RAcmVkaGF0LmNvbT4KRGF0ZTogICBUdWUgTWFyIDI4IDEy OjE2OjM0IDIwMjMgLTA0MDAKCiAgICBBZGQgcmVjdXJzaXZlIEdPUkkgcmVjb21wdWF0aW9ucyB3 aXRoIGEgZGVwdGggbGltaXQuCiAgICAKICAgICAgICAgICAgUFIgdHJlZS1vcHRpbWl6YXRpb24v MTA5MTU0CiAgICAgICAgICAgIGdjYy8KICAgICAgICAgICAgKiBnaW1wbGUtcmFuZ2UtZ29yaS5j YyAoZ29yaV9jb21wdXRlOjptYXlfcmVjb21wdXRlX3ApOiBBZGQgZGVwdGggbGltaXQuCiAgICAg ICAgICAgICogZ2ltcGxlLXJhbmdlLWdvcmkuaCAobWF5X3JlY29tcHV0ZV9wKTogQWRkIGRlcHRo IHBhcmFtLgogICAgICAgICAgICAqIHBhcmFtcy5vcHQgKHJhbmdlci1yZWNvbXB1dGUtZGVwdGgp OiBOZXcgcGFyYW0uCiAgICAKICAgICAgICAgICAgZ2NjL3Rlc3RzdWl0ZS8KICAgICAgICAgICAg KiBnY2MuZGcvV2FsbG9jYS0xMy5jOiBSZW1vdmUgYm9ndXMgd2FybmluZyB0aGF0IGlzIG5vdyBm aXhlZC4KCmRpZmYgLS1naXQgYS9nY2MvZ2ltcGxlLXJhbmdlLWdvcmkuY2MgYi9nY2MvZ2ltcGxl LXJhbmdlLWdvcmkuY2MKaW5kZXggNmU4ZGZhODVjYTguLjVmNDMxM2IyN2RkIDEwMDY0NAotLS0g YS9nY2MvZ2ltcGxlLXJhbmdlLWdvcmkuY2MKKysrIGIvZ2NjL2dpbXBsZS1yYW5nZS1nb3JpLmNj CkBAIC0xMzA4LDcgKzEzMDgsNyBAQCBnb3JpX2NvbXB1dGU6OmNvbXB1dGVfb3BlcmFuZDFfYW5k X29wZXJhbmQyX3JhbmdlICh2cmFuZ2UgJnIsCiAvLyBkaXJlY3QgZGVwZW5kZW50IGlzIGV4cG9y dGVkLCBpdCBtYXkgYWxzbyBjaGFuZ2UgdGhlIGNvbXB1dGVkIHZhbHVlIG9mIE5BTUUuCiAKIGJv b2wKLWdvcmlfY29tcHV0ZTo6bWF5X3JlY29tcHV0ZV9wICh0cmVlIG5hbWUsIGJhc2ljX2Jsb2Nr IGJiKQorZ29yaV9jb21wdXRlOjptYXlfcmVjb21wdXRlX3AgKHRyZWUgbmFtZSwgYmFzaWNfYmxv Y2sgYmIsIGludCBkZXB0aCkKIHsKICAgdHJlZSBkZXAxID0gZGVwZW5kMSAobmFtZSk7CiAgIHRy ZWUgZGVwMiA9IGRlcGVuZDIgKG5hbWUpOwpAQCAtMTMyMiwyMiArMTMyMiwzNiBAQCBnb3JpX2Nv bXB1dGU6Om1heV9yZWNvbXB1dGVfcCAodHJlZSBuYW1lLCBiYXNpY19ibG9jayBiYikKICAgaWYg KGlzX2E8Z3BoaSAqPiAocykgfHwgZ2ltcGxlX2hhc19zaWRlX2VmZmVjdHMgKHMpKQogICAgIHJl dHVybiBmYWxzZTsKIAotICAvLyBJZiBlZGdlIGlzIHNwZWNpZmllZCwgY2hlY2sgaWYgTkFNRSBj YW4gYmUgcmVjYWxjdWxhdGVkIG9uIHRoYXQgZWRnZS4KLSAgaWYgKGJiKQotICAgIHJldHVybiAo KGlzX2V4cG9ydF9wIChkZXAxLCBiYikpCi0JICAgIHx8IChkZXAyICYmIGlzX2V4cG9ydF9wIChk ZXAyLCBiYikpKTsKKyAgaWYgKCFkZXAyKQorICAgIHsKKyAgICAgIC8vIC0xIGluZGljYXRlcyBh IGRlZmF1bHQgcGFyYW0sIGNvbnZlcnQgaXQgdG8gdGhlIHJlYWwgZGVmYXVsdC4KKyAgICAgIGlm IChkZXB0aCA9PSAtMSkKKwl7CisJICBkZXB0aCA9IChpbnQpcGFyYW1fcmFuZ2VyX3JlY29tcHV0 ZV9kZXB0aDsKKwkgIGdjY19jaGVja2luZ19hc3NlcnQgKGRlcHRoID49IDEpOworCX0KIAotICBy ZXR1cm4gKGlzX2V4cG9ydF9wIChkZXAxKSkgfHwgKGRlcDIgJiYgaXNfZXhwb3J0X3AgKGRlcDIp KTsKKyAgICAgIGJvb2wgcmVzID0gKGJiID8gaXNfZXhwb3J0X3AgKGRlcDEsIGJiKSA6IGlzX2V4 cG9ydF9wIChkZXAxKSk7CisgICAgICBpZiAocmVzIHx8IGRlcHRoIDw9IDEpCisJcmV0dXJuIHJl czsKKyAgICAgIC8vIENoZWNrIGFub3RoZXIgbGV2ZWwgb2YgcmVjb21wdXRhdGlvbi4KKyAgICAg IHJldHVybiBtYXlfcmVjb21wdXRlX3AgKGRlcDEsIGJiLCAtLWRlcHRoKTsKKyAgICB9CisgIC8v IFR3byBkZXBlbmRlbmNpZXMgdGVybWluYXRlIHRoZSBkZXB0aCBvZiB0aGUgc2VhcmNoLgorICBp ZiAoYmIpCisgICAgcmV0dXJuIGlzX2V4cG9ydF9wIChkZXAxLCBiYikgfHwgaXNfZXhwb3J0X3Ag KGRlcDIsIGJiKTsKKyAgZWxzZQorICAgIHJldHVybiBpc19leHBvcnRfcCAoZGVwMSkgfHwgaXNf ZXhwb3J0X3AgKGRlcDIpOwogfQogCiAvLyBSZXR1cm4gVFJVRSBpZiBOQU1FIGNhbiBiZSByZWNv bXB1dGVkIG9uIGVkZ2UgRS4gIElmIGFueSBkaXJlY3QgZGVwZW5kZW50CiAvLyBpcyBleHBvcnRl ZCBvbiBlZGdlIEUsIGl0IG1heSBjaGFuZ2UgdGhlIGNvbXB1dGVkIHZhbHVlIG9mIE5BTUUuCiAK IGJvb2wKLWdvcmlfY29tcHV0ZTo6bWF5X3JlY29tcHV0ZV9wICh0cmVlIG5hbWUsIGVkZ2UgZSkK K2dvcmlfY29tcHV0ZTo6bWF5X3JlY29tcHV0ZV9wICh0cmVlIG5hbWUsIGVkZ2UgZSwgaW50IGRl cHRoKQogewogICBnY2NfY2hlY2tpbmdfYXNzZXJ0IChlKTsKLSAgcmV0dXJuIG1heV9yZWNvbXB1 dGVfcCAobmFtZSwgZS0+c3JjKTsKKyAgcmV0dXJuIG1heV9yZWNvbXB1dGVfcCAobmFtZSwgZS0+ c3JjLCBkZXB0aCk7CiB9CiAKIApkaWZmIC0tZ2l0IGEvZ2NjL2dpbXBsZS1yYW5nZS1nb3JpLmgg Yi9nY2MvZ2ltcGxlLXJhbmdlLWdvcmkuaAppbmRleCAwZmM5MGVjOGExOC4uM2VhNGI0NTU5NWIg MTAwNjQ0Ci0tLSBhL2djYy9naW1wbGUtcmFuZ2UtZ29yaS5oCisrKyBiL2djYy9naW1wbGUtcmFu Z2UtZ29yaS5oCkBAIC0xNzIsOCArMTcyLDggQEAgcHJpdmF0ZToKICAgYm9vbCByZWZpbmVfdXNp bmdfcmVsYXRpb24gKHRyZWUgb3AxLCB2cmFuZ2UgJm9wMV9yYW5nZSwKIAkJCSAgICAgIHRyZWUg b3AyLCB2cmFuZ2UgJm9wMl9yYW5nZSwKIAkJCSAgICAgIGZ1cl9zb3VyY2UgJnNyYywgcmVsYXRp b25fa2luZCBrKTsKLSAgYm9vbCBtYXlfcmVjb21wdXRlX3AgKHRyZWUgbmFtZSwgZWRnZSBlKTsK LSAgYm9vbCBtYXlfcmVjb21wdXRlX3AgKHRyZWUgbmFtZSwgYmFzaWNfYmxvY2sgYmIgPSBOVUxM KTsKKyAgYm9vbCBtYXlfcmVjb21wdXRlX3AgKHRyZWUgbmFtZSwgZWRnZSBlLCBpbnQgZGVwdGgg PSAtMSk7CisgIGJvb2wgbWF5X3JlY29tcHV0ZV9wICh0cmVlIG5hbWUsIGJhc2ljX2Jsb2NrIGJi ID0gTlVMTCwgaW50IGRlcHRoID0gLTEpOwogICBib29sIGNvbXB1dGVfb3BlcmFuZF9yYW5nZV9z d2l0Y2ggKHZyYW5nZSAmciwgZ3N3aXRjaCAqcywgY29uc3QgdnJhbmdlICZsaHMsCiAJCQkJICAg ICB0cmVlIG5hbWUsIGZ1cl9zb3VyY2UgJnNyYyk7CiAgIGJvb2wgY29tcHV0ZV9vcGVyYW5kMV9y YW5nZSAodnJhbmdlICZyLCBnaW1wbGVfcmFuZ2Vfb3BfaGFuZGxlciAmaGFuZGxlciwKZGlmZiAt LWdpdCBhL2djYy9wYXJhbXMub3B0IGIvZ2NjL3BhcmFtcy5vcHQKaW5kZXggMjMyOWQxNTBlZjAu LmIyZWM0MzY1NDZjIDEwMDY0NAotLS0gYS9nY2MvcGFyYW1zLm9wdAorKysgYi9nY2MvcGFyYW1z Lm9wdApAQCAtOTAwLDYgKzkwMCwxMSBAQCBDb21tb24gSm9pbmVkIFVJbnRlZ2VyIFZhcihwYXJh bV9yYW5nZXJfbG9naWNhbF9kZXB0aCkgSW5pdCg2KSBJbnRlZ2VyUmFuZ2UoMSwgOQogTWF4aW11 bSBkZXB0aCBvZiBsb2dpY2FsIGV4cHJlc3Npb24gZXZhbHVhdGlvbiByYW5nZXIgd2lsbCBsb29r IHRocm91Z2ggd2hlbgogZXZhbHVhdGluZyBvdXRnb2luZyBlZGdlIHJhbmdlcy4KIAorLXBhcmFt PXJhbmdlci1yZWNvbXB1dGUtZGVwdGg9CitDb21tb24gSm9pbmVkIFVJbnRlZ2VyIFZhcihwYXJh bV9yYW5nZXJfcmVjb21wdXRlX2RlcHRoKSBJbml0KDUpIEludGVnZXJSYW5nZSgxLCAxMDApIFBh cmFtIE9wdGltaXphdGlvbgorTWF4aW11bSBkZXB0aCBvZiBpbnN0cnVjdGlvbiBjaGFpbnMgdG8g Y29uc2lkZXIgZm9yIHJlY29tcHV0YXRpb24gaW4gdGhlCitvdXRnb2luZyByYW5nZSBjYWxjdWxh dG9yLgorCiAtcGFyYW09cmVsYXRpb24tYmxvY2stbGltaXQ9CiBDb21tb24gSm9pbmVkIFVJbnRl Z2VyIFZhcihwYXJhbV9yZWxhdGlvbl9ibG9ja19saW1pdCkgSW5pdCgyMDApIEludGVnZXJSYW5n ZSgwLCA5OTk5KSBQYXJhbSBPcHRpbWl6YXRpb24KIE1heGltdW0gbnVtYmVyIG9mIHJlbGF0aW9u cyB0aGUgb3JhY2xlIHdpbGwgcmVnaXN0ZXIgaW4gYSBiYXNpYyBibG9jay4KZGlmZiAtLWdpdCBh L2djYy90ZXN0c3VpdGUvZ2NjLmRnL1dhbGxvY2EtMTMuYyBiL2djYy90ZXN0c3VpdGUvZ2NjLmRn L1dhbGxvY2EtMTMuYwppbmRleCA5OWQ2MjA2NWUyNi4uZDNhZjBjNTAzOTkgMTAwNjQ0Ci0tLSBh L2djYy90ZXN0c3VpdGUvZ2NjLmRnL1dhbGxvY2EtMTMuYworKysgYi9nY2MvdGVzdHN1aXRlL2dj Yy5kZy9XYWxsb2NhLTEzLmMKQEAgLTgsNSArOCw1IEBAIHZvaWQgZyAoaW50ICpwLCBpbnQgKnEp CiB7CiAgIF9fU0laRV9UWVBFX18gbiA9IChfX1NJWkVfVFlQRV9fKShwIC0gcSk7CiAgIGlmIChu IDwgMTAwKQotICAgIGYgKF9fYnVpbHRpbl9hbGxvY2EgKG4pKTsgLy8geyBkZy1ib2d1cyAibWF5 IGJlIHRvbyBsYXJnZSIgIiIgeyB4ZmFpbCB7ICotKi0qIH0gfSB9CisgICAgZiAoX19idWlsdGlu X2FsbG9jYSAobikpOwogfQo= --------------dnl7YQwiZ5ykOrKeEPkqkFMp--