Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!rutgers!mcnc!decvax.dec.com!ima!haddock!karl
From: karl@haddock.ima.isc.com (Karl Heuer)
Newsgroups: comp.lang.c
Subject: Re: VAX C Doesn't care about prototypes.
Message-ID: <17130@haddock.ima.isc.com>
Date: 21 Jul 90 01:11:40 GMT
References: <1990Jul20.184748.4362@lotus.com>
Reply-To: karl@kelp.ima.isc.com (Karl Heuer)
Organization: Interactive Systems, Cambridge, MA 02138-5302
Lines: 16

In article <1990Jul20.184748.4362@lotus.com> blambert@lotus.UUCP (Brian Lambert) writes:
>void x(B *b);
>    A a;
>    x(&a); /* does not generate a warning */

File a bug report.  The arguments are *not* assignment compatible.

"3.3.4 Conversions that involve pointers (other than as permitted by the
constraints of 3.3.16.1) shall be specified by means of an explicit cast."

I think this should have been under Constraints rather than Semantics; as it
stands, the diagnostic appears to be optional.  Is there any value in *not*
flagging this as an error?  (Btw, this same clause covers pointer-vs-int
collisions.)

Karl W. Z. Heuer (karl@kelp.ima.isc.com or ima!kelp!karl), The Walking Lint