Bug 48638

Summary: NO_EFFECT необязательное сравнение с 0 в rpm-4.13.0.1/lib/header.c
Product: Sisyphus Reporter: a.slepykh
Component: rpmAssignee: placeholder <placeholder>
Status: NEW --- QA Contact: qa-sisyphus
Severity: normal    
Priority: P5 CC: at, glebfm, imz, ldv, placeholder, vt
Version: unstable   
Hardware: x86   
OS: Linux   
Attachments:
Description Flags
Скриншот фрагмента кода none

Description a.slepykh 2023-11-30 12:27:32 MSK
Created attachment 15132 [details]
Скриншот фрагмента кода

Необязательное сравнение с нулем в строке 1278 в условной конструкции if(iconv (icd, &inbuf, &inbufleft, &outbuf, &outbufleft) >= 0), поскольку функция iconv() возвращает беззнаковый тип, то есть результат всегда будет больше или равен нулю.

Found by Linux Verification Center (portal.linuxtesting.ru) with SVACE.

Author A.Slepykh.