"schlie at comcast dot net" <[EMAIL PROTECTED]> writes: | (In reply to comment #4) | > Subject: Re: wrong-code with inlining and type-punned pointer | > Because this is what the standard says is allowed. The standard also | > says the comparisons and assignment between pointers without a case is | > invalid code and should be diagnostic. Again this is what the standard | > says for these things and GCC follows the C standard. | | Here's an interesting portion of the standard, which seems to direcly imply | that signed and unsigned lvalue references are presumed to validly alias; so | so this should place both in the same alias set, and potentially eliminate the | default warning when comparing pointers which differ only in signness, as
Sorry, I don't see that implication. However, GCC already has a switch for tuning off such comparison. -- Gaby
