From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 19 Jul 2021 12:20:12 +0000 (+0200)
Subject: [pvs-studio] Disable V576.
X-Git-Tag: v3.29~200
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ce144e83bf4f839dd32721b606e88345bc711e5a

[pvs-studio] Disable V576.

V576 is: Incorrect format. Consider checking the N actual argument of the 'Foo' function.

Gives bogus warnings with e.g. PRIx64, and is already checked by compiler and other static analyzers.
---

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index 2cd8155514..bf9a0d5929 100755
--- a/tools/jenkins/Coverage.sh
+++ b/tools/jenkins/Coverage.sh
@@ -120,8 +120,9 @@ if [ -f Testing/TAG ] ; then
   pvs-studio-analyzer analyze -f "$BUILDFOLDER"/compile_commands.json -o "$WORKSPACE"/pvs.log $EXCLUDEDPATH -j$NUMPROC
   # Disable:
   # V521 Such expressions using the ',' operator are dangerous. (-> commas in catch.hpp),
+  # V576 Incorrect format. (-> gives false alarms, and already checked elsewhere)
   # V1042 This file is marked with copyleft license, which requires you to open the derived source code.
   # V1056 The predefined identifier '__func__' always contains the string 'operator()' inside function body of the overloaded 'operator()'.
-  plog-converter -t xml -o "$WORKSPACE"/pvs.plog -d V521,V1042,V1056 "$WORKSPACE"/pvs.log
+  plog-converter -t xml -o "$WORKSPACE"/pvs.plog -d V521,V576,V1042,V1056 "$WORKSPACE"/pvs.log
 
 fi || exit 42