Bug 944752 – sci-mathematics/vampire-4.9 fails to compile: Hash.hpp:291:11: error: instantiating erroneous template

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Agostino Sarubbo 2024-11-23 17:45:41 UTC]

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/vampire-4.9 fails to compile.
Discovered on: amd64 (internal ref: gcc15_tinderbox)
System: GCC-15-SYSTEM (https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#GCC-15)

Info about the issue:
https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0014

[Comment 1 Agostino Sarubbo 2024-11-23 17:45:43 UTC]

Created attachment 911679 [details]
build.log

build log and emerge --info

[Comment 2 Agostino Sarubbo 2024-11-23 17:45:43 UTC]

Error(s) that match a know pattern in addition to what has been reported in the summary:


FAILED: CMakeFiles/obj.dir/Debug/Tracer.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/EqHelper.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/Formula.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/FormulaTransformer.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/FormulaUnit.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/Grounder.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/Inference.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/InferenceStore.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/InterpretedLiteralEvaluator.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/KBO.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/LiteralSelector.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/MainLoop.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/Matcher.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/Ordering.cpp.o 
FAILED: CMakeFiles/obj.dir/Kernel/Problem.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/Environment.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/System.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/Timer.cpp.o 
fatal: not a git repository (or any parent up to mount point /var/tmp)
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:291:11: error: instantiating erroneous template

[Comment 3 Sam James 2024-11-23 17:47:06 UTC]

In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.hpp:29,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.cpp:15:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: warning: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 |