Index: tests/.expect/KRfunctions.x86.txt
===================================================================
--- tests/.expect/KRfunctions.x86.txt	(revision b38d24a1bffd852e617d5451d0e6f225e7728a47)
+++ tests/.expect/KRfunctions.x86.txt	(revision 9861ef2849cdeb13ed3a9b854ff6c2aadd6e007f)
@@ -104,6 +104,6 @@
     signed int _X1bi_2;
     {
-        signed int *(*_tmp_cp_ret0)(signed int __param_0, signed int __param_1);
-        ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret0=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret0)));
+        signed int *(*_tmp_cp_ret8)(signed int __param_0, signed int __param_1);
+        ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret8=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret8)));
     }
 
Index: tests/.expect/gccExtensions.x86.txt
===================================================================
--- tests/.expect/gccExtensions.x86.txt	(revision b38d24a1bffd852e617d5451d0e6f225e7728a47)
+++ tests/.expect/gccExtensions.x86.txt	(revision 9861ef2849cdeb13ed3a9b854ff6c2aadd6e007f)
@@ -317,6 +317,6 @@
     }
 
-    signed int _tmp_cp_ret0;
-    signed int _X3reti_2 = (((void)(_tmp_cp_ret0=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret0);
+    signed int _tmp_cp_ret8;
+    signed int _X3reti_2 = (((void)(_tmp_cp_ret8=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret8);
     if ( ((&_X17cfa_main_returnedi_1)!=((signed int *)0)) ) {
         {