test: too many returns crash VM, not VMProfiler

TritonVM · Oct 16, 2023 · a109b89 · a109b89
1 parent 1550f8d
commit a109b89
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/triton-vm/src/program.rs b/triton-vm/src/program.rs
@@ -913,6 +913,16 @@ mod tests {
         assert!(maybe_open_call.is_some());
     }
 
+    #[test]
+    #[should_panic(expected = "Jump stack is empty")]
+    fn profile_with_too_many_returns() {
+        let program = triton_program! {
+            call foo return halt
+            foo: return
+        };
+        let _ = program.profile([].into(), [].into()).unwrap();
+    }
+
     #[test]
     fn breakpoints_propagate_to_debug_information_as_expected() {
         let program = triton_program! {