From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22067 invoked by alias); 8 Jan 2007 04:40:07 -0000 Received: (qmail 22057 invoked by uid 22791); 8 Jan 2007 04:40:06 -0000 X-Spam-Check-By: sourceware.org Received: from smtp-out.google.com (HELO smtp-out.google.com) (216.239.45.13) by sourceware.org (qpsmtpd/0.31) with ESMTP; Mon, 08 Jan 2007 04:39:59 +0000 Received: from zps75.corp.google.com (zps75.corp.google.com [172.25.146.75]) by smtp-out.google.com with ESMTP id l084dvLH027412; Sun, 7 Jan 2007 20:39:57 -0800 Received: from smtp.corp.google.com (spacemonkey3.corp.google.com [192.168.120.116]) by zps75.corp.google.com with ESMTP id l084ddGw012810 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sun, 7 Jan 2007 20:39:39 -0800 Received: from dhcp-172-18-118-195.corp.google.com.google.com (adsl-71-133-8-30.dsl.pltn13.pacbell.net [71.133.8.30]) (authenticated bits=0) by smtp.corp.google.com (8.13.7/8.13.7) with ESMTP id l084dclH004706 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sun, 7 Jan 2007 20:39:39 -0800 To: "Richard Guenther" Cc: "Gcc Patch List" Subject: Re: [PATCH][RFC] Rework int_const_binop, fix PR30318, VRP not creating anti-ranges for overflowing +/- References: <84fc9c000701071112l487e1120vefb4083d60ec771a@mail.gmail.com> From: Ian Lance Taylor Date: Mon, 08 Jan 2007 04:40:00 -0000 In-Reply-To: <84fc9c000701071112l487e1120vefb4083d60ec771a@mail.gmail.com> Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-IsSubscribed: yes 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 X-SW-Source: 2007-01/txt/msg00540.txt.bz2 "Richard Guenther" writes: > Comments? Looks like a good approach to me. Ian