|
|
@@ -17,7 +17,6 @@ knownConditionTrueFalse
|
|
|
variableScope
|
|
|
ConfigurationNotChecked
|
|
|
|
|
|
-*:tools/dev/*
|
|
|
*:starpufft/*
|
|
|
*:min-dgels/*
|
|
|
*:starpu-top/*
|
|
|
@@ -42,7 +41,8 @@ redundantAssignment:tests/main/driver_api/init_run_deinit.c
|
|
|
redundantAssignment:tests/main/driver_api/run_driver.c
|
|
|
|
|
|
uselessAssignmentPtrArg:mpi/src/starpu_mpi.c:171
|
|
|
-unreadVariable:mpi/src/starpu_mpi.c:950
|
|
|
+unreadVariable:mpi/src/starpu_mpi.c:953
|
|
|
+unusedVariable:mpi/src/starpu_mpi.c:954
|
|
|
redundantAssignment:src/core/workers.c
|
|
|
|
|
|
invalidPointerCast:src/core/perfmodel/perfmodel_nan.c:74
|
|
|
@@ -55,7 +55,7 @@ unusedStructMember:src/core/perfmodel/perfmodel_bus.c:65
|
|
|
unusedStructMember:src/core/perfmodel/perfmodel_bus.c:66
|
|
|
unusedStructMember:src/core/simgrid.c:225
|
|
|
unusedStructMember:src/core/simgrid.c:226
|
|
|
-wrongPrintfScanfArgNum:src/core/simgrid.c:868
|
|
|
+wrongPrintfScanfArgNum:src/core/simgrid.c:883
|
|
|
duplicateExpression:src/util/starpu_task_insert.c:52
|
|
|
|
|
|
// TODO: this could be an error?
|
Nathalie Furmento