[Cabs2cil] more explicit error message concerning multidim VLAs
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