On Wed, 25 Feb 2026, Torbjorn SVENSSON wrote:

> Gentle ping.

OK

Richard.

> Kind regards,
> Torbjörn
> 
> On 2026-02-13 15:56, Torbjörn SVENSSON wrote:
> > Ok for releases/gcc-15?
> > 
> > --
> > 
> > After r15-10673-ge869244a134c84, the bogous warning is no longer
> > emitted.
> > 
> > gcc/testsuite/ChangeLog:
> > 
> >  PR testsuite/124065
> >  * gcc.dg/analyzer/zlib-3.c: Drop xfail.
> > 
> > Signed-off-by: Torbjörn SVENSSON <[email protected]>
> > ---
> >   gcc/testsuite/gcc.dg/analyzer/zlib-3.c | 2 +-
> >   1 file changed, 1 insertion(+), 1 deletion(-)
> > 
> > diff --git a/gcc/testsuite/gcc.dg/analyzer/zlib-3.c
> > b/gcc/testsuite/gcc.dg/analyzer/zlib-3.c
> > index def83006a71..2f63803b80f 100644
> > --- a/gcc/testsuite/gcc.dg/analyzer/zlib-3.c
> > +++ b/gcc/testsuite/gcc.dg/analyzer/zlib-3.c
> > @@ -184,7 +184,7 @@ static int huft_build(uInt *b, uInt n, uInt s, const
> > uInt *d, const uInt *e,
> >         mask = (1 << w) - 1;
> >         /* The analyzer thinks that h can be -1 here.
> >            This is probably a false positive. */
> > -      while ((i & mask) !=  x[h]) { /* { dg-bogus "under-read" "" { xfail
> > *-*-* } } */
> > +      while ((i & mask) !=  x[h]) { /* { dg-bogus "under-read" } */
> >           h--;
> >           w -= l;
> >           mask = (1 << w) - 1;
> 
> 

-- 
Richard Biener <[email protected]>
SUSE Software Solutions Germany GmbH,
Frankenstrasse 146, 90461 Nuernberg, Germany;
GF: Jochen Jaser, Andrew McDonald, Werner Knoblich; (HRB 36809, AG Nuernberg)

Reply via email to