C compiler certification program?

[jimjwf at mhtsa.UUCP]

Yes AT&T Bell Labs has a program called cq but it is not a
C compiler certification program. It does check many of the
rules found in K&R but is not complete and only checks that
valid things work as expected. This program is not generally
available but there are probably older copies of it to be
found here and there. If any of you have a copy it would be
unwise to use it for commercial advertising since it is AT&T
proprietary.

Jim Farrell
AT&T Bell Labs