[typing] less warning on function applications
More specifically, do not warn if actual parameter has less `const` qualifiers all along the type than formal (it was already handled for a `const` under a single pointer, but not more). Of course, the reverse would still emit a warning.
Showing
- src/kernel_internals/typing/cabs2cil.ml 75 additions, 33 deletionssrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/const_formals.i 34 additions, 0 deletionstests/syntax/const_formals.i
- tests/syntax/oracle/const_formals.res.oracle 88 additions, 0 deletionstests/syntax/oracle/const_formals.res.oracle
Loading
Please register or sign in to comment