|
|
@@ -39,10 +39,11 @@ redundantAssignment:tests/datawizard/mpi_like_async.c:211
|
|
|
unusedPrivateFunction:tests/main/combined_workers/bfs/timer.h:45
|
|
|
redundantAssignment:tests/main/driver_api/init_run_deinit.c
|
|
|
redundantAssignment:tests/main/driver_api/run_driver.c
|
|
|
+unreadVariable:tests/datawizard/variable_size.c
|
|
|
|
|
|
uselessAssignmentPtrArg:mpi/src/starpu_mpi.c:171
|
|
|
-unreadVariable:mpi/src/starpu_mpi.c:991
|
|
|
-unusedVariable:mpi/src/starpu_mpi.c:992
|
|
|
+unreadVariable:mpi/src/starpu_mpi.c:996
|
|
|
+unusedVariable:mpi/src/starpu_mpi.c:997
|
|
|
redundantAssignment:src/core/workers.c
|
|
|
|
|
|
invalidPointerCast:src/core/perfmodel/perfmodel_nan.c:74
|
|
|
@@ -58,9 +59,6 @@ unusedStructMember:src/core/simgrid.c:226
|
|
|
wrongPrintfScanfArgNum:src/core/simgrid.c:962
|
|
|
duplicateExpression:src/util/starpu_task_insert.c:52
|
|
|
|
|
|
-// TODO: this could be an error?
|
|
|
-redundantCopy:src/core/disk_ops/disk_leveldb.cpp:194
|
|
|
-
|
|
|
nullPointerRedundantCheck:src/common/rbtree.c
|
|
|
unreadVariable:src/datawizard/interfaces/*
|
|
|
unreadVariable:src/drivers/driver_common/driver_common.c:493
|
