Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Mon, 31 Oct 2022 09:41:19 +0100
From:   Marc Kleine-Budde <mkl@pengutronix.de>
To:     kernel test robot <lkp@intel.com>
Cc:     Kenneth Lee <klee33@uw.edu>, oe-kbuild-all@lists.linux.dev,
        linux-kernel@vger.kernel.org
Subject: Re: drivers/net/can/usb/kvaser_usb/kvaser_usb_hydra.c:489:65:
 warning: array subscript 'struct kvaser_cmd_ext[0]' is partly outside array
 bounds of 'unsigned char[32]'
Message-ID: <20221031084119.bt73s33ps5naz4eh@pengutronix.de>
References: <202210310759.iwMoLzLT-lkp@intel.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha512;
        protocol="application/pgp-signature"; boundary="u63tyxrcg47sgpwk"
Content-Disposition: inline
In-Reply-To: <202210310759.iwMoLzLT-lkp@intel.com>
Precedence: bulk


--u63tyxrcg47sgpwk
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On 31.10.2022 07:35:36, kernel test robot wrote:
> tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.gi=
t master
> head:   30a0b95b1335e12efef89dd78518ed3e4a71a763
> commit: 00784da3e6b8c1f0e58d813272503d014de8f64b can: kvaser_usb: kvaser_=
usb_hydra: Use kzalloc for allocating only one element
> date:   8 weeks ago
> config: i386-randconfig-r021-20221031
> compiler: gcc-11 (Debian 11.3.0-8) 11.3.0
> reproduce (this is a W=3D1 build):
>         # https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.=
git/commit/?id=3D00784da3e6b8c1f0e58d813272503d014de8f64b
>         git remote add linus https://git.kernel.org/pub/scm/linux/kernel/=
git/torvalds/linux.git
>         git fetch --no-tags linus master
>         git checkout 00784da3e6b8c1f0e58d813272503d014de8f64b
>         # save the config file
>         mkdir build_dir && cp config build_dir/.config
>         make W=3D1 O=3Dbuild_dir ARCH=3Di386 SHELL=3D/bin/bash
>=20
> If you fix the issue, kindly add following tag where applicable
> | Reported-by: kernel test robot <lkp@intel.com>
>=20
> All warnings (new ones prefixed by >>):
>=20
>    In file included from include/linux/byteorder/little_endian.h:5,
>                     from arch/x86/include/uapi/asm/byteorder.h:5,
>                     from include/asm-generic/bitops/le.h:6,
>                     from arch/x86/include/asm/bitops.h:416,
>                     from include/linux/bitops.h:68,
>                     from include/linux/kernel.h:22,
>                     from arch/x86/include/asm/percpu.h:27,
>                     from arch/x86/include/asm/preempt.h:6,
>                     from include/linux/preempt.h:78,
>                     from include/linux/spinlock.h:55,
>                     from include/linux/swait.h:7,
>                     from include/linux/completion.h:12,
>                     from drivers/net/can/usb/kvaser_usb/kvaser_usb_hydra.=
c:16:
>    drivers/net/can/usb/kvaser_usb/kvaser_usb_hydra.c: In function 'kvaser=
_usb_hydra_send_simple_cmd':
> >> drivers/net/can/usb/kvaser_usb/kvaser_usb_hydra.c:489:65: warning: arr=
ay subscript 'struct kvaser_cmd_ext[0]' is partly outside array bounds of '=
unsigned char[32]' [-Warray-bounds]
>      489 |                 ret =3D le16_to_cpu(((struct kvaser_cmd_ext *)=
cmd)->len);
>    include/uapi/linux/byteorder/little_endian.h:37:51: note: in definitio=
n of macro '__le16_to_cpu'
>       37 | #define __le16_to_cpu(x) ((__force __u16)(__le16)(x))
>          |                                                   ^
>    drivers/net/can/usb/kvaser_usb/kvaser_usb_hydra.c:489:23: note: in exp=
ansion of macro 'le16_to_cpu'
>      489 |                 ret =3D le16_to_cpu(((struct kvaser_cmd_ext *)=
cmd)->len);
>          |                       ^~~~~~~~~~~
>    drivers/net/can/usb/kvaser_usb/kvaser_usb_hydra.c:537:15: note: refere=
ncing an object of size 32 allocated by 'kzalloc'
>      537 |         cmd =3D kzalloc(sizeof(*cmd), GFP_KERNEL);
>          |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

I think this is a false positive.

The commit you're building 00784da3e6b8 ("can: kvaser_usb:
kvaser_usb_hydra: Use kzalloc for allocating only one element") contains
3e88445a3a5a ("can: kvaser_usb: silence a GCC 12 -Warray-bounds
warning").

In the latter commit, the -Warray-bounds warning was disabled, as gcc-12
has some problem with it. However you're using gcc-11 (Debian 11.3.0-8)
11.3.0 here. Don't know the status of gcc-11 with regards to that
warning.

In the mean time in 26117d92d001 ("can: kvaser_usb: Remove
-Warray-bounds exception") that was removed, as gcc-13 should be fixed.

regards,
Marc

--=20
Pengutronix e.K.                 | Marc Kleine-Budde           |
Embedded Linux                   | https://www.pengutronix.de  |
Vertretung West/Dortmund         | Phone: +49-231-2826-924     |
Amtsgericht Hildesheim, HRA 2686 | Fax:   +49-5121-206917-5555 |

--u63tyxrcg47sgpwk
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQEzBAABCgAdFiEEBsvAIBsPu6mG7thcrX5LkNig010FAmNfiisACgkQrX5LkNig
011hdQgArjtMO7ZspDwL/AFmWmY5KiCDgnwlDiH5Ic13zvPjWYgGImjm0/cC1wV0
G13QgNe/NSoFgb77gSatWdhqCtZznYZB4tyWx6aezsWf6RE/NaI/I/kMadKlgmbd
zgIvW7VwVOaLQmsH/eyXyhYLwoFPbF6RdLQknsKNSzFF5V0yki6G6ohmV3vpBzwc
u0tvTeyjmH/GRm1kvPZMSttyaivBi7KJTwthxfURWpW0DatGUkY04E36ulOa328/
HzTe1fkFPAUQtwdmNuc14b9xSPD17RY0DzJBLax3qJ7pUD1Xpzro4IKa++wEl5VY
aQZN0xvRYTja3NI31xotpJIEy62tIA==
=8rhB
-----END PGP SIGNATURE-----

--u63tyxrcg47sgpwk--