From e8137d263ee167a148d92ef7368933ee5824c103 Mon Sep 17 00:00:00 2001 From: "Justin M. Keyes" Date: Fri, 18 Jan 2019 02:43:42 +0100 Subject: pvscheck.sh: ignore stddef.h This system header should be ignored by PVS. See also: https://stackoverflow.com/q/44906903 --- scripts/pvscheck.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts/pvscheck.sh') diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index 371af7c7e5..e3c6681f7a 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -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 -- cgit