Index: kernel/generic/src/adt/btree.c
===================================================================
--- kernel/generic/src/adt/btree.c	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/generic/src/adt/btree.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -877,4 +877,5 @@
 {
 	btree_node_t *cur, *next;
+	bool descend;
 
 	/*
@@ -907,4 +908,5 @@
 			 * or it is not in the tree at all.
 			 */
+			descend = false;
 			for (i = 1; i < cur->keys; i++) {
 				if (key < cur->key[i]) {
@@ -915,7 +917,11 @@
 						return key == cur->key[i - 1] ? val : NULL;
 
-					goto descend;
+					descend = true;
+					break;
 				}
 			}
+
+			if (descend)
+				continue;
 
 			/*
@@ -929,6 +935,4 @@
 				return key == cur->key[i - 1] ? val : NULL;
 		}
-descend:
-		;
 	}
 
Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/generic/src/printf/printf_core.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
@@ -674,5 +674,5 @@
 				default:
 					end = true;
-				};
+				}
 			} while (!end);