Smatch report for ubispl

[Benedikt Spranger]

On Fri, 1 Aug 2025 12:42:06 +0100
Andrew Goodbody <andrew.goodbody at linaro.org> wrote:

> Smatch reports the following error.
Fine.

> drivers/mtd/ubispl/ubispl.c:782 ubi_scan_fastmap() error: memcpy()
> 'vh' too small (64 vs 268)
OK. And how does it come to that conclusion?
What config - what extra shebang was used to get here?

> I do not know the code well enough to attempt a fix in this case.
And I have no glasball to get sufficient information...

So please provide more information, what you are doing, what
configuration you use, what is going on behind the scenes.

We are talking mainly about SPL code here. How are you shure that the
suggestion of your tool is correct? Can your tool handle code which
interacts with flat mamory without any memory management?

And last but not least how is UBI_FM_MAX_BLOCKS configured?

Regards
    Benedikt Spranger