summaryrefslogtreecommitdiffstats
path: root/tapset/conversions.stp
diff options
context:
space:
mode:
Diffstat (limited to 'tapset/conversions.stp')
-rw-r--r--tapset/conversions.stp1
1 files changed, 1 insertions, 0 deletions
diff --git a/tapset/conversions.stp b/tapset/conversions.stp
index 42443360..940cc2c5 100644
--- a/tapset/conversions.stp
+++ b/tapset/conversions.stp
@@ -36,6 +36,7 @@ success: ;
function kernel_int:long (addr:long) %{ /* pure */
THIS->__retvalue = (int64_t) deref (sizeof (int), (int *) (intptr_t) THIS->addr);
+ goto success;
deref_fault: /* branched to from deref() */
{
static char errmsg[60];