Merge branch 'fix/andre/vla-multidim-error-message' into 'master'
[Cabs2cil] more explicit error message concerning multidim VLAs See merge request frama-c/frama-c!3146
No related branches found
No related tags found
Showing
- src/kernel_internals/typing/cabs2cil.ml 3 additions, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/oracle/vla_multidim.0.res.oracle 32 additions, 0 deletionstests/syntax/oracle/vla_multidim.0.res.oracle
- tests/syntax/oracle/vla_multidim.1.res.oracle 13 additions, 0 deletionstests/syntax/oracle/vla_multidim.1.res.oracle
- tests/syntax/vla_multidim.c 19 additions, 0 deletionstests/syntax/vla_multidim.c
Loading
Please register or sign in to comment