From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 4D6FE3858D38; Mon, 17 Apr 2023 03:11:47 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4D6FE3858D38 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1681701107; bh=IhuZqPookv5clMSCMASmYTveMC0xzj7NQRpKfa/XRC0=; h=From:To:Subject:Date:From; b=PE+5cqg4W7lYoScd2cK3uY/xSli35mb9Gd2SIG+zUAzPL92P+RUNQ2wJcVeGpJgOs 2pLr3GvndX4kjYITSFcfdsqAsQ91EGmUNpGxdBHfyBrlXSnFdw7ZnSX5kYX+49RMvl qgKuJTbQYZ2UJshht/M2+lDL1LGsmcSbzzuWPYCA= From: "sjames at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/109531] New: Checking ICE with hash table checking failed: equal operator returns true for a pair of values with a different hash value Date: Mon, 17 Apr 2023 03:11:46 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c++ X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: sjames at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone cf_gcchost cf_gcctarget cf_gccbuild attachments.created Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109531 Bug ID: 109531 Summary: Checking ICE with hash table checking failed: equal operator returns true for a pair of values with a different hash value Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: sjames at gcc dot gnu.org Target Milestone: --- Host: x86_64-pc-linux-gnu Target: x86_64-pc-linux-gnu Build: x86_64-pc-linux-gnu Created attachment 54872 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D54872&action=3Dedit ArithmeticSubtermGeneralization.ii.orig.xz Hit this with vampire-4.7: ``` $ /usr/bin/x86_64-pc-linux-gnu-g++ -DCHECK_LEAKS=3D0 -DVDEBUG=3D0 -DVZ3=3D1 -I/var/tmp/portage/sci-mathematics/vampire-4.7-r1/work/vampire-2d02e4655e1b= 08d1ca9ee7c0aade40f59f046460 -O2 -march=3Dznver3 -pipe -U_GLIBCXX_ASSERTIONS -U_FORTIFY_SOURCE -fno-strict-aliasing -std=3Dc++14 -fdiagnostics-color=3Dalways -Wall -c /var/tmp/portage/sci-mathematics/vampire-4.7-r1/work/vampire-2d02e4655e1b08= d1ca9ee7c0aade40f59f046460/Inferences/ArithmeticSubtermGeneralization.cpp hash table checking failed: equal operator returns true for a pair of values with a different hash value [... warning output ...] /var/tmp/portage/sci-mathematics/vampire-4.7-r1/work/vampire-2d02e4655e1b08= d1ca9ee7c0aade40f59f046460/Lib/Metaiterators.hpp:1787:19: internal compiler error: in hashtab_chk_error, at hash-table.cc:137 1787 | Container collect() | ^~~~~~~ 0x18f8915 hashtab_chk_error() =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/hash-ta= ble.cc:137 0x67cd7a hash_table::verify(tree_node* cons= t&, unsigned int) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/hash-ta= ble.h:1118 0x67cd7a hash_table::find_slot_with_hash(tree_node* const&, unsigned int, insert_option) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/hash-ta= ble.h:1046 0x67cd7a hash_table::find_slot(tree_node* const&, insert_option) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/hash-ta= ble.h:435 0x67cd7a canonical_type_parameter(tree_node*) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:4536 0x1d69d7f tsubst(tree_node*, tree_node*, int, tree_node*) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:16298 0x1e7d600 tsubst_function_type =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:15649 0x1d689e9 tsubst(tree_node*, tree_node*, int, tree_node*) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:16468 0x1e7a865 tsubst_function_decl =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:14419 0x202b236 tsubst_template_decl =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:14730 0x1e5be82 tsubst_decl =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:14892 0x1e72315 instantiate_class_template(tree_node*) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:12338 0x1aa8568 complete_type(tree_node*) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/type= ck.cc:138 0x1aa8402 complete_type_or_maybe_complain(tree_node*, tree_node*, int) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/type= ck.cc:151 0x1cab4b2 require_complete_type(tree_node*, int) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/type= ck.cc:94 0x1ca483e build_cxx_call(tree_node*, int, tree_node**, int, tree_node*) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/call= .cc:10981 0x84ef64 build_over_call =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/call= .cc:10432 0x1d91d09 build_new_method_call(tree_node*, tree_node*, vec**, tree_node*, int, tree_node**, int) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/call= .cc:11703 0x1df5802 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:21314 0x1e1a540 tsubst_expr(tree_node*, tree_node*, int, tree_node*) =20=20=20=20=20=20=20 /usr/src/debug/sys-devel/gcc-13.0.1_pre20230416/gcc-13-20230416/gcc/cp/pt.c= c:19888 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See for instructions. ``` 'g++-13 -O2 -Wall -c ArithmeticSubtermGeneralization.ii' is enough to reproduce. Reduction in progress.=