diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 656454b45e9a1c38c6ddfcd38bb96b4995096a6a..9e9c0d61a1cb0ef5ccb4a50845655d369704dffa 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -62,6 +62,33 @@ variables: variables: EMPER_USERSPACE_RCU: 'true' +.default-library-static: + variables: + EMPER_DEFAULT_LIBRARY: 'static' + +.clang-sanitizer: + extends: + - .clang + - .default-library-static + +.clang-sanitizer-undefined: + extends: + - .clang-sanitizer + variables: + EMPER_B_SANITIZE: 'undefined' + +#.clang-sanitizer-memory: +# extends: +# - .clang-sanitizer +# variables: +# EMPER_B_SANITIZE: 'memory' + +#.sanitizer-address: +# extends: +# - .default-library-static +# variables: +# EMPER_B_SANITIZE: 'address' + .release-build: variables: BUILDTYPE: release @@ -114,3 +141,19 @@ test-with-userspace-rcu: extends: - .test - .emper-userspace-rcu + +test-clang-sanitizer-undefined: + extends: + - .test + - .clang-sanitizer-undefined + +#test-clang-sanitizer-memory: +# extends: +# - .test +# - .clang-sanitizer-memory + +#test-clang-sanitizer-address: +# extends: +# - .test +# - .clang +# - .sanitizer-address diff --git a/emper/Debug.cpp b/emper/Debug.cpp index 577a4077d4908b69503281ee0f58fbcb3b368952..c551cf0f4ea6e46ab58fb2976e14e68396c019e2 100644 --- a/emper/Debug.cpp +++ b/emper/Debug.cpp @@ -15,7 +15,7 @@ void worker_log(const std::string& prefix, const std::string& message) { const workerid_t workerId = Runtime::getWorkerId(); std::unique_lock<std::mutex> lock(worker_log_mutex); - std::cerr << (unsigned int)workerId; + std::cerr << workerId; if (!prefix.empty()) { std::cerr << " " << prefix << " "; } else {