Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision b5f716bc90001ca89dfcaf04f82a2b4e1dd2e11e)
+++ kernel/generic/src/console/cmd.c	(revision 6353d0fd79a7aa96a830dd8022e668494b3d0e0e)
@@ -1149,5 +1149,5 @@
 int cmd_set4(cmd_arg_t *argv)
 {
-	uintptr_t addr;
+	uintptr_t addr = 0; // Prevent -Werror=maybe-uninitialized
 	uint32_t arg1 = argv[1].intval;
 	bool pointer = false;
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision b5f716bc90001ca89dfcaf04f82a2b4e1dd2e11e)
+++ kernel/generic/src/mm/as.c	(revision 6353d0fd79a7aa96a830dd8022e668494b3d0e0e)
@@ -1725,5 +1725,5 @@
 	ASSERT(count);
 	
-	btree_node_t *leaf;
+	btree_node_t *leaf = NULL;
 	size_t pages = (size_t) btree_search(&area->used_space, page, &leaf);
 	if (pages) {
@@ -1733,4 +1733,6 @@
 		return false;
 	}
+
+	ASSERT(leaf != NULL);
 	
 	if (!leaf->keys) {
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision b5f716bc90001ca89dfcaf04f82a2b4e1dd2e11e)
+++ kernel/generic/src/mm/frame.c	(revision 6353d0fd79a7aa96a830dd8022e668494b3d0e0e)
@@ -391,9 +391,10 @@
 	
 	/* Allocate frames from zone */
-	size_t index;
+	size_t index = (size_t) -1;
 	int avail = bitmap_allocate_range(&zone->bitmap, count, zone->base,
 	    FRAME_LOWPRIO, constraint, &index);
 	
 	ASSERT(avail);
+	ASSERT(index != (size_t) -1);
 	
 	/* Update frame reference count */