From: Florian Krohm <florian@eich-krohm.de>
Date: Fri, 13 Jul 2012 14:13:06 +0000 (+0000)
Subject: Use vpanic, not vassert, you silly.
X-Git-Tag: svn/VALGRIND_3_8_1^2~50
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7667e24916077d23d84e8902ca49dc4819de0be5;p=thirdparty%2Fvalgrind.git

Use vpanic, not vassert, you silly.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2428
---

diff --git a/VEX/priv/host_s390_isel.c b/VEX/priv/host_s390_isel.c
index ffae34d812..d051409144 100644
--- a/VEX/priv/host_s390_isel.c
+++ b/VEX/priv/host_s390_isel.c
@@ -156,7 +156,7 @@ get_guest_reg(Int offset)
       /* counter is used both as 4-byte and as 8-byte entity */
    case S390X_GUEST_OFFSET(guest_counter)+1 ... S390X_GUEST_OFFSET(guest_counter)+3:
    case S390X_GUEST_OFFSET(guest_counter)+5 ... S390X_GUEST_OFFSET(guest_counter)+7:
-      vassert("partial update of this guest state register is not allowed");
+      vpanic("partial update of this guest state register is not allowed");
       break;
 
    default: break;