On 2017-06-15 13:53, Paul Wise wrote:
Control: tags -1 + pending
Merged locally, made some slight whitespace adjustments
because of this message in the splint manual page:
-I directory
Add directory to path searched for C include files.
Note there is no space after the I, to be consistent
with C preprocessor flags.
Ok.
Also do you know how to suppress the version/message when there are
no C files or none with code in them? If not, then we need to add
the fixme, fixme-silent tags to the check.
$ find . -type f -iname '*.c' -exec splint -I. +posixlib -preproc
-standard -warnposix {} +
Splint 3.1.2 --- 01 Dec 2016
Finished checking --- no code processed
Using +quiet. Should make it stop printing version/message.
The patch (debdiff) is in attachement of this mail.
For future reference, `git format-patch` output would be better.
Ok. I hesitated before the two formats. I thought debdiff was the
required one.
Pabs: you talked of updated the README file. I didn't see what or
where to upload its content, sorry.
No, I meant to read the README file (in doc folder in git) before
working on the patch to add splint support.
Ok, sorry i misundestood. the consequence is i read it entirely :)
BTW: splint is orphaned in Debian and upstream looks very inactive,
you may want to adopt it in Debian and try to improve the situation.
Well, even if i appreciate C quality and associated tools, i have to
check if i'm capable enough to maintain it. Not sure.
I haven't written flex/bison code since a long time ago and i don't
think i'm still able, for example, to update (flex?/)bison file to
support C11 :-/
--
Philippe.
