Merge patch series "Annotate switch/case fallthrough cases"
authorTom Rini <trini@konsulko.com>
Tue, 8 Apr 2025 22:24:12 +0000 (16:24 -0600)
committerTom Rini <trini@konsulko.com>
Tue, 8 Apr 2025 22:24:12 +0000 (16:24 -0600)
commit1f0281294d8bb1857076d27fd491c70c9808e474
tree219ee816e561f4faf68adb7f4497f43bf6a0f1f4
parentfba8bfdd0bf2db1edd0383ba89a0c6037a6fe807
parent9ce2986e7e57277bac3c528412c0bb4443b7003a
Merge patch series "Annotate switch/case fallthrough cases"

Andre Przywara <andre.przywara@arm.com> says:

C's implicit fallthrough behaviour in switch/case statements can lead to
subtle bugs. Quite some while ago many compilers introduced warnings in
those cases, requiring intentional fallthrough's to be annotated.

So far we were not enabling that compiler option, so many ambiguities
and some bugs in the code went unnoticed.

This series adds the required annotations in code paths that the first
stage of the U-Boot CI covers. There is a large number of cases left
in the libbz2 code. The usage of switch/case is borderline insane there,
labels are hidden in macros, and there are no breaks, but just goto's.
Upstream still uses very similar code, without any annotations. I still
am not 100% sure those are meant to fall through or not, and plan to do
further investigations, but didn't want to hold the rest of the patches
back. You can see for yourself by applying patch 18/18 and building for
sandbox64, for instance.

Because of this we cannot quite enable the warning in the Makefile yet,
but those fixes are worth regardless, and be it to increase readability.

Please note that those patches do not fix anything, really, they just add
those fallthrough annotations, so the series is not really critical.

Link: https://lore.kernel.org/r/20250327153313.2105227-1-andre.przywara@arm.com
drivers/mtd/nand/raw/nand_base.c
lib/tiny-printf.c