[splint-discuss] Unrecognized identifiers and other definitions

[Jake Holland]

This sounded quite interesting to me, so I looked in the manual and
found section 14, broadly describing how this worked.  

This was a feature I hadn't noticed, and one which I think could help
significantly reduce the splint-specific maintenance for the project I'm
on.  So personally, I'm grateful you decided to post this.

I don't want to ask you to spend a lot of time, and now that I've read
section 14 of the manual, I think I get the general idea, but if you
have anything to add beyond what it says there, I'd be interested to
read it.  Especially if you ran into any undocumented problems on the
way.

I also think the header itself looks like a fine start on a noble cause.
One thing I'd like to see (and would be happy to work towards if I can
get the time for it) is a splint release that works well with the latest
C and POSIX standards.

In that context, this looks to me like a contribution in the right
direction.  So on that note, I encourage you to post any further updates
and comments, in the hopes that it will pay off eventually.