PVS/V751: tui.c, Parameter is not used

False positive. Documentation for grid_scroll says "`cols` is always
zero, reserved for future use".
This commit is contained in:
Justin M. Keyes 2019-01-04 02:29:35 +01:00
parent 423b6d9907
commit 788ade1d29

View File

@ -1052,6 +1052,7 @@ static void tui_grid_scroll(UI *ui, Integer g, Integer startrow, Integer endrow,
Integer startcol, Integer endcol,
Integer rows, Integer cols)
{
(void)cols; // unused
TUIData *data = ui->data;
UGrid *grid = &data->grid;
int top = (int)startrow, bot = (int)endrow-1;