mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-11-04 14:49:57 +08:00
CI: stricter warnings
This commit is contained in:
parent
5f6d716a57
commit
7c66b85aa7
4
.github/workflows/ci.yaml
vendored
4
.github/workflows/ci.yaml
vendored
@ -17,19 +17,17 @@ jobs:
|
|||||||
- IMAGE: humble-source
|
- IMAGE: humble-source
|
||||||
CXXFLAGS: >-
|
CXXFLAGS: >-
|
||||||
-Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith
|
-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
|
- IMAGE: rolling-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"
|
||||||
CXXFLAGS: >-
|
CXXFLAGS: >-
|
||||||
-Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith
|
-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
|
- IMAGE: rolling-source
|
||||||
CXX: clang++
|
CXX: clang++
|
||||||
CLANG_TIDY: true
|
CLANG_TIDY: true
|
||||||
CXXFLAGS: >-
|
CXXFLAGS: >-
|
||||||
-Werror -Wall -Wextra -Wwrite-strings -Wunreachable-code -Wpointer-arith
|
-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
|
# 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
|
# see https://github.com/google/sanitizers/wiki/AddressSanitizer
|
||||||
- IMAGE: rolling-source
|
- IMAGE: rolling-source
|
||||||
|
|||||||
@ -58,7 +58,9 @@ 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
|
||||||
|
static void
|
||||||
|
printChildrenInterfaces(const ContainerBasePrivate& container, bool success, const Stage& creator,
|
||||||
std::ostream& os = std::cerr) {
|
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
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user