From e3c285ac0cbca91c460797f9137de83e49395683 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Mon, 16 Sep 2019 17:31:56 +0200 Subject: [PATCH] Clang: maybe_unused --- repos/base-nova/src/include/base/internal/native_utcb.h | 2 +- repos/base/src/core/include/trace/subject_registry.h | 6 +++--- repos/base/src/core/region_map_component.cc | 1 - 3 files changed, 4 insertions(+), 5 deletions(-) diff --git a/repos/base-nova/src/include/base/internal/native_utcb.h b/repos/base-nova/src/include/base/internal/native_utcb.h index 7b0316bf9..4ef20bc55 100644 --- a/repos/base-nova/src/include/base/internal/native_utcb.h +++ b/repos/base-nova/src/include/base/internal/native_utcb.h @@ -35,7 +35,7 @@ class Genode::Native_utcb * and the user process. It is not backed by a * dataspace but provided by the kernel. */ - addr_t _utcb[UTCB_SIZE/sizeof(addr_t)]; + [[maybe_unused]] addr_t _utcb[UTCB_SIZE/sizeof(addr_t)]; public: diff --git a/repos/base/src/core/include/trace/subject_registry.h b/repos/base/src/core/include/trace/subject_registry.h index dcc579628..3173b44ac 100644 --- a/repos/base/src/core/include/trace/subject_registry.h +++ b/repos/base/src/core/include/trace/subject_registry.h @@ -406,7 +406,7 @@ class Genode::Trace::Subject_registry */ ~Subject_registry() { - Lock guard(_lock); + [[maybe_unused]] Lock guard(_lock); while (Subject *s = _entries.first()) _unsynchronized_destroy(*s); @@ -417,7 +417,7 @@ class Genode::Trace::Subject_registry */ void import_new_sources(Source_registry &) { - Lock guard(_lock); + [[maybe_unused]] Lock guard(_lock); _sources.export_sources(_tester, _inserter); } @@ -445,7 +445,7 @@ class Genode::Trace::Subject_registry */ size_t release(Subject_id subject_id) { - Lock guard(_lock); + [[maybe_unused]] Lock guard(_lock); Subject &subject = _unsynchronized_lookup_by_id(subject_id); return _unsynchronized_destroy(subject); diff --git a/repos/base/src/core/region_map_component.cc b/repos/base/src/core/region_map_component.cc index 0f6f5946a..81bf358a6 100644 --- a/repos/base/src/core/region_map_component.cc +++ b/repos/base/src/core/region_map_component.cc @@ -25,7 +25,6 @@ #include #include -static const bool verbose = false; static const bool verbose_page_faults = false;