Bug 904375 – sys-devel/gcc: ICE when building sci-mathematics/vampire-4.7-r1 with -fchecking (hash table checking failed: equal operator returns true for a pair of values with a different hash value)

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Toralf Förster 2023-04-15 16:55:28 UTC]

0xb63dea tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*)
	???:0
0xb633f7 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*)
	???:0
0xb64241 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*)
	???:0
Please submit a full bug report, with preprocessed source (by using -freport-bug).
Please include the complete backtrace with any bug report.
See <https://bugs.gentoo.org/> for instructions.

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1-j4-20230412-054012

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
clang version 16.0.1
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/16/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/16
16.0.1
Python 3.10.11
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.18_p10 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17]
3)	Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17  system-vm

The Glorious Glasgow Haskell Compilation System, version 9.0.2
php cli (if any):
go version go1.20.3 linux/amd64

  HEAD of ::gentoo
commit 4ddac2c1f502bfa1f530a15d96f514c7bb25656f
Author: Repository mirror & CI <[e-mail]>
Date:   Sat Apr 15 09:46:56 2023 +0000

    2023-04-15 09:46:56 UTC

emerge -qpvO sci-mathematics/vampire
[ebuild  N    ] sci-mathematics/vampire-4.7-r1  USE="z3 -debug"

[Comment 1 Toralf Förster 2023-04-15 16:55:29 UTC]

Created attachment 860159 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2023-04-15 16:55:31 UTC]

Created attachment 860160 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2023-04-15 16:55:32 UTC]

Created attachment 860161 [details]
environment

[Comment 4 Toralf Förster 2023-04-15 16:55:33 UTC]

Created attachment 860162 [details]
etc.clang.tar.bz2

[Comment 5 Toralf Förster 2023-04-15 16:55:34 UTC]

Created attachment 860163 [details]
etc.portage.tar.bz2

[Comment 6 Toralf Förster 2023-04-15 16:55:35 UTC]

Created attachment 860164 [details]
sci-mathematics:vampire-4.7-r1:20230415-112915.log.bz2

[Comment 7 Toralf Förster 2023-04-15 16:55:36 UTC]

Created attachment 860165 [details]
temp.tar.bz2

[Comment 8 Sam James 2023-04-18 07:18:17 UTC]

This is fixed in git and will be in rc1.