From f7001a3b9e60da80e4d9772a103ea6a06650b649 Mon Sep 17 00:00:00 2001
From: Aurelien Jarno <aurelien@aurel32.net>
Date: Thu, 24 Dec 2009 00:17:12 +0100
Subject: [PATCH] linux-user: fix build with gcc-4.1

Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
---
 linux-user/main.c | 2 ++
 1 file changed, 2 insertions(+)

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;