[Bug 266777] c++ crashes during link on arm64 on math/lean

From: <bugzilla-noreply_at_freebsd.org>
Date: Sun, 02 Oct 2022 22:29:43 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=266777

            Bug ID: 266777
           Summary: c++ crashes during link on arm64 on math/lean
           Product: Base System
           Version: 13.1-RELEASE
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: misc
          Assignee: bugs@FreeBSD.org
          Reporter: yuri@freebsd.org

131arm64 builds for math/lean fail with Signal 11:

> [100% 340/340] : && /usr/bin/c++ -Wall -Wextra -std=c++11  -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -fstack-protector-strong  -pthread shell/CMakeFiles/shell_js.dir/lean_js.cpp.o shell/CMakeFiles/shell_js.dir/server.cpp.o tests/shell/CMakeFiles/shell_test.dir/shell.cpp.o -o tests/shell/shell_test  -Wl,-rpath,/usr/local/lib  libleanstatic.a  /usr/local/lib/libgmp.so  /usr/local/lib/libtcmalloc.so  -lprocstat && :
> *** Signal 11

Log:
http://ampere3.nyi.freebsd.org/data/131arm64-default/b46629e97f41/logs/lean-3.48.0_1.log

-- 
You are receiving this mail because:
You are the assignee for the bug.