[Bug c/106913] New: [13 Regression] ICE in dump_bb_info, at cfg.cc:796

[Bug c/106913] New: [13 Regression] ICE in dump_bb_info, at cfg.cc:796

[gscfq@t-online.de]

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

            Bug ID: 106913
           Summary: [13 Regression] ICE in dump_bb_info, at cfg.cc:796
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started between 20220828 and 20220904, at -O0,
with file gcc.dg/pr51879.c (and several others) :


$ cat z1.c      # alias pr51879.c
int bar (int);
void baz (int);
void
foo (int y)
{
  int a;
  if (y == 6)
    a = bar (7);
  else
    a = bar (7);
  baz (a);
}


$ gcc-13-20220911 -c z1.c -O0 -da -Wall
during RTL pass: jump
dump file: z1.c.257r.jump
z1.c: In function 'foo':
z1.c:12:1: internal compiler error: in dump_bb_info, at cfg.cc:796
   12 | }
      | ^
0x9433ec dump_bb_info(_IO_FILE*, basic_block_def*, int, dump_flag, bool, bool)
        ../../gcc/cfg.cc:796
0x965f97 dump_bb(_IO_FILE*, basic_block_def*, int, dump_flag)
        ../../gcc/cfghooks.cc:299
0x9661cf dump_flow_info(_IO_FILE*, dump_flag)
        ../../gcc/cfghooks.cc:361
0x1c019cd execute
        ../../gcc/cfgcleanup.cc:3239

[Bug rtl-optimization/106913] [13 Regression] ICE in dump_bb_info, at cfg.cc:796 since r13-2263-gf71abacfed170852

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-09-12
             Status|UNCONFIRMED                 |ASSIGNED
            Summary|[13 Regression] ICE in      |[13 Regression] ICE in
                   |dump_bb_info, at cfg.cc:796 |dump_bb_info, at cfg.cc:796
                   |                            |since
                   |                            |r13-2263-gf71abacfed170852
           Assignee|unassigned at gcc dot gnu.org      |marxin at gcc dot gnu.org
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |rguenth at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r13-2263-gf71abacfed170852, but I can take a look.

[Bug rtl-optimization/106913] [13 Regression] ICE in dump_bb_info, at cfg.cc:796 since r13-2263-gf71abacfed170852

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|marxin at gcc dot gnu.org          |rguenth at gcc dot gnu.org
   Target Milestone|---                         |13.0

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
That looks like we fail to clear an auto_bb_flag but verification should also
catch that earlier ... huh.  Maybe we fail to verify that for ENTRY/EXIT.

I have a patch.

[Bug rtl-optimization/106913] [13 Regression] ICE in dump_bb_info, at cfg.cc:796 since r13-2263-gf71abacfed170852

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:ad08894ea02b6308c4ed4e8cd8e6a564c2f581e8

commit r13-2639-gad08894ea02b6308c4ed4e8cd8e6a564c2f581e8
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Sep 13 08:46:51 2022 +0200

    tree-optimization/106913 - ICE with -da and -Wuninitialized

    The following avoids setting and not clearing an auto_bb_flag
    on EXIT_BLOCK which we don't verify for such stale flags but
    dump_bb_info still asserts on them.

            PR tree-optimization/106913
            * tree-ssa-uninit.cc (warn_uninitialized_vars): Do not set
            ft_reachable on EXIT_BLOCK.

[Bug rtl-optimization/106913] [13 Regression] ICE in dump_bb_info, at cfg.cc:796 since r13-2263-gf71abacfed170852

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.