Merge branch '1348-kernel-conflicting-types-error-for-enum-typedef-enum' into 'master'
Resolve "[kernel] Conflicting types error for enum & typedef enum" Closes #1348 See merge request frama-c/frama-c!4578
No related branches found
No related tags found
Showing
- src/kernel_internals/typing/cabs2cil.ml 35 additions, 7 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/ast_diff_1.i 2 additions, 2 deletionstests/syntax/ast_diff_1.i
- tests/syntax/enum_forward.i 21 additions, 0 deletionstests/syntax/enum_forward.i
- tests/syntax/enum_redef_ko.i 9 additions, 0 deletionstests/syntax/enum_redef_ko.i
- tests/syntax/enum_redef_ok.i 9 additions, 0 deletionstests/syntax/enum_redef_ok.i
- tests/syntax/enum_typedef_redef.i 19 additions, 0 deletionstests/syntax/enum_typedef_redef.i
- tests/syntax/oracle/enum_forward.0.res.oracle 25 additions, 0 deletionstests/syntax/oracle/enum_forward.0.res.oracle
- tests/syntax/oracle/enum_forward.1.res.oracle 9 additions, 0 deletionstests/syntax/oracle/enum_forward.1.res.oracle
- tests/syntax/oracle/enum_redef_ko.res.oracle 9 additions, 0 deletionstests/syntax/oracle/enum_redef_ko.res.oracle
- tests/syntax/oracle/enum_redef_ok.res.oracle 8 additions, 0 deletionstests/syntax/oracle/enum_redef_ok.res.oracle
- tests/syntax/oracle/enum_typedef_redef.res.oracle 18 additions, 0 deletionstests/syntax/oracle/enum_typedef_redef.res.oracle
Loading
Please register or sign in to comment