Re: Type casts
On Mon, 22 Jul 2002, Martin Buchholz uttered the following:
>>>>> "Nix" == nix
<nix(a)esperi.demon.co.uk> writes:
Nix> On Sat, 20 Jul 2002, Martin Buchholz moaned:
Nix> In many cases, GCC will notice things like
Nix> (foo *) ((void *) bar)
Nix> and elide the useless cast to `void *'.
C is not Elisp. There is no "code" there to be elided.
Quite so: but the compiler is permitted to *ignore* that cast to `void
*' when it comes to determining what the expression is permitted to
alias.
(AIUI, of course; the parts of the Standard that define the parameters
of aliasing in C are not very clear :( )
--
`There's something satisfying about killing JWZ over and over again.'
-- 1i, personal communication