[Kernel] reject named and invalid void parameters
- a named void parameter is considered an error; - a void parameter (other than by itself) is considered an error
Showing
- src/kernel_internals/typing/cabs2cil.ml 9 additions, 0 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/oracle/void_parameter.res.oracle 19 additions, 0 deletionstests/syntax/oracle/void_parameter.res.oracle
- tests/syntax/void_parameter.i 16 additions, 0 deletionstests/syntax/void_parameter.i
Loading
Please register or sign in to comment