Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[pvs-studio] Disable V576.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 19 Jul 2021 12:20:12 +0000 (14:20 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 19 Jul 2021 19:52:43 +0000 (21:52 +0200)
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.

tools/jenkins/Coverage.sh

index 2cd8155..bf9a0d5 100755 (executable)
@@ -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