Path: utzoo!mnetor!uunet!lll-winken!lll-tis!ames!necntc!drilex!maynard!campbell
From: campbell@maynard.BSW.COM (Larry Campbell)
Newsgroups: comp.lang.c
Subject: typedef laxity
Message-ID: <1070@maynard.BSW.COM>
Date: 6 Apr 88 04:07:57 GMT
Reply-To: campbell@maynard.BSW.COM (Larry Campbell)
Organization: The Boston Software Works, Inc.
Lines: 19
Keywords: typedef lint

It seems to me someone should complain about this code:

	typedef int TEMPERATURE;
	typedef int PRESSURE;

	TEMPERATURE tx, ty;
	PRESSURE px, py;

	ty = py;		/* type clash */

But none of the compilers I've tested (pcc, VAX-11 C, Wang VS C, Turbo C)
complain about it, and, even worse, _lint_ doesn't complain!

Does anyone know of a lint or compiler that will complain about it?
Does anyone disagree that lint's silence in this case is a bug?
(Especially since lint does complain about mixing enum types...)
-- 
Larry Campbell                                The Boston Software Works, Inc.
Internet: campbell@maynard.bsw.com          120 Fulton Street, Boston MA 02109
uucp: {husc6,mirror,think}!maynard!campbell         +1 617 367 6846