[splint-discuss] Unrecognized identifiers and other definitions

[Nido]

2009/4/8 Jake Holland <jholland at fastsoft.com>:
> 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.

you are welcome

> 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.

In that case I will continue posting additions when they occur until
I've found a better place to put this.

> 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.

You are welcome to use the file as it is now; and I'd love to
incorporate your modifications when you have them. When the file is
sufficiently complete, the splint maintainers are welcome to use the
file to add/replace the now default library files.

> 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.
>
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss