From 2fe2f91bb09f884a12987416562a6a26c90631ec Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fre=CC=81de=CC=81ric=20Herbreteau?= Date: Sun, 9 Jun 2024 07:37:40 +0200 Subject: [PATCH] Fixed GCC compiling issues with constexpr --- include/tchecker/variables/clocks.hh | 2 +- src/system/system.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/include/tchecker/variables/clocks.hh b/include/tchecker/variables/clocks.hh index e628a7c6..240ee03d 100644 --- a/include/tchecker/variables/clocks.hh +++ b/include/tchecker/variables/clocks.hh @@ -673,7 +673,7 @@ public: assertion) \return the identifier of clock id in this reference map */ - constexpr inline tchecker::clock_id_t translate_system_clock(tchecker::clock_id_t id) const + inline tchecker::clock_id_t translate_system_clock(tchecker::clock_id_t id) const { assert(id < size() - _refcount); return id + _refcount; diff --git a/src/system/system.cc b/src/system/system.cc index 94e9fb58..4c9b5165 100644 --- a/src/system/system.cc +++ b/src/system/system.cc @@ -37,7 +37,7 @@ class system_builder_t : public tchecker::parsing::declaration_visitor_t { */ virtual void visit(tchecker::parsing::system_declaration_t const & d) { - for (std::shared_ptr const & decl : d.declarations()) + for (std::shared_ptr const decl : d.declarations()) decl->visit(*this); }