diff options
| -rw-r--r-- | linux-user/main.c | 2 |
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; |