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/declarationSpecifier.x86.txt

    reb2cfbf r6545a88e  
    11321132char **_X13cfa_args_argvPPc_1;
    11331133char **_X13cfa_args_envpPPc_1;
     1134signed int _X17cfa_main_returnedi_1 = ((signed int )0);
    11341135signed int main(signed int _X4argci_1, char **_X4argvPPc_1, char **_X4envpPPc_1){
    11351136    __attribute__ ((unused)) signed int _X12_retval_maini_1;
     
    11461147    }
    11471148
    1148     {
    1149         signed int _tmp_cp_ret6;
    1150         ((void)(_X12_retval_maini_1=(((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6)) /* ?{} */);
     1149    signed int _tmp_cp_ret6;
     1150    signed int _X3reti_2 = (((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6);
     1151    {
     1152        ((void)(_X17cfa_main_returnedi_1=((signed int )1)));
     1153    }
     1154
     1155    {
     1156        ((void)(_X12_retval_maini_1=_X3reti_2) /* ?{} */);
    11511157    }
    11521158
Note: See TracChangeset for help on using the changeset viewer.