[xen master] xen/arm: vpl011: add ASSERT_UNREACHABLE in vpl011_mmio_read

[patchbot@xxxxxxx]

commit 84ece04e7f11fe30c2f83753d72f481610357ed0
Author:     Jiamei Xie <jiamei.xie@xxxxxxx>
AuthorDate: Mon Dec 5 15:26:40 2022 +0800
Commit:     Julien Grall <jgrall@xxxxxxxxxx>
CommitDate: Fri Dec 23 17:55:02 2022 +0000

    xen/arm: vpl011: add ASSERT_UNREACHABLE in vpl011_mmio_read
    
    In vpl011_mmio_read switch block, all cases should have a return. Add
    ASSERT_UNREACHABLE to catch case where the return is not added.
    
    Signed-off-by: Jiamei Xie <jiamei.xie@xxxxxxx>
    Acked-by: Julien Grall <jgrall@xxxxxxxxxx>
---
 xen/arch/arm/vpl011.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xen/arch/arm/vpl011.c b/xen/arch/arm/vpl011.c
index c5b695469b..541ec962f1 100644
--- a/xen/arch/arm/vpl011.c
+++ b/xen/arch/arm/vpl011.c
@@ -406,6 +406,7 @@ static int vpl011_mmio_read(struct vcpu *v,
         goto read_as_zero;
     }
 
+    ASSERT_UNREACHABLE();
     return 1;
 
 read_as_zero:
--
generated by git-patchbot for /home/xen/git/xen.git#master