[typing] do not accept enum <-> int conversion when redefining typedefs
Showing
- src/kernel_internals/typing/cabs2cil.ml 10 additions, 0 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/misc/oracle/audit-out.json 2 additions, 1 deletiontests/misc/oracle/audit-out.json
- tests/syntax/enum_typedef_redef.i 8 additions, 0 deletionstests/syntax/enum_typedef_redef.i
- 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