Re: the sigsegv issue with recent smatch

Dan Carpenter <[email protected]> Wed, 26 Nov 2025 15:55:16 +0300
Newsgroups org.kernel.vger.smatch
Message-ID <[email protected]>
On Tue, Nov 25, 2025 at 06:27:06PM +0200, Toomas Soome wrote:
> I got a bit background for sigsegv case.
> 

Do you have a reproducer script I could try?  I think your
reading of the code is correct.  It's trying to take the
something like:

	x = frob(a, b, c, d);

and create a fake assignment:

	x = d;

And, I guess, it can't find 'd'.  But my line numbers in mdb_nv.c are
different from yours.

There seems to be an obvious fix which I have done and pushed
but I can't test it.  Could you give it a shot?
https://github.com/error27/smatch/commit/4dca0c1677879bf9a86b2311bf1ba75acfdf82ba

regards,
dan carpenter