Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!brl-tgr!tgr!craig@loki.ARPA
From: craig@loki.ARPA (Craig Partridge)
Newsgroups: net.lang.c
Subject: Lint, (void *) and alignment
Message-ID: <250@brl-tgr.ARPA>
Date: Mon, 29-Jul-85 10:19:45 EDT
Article-I.D.: brl-tgr.250
Posted: Mon Jul 29 10:19:45 1985
Date-Received: Wed, 31-Jul-85 04:18:08 EDT
Sender: news@brl-tgr.ARPA
Lines: 22


>Hopefully, pointers of the ANSI C type "void *" will be able to be assigned
>to any other pointer type without any complaints, including complaints about
>possible alignment problems.  This is, of course, a horribly large loophole,
>but there may be some small hope that people won't abuse it and will always
>write routines like "malloc" which return "void *" values to align the
>object pointed to so that it can, indeed, be used to point to anything.

    I'd prefer it if (void *) could be cast to anything without having
lint complain.  I don't want to be able to do something like

	void *vp;
	char *cp;

	    cp = vp;

without at least a strong warning from lint that I'm playing with fire.

Craig Partridge
craig@bbn-loki (ARPA)
craig%loki.arpa@csnet-relay (CSNET)
{decvax,ihnp4,wjh12}!bbncca!craig (USENET)