[Bug analyzer/93993] ICE in make_region_for_unexpected_tree_code, at analyzer/region-model.cc:4786

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93993

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Paul Thomas from comment #5)
> (In reply to CVS Commits from comment #4)
> > The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:
> > 
> > https://gcc.gnu.org/g:4ac3eb5c5f157bea22b5ae34b0df254d729dac25
> > 
> > commit r10-7028-g4ac3eb5c5f157bea22b5ae34b0df254d729dac25
> > Author: David Malcolm <dmalcolm@redhat.com>
> > Date:   Wed Mar 4 12:10:34 2020 -0500
> > 
> >     analyzer: add regression test for fixed ICE [PR94028]
> >     
> >     The C++ reproducer for PR analyzer/94028 generates a similar ICE
> >     to that of the Fortran reproducer for PR analyzer/93993 and, like
> >     it, was fixed by r10-7023-g3d66e153b40ed000af30a9e569a05f34d5d576aa.
> >     
> >     This patch adds the C++ reproducer as a regression test.
> >     
> >     gcc/testsuite/ChangeLog:
> >     	PR analyzer/94028
> >     	* g++.dg/analyzer/pr94028.C: New test.
> 
> FAIL: gfortran.dg/analyzer/pr93993.f90   -O  (test for excess errors)
> Excess errors:
> /home/pault/gitsources/gcc/gcc/testsuite/gfortran.dg/analyzer/pr93993.f90:21:
> 0: Warning: leak of 'tm' [CWE-401] [-Wanalyzer-malloc-leak]
> 
> On current 10-branch. FC31/x86_64
> 
> Paul

@David: The test-case is still failing. Are you planning to fix it or may I
mark it as xfail?