Merge branch 'fix/doyen/cabs2cil_1343' into 'master'
[cabs2cil] Fix VLAs error messages (#1343) Closes #1343 See merge request frama-c/frama-c!4577
Showing
- src/kernel_internals/typing/cabs2cil.ml 72 additions, 62 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/array_size.c 39 additions, 0 deletionstests/syntax/array_size.c
- tests/syntax/array_size.i 0 additions, 7 deletionstests/syntax/array_size.i
- tests/syntax/generic.c 6 additions, 0 deletionstests/syntax/generic.c
- tests/syntax/oracle/array_size.0.res.oracle 5 additions, 0 deletionstests/syntax/oracle/array_size.0.res.oracle
- tests/syntax/oracle/array_size.1.res.oracle 6 additions, 0 deletionstests/syntax/oracle/array_size.1.res.oracle
- tests/syntax/oracle/array_size.2.res.oracle 6 additions, 0 deletionstests/syntax/oracle/array_size.2.res.oracle
- tests/syntax/oracle/array_size.3.res.oracle 5 additions, 0 deletionstests/syntax/oracle/array_size.3.res.oracle
- tests/syntax/oracle/array_size.4.res.oracle 5 additions, 0 deletionstests/syntax/oracle/array_size.4.res.oracle
- tests/syntax/oracle/array_size.5.res.oracle 6 additions, 0 deletionstests/syntax/oracle/array_size.5.res.oracle
- tests/syntax/oracle/array_size.res.oracle 0 additions, 4 deletionstests/syntax/oracle/array_size.res.oracle
- tests/syntax/oracle/generic.1.res.oracle 7 additions, 7 deletionstests/syntax/oracle/generic.1.res.oracle
- tests/syntax/oracle/generic.10.res.oracle 32 additions, 0 deletionstests/syntax/oracle/generic.10.res.oracle
- tests/syntax/oracle/generic.2.res.oracle 6 additions, 6 deletionstests/syntax/oracle/generic.2.res.oracle
- tests/syntax/oracle/generic.3.res.oracle 6 additions, 6 deletionstests/syntax/oracle/generic.3.res.oracle
- tests/syntax/oracle/generic.4.res.oracle 8 additions, 8 deletionstests/syntax/oracle/generic.4.res.oracle
- tests/syntax/oracle/generic.5.res.oracle 8 additions, 8 deletionstests/syntax/oracle/generic.5.res.oracle
- tests/syntax/oracle/generic.6.res.oracle 6 additions, 6 deletionstests/syntax/oracle/generic.6.res.oracle
- tests/syntax/oracle/generic.7.res.oracle 6 additions, 6 deletionstests/syntax/oracle/generic.7.res.oracle
- tests/syntax/oracle/generic.8.res.oracle 7 additions, 7 deletionstests/syntax/oracle/generic.8.res.oracle
Loading
Please register or sign in to comment