pvscheck.sh: ignore stddef.h

This system header should be ignored by PVS.
See also: https://stackoverflow.com/q/44906903
This commit is contained in:
Justin M. Keyes
2019-01-18 02:43:42 +01:00
parent ce6a5fb94b
commit e8137d263e

View File

@@ -374,7 +374,7 @@ run_analysis() {(
--sourcetree-root . || true
rm -rf PVS-studio.{xml,err,tsk,html.d}
local plog_args="PVS-studio.log --srcRoot . --excludedCodes V011"
local plog_args="PVS-studio.log --srcRoot . --excludedCodes V011 --exclude-path stddef.h --exclude-path stdarg.h"
plog-converter $plog_args --renderTypes xml --output PVS-studio.xml
plog-converter $plog_args --renderTypes errorfile --output PVS-studio.err
plog-converter $plog_args --renderTypes tasklist --output PVS-studio.tsk