From 31ff62445bd017ddc4fed5547e5e75248f4649d6 Mon Sep 17 00:00:00 2001 From: Will Lillis Date: Tue, 16 Sep 2025 03:23:22 -0400 Subject: [PATCH] fix(generate): assert there is a Nfa last state before retrieving it Prevents unsigned subtraction wrapping antics in release builds --- crates/generate/src/nfa.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/generate/src/nfa.rs b/crates/generate/src/nfa.rs index 9a63cb97..eecbc40b 100644 --- a/crates/generate/src/nfa.rs +++ b/crates/generate/src/nfa.rs @@ -434,6 +434,7 @@ impl Nfa { } pub fn last_state_id(&self) -> u32 { + assert!(!self.states.is_empty()); self.states.len() as u32 - 1 } }