Use panic to exit on test mismatch

Author: jonathanpallant

examples/mps3-an536/src/bin/abt-exception-a32.rs

@@ -87,23 +87,21 @@ unsafe fn data_abort_handler(addr: usize) -> usize {
     if addr == expect_fault_at {
         println!("caught unaligned_from_a32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, expect_fault_at
         );
-        semihosting::process::abort();
     }
 
     let expect_fault_from = core::ptr::addr_of!(COUNTER) as usize + 1;
 
     if dfar.0 as usize == expect_fault_from {
         println!("caught fault on COUNTER");
     } else {
-        println!(
+        panic!(
             "Bad DFAR address {:08x} is not {:08x}",
             dfar.0, expect_fault_from
         );
-        semihosting::process::abort();
     }
 
     match COUNTER.fetch_add(1, Ordering::Relaxed) {

examples/mps3-an536/src/bin/abt-exception-t32.rs

@@ -86,23 +86,21 @@ unsafe fn data_abort_handler(addr: usize) -> usize {
     if addr == expect_fault_at {
         println!("caught unaligned_from_t32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, expect_fault_at
         );
-        semihosting::process::abort();
     }
 
     let expect_fault_from = core::ptr::addr_of!(COUNTER) as usize + 1;
 
     if dfar.0 as usize == expect_fault_from {
         println!("caught fault on COUNTER");
     } else {
-        println!(
+        panic!(
             "Bad DFAR address {:08x} is not {:08x}",
             dfar.0, expect_fault_from
         );
-        semihosting::process::abort();
     }
 
     match COUNTER.fetch_add(1, Ordering::Relaxed) {

examples/mps3-an536/src/bin/prefetch-exception-a32.rs

@@ -58,7 +58,7 @@ unsafe fn prefetch_abort_handler(addr: usize) -> usize {
     if addr == bkpt_from_a32 as extern "C" fn() as usize {
         println!("caught bkpt_from_a32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, bkpt_from_a32 as extern "C" fn() as usize
         );

examples/mps3-an536/src/bin/prefetch-exception-t32.rs

@@ -61,7 +61,7 @@ unsafe fn prefetch_abort_handler(addr: usize) -> usize {
         // machine code.
         println!("caught bkpt_from_t32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, bkpt_from_t32 as extern "C" fn() as usize
         );

examples/mps3-an536/src/bin/undef-exception-a32.rs

@@ -49,7 +49,7 @@ unsafe fn undefined_handler(addr: usize) -> usize {
     if addr == udf_from_a32 as extern "C" fn() as usize {
         println!("caught udf_from_a32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, udf_from_a32 as extern "C" fn() as usize
         );

examples/mps3-an536/src/bin/undef-exception-t32.rs

@@ -52,7 +52,7 @@ unsafe fn undefined_handler(addr: usize) -> usize {
         // machine code.
         println!("caught udf_from_t32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, udf_from_t32 as extern "C" fn() as usize
         );

examples/versatileab/src/bin/abt-exception-a32.rs

@@ -88,7 +88,7 @@ unsafe fn data_abort_handler(addr: usize) -> usize {
     if addr == expect_fault_at {
         println!("caught unaligned_from_a32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, expect_fault_at
         );
@@ -99,7 +99,7 @@ unsafe fn data_abort_handler(addr: usize) -> usize {
     if dfar.0 as usize == expect_fault_from {
         println!("caught fault on COUNTER");
     } else {
-        println!(
+        panic!(
             "Bad DFAR address {:08x} is not {:08x}",
             dfar.0, expect_fault_from
         );

examples/versatileab/src/bin/abt-exception-t32.rs

@@ -88,7 +88,7 @@ unsafe fn data_abort_handler(addr: usize) -> usize {
     if addr == expect_fault_at {
         println!("caught unaligned_from_t32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, expect_fault_at
         );
@@ -99,7 +99,7 @@ unsafe fn data_abort_handler(addr: usize) -> usize {
     if dfar.0 as usize == expect_fault_from {
         println!("caught fault on COUNTER");
     } else {
-        println!(
+        panic!(
             "Bad DFAR address {:08x} is not {:08x}",
             dfar.0, expect_fault_from
         );

examples/versatileab/src/bin/undef-exception-a32.rs

@@ -50,7 +50,7 @@ unsafe fn undefined_handler(addr: usize) -> usize {
     if addr == udf_from_a32 as extern "C" fn() as usize {
         println!("caught udf_from_a32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, udf_from_a32 as extern "C" fn() as usize
         );

examples/versatileab/src/bin/undef-exception-t32.rs

@@ -53,7 +53,7 @@ unsafe fn undefined_handler(addr: usize) -> usize {
         // machine code.
         println!("caught udf_from_t32");
     } else {
-        println!(
+        panic!(
             "Bad fault address {:08x} is not {:08x}",
             addr, udf_from_t32 as extern "C" fn() as usize
         );