media: cxd2880-spi: avoid out-of-bounds access warning
authorArnd Bergmann <arnd@arndb.de>
Tue, 13 Mar 2018 12:09:11 +0000 (08:09 -0400)
committerMauro Carvalho Chehab <mchehab+samsung@kernel.org>
Fri, 4 May 2018 15:27:00 +0000 (11:27 -0400)
The -Warray-bounds warning in gcc-8 triggers for a newly added file:

drivers/media/spi/cxd2880-spi.c: In function 'cxd2880_write_reg':
drivers/media/spi/cxd2880-spi.c:111:3: error: 'memcpy' forming offset [133, 258] is out of the bounds [0, 132] of object 'send_data' with type 'u8[132]' {aka 'unsigned char[132]'} [-Werror=array-bounds]

The problem appears to be that we have two range checks in this function,
first comparing against BURST_WRITE_MAX (128) and then comparing against
a literal '255'. The logic checking the buffer size looks at the second
one and decides that this might be the actual maximum data length.

This is understandable behavior from the compiler, but the code is actually
safe. Since the first check is already shorter, we can remove the loop
and only leave that. To be on the safe side in case BURST_WRITE_MAX might
be increased, I'm leaving the check against U8_MAX.

Fixes: bd24fcddf6b8 ("media: cxd2880-spi: Add support for CXD2880 SPI interface")
Cc: Martin Sebor <msebor@gmail.com>
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Reviewed-by: Yasunari Takiguchi <Yasunari.Takiguchi@sony.com>
Signed-off-by: Mauro Carvalho Chehab <mchehab+samsung@kernel.org>
drivers/media/spi/cxd2880-spi.c

index 4df3bd312f486bc4698f7137565aa901f9aef119..011a37c2f2723d67cc8933077ca0c09ec052bc5c 100644 (file)
@@ -88,7 +88,7 @@ static int cxd2880_write_reg(struct spi_device *spi,
                pr_err("invalid arg\n");
                return -EINVAL;
        }
-       if (size > BURST_WRITE_MAX) {
+       if (size > BURST_WRITE_MAX || size > U8_MAX) {
                pr_err("data size > WRITE_MAX\n");
                return -EINVAL;
        }
@@ -101,24 +101,14 @@ static int cxd2880_write_reg(struct spi_device *spi,
        send_data[0] = 0x0e;
        write_data_top = data;
 
-       while (size > 0) {
-               send_data[1] = sub_address;
-               if (size > 255)
-                       send_data[2] = 255;
-               else
-                       send_data[2] = (u8)size;
+       send_data[1] = sub_address;
+       send_data[2] = (u8)size;
 
-               memcpy(&send_data[3], write_data_top, send_data[2]);
+       memcpy(&send_data[3], write_data_top, send_data[2]);
 
-               ret = cxd2880_write_spi(spi, send_data, send_data[2] + 3);
-               if (ret) {
-                       pr_err("write spi failed %d\n", ret);
-                       break;
-               }
-               sub_address += send_data[2];
-               write_data_top += send_data[2];
-               size -= send_data[2];
-       }
+       ret = cxd2880_write_spi(spi, send_data, send_data[2] + 3);
+       if (ret)
+               pr_err("write spi failed %d\n", ret);
 
        return ret;
 }