Re: New Defects reported by Coverity Scan for RTEMS-Newlib

Brian Inglis <[email protected]>
Newsgroups gmane.comp.lib.newlib
Organization Systematic Software
Message-ID <[email protected]>
On 2025-02-11 08:07, Joel Sherrill wrote:
> Confirming I should mark then as false positives.
> 
> Thanks.
> 
> On Tue, Feb 11, 2025 at 6:02 AM Corinna Vinschen wrote:
> 
>     On Feb 11 10:50, Alexey Lapshin wrote:
>      > Hi, interesting finding,
>      >
>      > Are not all these found "underflows" issues false-positive?
>      > Because all of them are under `while(!TOO_SMALL_LITTLE_BLOCK(len))` block
>      > which guarantees no underflow of "len" variable
> 
>     Yeah, looks like false positives to me, too.

Could add (size_t) to block size constant definitions?

-- 
Take care. Thanks, Brian Inglis              Calgary, Alberta, Canada

La perfection est atteinte                   Perfection is achieved
non pas lorsqu'il n'y a plus rien à ajouter  not when there is no more to add
mais lorsqu'il n'y a plus rien à retrancher  but when there is no more to cut
                                 -- Antoine de Saint-Exupéry
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.