Bug 48638 - NO_EFFECT необязательное сравнение с 0 в rpm-4.13.0.1/lib/header.c
Summary: NO_EFFECT необязательное сравнение с 0 в rpm-4.13.0.1/lib/header.c
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
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-11-30 12:27 MSK by a.slepykh
Modified: 2023-11-30 12:27 MSK (History)
6 users (show)

See Also:

Attachments
Скриншот фрагмента кода (24.94 KB, image/png)
2023-11-30 12:27 MSK, a.slepykh 		no flags Details
View All Add an attachment (proposed patch, testcase, etc.)

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.