It should be easy to add this check to lint by adding a new message. There are 
several recent commits that add a message to lint1/err.c.

Whoever wants to add this check, feel free to do so. For external code and a 
few other files, the newly added message will need to be excluded by 
"LINTFLAGS+=-X 35x". A build with MKLINT=yes will tell you whether it works.

Reply via email to