On 1/23/25 14:34, Dan Carpenter wrote:
> Hello Bernd Schubert,
>
> Commit e24b7a3b70ae ("fuse: make args->in_args[0] to be always the
> header") from Jan 20, 2025 (linux-next), leads to the following
> Smatch static checker warning:
>
> fs/fuse/dir.c:596 get_create_ext()
> error: buffer overflow 'args->in_args' 3 <= 3
>
Oh no, right. I just wonder why I don't get the same report
bschubert2@imesrv6 linux.git>git show HEAD |grep "fuse:"
fuse: make args->in_args[0] to be always the header
Nothing reported except this:
fs/fuse/dax.c:285 dmap_removemapping_list() error: uninitialized symbol 'ret'.
fs/fuse/virtio_fs.c:944 virtio_fs_setup_vqs() error: uninitialized symbol 'virtio_cread_v'.
And no idea why it passes manual testing and all the xfstests (with ASAN
and UBSAN enabled). Just manually tested symlink creation with this patch,
no ASAN report, hmm.
Anyway going to increase the array to 4.
Thanks a lot for the report,
Bernd
