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 47939385D0CD for ; Wed, 26 Oct 2022 13:49:43 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 47939385D0CD 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=1666792182; 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; bh=Got71Tebf0O572ePlzNuahy/QMXOHz80YLEl4BNAUr0=; b=Inrjy6gmdW2ApQjrgGvHfZ7YXvIYMVzyPxM9jb9mv5lRdY5CddBOOmD8IUm/fq6EcBwRwI XtRv84V5NIBX8YBb9+VagiRenJkXnxv+RSPNKE2WGWUMyAQwWV2B9UaaifDz/CViUY5TG4 wEmDGS7TFfmtWnipvS4PelIYdg5+ufo= Received: from mail-il1-f197.google.com (mail-il1-f197.google.com [209.85.166.197]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_128_GCM_SHA256) id us-mta-322-lKzvq-kRODei7mwN21XeOw-1; Wed, 26 Oct 2022 09:49:41 -0400 X-MC-Unique: lKzvq-kRODei7mwN21XeOw-1 Received: by mail-il1-f197.google.com with SMTP id i8-20020a056e0212c800b002f9a4c75658so13402803ilm.3 for ; Wed, 26 Oct 2022 06:49:40 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=subject:from:cc:to:content-language:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=OAfPAEFYjzVVHaDjTOrdJd9KhPWlitfvhIUMsU5AY20=; b=ljomEnZpNkrdNrfsViJoqujzqRdCnnTqRIjVM6ZSOhSRdejJrYl9PApVtHOiEffkEA 0cVD/DVwGWXOljfy/DFemPAIcmrpkOENNCbZ0QIZM4jKK2JXb/dbWrXlkE7I/5JTD/bk AouP5+DmZhaceCR6iLj0sO18aDydN3pJh9bvPTgUf2iApOfjfjuPqFe8Y/S/LVLfw8cM 6cZyZGLJOyhlj8QErwAyRg891lJswxDY6NkmC762zG1Yy1OZ3co9BZrcPa3eABxarPrG lOnVn4wuR3GW2imjMYCnfRntsNtWeVWwf5aeJ3HxPiDmdDE/siUzIrVKtNe9R5N5xCAS 9Oqw== X-Gm-Message-State: ACrzQf2rybamtdr2fiQc2yuOu0wS3prtJryjUJXGOlkMV+R5GEl2AkUi 0ngxKewK6vZijmaWF5bu4XQTuEXAPbxFOGoFBl9DYr6PDca+GfxJG8OAQZnV4Bwr/tC9vzVDRLA /75cF4zeIL6B4WTUaljagkAgYqAJXMMeVe57D6whTEEIlermd5gMvJi9eaQIQ87U/JblU9A== X-Received: by 2002:a05:6638:3391:b0:374:1739:3795 with SMTP id h17-20020a056638339100b0037417393795mr9034291jav.87.1666792178551; Wed, 26 Oct 2022 06:49:38 -0700 (PDT) X-Google-Smtp-Source: AMsMyM7Y0XaRve/VdUh3rPm8jitRih7idOqGmrRNHNgES23oIMrc4KsqJGq91KfXLW3ZZysnZwN5jw== X-Received: by 2002:a05:6638:3391:b0:374:1739:3795 with SMTP id h17-20020a056638339100b0037417393795mr9034276jav.87.1666792178290; Wed, 26 Oct 2022 06:49:38 -0700 (PDT) Received: from ?IPV6:2607:fea8:a263:f600::72c3? ([2607:fea8:a263:f600::72c3]) by smtp.gmail.com with ESMTPSA id p10-20020a056638216a00b003635a42d653sm1960175jak.134.2022.10.26.06.49.37 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 26 Oct 2022 06:49:37 -0700 (PDT) Message-ID: Date: Wed, 26 Oct 2022 09:49:36 -0400 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.1 To: gcc-patches Cc: "hernandez, aldy" From: Andrew MacLeod Subject: [COMMITTED] Check if varying may also be non-negative. X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: multipart/mixed; boundary="------------W7GmW5NSbcTMIe6c6YSwurWe" Content-Language: en-US X-Spam-Status: No, score=-12.7 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,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. --------------W7GmW5NSbcTMIe6c6YSwurWe Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit When strict enums are in use, we don't always get ranges reduced sufficiently thru casts and such.  Ranger vrp has been missing the odd case because I didn't notice that gimple_stmt_nonnegative_warnv_p() use to be called on all integral results that were varying, not just calls like it was doing. this corrects that. Bootstrapped on x86_64-pc-linux-gnu with no regressions.  Pushed. Andrew --------------W7GmW5NSbcTMIe6c6YSwurWe Content-Type: text/plain; charset=UTF-8; name="0001" Content-Disposition: attachment; filename="0001" Content-Transfer-Encoding: base64 Y29tbWl0IGE4NzgxOWI4ZjFiODkwZDM2YTNmMDViZDlkZTgwYmUyMGU5NTI1ZGQKQXV0aG9yOiBB bmRyZXcgTWFjTGVvZCA8YW1hY2xlb2RAcmVkaGF0LmNvbT4KRGF0ZTogICBUdWUgT2N0IDI1IDE1 OjE2OjQ3IDIwMjIgLTA0MDAKCiAgICBDaGVjayBpZiB2YXJ5aW5nIG1heSBhbHNvIGJlIG5vbi1u ZWdhdGl2ZS4KICAgIAogICAgV2hlbiB1c2luZyBzdHJpY3QgZW51bXMsIHdlIGNhbiBzb21ldGlt ZXMgdHVybiB2YXJ5aW5nIGludG8gYSBiZXR0ZXIKICAgIHJhbmdlLgogICAgCiAgICAgICAgICAg ICogZ2ltcGxlLXJhbmdlLWZvbGQuY2MgKGZvbGRfdXNpbmdfcmFuZ2U6OmZvbGRfc3RtdCk6IENo ZWNrIGlmCiAgICAgICAgICAgIHN0bXQgaXMgbm9uLW5lZ2F0aXZlIGFuZCBhZGp1c3QgdGhlIHJh bmdlLgoKZGlmZiAtLWdpdCBhL2djYy9naW1wbGUtcmFuZ2UtZm9sZC5jYyBiL2djYy9naW1wbGUt cmFuZ2UtZm9sZC5jYwppbmRleCBmOTE5MjM3ODJkYy4uYTg5OWQ4MjYwYjMgMTAwNjQ0Ci0tLSBh L2djYy9naW1wbGUtcmFuZ2UtZm9sZC5jYworKysgYi9nY2MvZ2ltcGxlLXJhbmdlLWZvbGQuY2MK QEAgLTQ5NCw2ICs0OTQsMTQgQEAgZm9sZF91c2luZ19yYW5nZTo6Zm9sZF9zdG10ICh2cmFuZ2Ug JnIsIGdpbXBsZSAqcywgZnVyX3NvdXJjZSAmc3JjLCB0cmVlIG5hbWUpCiAgIGVsc2UgaWYgKGlz X2E8Z2Fzc2lnbiAqPiAocykgJiYgZ2ltcGxlX2Fzc2lnbl9yaHNfY29kZSAocykgPT0gQ09ORF9F WFBSKQogICAgIHJlcyA9IHJhbmdlX29mX2NvbmRfZXhwciAociwgYXNfYTxnYXNzaWduICo+IChz KSwgc3JjKTsKIAorICAvLyBJZiB0aGUgcmVzdWx0IGlzIHZhcnlpbmcsIGNoZWNrIGZvciBiYXNp YyBub25uZWdhdGl2ZW5lc3MuCisgIC8vIFNwZWNpZmljYWxseSB0aGlzIGhlbHBzIGZvciBub3cg d2l0aCBzdHJpY3QgZW51bSBpbiBjYXNlcyBsaWtlCisgIC8vIGcrKy5kZy93YXJuL3ByMzM3Mzgu Qy4KKyAgYm9vbCBzb19wOworICBpZiAocmVzICYmIHIudmFyeWluZ19wICgpICYmIElOVEVHUkFM X1RZUEVfUCAoci50eXBlICgpKQorICAgICAgJiYgZ2ltcGxlX3N0bXRfbm9ubmVnYXRpdmVfd2Fy bnZfcCAocywgJnNvX3ApKQorICAgIHIuc2V0X25vbm5lZ2F0aXZlIChyLnR5cGUgKCkpOworCiAg IGlmICghcmVzKQogICAgIHsKICAgICAgIC8vIElmIG5vIG5hbWUgc3BlY2lmaWVkIG9yIHJhbmdl IGlzIHVuc3VwcG9ydGVkLCBiYWlsLgo= --------------W7GmW5NSbcTMIe6c6YSwurWe--