From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-53648-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 27716 invoked by alias); 29 Jan 2008 15:51:52 -0000
Received: (qmail 27687 invoked by uid 22791); 29 Jan 2008 15:51:51 -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; Tue, 29 Jan 2008 15:51:34 +0000
Received: from zps36.corp.google.com (zps36.corp.google.com [172.25.146.36]) 	by smtp-out.google.com with ESMTP id m0TFpVlM005845 	for <gdb-patches@sourceware.org>; Tue, 29 Jan 2008 07:51:31 -0800
Received: from rv-out-0910.google.com (rvfc27.prod.google.com [10.140.180.27]) 	by zps36.corp.google.com with ESMTP id m0TFpF1Y015520 	for <gdb-patches@sourceware.org>; Tue, 29 Jan 2008 07:51:31 -0800
Received: by rv-out-0910.google.com with SMTP id c27so1889858rvf.7         for <gdb-patches@sourceware.org>; Tue, 29 Jan 2008 07:51:31 -0800 (PST)
Received: by 10.140.133.10 with SMTP id g10mr4481567rvd.151.1201621891011;         Tue, 29 Jan 2008 07:51:31 -0800 (PST)
Received: by 10.141.186.16 with HTTP; Tue, 29 Jan 2008 07:51:30 -0800 (PST)
Message-ID: <e394668d0801290751s7e68fddasa300e612ad6f421e@mail.gmail.com>
Date: Tue, 29 Jan 2008 16:04:00 -0000
From: "Doug Evans" <dje@google.com>
To: "Pierre Muller" <muller@ics.u-strasbg.fr>
Subject: Re: [BUG] BINOP_DIV and ptyp command
Cc: "Joel Brobecker" <brobecker@adacore.com>,         "GDB Patches" <gdb-patches@sourceware.org>
In-Reply-To: <000e01c86249$89870100$9c950300$@u-strasbg.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <002301c85c12$a73a4640$f5aed2c0$@u-strasbg.fr> 	 <e394668d0801282052g3c3b0510l3448f39a5a6d78f0@mail.gmail.com> 	 <20080129064148.GB16288@adacore.com> 	 <000e01c86249$89870100$9c950300$@u-strasbg.fr>
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2008-01/txt/msg00680.txt.bz2

On Jan 28, 2008 11:35 PM, Pierre Muller <muller@ics.u-strasbg.fr> wrote:
>
>   By the way, Doug patch is also not correct because
> even though the signed integer division is caught
> in value_binop, the corresponding unsigned code
> is still missing the same check.

Fix one bug, expose another ...
The latter bug's existence is not a proof one way or another that any
patch to the former bug is or isn't correct.