Merge branch 'fix/negative-bitfield-width' into 'stable/vanadium'
[kernel] Rejects bitfields with negative width. Avoids later crash in analyses. See merge request frama-c/frama-c!3201
Showing
- src/kernel_internals/typing/cabs2cil.ml 12 additions, 9 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/oracle/fam.res.oracle 1 addition, 1 deletiontests/syntax/oracle/fam.res.oracle
- tests/syntax/oracle/flexible_array_member_invalid1.res.oracle 1 addition, 1 deletion...s/syntax/oracle/flexible_array_member_invalid1.res.oracle
- tests/syntax/oracle/flexible_array_member_invalid2.res.oracle 1 addition, 1 deletion...s/syntax/oracle/flexible_array_member_invalid2.res.oracle
- tests/syntax/oracle/flexible_array_member_invalid3.res.oracle 1 addition, 1 deletion...s/syntax/oracle/flexible_array_member_invalid3.res.oracle
- tests/syntax/oracle/flexible_array_member_invalid4.res.oracle 1 addition, 1 deletion...s/syntax/oracle/flexible_array_member_invalid4.res.oracle
- tests/syntax/oracle/flexible_array_member_invalid5.res.oracle 1 addition, 1 deletion...s/syntax/oracle/flexible_array_member_invalid5.res.oracle
- tests/syntax/oracle/incomplete_struct_field.res.oracle 1 addition, 1 deletiontests/syntax/oracle/incomplete_struct_field.res.oracle
- tests/syntax/oracle/struct_with_function_field_invalid.res.oracle 0 additions, 6 deletions...ntax/oracle/struct_with_function_field_invalid.res.oracle
- tests/syntax/oracle/struct_with_invalid_field.res.oracle 9 additions, 0 deletionstests/syntax/oracle/struct_with_invalid_field.res.oracle
- tests/syntax/struct_with_invalid_field.i 17 additions, 0 deletionstests/syntax/struct_with_invalid_field.i
- tests/value/oracle/empty_base.0.res.oracle 1 addition, 1 deletiontests/value/oracle/empty_base.0.res.oracle
Loading
Please register or sign in to comment