lib/ukdebug: Replace fallthrough comment markers with macro

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Marco Schlumpp <marco@unikraft.io>
Reviewed-by: Rares Miculescu <miculescur@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1116

diff --git a/lib/ukdebug/snprintf.c b/lib/ukdebug/snprintf.c
index bfdd7057d29d6d2f1887e1a4e572fec184dc2021..62addff07cef5cb4a02314c0c01817c1b815ce26 100644 (file)
--- a/lib/ukdebug/snprintf.c
+++ b/lib/ukdebug/snprintf.c
@@ -59,6 +59,8 @@
 #include <string.h>
 #include "snprintf.h"
 
+#include <uk/essentials.h>
+
 /* 64 bits + 0-Byte at end */
 #define MAXNBUF 65
 
@@ -173,7 +175,7 @@ reswitch:
                                padc = '0';
                                goto reswitch;
                        }
-               /* fallthrough */
+                       __fallthrough;
                case '1':
                case '2':
                case '3':