aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--linux-user/main.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/linux-user/main.c b/linux-user/main.c
index d8bb8307ef..a0d8ce734b 100644
--- a/linux-user/main.c
+++ b/linux-user/main.c
@@ -548,6 +548,8 @@ static int do_strex(CPUARMState *env)
case 3:
segv = get_user_u32(val, addr);
break;
+ default:
+ abort();
}
if (segv) {
env->cp15.c6_data = addr;