[committed] analyzer: rewrite of region and value-handling

David Malcolm dmalcolm@redhat.com
Fri Aug 14 20:20:30 GMT 2020

On Fri, 2020-08-14 at 10:49 +0200, Christophe Lyon wrote:
> Hi David,
> On Thu, 13 Aug 2020 at 22:58, David Malcolm via Gcc-patches
> <gcc-patches@gcc.gnu.org> wrote:
> > This large patch reimplements how the analyzer tracks regions and
> > values.


> > Pushed to master as 808f4dfeb3a95f50f15e71148e5c1067f90a126d.
> > 
> Some of the new tests fail on arm and aarch64.

Sorry about the failures.

The failures were additionally reported as failing on powerpc64 to
bugzilla as PR testsuite/96609 and PR analyzer/96616; those reports
both mentioned the init.c and the pr93032-mztools.c failures.

The init.c failures and the casts-1.c failures on arm seems to be due
to the analyzer not knowing about constant pools.  I'm testing a fix
for that now.

I'll look at the pr93032-mztools.c next.

> Christophe

Thanks for the report; sorry for the breakage

More information about the Gcc-patches mailing list