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
