From 391f0c1ce76fcb83658fccaea343ad216dc01b3c Mon Sep 17 00:00:00 2001
From: "Justin M. Keyes" <justinkz@gmail.com>
Date: Sat, 19 Jan 2019 12:27:06 +0100
Subject: pvscheck.sh: do not set --sourcetree-root [ci skip]

System headers should be ignored by PVS, but somehow aren't.
See also: https://stackoverflow.com/q/44906903
---
 scripts/pvscheck.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh
index e3c6681f7a..1c03cd4f87 100755
--- a/scripts/pvscheck.sh
+++ b/scripts/pvscheck.sh
@@ -371,10 +371,10 @@ run_analysis() {(
       --output-file PVS-studio.log \
       --verbose \
       --file build/compile_commands.json \
-      --sourcetree-root . || true
+    || true
 
   rm -rf PVS-studio.{xml,err,tsk,html.d}
-  local plog_args="PVS-studio.log --srcRoot . --excludedCodes V011 --exclude-path stddef.h --exclude-path stdarg.h"
+  local plog_args="PVS-studio.log --srcRoot . --excludedCodes V011"
   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
@@ -473,8 +473,6 @@ main() {
     return 0
   fi
 
-  # set -x
-
   if test -n "$patch" ; then
     patch_sources "$tgt" "$only_build"
   elif test -n "$pvs_install" ; then
-- 
cgit