Ignore:
Timestamp:
Jun 7, 2019, 2:54:34 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
ef75948
Parents:
5684736
Message:

Fixed indentation and remove too strict abort

File:
1 edited

Legend:

Unmodified
Added
Removed

  • tests/.expect/KRfunctions.x64.txt

    r5684736 r4e5e6cc  
    11signed int _X2f0Fi_iPKii__1(signed int _X1ai_1, const signed int *_X1bPKi_1, signed int _X1ci_1){
    2           __attribute__ ((unused)) signed int _X10_retval_f0i_1;
    3         }
     2    __attribute__ ((unused)) signed int _X10_retval_f0i_1;
     3}
    44signed int _X2f1Fi_PiiPi__1(signed int *_X1aPi_1, __attribute__ ((unused)) signed int _X1bi_1, signed int *_X1cPi_1){
    5           __attribute__ ((unused)) signed int _X10_retval_f1i_1;
    6         }
     5    __attribute__ ((unused)) signed int _X10_retval_f1i_1;
     6}
    77signed int _X2f2Fi_iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1){
    8           __attribute__ ((unused)) signed int _X10_retval_f2i_1;
    9         }
     8    __attribute__ ((unused)) signed int _X10_retval_f2i_1;
     9}
    1010struct S {
    11           signed int _X1ii_1;
    12         };
     11    signed int _X1ii_1;
     12};
    1313static inline void _X12_constructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1);
    1414static inline void _X12_constructorFv_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1);
    … …  
    1717static inline void _X12_constructorFv_S1Si_autogen___1(struct S *_X4_dstS1S_1, signed int _X1ii_1);
    1818static inline void _X12_constructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1){
    19           {
    20             ((void)((*_X4_dstS1S_1)._X1ii_1) /* ?{} */);
    21           }
     19    {
     20        ((void)((*_X4_dstS1S_1)._X1ii_1) /* ?{} */);
     21    }
    2222
    23         }
     23}
    2424static inline void _X12_constructorFv_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1){
    25           {
    26             ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1) /* ?{} */);
    27           }
     25    {
     26        ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1) /* ?{} */);
     27    }
    2828
    29         }
     29}
    3030static inline void _X11_destructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1){
    31           {
    32             ((void)((*_X4_dstS1S_1)._X1ii_1) /* ^?{} */);
    33           }
     31    {
     32        ((void)((*_X4_dstS1S_1)._X1ii_1) /* ^?{} */);
     33    }
    3434
    35         }
     35}
    3636static inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1){
    37           struct S _X4_retS1S_1;
    38           {
    39             ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1));
    40           }
     37    struct S _X4_retS1S_1;
     38    {
     39        ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1));
     40    }
    4141
    42           {
    43             ((void)_X12_constructorFv_S1SS1S_autogen___1((&_X4_retS1S_1), (*_X4_dstS1S_1)));
    44           }
     42    {
     43        ((void)_X12_constructorFv_S1SS1S_autogen___1((&_X4_retS1S_1), (*_X4_dstS1S_1)));
     44    }
    4545
    46           return _X4_retS1S_1;
    47         }
     46    return _X4_retS1S_1;
     47}
    4848static inline void _X12_constructorFv_S1Si_autogen___1(struct S *_X4_dstS1S_1, signed int _X1ii_1){
    49           {
    50             ((void)((*_X4_dstS1S_1)._X1ii_1=_X1ii_1) /* ?{} */);
    51           }
     49    {
     50        ((void)((*_X4_dstS1S_1)._X1ii_1=_X1ii_1) /* ?{} */);
     51    }
    5252
    53         }
     53}
    5454signed int _X2f3Fi_S1SS1SPi__1(struct S _X1aS1S_1, struct S _X1bS1S_1, signed int *_X1cPi_1){
    55           __attribute__ ((unused)) signed int _X10_retval_f3i_1;
    56           struct S _X1sS1S_2;
    57         }
     55    __attribute__ ((unused)) signed int _X10_retval_f3i_1;
     56    struct S _X1sS1S_2;
     57}
    5858signed int _X2f4Fi_iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1){
    59           __attribute__ ((unused)) signed int _X10_retval_f4i_1;
    60         }
     59    __attribute__ ((unused)) signed int _X10_retval_f4i_1;
     60}
    6161signed int _X2f5Fi_iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1){
    62           __attribute__ ((unused)) signed int _X10_retval_f5i_1;
    63         }
     62    __attribute__ ((unused)) signed int _X10_retval_f5i_1;
     63}
    6464signed int (*_X2f6FFi_i__iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1))(__attribute__ ((unused)) signed int __anonymous_object0){
    65           __attribute__ ((unused)) signed int (*_X10_retval_f6Fi_i__1)(signed int __anonymous_object1);
    66         }
     65    __attribute__ ((unused)) signed int (*_X10_retval_f6Fi_i__1)(signed int __anonymous_object1);
     66}
    6767signed int (*_X2f7FFi_ii__iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1))(signed int _X1ai_1, signed int _X1bi_1){
    68           __attribute__ ((unused)) signed int (*_X10_retval_f7Fi_ii__1)(signed int _X1ai_1, signed int _X1bi_1);
    69         }
     68    __attribute__ ((unused)) signed int (*_X10_retval_f7Fi_ii__1)(signed int _X1ai_1, signed int _X1bi_1);
     69}
    7070signed int *_X2f8FPi_iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1){
    71           __attribute__ ((unused)) signed int *_X10_retval_f8Pi_1;
    72         }
     71    __attribute__ ((unused)) signed int *_X10_retval_f8Pi_1;
     72}
    7373signed int *const _X2f9FPi_PiiPi__1(signed int *_X1aPi_1, signed int _X1bi_1, signed int *_X1cPi_1){
    74           __attribute__ ((unused)) signed int *const _X10_retval_f9KPi_1;
    75         }
     74    __attribute__ ((unused)) signed int *const _X10_retval_f9KPi_1;
     75}
    7676signed int *(*_X3f10FFPi_ii__iPiPid__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1, double _X1yd_1))(signed int _X1xi_1, signed int _X1yi_1){
    77           __attribute__ ((unused)) signed int *(*_X11_retval_f10FPi_ii__1)(signed int _X1xi_1, signed int _X1yi_1);
    78           signed int *_X1xFPi_ii__2(signed int __anonymous_object2, signed int __anonymous_object3);
    79           {
    80             ((void)(_X11_retval_f10FPi_ii__1=_X1xFPi_ii__2) /* ?{} */);
    81           }
     77    __attribute__ ((unused)) signed int *(*_X11_retval_f10FPi_ii__1)(signed int _X1xi_1, signed int _X1yi_1);
     78    signed int *_X1xFPi_ii__2(signed int __anonymous_object2, signed int __anonymous_object3);
     79    {
     80        ((void)(_X11_retval_f10FPi_ii__1=_X1xFPi_ii__2) /* ?{} */);
     81    }
    8282
    83           return _X11_retval_f10FPi_ii__1;
    84         }
     83    return _X11_retval_f10FPi_ii__1;
     84}
    8585signed int (*_X3f11FPA0i_iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1))[]{
    86           __attribute__ ((unused)) signed int (*_X11_retval_f11PA0i_1)[];
    87         }
     86    __attribute__ ((unused)) signed int (*_X11_retval_f11PA0i_1)[];
     87}
    8888signed int (*_X3f12FPA0A0i_iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1))[][((unsigned long int )10)]{
    89           __attribute__ ((unused)) signed int (*_X11_retval_f12PA0A0i_1)[][((unsigned long int )10)];
    90         }
     89    __attribute__ ((unused)) signed int (*_X11_retval_f12PA0A0i_1)[][((unsigned long int )10)];
     90}
    9191signed int (*_X3f13FPA0A0i_iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1))[][((unsigned long int )10)]{
    92           __attribute__ ((unused)) signed int (*_X11_retval_f13PA0A0i_1)[][((unsigned long int )10)];
    93         }
     92    __attribute__ ((unused)) signed int (*_X11_retval_f13PA0A0i_1)[][((unsigned long int )10)];
     93}
    9494signed int (*_X3f14FPA0A0i_iPiPi__1(signed int _X1ai_1, signed int *_X1bPi_1, signed int *_X1cPi_1))[][((unsigned long int )10)]{
    95           __attribute__ ((unused)) signed int (*_X11_retval_f14PA0A0i_1)[][((unsigned long int )10)];
    96         }
     95    __attribute__ ((unused)) signed int (*_X11_retval_f14PA0A0i_1)[][((unsigned long int )10)];
     96}
    9797signed int _X3f15Fi_iii__1(signed int _X1ai_1, signed int _X1bi_1, signed int _X1ci_1){
    98           __attribute__ ((unused)) signed int _X11_retval_f15i_1;
    99         }
     98    __attribute__ ((unused)) signed int _X11_retval_f15i_1;
     99}
    100100const signed int _X4fredFi___1(){
    101           __attribute__ ((unused)) const signed int _X12_retval_fredKi_1;
    102           signed int *(*_X1xFPi_ii__2)(signed int __anonymous_object4, signed int __anonymous_object5);
    103           signed int _X1ai_2;
    104           signed int _X1bi_2;
    105           {
    106             signed int *(*_tmp_cp_ret4)(signed int _X1xi_1, signed int _X1yi_1);
    107             ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret4=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret4)));
    108           }
     101    __attribute__ ((unused)) const signed int _X12_retval_fredKi_1;
     102    signed int *(*_X1xFPi_ii__2)(signed int __anonymous_object4, signed int __anonymous_object5);
     103    signed int _X1ai_2;
     104    signed int _X1bi_2;
     105    {
     106        signed int *(*_tmp_cp_ret4)(signed int _X1xi_1, signed int _X1yi_1);
     107        ((void)(_X1xFPi_ii__2=(((void)(_tmp_cp_ret4=_X3f10FFPi_ii__iPiPid__1(3, (&_X1ai_2), (&_X1bi_2), 3.5))) , _tmp_cp_ret4)));
     108    }
    109109
    110           const signed int _X2f1Fi_iPiPi__2(signed int _X1ai_2, signed int *_X1bPi_2, signed int *_X1cPi_2){
    111             __attribute__ ((unused)) const signed int _X10_retval_f1Ki_2;
    112           }
    113           const signed int _X2f2Fi_iii__2(signed int _X1ai_2, signed int _X1bi_2, signed int _X1ci_2){
    114             __attribute__ ((unused)) const signed int _X10_retval_f2Ki_2;
    115           }
    116         }
     110    const signed int _X2f1Fi_iPiPi__2(signed int _X1ai_2, signed int *_X1bPi_2, signed int *_X1cPi_2){
     111        __attribute__ ((unused)) const signed int _X10_retval_f1Ki_2;
     112    }
     113    const signed int _X2f2Fi_iii__2(signed int _X1ai_2, signed int _X1bi_2, signed int _X1ci_2){
     114        __attribute__ ((unused)) const signed int _X10_retval_f2Ki_2;
     115    }
     116}
Note: See TracChangeset for help on using the changeset viewer.