Would it be possible to set a timeout at the
command line when processing a single source file?
Some files are simply too complex to be linted.
It would be great if a user could cause flexelint
to report a timeout condition if it cannot finish
processing a file within a set time limit.

I try to run lint before the compiler, generally the error message are more useful and of course lint is more through. However, my make makes use of automatic dependancy generation (the compiler generates a list of files that the source being compiled depends on). This mean I end up running the compiler twice. Once to generate the dependancy list before lint and a second time to generate code after lint.

This would all be well except that when the compiler runs into a problem during dependency generation it spits out obscure error messages. If I could get lint to do the dependancy generation I expect I would have better error messages and I might even be able to save a pass through the code.

I try to run lint before the compiler, generally the error message are more useful and of course lint is more through. However, my make makes use of automatic dependancy generation (the compiler generates a list of files that the source being compiled depends on). This mean I end up running the compiler twice. Once to generate the dependancy list before lint and a second time to generate code after lint.

This would all be well except that when the compiler runs into a problem during dependency generation it spits out obscure error messages. If I could get lint to…