On Wed, Mar 26, 2025 at 14:58:02 +0300, Alexander Kuznetsov wrote: > This function return value is invariant since e59b8f9, so change > its type and remove all dependent checks. > > Found by Linux Verification Center (linuxtesting.org) with Svace. > > Signed-off-by: Artem Chernyshev <artem.chernyshev@xxxxxxxxxxx> > Signed-off-by: Alexander Kuznetsov <kuznetsovam@xxxxxxxxxxxx> > --- > src/ch/ch_monitor.c | 5 +---- > src/hypervisor/domain_driver.c | 4 +--- > src/qemu/qemu_driver.c | 3 +-- > src/util/virbitmap.c | 6 +----- > src/util/virbitmap.h | 2 +- > src/util/virhostcpu.c | 4 ++-- > tests/virbitmaptest.c | 3 +-- > tools/virsh-completer-domain.c | 6 ++---- > tools/virsh-domain.c | 3 +-- > 9 files changed, 11 insertions(+), 25 deletions(-) Reviewed-by: Jiri Denemark <jdenemar@xxxxxxxxxx> and pushed.