Summary: | NO_EFFECT необязательное сравнение с 0 в rpm-4.13.0.1/lib/header.c | ||||||
---|---|---|---|---|---|---|---|
Product: | Sisyphus | Reporter: | a.slepykh | ||||
Component: | rpm | Assignee: | 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: |
|
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.