diff --git a/repos/base/include/util/string.h b/repos/base/include/util/string.h index 32ed190d55..aa41976975 100644 --- a/repos/base/include/util/string.h +++ b/repos/base/include/util/string.h @@ -443,8 +443,11 @@ namespace Genode { if (i > 0) switch (s[i]) { case 'G': res *= 1024; + [[fallthrough]]; case 'M': res *= 1024; + [[fallthrough]]; case 'K': res *= 1024; i++; + [[fallthrough]]; default: break; }