From e07aefa0a18ff8a825329e6884d1f0d9690e1471 Mon Sep 17 00:00:00 2001
From: Emil Kitti <emil.kitti@outlook.com>
Date: Fri, 26 Jan 2018 19:33:14 +0100
Subject: [PATCH] bare0_4
---
examples/bare0.rs | 21 ++++++++++++++++++---
1 file changed, 18 insertions(+), 3 deletions(-)
diff --git a/examples/bare0.rs b/examples/bare0.rs
index f65ca9b..075a762 100644
--- a/examples/bare0.rs
+++ b/examples/bare0.rs
@@ -25,7 +25,7 @@ fn main() {
unsafe {
X = X.wrapping_add(1);
Y = X;
- assert!(x == X && X == Y);
+ assert!(x == X && X == Y + 1);
}
}
}
@@ -63,7 +63,7 @@ fn main() {
// cortex_m_rt::default_handler (ef=0x20017e68) at /home/kitzin/.cargo/registry/src/github.com-1ecc6299db9ec823/cortex-m-rt-0.3.12/src/lib.rs:454
// 454 asm::bkpt();
//
-// An interrupt is triggered!
+// Overflow is detected and program !panics
//
// commit your answers (bare0_2)
//
@@ -100,7 +100,22 @@ fn main() {
// you have some fault in the program and go back to 3)
//
// 4. change the asserion to assert!(x == X && X == Y + 1), what happens
-// ** place your answer here **
+//
+// (gdb) next
+// 28 assert!(x == X && X == Y + 1);
+// (gdb) next
+//
+// Program received signal SIGTRAP, Trace/breakpoint trap.
+// cortex_m_rt::default_handler (ef=0x20017e60) at /home/kitzin/.cargo/registry/src/github.com-1ecc6299db9ec823/cortex-m-rt-0.3.12/src/lib.rs:454
+// 454 asm::bkpt();
+// (gdb) print bare0::X
+// $72 = 0
+// (gdb) print bare0::Y
+// $73 = 0
+//
+//
+// The assert condition (0 == 1) is false and it !panics
+//
//
// commit your answers (bare0_4)
//
--
GitLab