// StarPU --- Runtime system for heterogeneous multicore architectures.
//
// Copyright (C) 2017-2020  Université de Bordeaux, CNRS (LaBRI UMR 5800), Inria
//
// StarPU is free software; you can redistribute it and/or modify
// it under the terms of the GNU Lesser General Public License as published by
// the Free Software Foundation; either version 2.1 of the License, or (at
// your option) any later version.
//
// StarPU is distributed in the hope that it will be useful, but
// WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
//
// See the GNU Lesser General Public License in COPYING.LGPL for more details.
//
knownConditionTrueFalse
variableScope
ConfigurationNotChecked
shadowVar
unusedFunction
unmatchedSuppression
unusedStructMember
missingInclude

*:starpufft/*
*:min-dgels/*
*:socl/src/CL/*
*:tools/*

// TODO. We should cppcheck the code
*:sc_hypervisor/*

varFuncNullUB:examples/sched_ctx/two_cpu_contexts.c:76
negativeIndex:examples/stencil/stencil-tasks.c
constStatement:examples/stencil/*
shiftTooManyBitsSigned:examples/pi/SobolQRNG/sobol_gold.c:88

unreadVariable:tests/openmp/*
unusedLabel:tests/datawizard/gpu_register.c
unusedLabel:tests/datawizard/gpu_ptr_register.c
redundantAssignment:tests/datawizard/interfaces/test_interfaces.c:757
redundantAssignment:tests/datawizard/mpi_like_async.c:165
redundantAssignment:tests/datawizard/mpi_like_async.c:211
unusedPrivateFunction:tests/main/combined_workers/bfs/timer.h
cstyleCast:tests/main/combined_workers/bfs/bfs.cpp
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/mpi/starpu_mpi_mpi.c:716
unusedVariable:mpi/src/mpi/starpu_mpi_mpi.c:715
unreadVariable:mpi/src/load_balancer/policy/load_heat_propagation.c:578

redundantAssignment:src/core/workers.c
invalidPointerCast:src/core/perfmodel/perfmodel_nan.c:74
unreadVariable:src/core/dependencies/tags.c:111
uselessAssignmentPtrArg:src/core/sched_ctx_list.c:144

wrongPrintfScanfArgNum:src/core/simgrid.c:1024
duplicateExpression:src/util/starpu_task_insert.c:52

nullPointerRedundantCheck:src/common/rbtree.c
unreadVariable:src/datawizard/interfaces/*
unreadVariable:src/drivers/driver_common/driver_common.c:493
clarifyCondition:src/drivers/opencl/driver_opencl.c:945
unreadVariable:src/drivers/opencl/driver_opencl.c:767
redundantAssignment:src/drivers/opencl/driver_opencl.c:831
clarifyCondition:src/drivers/cuda/driver_cuda.c:498
nullPointerRedundantCheck:src/sched_policies/deque_modeling_policy_data_aware.c:207
sizeofDereferencedVoidPointer:src/util/fstarpu.c

pointerSize:socl/src/cl_getcontextinfo.c:33
unreadVariable:socl/src/gc.c:193

// the following warnings are weird and not understandable, let's ignore them
ignoredReturnValue:socl/src/cl_createkernel.c:170
leakReturnValNotUsed:socl/src/cl_createkernel.c:170
ignoredReturnValue:socl/src/cl_createprogramwithsource.c:136
leakReturnValNotUsed:socl/src/cl_createprogramwithsource.c:136

redundantAssignment:src/sched_policies/component_eager.c:109

nullPointerRedundantCheck:src/datawizard/copy_driver.c:682

