Ignore:
Timestamp:
Aug 9, 2021, 5:13:26 PM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
b42d0ea
Parents:
eb2cfbf
Message:

Fixed cfa outputs for cfa_main_returned (x86)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/.expect/gccExtensions.x86.txt

    reb2cfbf r6545a88e  
    302302char **_X13cfa_args_argvPPc_1;
    303303char **_X13cfa_args_envpPPc_1;
     304signed int _X17cfa_main_returnedi_1 = ((signed int )0);
    304305signed int main(signed int _X4argci_1, char **_X4argvPPc_1, char **_X4envpPPc_1){
    305306    __attribute__ ((unused)) signed int _X12_retval_maini_1;
     
    316317    }
    317318
    318     {
    319         signed int _tmp_cp_ret6;
    320         ((void)(_X12_retval_maini_1=(((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6)) /* ?{} */);
     319    signed int _tmp_cp_ret6;
     320    signed int _X3reti_2 = (((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6);
     321    {
     322        ((void)(_X17cfa_main_returnedi_1=((signed int )1)));
     323    }
     324
     325    {
     326        ((void)(_X12_retval_maini_1=_X3reti_2) /* ?{} */);
    321327    }
    322328
Note: See TracChangeset for help on using the changeset viewer.