[Bug c++/106206] New: [12/13 Regression] ICE: canonical types differ for identical types 'int(...)' and 'int(...)'

[Bug c++/106206] New: [12/13 Regression] ICE: canonical types differ for identical types 'int(...)' and 'int(...)'

[gscfq@t-online.de]

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

            Bug ID: 106206
           Summary: [12/13 Regression] ICE: canonical types differ for
                    identical types 'int(...)' and 'int(...)'
           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 20210627 and 20210704, with file g++.dg/abi/covariant3.C :
(gcc configured with --enable-checking=yes)


$ gcc-11 -c covariant3.C -O2 -fprofile-arcs -fanalyzer
$
$ gcc-13-20220703 -c covariant3.C -O2 -fprofile-arcs -fanalyzer
during IPA pass: analyzer
cc1plus: internal compiler error: canonical types differ for identical types
'int(...)' and 'int(...)'
0xa4d28c comptypes(tree_node*, tree_node*, int)
        ../../gcc/cp/typeck.cc:1560
0xa4c0a4 structural_comptypes
        ../../gcc/cp/typeck.cc:1463
0xa4d240 comptypes(tree_node*, tree_node*, int)
        ../../gcc/cp/typeck.cc:1553
0xa4c0a4 structural_comptypes
        ../../gcc/cp/typeck.cc:1463
0xa4d240 comptypes(tree_node*, tree_node*, int)
        ../../gcc/cp/typeck.cc:1553
0x7c8fe8 cxx_types_compatible_p(tree_node*, tree_node*)
        ../../gcc/cp/cp-objcp-common.cc:126
0xaf3842 c_fold_indirect_ref_for_warn
        ../../gcc/c-family/c-pretty-print.cc:1834
0xaf3b65 c_fold_indirect_ref_for_warn
        ../../gcc/c-family/c-pretty-print.cc:1902
0xaf3b65 c_fold_indirect_ref_for_warn
        ../../gcc/c-family/c-pretty-print.cc:1902
0xaf4e8c print_mem_ref
        ../../gcc/c-family/c-pretty-print.cc:1964
0x8491cc expr_to_string(tree_node*)
        ../../gcc/cp/error.cc:3289
0x849b8c cp_printer
        ../../gcc/cp/error.cc:4458
0x2179080 pp_format(pretty_printer*, text_info*)
        ../../gcc/pretty-print.cc:1475
0x151db3a ana::evdesc::event_desc::formatted_print(char const*, ...) const
        ../../gcc/analyzer/pending-diagnostic.cc:114
0x20e3b96 ana::warning_event::get_desc(bool) const
        ../../gcc/analyzer/checker-path.cc:1136
0x20e35a2 ana::checker_event::prepare_for_emission(ana::checker_path*,
ana::pending_diagnostic*, diagnostic_event_id_t)
        ../../gcc/analyzer/checker-path.cc:237
0x2103d48 ana::checker_path::prepare_for_emission(ana::pending_diagnostic*)
        ../../gcc/analyzer/checker-path.h:652
0x2103d48 ana::diagnostic_manager::emit_saved_diagnostic(ana::exploded_graph
const&, ana::saved_diagnostic const&)
        ../../gcc/analyzer/diagnostic-manager.cc:1396
0x2104861 ana::dedupe_winners::emit_best(ana::diagnostic_manager*,
ana::exploded_graph const&)
        ../../gcc/analyzer/diagnostic-manager.cc:1296
0x2104861 ana::diagnostic_manager::emit_saved_diagnostics(ana::exploded_graph
const&)
        ../../gcc/analyzer/diagnostic-manager.cc:1348

[Bug analyzer/106206] [12/13 Regression] ICE: canonical types differ for identical types 'int(...)' and 'int(...)'

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c++                         |analyzer
           Priority|P3                          |P2
     Ever confirmed|0                           |1
   Target Milestone|---                         |12.2
                 CC|                            |mpolacek at gcc dot gnu.org
   Last reconfirmed|                            |2022-07-05
           Assignee|unassigned at gcc dot gnu.org      |dmalcolm at gcc dot gnu.org

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

Started with r12-1931-ge61ffa201403e3:

commit e61ffa201403e3814a43b176883e176716b1492f
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Wed Jun 30 09:39:04 2021 -0400

    analyzer: eliminate enum binding_key [PR95006]

[Bug analyzer/106206] [12/13/14 Regression] ICE: canonical types differ for identical types 'int(...)' and 'int(...)' since r12-1931-ge61ffa201403e3

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|12.3                        |12.4

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 12.3 is being released, retargeting bugs to GCC 12.4.