Index: kernel/generic/src/adt/avl.c
===================================================================
--- kernel/generic/src/adt/avl.c	(revision 850fd32a6ced0b28470d7b2100d44accba1dce89)
+++ kernel/generic/src/adt/avl.c	(revision bde48fa65c57367a67698ab35393a7092b988112)
@@ -412,6 +412,7 @@
 		 * node.
 		 */
-		for (cur = node->lft; cur->rgt != NULL; cur = cur->rgt)
-			;
+		cur = node->lft;
+		while (cur->rgt != NULL)
+			cur = cur->rgt;
 
 		if (cur != node->lft) {
@@ -462,5 +463,5 @@
 	 * cut-off node up to the root.
 	 */
-	for (;;) {
+	while (true) {
 		if (dir == LEFT) {
 			/*