2019-07-28 23:20:50

by Matteo Croce

[permalink] [raw]
Subject: [PATCH] KVM: arm64: mark expected switch fall-through in HYP

Mark switch cases where we are expecting to fall through,
fixes a 130+ lines warning.

Signed-off-by: Matteo Croce <[email protected]>
---
arch/arm64/kvm/hyp/debug-sr.c | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)

diff --git a/arch/arm64/kvm/hyp/debug-sr.c b/arch/arm64/kvm/hyp/debug-sr.c
index 26781da3ad3e..c648c243f98b 100644
--- a/arch/arm64/kvm/hyp/debug-sr.c
+++ b/arch/arm64/kvm/hyp/debug-sr.c
@@ -18,40 +18,70 @@
#define save_debug(ptr,reg,nr) \
switch (nr) { \
case 15: ptr[15] = read_debug(reg, 15); \
+ /* fallthrough */ \
case 14: ptr[14] = read_debug(reg, 14); \
+ /* fallthrough */ \
case 13: ptr[13] = read_debug(reg, 13); \
+ /* fallthrough */ \
case 12: ptr[12] = read_debug(reg, 12); \
+ /* fallthrough */ \
case 11: ptr[11] = read_debug(reg, 11); \
+ /* fallthrough */ \
case 10: ptr[10] = read_debug(reg, 10); \
+ /* fallthrough */ \
case 9: ptr[9] = read_debug(reg, 9); \
+ /* fallthrough */ \
case 8: ptr[8] = read_debug(reg, 8); \
+ /* fallthrough */ \
case 7: ptr[7] = read_debug(reg, 7); \
+ /* fallthrough */ \
case 6: ptr[6] = read_debug(reg, 6); \
+ /* fallthrough */ \
case 5: ptr[5] = read_debug(reg, 5); \
+ /* fallthrough */ \
case 4: ptr[4] = read_debug(reg, 4); \
+ /* fallthrough */ \
case 3: ptr[3] = read_debug(reg, 3); \
+ /* fallthrough */ \
case 2: ptr[2] = read_debug(reg, 2); \
+ /* fallthrough */ \
case 1: ptr[1] = read_debug(reg, 1); \
+ /* fallthrough */ \
default: ptr[0] = read_debug(reg, 0); \
}

#define restore_debug(ptr,reg,nr) \
switch (nr) { \
case 15: write_debug(ptr[15], reg, 15); \
+ /* fallthrough */ \
case 14: write_debug(ptr[14], reg, 14); \
+ /* fallthrough */ \
case 13: write_debug(ptr[13], reg, 13); \
+ /* fallthrough */ \
case 12: write_debug(ptr[12], reg, 12); \
+ /* fallthrough */ \
case 11: write_debug(ptr[11], reg, 11); \
+ /* fallthrough */ \
case 10: write_debug(ptr[10], reg, 10); \
+ /* fallthrough */ \
case 9: write_debug(ptr[9], reg, 9); \
+ /* fallthrough */ \
case 8: write_debug(ptr[8], reg, 8); \
+ /* fallthrough */ \
case 7: write_debug(ptr[7], reg, 7); \
+ /* fallthrough */ \
case 6: write_debug(ptr[6], reg, 6); \
+ /* fallthrough */ \
case 5: write_debug(ptr[5], reg, 5); \
+ /* fallthrough */ \
case 4: write_debug(ptr[4], reg, 4); \
+ /* fallthrough */ \
case 3: write_debug(ptr[3], reg, 3); \
+ /* fallthrough */ \
case 2: write_debug(ptr[2], reg, 2); \
+ /* fallthrough */ \
case 1: write_debug(ptr[1], reg, 1); \
+ /* fallthrough */ \
default: write_debug(ptr[0], reg, 0); \
}

--
2.21.0



2019-07-29 09:52:20

by Marc Zyngier

[permalink] [raw]
Subject: Re: [PATCH] KVM: arm64: mark expected switch fall-through in HYP

On 29/07/2019 00:19, Matteo Croce wrote:
> Mark switch cases where we are expecting to fall through,
> fixes a 130+ lines warning.
>
> Signed-off-by: Matteo Croce <[email protected]>
> ---
> arch/arm64/kvm/hyp/debug-sr.c | 30 ++++++++++++++++++++++++++++++
> 1 file changed, 30 insertions(+)
>
> diff --git a/arch/arm64/kvm/hyp/debug-sr.c b/arch/arm64/kvm/hyp/debug-sr.c
> index 26781da3ad3e..c648c243f98b 100644
> --- a/arch/arm64/kvm/hyp/debug-sr.c
> +++ b/arch/arm64/kvm/hyp/debug-sr.c
> @@ -18,40 +18,70 @@
> #define save_debug(ptr,reg,nr) \
> switch (nr) { \
> case 15: ptr[15] = read_debug(reg, 15); \
> + /* fallthrough */ \
> case 14: ptr[14] = read_debug(reg, 14); \
> + /* fallthrough */ \
> case 13: ptr[13] = read_debug(reg, 13); \
> + /* fallthrough */ \
> case 12: ptr[12] = read_debug(reg, 12); \
> + /* fallthrough */ \
> case 11: ptr[11] = read_debug(reg, 11); \
> + /* fallthrough */ \
> case 10: ptr[10] = read_debug(reg, 10); \
> + /* fallthrough */ \
> case 9: ptr[9] = read_debug(reg, 9); \
> + /* fallthrough */ \
> case 8: ptr[8] = read_debug(reg, 8); \
> + /* fallthrough */ \
> case 7: ptr[7] = read_debug(reg, 7); \
> + /* fallthrough */ \
> case 6: ptr[6] = read_debug(reg, 6); \
> + /* fallthrough */ \
> case 5: ptr[5] = read_debug(reg, 5); \
> + /* fallthrough */ \
> case 4: ptr[4] = read_debug(reg, 4); \
> + /* fallthrough */ \
> case 3: ptr[3] = read_debug(reg, 3); \
> + /* fallthrough */ \
> case 2: ptr[2] = read_debug(reg, 2); \
> + /* fallthrough */ \
> case 1: ptr[1] = read_debug(reg, 1); \
> + /* fallthrough */ \
> default: ptr[0] = read_debug(reg, 0); \
> }
>
> #define restore_debug(ptr,reg,nr) \
> switch (nr) { \
> case 15: write_debug(ptr[15], reg, 15); \
> + /* fallthrough */ \
> case 14: write_debug(ptr[14], reg, 14); \
> + /* fallthrough */ \
> case 13: write_debug(ptr[13], reg, 13); \
> + /* fallthrough */ \
> case 12: write_debug(ptr[12], reg, 12); \
> + /* fallthrough */ \
> case 11: write_debug(ptr[11], reg, 11); \
> + /* fallthrough */ \
> case 10: write_debug(ptr[10], reg, 10); \
> + /* fallthrough */ \
> case 9: write_debug(ptr[9], reg, 9); \
> + /* fallthrough */ \
> case 8: write_debug(ptr[8], reg, 8); \
> + /* fallthrough */ \
> case 7: write_debug(ptr[7], reg, 7); \
> + /* fallthrough */ \
> case 6: write_debug(ptr[6], reg, 6); \
> + /* fallthrough */ \
> case 5: write_debug(ptr[5], reg, 5); \
> + /* fallthrough */ \
> case 4: write_debug(ptr[4], reg, 4); \
> + /* fallthrough */ \
> case 3: write_debug(ptr[3], reg, 3); \
> + /* fallthrough */ \
> case 2: write_debug(ptr[2], reg, 2); \
> + /* fallthrough */ \
> case 1: write_debug(ptr[1], reg, 1); \
> + /* fallthrough */ \
> default: write_debug(ptr[0], reg, 0); \
> }
>
>

Already reported here[1].

Thanks,

M.

[1] https://www.spinics.net/lists/arm-kernel/msg743592.html
--
Jazz is not dead, it just smells funny...