From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 10948 invoked by alias); 3 Dec 2001 11:15:16 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 10924 invoked from network); 3 Dec 2001 11:15:11 -0000 Received: from unknown (HELO Cantor.suse.de) (213.95.15.193) by sources.redhat.com with SMTP; 3 Dec 2001 11:15:11 -0000 Received: from Hermes.suse.de (Hermes.suse.de [213.95.15.136]) by Cantor.suse.de (Postfix) with ESMTP id 07DDE1E3BB; Mon, 3 Dec 2001 12:15:11 +0100 (MET) X-Authentication-Warning: sykes.suse.de: schwab set sender to schwab@suse.de using -f To: Nathan Sidwell Cc: Franz Sirl , hubbard@ilm.com, jyost@ilm.com, kainz@ilm.com, bramsh@acm.org, Mark Mitchell , gcc@gcc.gnu.org Subject: Re: GCC 3.0.3: Bugs to Fix References: <14740000.1007070798@gandalf.codesourcery.com> <200111302322.03466@enzo.bigblue.local> <3C0B4C55.D64E226A@codesourcery.com> X-Yow: Yow! Did something bad happen or am I in a drive-in movie?? From: Andreas Schwab Date: Mon, 03 Dec 2001 03:15:00 -0000 In-Reply-To: <3C0B4C55.D64E226A@codesourcery.com> (Nathan Sidwell's message of "Mon, 03 Dec 2001 09:56:37 +0000") Message-ID: User-Agent: Gnus/5.090003 (Oort Gnus v0.03) Emacs/21.1.30 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: quoted-printable X-SW-Source: 2001-12/txt/msg00045.txt.bz2 Nathan Sidwell writes: |> [5.10] says 'Two pointers ... compare equal if and only if ... both point ^^^^^^^^^^^^^^ |> to the same object or function ...'=20 |> Ooh, that's not actually the same as |> 'Two pointers compare unequal if and only if they point to different |> objects or functions' |> (but I always thought that was true, defect anyone?) "if and only if" describes an equivalence, thus the negation holds as well. Andreas. --=20 Andreas Schwab "And now for something Andreas.Schwab@suse.de completely different." SuSE Labs, SuSE GmbH, Schanz=E4ckerstr. 10, D-90443 N=FCrnberg Key fingerprint =3D 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5