Lint error when setting INTCTLBITS to non-default value

[marco-hartmann-nxp]

Hi,
I am linting the clic_apb module with Verilator using verilator --lint-only --top-module clic_apb $(bender script verilator).
There are a few warnings, but no errors.

However, when I change the parameter INTCTLBITS of clic_apb to a non-default value (e.g. 4), I get the following error:

%Error: [...]/clic/src/clic.sv:114:19: SEL unexpected in assignment to unpacked array
  114 |     .prio_i      (intctl),
      |                   ^~~~~~

This happens because signal intctl has a hardcoded width of 8 and not INTCTLBITS bits (same for signal irq_max).
The error can likely be fixed by changing the width of these signals, but I am not sure if any other logic needs to be changed also.