[net.unix-wizards] looking for a C type-checker

danoc (11/02/82)

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

colbert (11/03/82)

What programs are there for translating other, less likeable or
unavailable languages into /outof 'C'?

				Charles Colbert
				pyuxjj!colbert