]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Use vpanic, not vassert, you silly.
authorFlorian Krohm <florian@eich-krohm.de>
Fri, 13 Jul 2012 14:13:06 +0000 (14:13 +0000)
committerFlorian Krohm <florian@eich-krohm.de>
Fri, 13 Jul 2012 14:13:06 +0000 (14:13 +0000)
git-svn-id: svn://svn.valgrind.org/vex/trunk@2428

VEX/priv/host_s390_isel.c

index ffae34d8127461bce458dfcd3cf957bf2857d289..d05140914457a3a5a09861359a3ee6e05883a07c 100644 (file)
@@ -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;