This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: GCC 3.0.3: Bugs to Fix
- From: Andreas Schwab <schwab at suse dot de>
- To: Nathan Sidwell <nathan at codesourcery dot com>
- Cc: Franz Sirl <Franz dot Sirl-kernel at lauterbach dot com>, hubbard at ilm dot com,jyost at ilm dot com, kainz at ilm dot com, bramsh at acm dot org,Mark Mitchell <mark at codesourcery dot com>, gcc at gcc dot gnu dot org
- Date: 03 Dec 2001 12:15:03 +0100
- Subject: Re: GCC 3.0.3: Bugs to Fix
- References: <14740000.1007070798@gandalf.codesourcery.com><200111302322.03466@enzo.bigblue.local><3C0B4C55.D64E226A@codesourcery.com>
Nathan Sidwell <nathan@codesourcery.com> writes:
|> [5.10] says 'Two pointers ... compare equal if and only if ... both point
^^^^^^^^^^^^^^
|> to the same object or function ...'
|> 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.
--
Andreas Schwab "And now for something
Andreas.Schwab@suse.de completely different."
SuSE Labs, SuSE GmbH, Schanzäckerstr. 10, D-90443 Nürnberg
Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5