From b5cf78ce82037c53f65864b6811c2771fc2c810d Mon Sep 17 00:00:00 2001 From: bram Date: Sun, 8 Jan 2023 20:58:59 +0100 Subject: [PATCH] Fix for segfault in path::pop_back --- src/common/model/path.h | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/common/model/path.h b/src/common/model/path.h index 9846f268..1790fc1c 100644 --- a/src/common/model/path.h +++ b/src/common/model/path.h @@ -128,7 +128,13 @@ public: } } - void pop_back() { path_.pop_back(); } + void pop_back() + { + if (!path_.empty()) + { + path_.pop_back(); + } + } std::optional parent() const {