|
|
@@ -44,7 +44,7 @@ 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:943
|
|
|
+unreadVariable:mpi/src/starpu_mpi.c:950
|
|
|
redundantAssignment:src/core/workers.c
|
|
|
|
|
|
invalidPointerCast:src/core/perfmodel/perfmodel_nan.c:74
|
|
|
@@ -57,7 +57,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:731
|
|
|
+wrongPrintfScanfArgNum:src/core/simgrid.c:862
|
|
|
duplicateExpression:src/util/starpu_task_insert.c:52
|
|
|
|
|
|
// TODO: this could be an error?
|
|
|
@@ -65,10 +65,10 @@ 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:487
|
|
|
-clarifyCondition:src/drivers/opencl/driver_opencl.c:955
|
|
|
+unreadVariable:src/drivers/driver_common/driver_common.c:492
|
|
|
+clarifyCondition:src/drivers/opencl/driver_opencl.c:945
|
|
|
unreadVariable:src/drivers/opencl/driver_opencl.c:767
|
|
|
-clarifyCondition:src/drivers/cuda/driver_cuda.c:507
|
|
|
+clarifyCondition:src/drivers/cuda/driver_cuda.c:498
|
|
|
arithOperationsOnVoidPointer:src/drivers/scc/*
|
|
|
nullPointerRedundantCheck:src/sched_policies/deque_modeling_policy_data_aware.c:198
|
|
|
sizeofDereferencedVoidPointer:src/util/fstarpu.c
|
Nathalie Furmento