Re: [PATCH] block/monitor: blk_bs() return value check

2023-11-24 Thread Kevin Wolf
Am 24.11.2023 um 15:05 hat Дмитрий Фролов geschrieben: > > > On 24.11.2023 16:06, Kevin Wolf wrote: > > Am 24.11.2023 um 12:30 hat Dmitry Frolov geschrieben: > > > blk_bs() may return NULL, which will be dereferenced without a check in > > > bdrv_commit(). > > > > > > Found by Linux Verification

Re: [PATCH] block/monitor: blk_bs() return value check

2023-11-24 Thread Дмитрий Фролов
On 24.11.2023 16:06, Kevin Wolf wrote: Am 24.11.2023 um 12:30 hat Dmitry Frolov geschrieben: blk_bs() may return NULL, which will be dereferenced without a check in bdrv_commit(). Found by Linux Verification Center (linuxtesting.org) with SVACE. Signed-off-by: Dmitry Frolov Do you have a

Re: [PATCH] block/monitor: blk_bs() return value check

2023-11-24 Thread Kevin Wolf
Am 24.11.2023 um 12:30 hat Dmitry Frolov geschrieben: > blk_bs() may return NULL, which will be dereferenced without a check in > bdrv_commit(). > > Found by Linux Verification Center (linuxtesting.org) with SVACE. > > Signed-off-by: Dmitry Frolov Do you have a reproducer for a crash? As far a

[PATCH] block/monitor: blk_bs() return value check

2023-11-24 Thread Dmitry Frolov
blk_bs() may return NULL, which will be dereferenced without a check in bdrv_commit(). Found by Linux Verification Center (linuxtesting.org) with SVACE. Signed-off-by: Dmitry Frolov --- block/monitor/block-hmp-cmds.c | 8 +++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/blo