Bug 48638 - NO_EFFECT необязательное сравнение с 0 в rpm-
Summary: NO_EFFECT необязательное сравнение с 0 в rpm-
Status: NEW
Alias: None
Product: Sisyphus
Classification: Development
Component: rpm (show other bugs)
Version: unstable
Hardware: x86 Linux
: P5 normal
Assignee: placeholder@altlinux.org
QA Contact: qa-sisyphus
Depends on:
Reported: 2023-11-30 12:27 MSK by a.slepykh
Modified: 2023-11-30 12:27 MSK (History)
6 users (show)

See Also:

Скриншот фрагмента кода (24.94 KB, image/png)
2023-11-30 12:27 MSK, a.slepykh
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
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.