ALT Linux Bugzilla – Full Text Bug Listing
| 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.