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 147003858D1E for ; Fri, 11 Nov 2022 14:58:23 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 147003858D1E 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=1668178702; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=Ux2fQ89LCKRlggmeZLUx+gsTMh1Mx3cAWeIYXtuNf4k=; b=h2YFV1RATVHVDeu1/j2Oukw07b7KYAv7Jvb95aaRRAYn1HLmGAyZDbjXAVv+xlM3Nuwc/9 8Y0NQRaUv2bApQFUe7KlARLix8cWWyz7qeNtQxWsJbLFVbcvmtavBLYbPPwb98bYIT0ykz JNI1vO+YCBF6q0pSxivT3m7x3tsmOYU= 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_128_GCM_SHA256) id us-mta-440-50sbaB9VObysva0Hj1pcdg-1; Fri, 11 Nov 2022 09:58:21 -0500 X-MC-Unique: 50sbaB9VObysva0Hj1pcdg-1 Received: by mail-qk1-f198.google.com with SMTP id x2-20020a05620a448200b006fa7dad5c1cso4925644qkp.10 for ; Fri, 11 Nov 2022 06:58:21 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding: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=Ux2fQ89LCKRlggmeZLUx+gsTMh1Mx3cAWeIYXtuNf4k=; b=CdS/dKG+QhqIB0ZFpHHz/d285P99M4m98km7PvlDqrrlcShJ4IVr2KmVlordn1Y7j3 GsR41HNY+N4+TcphDEdmch4kMSvZdL8lSON9je0LzzC3hpU95Lclrb2iFyuVR9vFXKMp XUqC3bwN5VWlABIBUkXwZE9jM3gRccvmhxiQ7Vfdjz6H6FyIsT7RD8EQgxAE8zegyOh6 H5qAFGHyO3PQSEGcC+I4g+lL4TV2Y9uLsnoQzDz1cMmFPr5hJQ/5EZwwWr586xz/qyJt +V2mn0Tt90Gt3s8C/gZUTZBxzbMcntetB+q5fe8DB0wO33n28b1VLInP3JkaY4EVd7SF pIUQ== X-Gm-Message-State: ANoB5pkJ32WgTY4TmTHkn4ycAnsfXYmg1m4DKANyUNuDHfG4ke8agQ3K 4MpSPthwjuF3L+C3XLJ9sbmcCxCwpeFmjmrrjGzFHHrRvrd3mqBcdzuURsi4Bk8barTuMuYjH+P cJBRQLE+R9wwgf3/qpQ== X-Received: by 2002:a05:622a:598e:b0:3a5:42f9:dddc with SMTP id gb14-20020a05622a598e00b003a542f9dddcmr1617809qtb.237.1668178701050; Fri, 11 Nov 2022 06:58:21 -0800 (PST) X-Google-Smtp-Source: AA0mqf5FYQoU0kEdW+KNUT/rZhN6iJ40QIUR1MI/uOQPBY3kH0a0UbyjC0v7+6w3+A5TrkmD37Dinw== X-Received: by 2002:a05:622a:598e:b0:3a5:42f9:dddc with SMTP id gb14-20020a05622a598e00b003a542f9dddcmr1617799qtb.237.1668178700851; Fri, 11 Nov 2022 06:58:20 -0800 (PST) Received: from [192.168.0.135] ([104.219.120.208]) by smtp.gmail.com with ESMTPSA id n7-20020ac86747000000b00399ad646794sm1332858qtp.41.2022.11.11.06.58.19 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 11 Nov 2022 06:58:20 -0800 (PST) Message-ID: Date: Fri, 11 Nov 2022 09:58:18 -0500 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.1 Subject: Re: [PATCH] range-op: Implement op[12]_range operators for {PLUS,MINUS,MULT,RDIV}_EXPR To: Aldy Hernandez , Jakub Jelinek Cc: gcc-patches@gcc.gnu.org References: <20221109090246.1036213-1-aldyh@redhat.com> <31f421aa-cc0b-b8c7-9880-35a731c89007@redhat.com> From: Andrew MacLeod In-Reply-To: <31f421aa-cc0b-b8c7-9880-35a731c89007@redhat.com> X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-5.5 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,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: On 11/11/22 09:22, Aldy Hernandez wrote: > > > > A return of false means the operation is not handled, similar to what > the default operators defined at the top of range-op*.cc do. The > caller (gori?) is free to disregard the range altogether.  In practice > this means VARYING, so you're getting the same behavior. But you > should probably return TRUE, When false is returned, the range i suppose to be ignored as it is not guaranteed to be set.  It means, "I cant tell you anything additional to what is already known".  (which is similar to returning VARYING..) Andrew