diff --git a/tests/slicing/oracle/slice_no_body.res.oracle b/tests/slicing/oracle/slice_no_body.res.oracle
index 2960de9c498aacd917cb2454c4e52994569f0ced..dcba3c11fcc1a7d1050389ca74ec54aa489549e7 100644
--- a/tests/slicing/oracle/slice_no_body.res.oracle
+++ b/tests/slicing/oracle/slice_no_body.res.oracle
@@ -102,7 +102,6 @@ Print slice = h_slice_1:
 
 /**/int h(void)
 {
-  /* <[---], [---]> */ int __retres;
   /* invisible call */ /* <[---], [---]> */
   /* <[---], [---]> */ int a = f(1);
   /* invisible call */ /* <[---], [---]> */
@@ -117,9 +116,7 @@ Print slice = h_slice_1:
     G = g(c);
   }
   /* <[---], [---]> */
-  __retres = (int)(& g);
-  /* <[---], [---]> */
-  return __retres;
+  return G;
 }
 
 Slicing project worklist [default] =
@@ -223,7 +220,6 @@ Print slice = h_slice_1: (InCtrl: <[---], [ S ]>)
 
 /**/int h(void)
 {
-  /* <[---], [---]> */ int __retres;
   /* sig call:
     (InCtrl: <[---], [ S ]>)
     (In1: <[---], [ S ]>)
@@ -262,9 +258,7 @@ Print slice = h_slice_1: (InCtrl: <[---], [ S ]>)
     G = g(c);
   }
   /* <[---], [---]> */
-  __retres = (int)(& g);
-  /* <[---], [---]> */
-  return __retres;
+  return G;
 }
 
 Slicing project worklist [default] =
diff --git a/tests/slicing/slice_no_body.i b/tests/slicing/slice_no_body.i
index 8e97f4c920a7f4f6972d25a7be69257b90dd1adf..e2be30cc3c617fc32f374986687e8bfa8d4d8f79 100644
--- a/tests/slicing/slice_no_body.i
+++ b/tests/slicing/slice_no_body.i
@@ -24,5 +24,5 @@ int h (void) {
   G = f (4);
   if (G > 0)
     G = g (c);
-  return (int)g;
+  return G;
 }