From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24198 invoked by alias); 7 Jun 2016 21:56:50 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 24166 invoked by uid 89); 7 Jun 2016 21:56:49 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 spammy= X-HELO: mail-qk0-f194.google.com Received: from mail-qk0-f194.google.com (HELO mail-qk0-f194.google.com) (209.85.220.194) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Tue, 07 Jun 2016 21:56:47 +0000 Received: by mail-qk0-f194.google.com with SMTP id l185so12007594qkc.2 for ; Tue, 07 Jun 2016 14:56:47 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:cc:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=joConWdDKvB5m7Wxoynx3Ozs8QW4Qy3kKY3hoaHvHt8=; b=kBE2uWmaT+ddDZi8MNWwSqjrn5yh9mDNMsaJQaz2y8j82qme+zCkNQ2UP3xd+WuvNx d5WiTTqGyZ3Dr/1JYCQBlnbFHy6O1XMkr/R3nP4GaXh2K5o2Lo41l6UgE0+tOKZPS9uM cb91nLd4Y3LQ+r2sNMqleYH8jWFWzbTLNbeCCvQ7rvuXadU5DwMLzL2zdsyzwmg69mjV ftVpY2rwaATIZmUUh19v0Esb6VbcBS9hoYmBZHAZqd1SynpJW5F02qkHKBveMDB+zTW5 XNMPKeleqQKJ/7iFTyAz06iyu/0NPBIAn+B/BaLlOVre4qmi9S9ZSjC/P+RYjJKj4mVZ cLvw== X-Gm-Message-State: ALyK8tKeWeG1KOztX/yfAsrWTEiYildLFyZd+7TICuY+zIqT293/oCkIfRJGzw+xZRjKjw== X-Received: by 10.55.112.69 with SMTP id l66mr1856382qkc.20.1465336605820; Tue, 07 Jun 2016 14:56:45 -0700 (PDT) Received: from [192.168.0.26] (70-59-29-181.hlrn.qwest.net. [70.59.29.181]) by smtp.gmail.com with ESMTPSA id p13sm7145248qke.7.2016.06.07.14.56.44 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 07 Jun 2016 14:56:45 -0700 (PDT) Subject: Re: [PATCH] integer overflow checking builtins in constant expressions To: Jakub Jelinek , Jason Merrill References: <5751A26C.1060201@gmail.com> <20160603153235.GK7387@tucnak.redhat.com> <5751E408.1010707@gmail.com> <20160606123617.GW7387@tucnak.redhat.com> <18c82043-baa5-8ae1-e551-70b3b8241056@redhat.com> <5756ED69.1030608@gmail.com> <20160607163414.GU7387@tucnak.redhat.com> <4132a3c5-a210-7cf2-e9dd-8c645a71f23a@redhat.com> <20160607194217.GV7387@tucnak.redhat.com> <57572ECE.9070505@gmail.com> <20160607205201.GW7387@tucnak.redhat.com> Cc: Gcc Patch List , "Joseph S. Myers" From: Martin Sebor Message-ID: <5757431B.9040403@gmail.com> Date: Tue, 07 Jun 2016 21:56:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.1.0 MIME-Version: 1.0 In-Reply-To: <20160607205201.GW7387@tucnak.redhat.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2016-06/txt/msg00525.txt.bz2 > +The built-in functions promote the first two operands into infinite precision signed type > +and perform addition on those promoted operands. The result is then > +cast to the type the third argument. The above is missing an "of" (it should read "type of the third argument".) Martin