Control: tags -1 + pending On Thu, 2017-06-15 at 11:15 +0200, Philippe Thierry wrote:
> Add support for splint static analysis tool > for C source files check. 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. 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 > The patch (debdiff) is in attachement of this mail. For future reference, `git format-patch` output would be better. > 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. 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. -- bye, pabs https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part