looking for a C type-checker

[utzoo!decvax!harpo!floyd!danoc]

Does anyone have or know of a C program type checker? I need it to check
thoroughly for things like assigning a float value to an int variable 
when I don't *want* to. Something like the way Pascal compilers type-check
would be tremendously helpful.

This situation arises when a program in some other language (like pl1)
is translated into C, and it can cause *endless* trouble!
Lint doesn't pick up this type of problem.

Thanx in advance.	Dan OConnell   BTL   Whippany, NJ
			floyd!danoc