GCC 3.0.3: Bugs to Fix

[Andreas Schwab]

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