Re: [PATCH 1/1] ui: Replacing pointer in function

2023-10-25 Thread Marc-André Lureau
ября 2023 г. 15:23:42 > Кому: Миронов Сергей Владимирович > Копия: kra...@redhat.com; qemu-devel@nongnu.org; Linux Verification Center > Тема: Re: [PATCH 1/1] ui: Replacing pointer in function > > On Thu, Oct 12, 2023 at 2:46 PM Sergey Mironov wrote: > > > > At the end o

Re: [PATCH 1/1] ui: Replacing pointer in function

2023-10-25 Thread Миронов Сергей Владимирович
Hello! Is there any progress on this patch? От: Marc-André Lureau Отправлено: 16 октября 2023 г. 15:23:42 Кому: Миронов Сергей Владимирович Копия: kra...@redhat.com; qemu-devel@nongnu.org; Linux Verification Center Тема: Re: [PATCH 1/1] ui: Replacing pointer

Re: [PATCH 1/1] ui: Replacing pointer in function

2023-10-16 Thread Marc-André Lureau
On Thu, Oct 12, 2023 at 2:46 PM Sergey Mironov wrote: > > At the end of the first if we see 'vc->gfx.surface = NULL;', > further checking of it is pointless. In the second if, ectx is taken. > > Found by Linux Verification Center (linuxtesting.org) with SVACE. > > Co-developed-by: Linux

[PATCH 1/1] ui: Replacing pointer in function

2023-10-12 Thread Sergey Mironov
At the end of the first if we see 'vc->gfx.surface = NULL;', further checking of it is pointless. In the second if, ectx is taken. Found by Linux Verification Center (linuxtesting.org) with SVACE. Co-developed-by: Linux Verification Center Signed-off-by: Sergey Mironov --- ui/gtk.c | 2 +- 1