On Mon, Nov 18, 2024 at 09:51:37AM +0200, Toomas Soome wrote: > Hi! > > I would like to update work done by John Levon, there is other function, > similar to cmn_err(). > 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. 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. regards, dan carpenter
