From 0c9524930af1c0579a2cef64f82e63a93ecebc47 Mon Sep 17 00:00:00 2001 From: Robert Haschke Date: Tue, 1 Nov 2022 21:24:07 +0100 Subject: [PATCH] CI: stricter warnings --- .github/workflows/ci.yaml | 10 ++++------ core/src/container.cpp | 6 ++++-- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 1c303e77..b5608fed 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -16,18 +16,16 @@ jobs: env: - IMAGE: master-source TARGET_CMAKE_ARGS: >- - -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_FLAGS=" - -Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith -Wredundant-decls - -Wno-unused-parameter -Wno-unused-function -Wno-deprecated-copy -Wno-unused-but-set-parameter" + -DCMAKE_BUILD_TYPE=Release + -DCMAKE_CXX_FLAGS="-Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith -Wredundant-decls" - IMAGE: noetic-source NAME: ccov TARGET_CMAKE_ARGS: -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_FLAGS="--coverage" - IMAGE: noetic-source CLANG_TIDY: true TARGET_CMAKE_ARGS: >- - -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_FLAGS=" - -Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith -Wredundant-decls - -Wno-unused-parameter -Wno-unused-function -Wno-deprecated-copy" + -DCMAKE_BUILD_TYPE=Release + -DCMAKE_CXX_FLAGS="-Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith -Wredundant-decls" - IMAGE: noetic-source NAME: asan DOCKER_RUN_OPTS: >- diff --git a/core/src/container.cpp b/core/src/container.cpp index d7e4b372..503627c5 100644 --- a/core/src/container.cpp +++ b/core/src/container.cpp @@ -56,8 +56,10 @@ namespace moveit { namespace task_constructor { // for debugging of how children interfaces evolve over time -static void printChildrenInterfaces(const ContainerBasePrivate& container, bool success, const Stage& creator, - std::ostream& os = std::cerr) { +__attribute__((unused)) // silent unused-function warning +static void +printChildrenInterfaces(const ContainerBasePrivate& container, bool success, const Stage& creator, + std::ostream& os = std::cerr) { static unsigned int id = 0; const unsigned int width = 10; // indentation of name os << std::endl << (success ? '+' : '-') << ' ' << creator.name() << ' ';