From 7667e24916077d23d84e8902ca49dc4819de0be5 Mon Sep 17 00:00:00 2001 From: Florian Krohm Date: Fri, 13 Jul 2012 14:13:06 +0000 Subject: [PATCH] Use vpanic, not vassert, you silly. git-svn-id: svn://svn.valgrind.org/vex/trunk@2428 --- VEX/priv/host_s390_isel.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.47.2