From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 689 invoked by alias); 29 Jan 2008 16:37:23 -0000 Received: (qmail 678 invoked by uid 22791); 29 Jan 2008 16:37:23 -0000 X-Spam-Check-By: sourceware.org Received: from NaN.false.org (HELO nan.false.org) (208.75.86.248) by sourceware.org (qpsmtpd/0.31) with ESMTP; Tue, 29 Jan 2008 16:37:03 +0000 Received: from nan.false.org (localhost [127.0.0.1]) by nan.false.org (Postfix) with ESMTP id 3EF0E98151; Tue, 29 Jan 2008 16:37:02 +0000 (GMT) Received: from caradoc.them.org (22.svnf5.xdsl.nauticom.net [209.195.183.55]) by nan.false.org (Postfix) with ESMTP id 278D39811F; Tue, 29 Jan 2008 16:37:02 +0000 (GMT) Received: from drow by caradoc.them.org with local (Exim 4.68) (envelope-from ) id 1JJtSH-0000HY-94; Tue, 29 Jan 2008 11:37:01 -0500 Date: Tue, 29 Jan 2008 16:49:00 -0000 From: Daniel Jacobowitz To: Doug Evans Cc: Joel Brobecker , GDB Patches , Pierre Muller Subject: Re: [BUG] BINOP_DIV and ptyp command Message-ID: <20080129163701.GC32558@caradoc.them.org> Mail-Followup-To: Doug Evans , Joel Brobecker , GDB Patches , Pierre Muller References: <002301c85c12$a73a4640$f5aed2c0$@u-strasbg.fr> <20080129064148.GB16288@adacore.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.17 (2007-12-11) X-IsSubscribed: yes Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2008-01/txt/msg00687.txt.bz2 On Tue, Jan 29, 2008 at 07:48:00AM -0800, Doug Evans wrote: > As I say, if the intent is to avoid the call to error(), I'd expect to > see tests for 1 >> 3.0, etc. That will throw error ("Integer-only > operation on floating point number"). That's not a value-dependent error. 1 / 0 has a sensible type (it's an int), but no sensible value; 1 >> 3.0 has no sensible type (it's a syntax error). I think of it this way: drow@caradoc:~% cat a.c int a = sizeof (1/0); int b = sizeof (1 >> 3.0); drow@caradoc:~% gcc -Wall -c a.c a.c:2: error: invalid operands to binary >> -- Daniel Jacobowitz CodeSourcery