CI: stricter warnings

This commit is contained in:
Robert Haschke 2022-11-01 21:24:07 +01:00
parent 64a8df1fde
commit 0c9524930a
2 changed files with 8 additions and 8 deletions

View File

@ -16,18 +16,16 @@ jobs:
env: env:
- IMAGE: master-source - IMAGE: master-source
TARGET_CMAKE_ARGS: >- TARGET_CMAKE_ARGS: >-
-DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_FLAGS=" -DCMAKE_BUILD_TYPE=Release
-Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith -Wredundant-decls -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"
- IMAGE: noetic-source - IMAGE: noetic-source
NAME: ccov NAME: ccov
TARGET_CMAKE_ARGS: -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_FLAGS="--coverage" TARGET_CMAKE_ARGS: -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_FLAGS="--coverage"
- IMAGE: noetic-source - IMAGE: noetic-source
CLANG_TIDY: true CLANG_TIDY: true
TARGET_CMAKE_ARGS: >- TARGET_CMAKE_ARGS: >-
-DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_FLAGS=" -DCMAKE_BUILD_TYPE=Release
-Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith -Wredundant-decls -DCMAKE_CXX_FLAGS="-Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith -Wredundant-decls"
-Wno-unused-parameter -Wno-unused-function -Wno-deprecated-copy"
- IMAGE: noetic-source - IMAGE: noetic-source
NAME: asan NAME: asan
DOCKER_RUN_OPTS: >- DOCKER_RUN_OPTS: >-

View File

@ -56,8 +56,10 @@ namespace moveit {
namespace task_constructor { namespace task_constructor {
// for debugging of how children interfaces evolve over time // for debugging of how children interfaces evolve over time
static void printChildrenInterfaces(const ContainerBasePrivate& container, bool success, const Stage& creator, __attribute__((unused)) // silent unused-function warning
std::ostream& os = std::cerr) { static void
printChildrenInterfaces(const ContainerBasePrivate& container, bool success, const Stage& creator,
std::ostream& os = std::cerr) {
static unsigned int id = 0; static unsigned int id = 0;
const unsigned int width = 10; // indentation of name const unsigned int width = 10; // indentation of name
os << std::endl << (success ? '+' : '-') << ' ' << creator.name() << ' '; os << std::endl << (success ? '+' : '-') << ' ' << creator.name() << ' ';