From 3648db43ed2354f16787843fd261ef4d61f8e606 Mon Sep 17 00:00:00 2001 From: Robert Haschke Date: Sun, 21 Nov 2021 05:53:29 +0100 Subject: [PATCH] Never overwrite ARMED with PRUNED --- core/src/storage.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/core/src/storage.cpp b/core/src/storage.cpp index 44082a65..f8f7e3f5 100644 --- a/core/src/storage.cpp +++ b/core/src/storage.cpp @@ -83,6 +83,9 @@ bool InterfaceState::Priority::operator<(const InterfaceState::Priority& other) } void InterfaceState::updatePriority(const InterfaceState::Priority& priority) { + // Never overwrite ARMED with PRUNED: PRUNED => !ARMED + assert(priority.status() != InterfaceState::Status::PRUNED || priority_.status() != InterfaceState::Status::ARMED); + if (owner()) { owner()->updatePriority(this, priority); } else {