From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 42537 invoked by alias); 8 Jun 2018 09:42:25 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 42511 invoked by uid 89); 8 Jun 2018 09:42:24 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.2 spammy=Aldy, sk:TYPE_OV, howdy, aldy X-HELO: mail-wr0-f178.google.com Received: from mail-wr0-f178.google.com (HELO mail-wr0-f178.google.com) (209.85.128.178) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 08 Jun 2018 09:42:23 +0000 Received: by mail-wr0-f178.google.com with SMTP id w7-v6so12698751wrn.6 for ; Fri, 08 Jun 2018 02:42:22 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:cc:from:subject:message-id:date:user-agent :mime-version:content-language:content-transfer-encoding; bh=pqlqLUPaDMIztUYhwSXvMauZ9UwovXm4RNOhxkTzO58=; b=KChfVqNIoP4ckS+CmltiQZW/KUVghZ9vOZUPfE291BXZBHmljcHOP9o5SUrrAAlw+h RssKA8w9/wCvRV6WlsMiLPVfRDcGtjBMrBvkouT7kC1iT6/BHrkOiU/Y9ab3f4DOSqHE 8QxM0SRjul7FFHtAdZvW8coqfsk3Plu0Yq38iPcB5bjIvT4hUF0eBUicbShYVQagWt0u b8XyisGcHLJaeCgfVge+VAmgsUEYVmZ8QjlCtE308FCLV40PtQJQrBq2/3mtxiyZKUmj m8cpRNVkwHOHTz8yz0UihYe/Z9ZOo615MuhInYvPaq76WohjUUzF1jJ/aB1rnIL8LPJY pfIg== X-Gm-Message-State: APt69E1w/+1WyLfddNnLZZOtRMct3WUKWwclE9ohlPG7iIMyauxG5wAE Q1h/mVEQCU3N6ubGSBmRccnK3g== X-Google-Smtp-Source: ADUXVKLJNkt1T/+UWNW/vc0f7/lgvfJEHOgJAZwkPc4o+3im9P8dEQII/1YB8k6CYb9Lv0xhU55m7Q== X-Received: by 2002:adf:f7cf:: with SMTP id a15-v6mr4369220wrq.108.1528450941230; Fri, 08 Jun 2018 02:42:21 -0700 (PDT) Received: from abulafia.quesejoda.com (65.red-79-155-45.dynamicip.rima-tde.net. [79.155.45.65]) by smtp.gmail.com with ESMTPSA id v68-v6sm1646288wmd.12.2018.06.08.02.42.19 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 08 Jun 2018 02:42:20 -0700 (PDT) To: Richard Biener , GCC Mailing List Cc: Andrew MacLeod From: Aldy Hernandez Subject: overflow check in extract_range_from_binary_1 useless? Message-ID: <276abf3c-53ab-c598-3329-16f5b39c2a5f@redhat.com> Date: Fri, 08 Jun 2018 10:38:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2018-06/txt/msg00101.txt.bz2 Howdy. Am I missing something or are these two sets identical? > /* Get the lower and upper bounds of the type. */ > if (TYPE_OVERFLOW_WRAPS (expr_type)) > { > type_min = wi::min_value (prec, sgn); > type_max = wi::max_value (prec, sgn); > } > else > { > type_min = wi::to_wide (vrp_val_min (expr_type)); > type_max = wi::to_wide (vrp_val_max (expr_type)); > } Isn't wi::to_wide(TYPE_MIN/MAX_VALUE) the same as wi::min/max_value, or is there some weird language (*cough ada*) subtlety I'm missing? Confused. Aldy