2 files changed, 4 insertions, 0 deletions
diff --git a/src/tests/lib.c b/src/tests/lib.c
index ee36505..5e34069 100644
--- a/src/tests/lib.c
+++ b/src/tests/lib.c
@@ -5,6 +5,8 @@
 #include <string.h>
 #include <syscall.h>
 
+// Note: test_name is overridden in some tests, and not in others.
+__attribute__((weak))
 const char *test_name;
 bool quiet = false;
 
diff --git a/src/tests/userprog/no-vm/multi-oom.c b/src/tests/userprog/no-vm/multi-oom.c
index 6a4472d..bd09269 100644
--- a/src/tests/userprog/no-vm/multi-oom.c
+++ b/src/tests/userprog/no-vm/multi-oom.c
@@ -73,6 +73,7 @@ consume_some_resources_and_die (int seed)
     {
       case 0:
         *(int *) NULL = 42;
+        break;
 
       case 1:
         return *(int *) NULL;
@@ -82,6 +83,7 @@ consume_some_resources_and_die (int seed)
 
       case 3:
         *PHYS_BASE = 42;
+        break;
 
       case 4:
         open ((char *)PHYS_BASE);