Re: update check_cmn_err

Toomas Soome <[email protected]> Mon, 18 Nov 2024 10:07:42 +0200
Newsgroups org.kernel.vger.smatch
Message-ID <[email protected]>

> On 18. Nov 2024, at 10:02, Dan Carpenter <[email protected]> =
wrote:
>=20
> On Mon, Nov 18, 2024 at 09:51:37AM +0200, Toomas Soome wrote:
>> Hi!
>>=20
>> I would like to update work done by John Levon, there is other =
function,
>> similar to cmn_err().
>>=20
>=20
> The cmn_err() function is a function in Illumos where if you pass =
CE_PANIC to
> it then it doesn't return.  Presumably if Smatch doesn't parse this =
correctly,
> then you end up with tons of uninitialized variable false positives.  =
Probably
> other false positives as well.
>=20
> Smatch is heavily tuned for the Linux kernel because that's where my =
focus has
> been for the past fifteen years.  Most of the easy parsing issues for =
the Linux
> kernel are already addressed.  Outside of the Linux kernel then Smatch =
is very
> untuned and quite bad.
>=20
> regards,
> dan carpenter

Yep, this is for illumos, and since John did upstream the cmn_err() =
check, I would like to complement it with ddi_err() as well;) We =
currently do have a bit older version of smatch in use and I=E2=80=99m =
working to update it. Despite the issues noted, it is still rather =
helpful of detecting problems;)

thanks,
toomas=