Changes in src/tests/.expect/KRfunctions.x64.txt [df7a162:c0453ca3]

File:

• src/tests/.expect/KRfunctions.x64.txt (modified) (3 diffs)

src/tests/.expect/KRfunctions.x64.txt

@@ -53 +53 @@
     __attribute__ ((unused)) signed int *___retval_f8__Pi_1;
 }
-signed int *const __f9__FCPi_PiiPi__1(signed int *__a__Pi_1, signed int __b__i_1, signed int *__c__Pi_1){
+signed int *const __f9__FPi_PiiPi__1(signed int *__a__Pi_1, signed int __b__i_1, signed int *__c__Pi_1){
     __attribute__ ((unused)) signed int *const ___retval_f9__CPi_1;
 }
@@ -77 +77 @@
     __attribute__ ((unused)) signed int ___retval_f15__i_1;
 }
-const signed int __fred__FCi___1(){
+const signed int __fred__Fi___1(){
     __attribute__ ((unused)) const signed int ___retval_fred__Ci_1;
     signed int *(*__x__PFPi_ii__2)(signed int __anonymous_object4, signed int __anonymous_object5);
@@ -85 +85 @@
     ((void)(__x__PFPi_ii__2=(((void)(_tmp_cp_ret2=__f10__FPFPi_ii__iPiPid__1(3, (&__a__i_2), (&__b__i_2), 3.5))) , _tmp_cp_ret2)));
     ((void)(_tmp_cp_ret2) /* ^?{} */);
-    const signed int __f1__FCi_iPiPi__2(signed int __a__i_2, signed int *__b__Pi_2, signed int *__c__Pi_2){
+    const signed int __f1__Fi_iPiPi__2(signed int __a__i_2, signed int *__b__Pi_2, signed int *__c__Pi_2){
         __attribute__ ((unused)) const signed int ___retval_f1__Ci_2;
     }
-    const signed int __f2__FCi_iii__2(signed int __a__i_2, signed int __b__i_2, signed int __c__i_2){
+    const signed int __f2__Fi_iii__2(signed int __a__i_2, signed int __b__i_2, signed int __c__i_2){
         __attribute__ ((unused)) const signed int ___retval_f2__Ci_2;
     }