[typing] allow parenthesizing string literals that initialize an array
Showing
- src/kernel_internals/typing/cabs2cil.ml 21 additions, 10 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/init_array_string.i 8 additions, 0 deletionstests/syntax/init_array_string.i
- tests/syntax/oracle/init_array_string.res.oracle 7 additions, 0 deletionstests/syntax/oracle/init_array_string.res.oracle
Loading
Please register or sign in to comment