Merge branch 'fix/andre/bitfield-name-zero-width' into 'master'
[Cabs2cil] reject zero-width named bitfields See merge request frama-c/frama-c!2095
No related branches found
No related tags found
Showing
- src/kernel_internals/typing/cabs2cil.ml 9 additions, 8 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/oracle/struct_with_invalid_field.0.res.oracle 3 additions, 0 deletionstests/syntax/oracle/struct_with_invalid_field.0.res.oracle
- tests/syntax/oracle/struct_with_invalid_field.1.res.oracle 6 additions, 0 deletionstests/syntax/oracle/struct_with_invalid_field.1.res.oracle
- tests/syntax/oracle/struct_with_invalid_field.2.res.oracle 6 additions, 0 deletionstests/syntax/oracle/struct_with_invalid_field.2.res.oracle
- tests/syntax/oracle/struct_with_invalid_field.3.res.oracle 6 additions, 0 deletionstests/syntax/oracle/struct_with_invalid_field.3.res.oracle
- tests/syntax/oracle/struct_with_invalid_field.4.res.oracle 6 additions, 0 deletionstests/syntax/oracle/struct_with_invalid_field.4.res.oracle
- tests/syntax/oracle/unnamed_bitfields.0.res.oracle 1 addition, 0 deletionstests/syntax/oracle/unnamed_bitfields.0.res.oracle
- tests/syntax/oracle/unnamed_bitfields.1.res.oracle 6 additions, 0 deletionstests/syntax/oracle/unnamed_bitfields.1.res.oracle
- tests/syntax/oracle/unnamed_bitfields.res.oracle 0 additions, 18 deletionstests/syntax/oracle/unnamed_bitfields.res.oracle
- tests/syntax/oracle/very_large_integers.0.res.oracle 0 additions, 5 deletionstests/syntax/oracle/very_large_integers.0.res.oracle
- tests/syntax/struct_with_invalid_field.c 30 additions, 0 deletionstests/syntax/struct_with_invalid_field.c
- tests/syntax/unnamed_bitfields.c 23 additions, 0 deletionstests/syntax/unnamed_bitfields.c
- tests/value/library.i 1 addition, 1 deletiontests/value/library.i
Loading
Please register or sign in to comment