Never overwrite ARMED with PRUNED

rhaschke · rhaschke · commit 3648db43ed23 · 2021-11-21T14:00:50.000+01:00
diff --git 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 {

Original file line number	Diff line number	Diff line change
`@@ -83,6 +83,9 @@ bool InterfaceState::Priority::operator<(const InterfaceState::Priority& other)`
`83`	`83`	`}`
`84`	`84`
`85`	`85`	`void InterfaceState::updatePriority(const InterfaceState::Priority& priority) {`
	`86`	`+ // Never overwrite ARMED with PRUNED: PRUNED => !ARMED`
	`87`	`+ assert(priority.status() != InterfaceState::Status::PRUNED \|\| priority_.status() != InterfaceState::Status::ARMED);`
	`88`	`+`
`86`	`89`	`if (owner()) {`
`87`	`90`	`owner()->updatePriority(this, priority);`
`88`	`91`	`} else {`