From 7c66b85aa7777e43538763646d1cc212860a6e2a Mon Sep 17 00:00:00 2001 From: Robert Haschke Date: Tue, 1 Nov 2022 23:50:35 +0100 Subject: [PATCH] CI: stricter warnings --- .github/workflows/ci.yaml | 4 +--- core/src/container.cpp | 6 ++++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index ad765e57..22c31ed2 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -17,19 +17,17 @@ jobs: - IMAGE: humble-source CXXFLAGS: >- -Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith - -Wno-unused-parameter -Wno-unused-function -Wno-deprecated-copy -Wno-unused-but-set-parameter - IMAGE: rolling-source NAME: ccov TARGET_CMAKE_ARGS: -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_FLAGS="--coverage" CXXFLAGS: >- -Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith - -Wno-unused-parameter -Wno-unused-function -Wno-deprecated-copy -Wno-unused-but-set-parameter - IMAGE: rolling-source CXX: clang++ CLANG_TIDY: true CXXFLAGS: >- -Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith - -Wno-unused-parameter -Wno-unused-function -Wno-deprecated-copy + -Wno-deprecated-copy # Add fast_unwind_on_malloc=0 to fix stacktraces being too short or do not make sense # see https://github.com/google/sanitizers/wiki/AddressSanitizer - IMAGE: rolling-source diff --git a/core/src/container.cpp b/core/src/container.cpp index f5fb0e78..2a82264c 100644 --- a/core/src/container.cpp +++ b/core/src/container.cpp @@ -58,8 +58,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() << ' ';