You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build.
Maintainer: [email protected] Log URL: https://pkg-status.freebsd.org/beefy16/data/135amd64-default/8e7609740149/logs/klee-3.1.log Build URL: https://pkg-status.freebsd.org/beefy16/build.html?mastername=135amd64-default&build=8e7609740149 Log: =>> Building security/klee build started at Tue Oct 28 02:56:34 -00 2025 port directory: /usr/ports/security/klee package name: klee-3.1 building for: FreeBSD 135amd64-default-job-08 13.5-RELEASE-p6 FreeBSD 13.5-RELEASE-p6 amd64 maintained by: [email protected] Makefile datestamp: -rw-r--r-- 1 root wheel 1475 Jun 17 01:03 /usr/ports/security/klee/Makefile Ports top last git commit: 8e760974014 Ports top unclean checkout: no Port dir last git commit: fabe0a56ad5 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.4 Host OSVERSION: 1600000 Jail OSVERSION: 1305000 Job Id: 08 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1305000 UNAME_v=FreeBSD 13.5-RELEASE-p6 UNAME_r=13.5-RELEASE-p6 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.4 MASTERMNT=/usr/local/poudriere/data/.m/135amd64-default/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/135amd64-default/08/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=135amd64-default SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/135amd64-default/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.4 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for klee-3.1: TCMALLOC=on: Use tcmalloc library for memory management ====> Options available for the multi BACKEND: you have to choose at least one of them Z3=on: Enable Z3 SMT solver STP=on: Enable STP SMT solver ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- [email protected] --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.11" XDG_DATA_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CACHE_HOME=/wrkdirs/usr/ports/security/klee/work/.cache HOME=/wrkdirs/usr/ports/security/klee/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/security/klee/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/security/klee/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CMAKE_PREFIX_PATH="/usr/local" --End CONFIGURE_ENV-- --MAKE_ENV-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CACHE_HOME=/wrkdirs/usr/ports/security/klee/work/.cache HOME=/wrkdirs/usr/ports/security/klee/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/security/klee/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/security/klee/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/security/klee/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/loc al/include " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- 32BIT="" 64BIT="" CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.11 PYTHON_LIBDIR=lib/python3.11 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" OSREL=13.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/klee" EXAMPLESDIR="share/examples/klee" DATADIR="share/klee" WWWDIR="www/klee" ETCDIR="etc/klee" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.11 PYTHON_LIBDIR=/usr/local/lib/python3.11 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=/usr/local/lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/klee DOCSDIR=/usr/local/share/doc/klee EXAMPLESDIR=/usr/local/share/examples/klee WWWDIR=/usr/local/www/klee ETCDIR=/usr/local/etc/klee --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 3 jobs MAKE_JOBS_NUMBER=3 #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =======================<phase: check-sanity >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License NCSA accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> klee-3.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.3.1_1.pkg [135amd64-default-job-08] Installing pkg-2.3.1_1... [135amd64-default-job-08] Extracting pkg-2.3.1_1: .......... done ===> klee-3.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of klee-3.1 =========================================================================== =======================<phase: fetch-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: fetch >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-3.1 for building =========================================================================== =======================<phase: checksum >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-3.1 for building => SHA256 Checksum OK for klee-klee-v3.1_GH0.tar.gz. =========================================================================== =======================<phase: extract-depends>============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: extract >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-3.1 for building ===> Extracting for klee-3.1 => SHA256 Checksum OK for klee-klee-v3.1_GH0.tar.gz. =========================================================================== =======================<phase: patch-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: patch >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for klee-3.1 =========================================================================== =======================<phase: build-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> klee-3.1 depends on executable: z3 - not found ===> Installing existing package /packages/All/z3-4.15.3.0.pkg [135amd64-default-job-08] Installing z3-4.15.3.0... [135amd64-default-job-08] Extracting z3-4.15.3.0: .......... done ===> klee-3.1 depends on executable: z3 - found ===> Returning to build of klee-3.1 ===> klee-3.1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.9.pkg [135amd64-default-job-08] Installing cmake-core-3.31.9... [135amd64-default-job-08] `-- Installing expat-2.7.3... [135amd64-default-job-08] `-- Extracting expat-2.7.3: .......... done [135amd64-default-job-08] `-- Installing jsoncpp-1.9.6_1... [135amd64-default-job-08] `-- Extracting jsoncpp-1.9.6_1: .......... done [135amd64-default-job-08] `-- Installing libidn2-2.3.8... [135amd64-default-job-08] | `-- Installing indexinfo-0.3.1_1... [135amd64-default-job-08] | `-- Extracting indexinfo-0.3.1_1: .... done [135amd64-default-job-08] | `-- Installing libunistring-1.4.1... [135amd64-default-job-08] | `-- Extracting libunistring-1.4.1: .......... done [135amd64-default-job-08] `-- Extracting libidn2-2.3.8: .......... done [135amd64-default-job-08] `-- Installing libuv-1.51.0... [135amd64-default-job-08] `-- Extracting libuv-1.51.0: .......... done <snip> | ^ In file included from /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/QueryLoggingSolver.cpp:9: /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/QueryLoggingSolver.h:75:8: warning: 'setCoreSolverTimeout' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 75 | void setCoreSolverTimeout(time::Span timeout); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:109:18: note: overridden virtual function is here 109 | virtual void setCoreSolverTimeout(time::Span timeout) {}; | ^ 6 warnings generated. [ 6% 47/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SMTLIBLoggingSolver.cpp In file included from /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SMTLIBLoggingSolver.cpp:10: /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/QueryLoggingSolver.h:66:8: warning: 'computeTruth' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 66 | bool computeTruth(const Query &query, bool &isValid); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:80:18: note: overridden virtual function is here 80 | virtual bool computeTruth(const Query& query, bool &isValid) = 0; | ^ In file included from /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SMTLIBLoggingSolver.cpp:10: /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/QueryLoggingSolver.h:67:8: warning: 'computeValidity' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 67 | bool computeValidity(const Query &query, Solver::Validity &result); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:63:18: note: overridden virtual function is here 63 | virtual bool computeValidity(const Query& query, Solver::Validity &result); | ^ In file included from /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SMTLIBLoggingSolver.cpp:10: /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/QueryLoggingSolver.h:68:8: warning: 'computeValue' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 68 | bool computeValue(const Query &query, ref<Expr> &result); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:87:18: note: overridden virtual function is here 87 | virtual bool computeValue(const Query& query, ref<Expr> &result) = 0; | ^ In file included from /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SMTLIBLoggingSolver.cpp:10: /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/QueryLoggingSolver.h:69:8: warning: 'computeInitialValues' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 69 | bool computeInitialValues(const Query &query, | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:90:18: note: overridden virtual function is here 90 | virtual bool computeInitialValues(const Query& query, | ^ In file included from /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SMTLIBLoggingSolver.cpp:10: /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/QueryLoggingSolver.h:73:19: warning: 'getOperationStatusCode' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 73 | SolverRunStatus getOperationStatusCode(); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:98:29: note: overridden virtual function is here 98 | virtual SolverRunStatus getOperationStatusCode() = 0; | ^ In file included from /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SMTLIBLoggingSolver.cpp:10: /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/QueryLoggingSolver.h:75:8: warning: 'setCoreSolverTimeout' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 75 | void setCoreSolverTimeout(time::Span timeout); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:109:18: note: overridden virtual function is here 109 | virtual void setCoreSolverTimeout(time::Span timeout) {}; | ^ 6 warnings generated. [ 6% 48/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/Solver.cpp [ 7% 49/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SolverStats.cpp [ 7% 50/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SolverCmdLine.cpp [ 7% 51/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/SolverImpl.cpp [ 7% 52/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/ValidatingSolver.cpp /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/ValidatingSolver.cpp:33:8: warning: 'computeValidity' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 33 | bool computeValidity(const Query &, Solver::Validity &result); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:63:18: note: overridden virtual function is here 63 | virtual bool computeValidity(const Query& query, Solver::Validity &result); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/ValidatingSolver.cpp:34:8: warning: 'computeTruth' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 34 | bool computeTruth(const Query &, bool &isValid); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:80:18: note: overridden virtual function is here 80 | virtual bool computeTruth(const Query& query, bool &isValid) = 0; | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/ValidatingSolver.cpp:35:8: warning: 'computeValue' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 35 | bool computeValue(const Query &, ref<Expr> &result); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:87:18: note: overridden virtual function is here 87 | virtual bool computeValue(const Query& query, ref<Expr> &result) = 0; | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/ValidatingSolver.cpp:36:8: warning: 'computeInitialValues' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 36 | bool computeInitialValues(const Query &, | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:90:18: note: overridden virtual function is here 90 | virtual bool computeInitialValues(const Query& query, | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/ValidatingSolver.cpp:40:19: warning: 'getOperationStatusCode' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 40 | SolverRunStatus getOperationStatusCode(); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:98:29: note: overridden virtual function is here 98 | virtual SolverRunStatus getOperationStatusCode() = 0; | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/ValidatingSolver.cpp:42:8: warning: 'setCoreSolverTimeout' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 42 | void setCoreSolverTimeout(time::Span timeout); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/SolverImpl.h:109:18: note: overridden virtual function is here 109 | virtual void setCoreSolverTimeout(time::Span timeout) {}; | ^ 6 warnings generated. [ 7% 53/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/STPSolver.cpp In file included from /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/STPSolver.cpp:14: /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/STPSolver.h:35:16: warning: 'setCoreSolverTimeout' overrides a member function but is not marked 'override' [-Winconsistent-missing-override] 35 | virtual void setCoreSolverTimeout(time::Span timeout); | ^ /wrkdirs/usr/ports/security/klee/work/klee-3.1/include/klee/Solver/Solver.h:207:18: note: overridden virtual function is here 207 | virtual void setCoreSolverTimeout(time::Span timeout); | ^ 1 warning generated. [ 7% 54/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/STPBuilder.cpp [ 7% 55/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/Z3Solver.cpp FAILED: [code=1] lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/Z3Solver.cpp PLEASE submit a bug report to https://bugs.freebsd.org/submit/ and include the crash backtrace, preprocessed source, and associated run script. Stack dump: 0. Program arguments: /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/Z3Solver.cpp 1. /usr/local/llvm16/include/llvm/ADT/APInt.h:1555:57: current parser token ';' 2. /usr/local/llvm16/include/llvm/ADT/APInt.h:26:1: parsing namespace 'llvm' 3. /usr/local/llvm16/include/llvm/ADT/APInt.h:75:1: parsing struct/union/class body 'llvm::APInt' 4. /usr/local/llvm16/include/llvm/ADT/APInt.h:1552:38: parsing function body 'llvm::APInt::countLeadingZeros' 5. /usr/local/llvm16/include/llvm/ADT/APInt.h:1552:38: in compound statement ('{}') 6. /usr/local/llvm16/include/llvm/ADT/APInt.h:1553:25: in compound statement ('{}') #0 0x00000000055395b1 (/usr/bin/c+++0x55395b1) #1 0x0000000005537565 (/usr/bin/c+++0x5537565) #2 0x0000000005503628 (/usr/bin/c+++0x5503628) #3 0x000000082b4a6310 (/lib/libthr.so.3+0x1a310) #4 0x000000082b4a58db (/lib/libthr.so.3+0x198db) #5 0x0000000827e092d3 ([vdso]+0x2d3) #6 0x00000000025daf20 (/usr/bin/c+++0x25daf20) #7 0x00000000025b7424 (/usr/bin/c+++0x25b7424) #8 0x00000000025b7626 (/usr/bin/c+++0x25b7626) #9 0x0000000003d3e2d2 (/usr/bin/c+++0x3d3e2d2) #10 0x0000000003d3e4ee (/usr/bin/c+++0x3d3e4ee) #11 0x0000000003d069c9 (/usr/bin/c+++0x3d069c9) #12 0x0000000003d0641e (/usr/bin/c+++0x3d0641e) #13 0x0000000003d06305 (/usr/bin/c+++0x3d06305) #14 0x0000000003d09c66 (/usr/bin/c+++0x3d09c66) #15 0x0000000003d089e8 (/usr/bin/c+++0x3d089e8) #16 0x0000000003d00aea (/usr/bin/c+++0x3d00aea) #17 0x000000000379aef2 (/usr/bin/c+++0x379aef2) #18 0x000000000379559e (/usr/bin/c+++0x379559e) #19 0x0000000003794beb (/usr/bin/c+++0x3794beb) #20 0x00000000037949fe (/usr/bin/c+++0x37949fe) #21 0x0000000003828f5e (/usr/bin/c+++0x3828f5e) #22 0x000000000382318a (/usr/bin/c+++0x382318a) #23 0x0000000003822330 (/usr/bin/c+++0x3822330) #24 0x000000000382ad22 (/usr/bin/c+++0x382ad22) #25 0x0000000003823c66 (/usr/bin/c+++0x3823c66) #26 0x0000000003822330 (/usr/bin/c+++0x3822330) #27 0x0000000003825b90 (/usr/bin/c+++0x3825b90) #28 0x00000000038232f6 (/usr/bin/c+++0x38232f6) #29 0x0000000003822330 (/usr/bin/c+++0x3822330) #30 0x000000000382ad22 (/usr/bin/c+++0x382ad22) #31 0x000000000382bdb8 (/usr/bin/c+++0x382bdb8) #32 0x00000000038513f3 (/usr/bin/c+++0x38513f3) #33 0x000000000384ff6a (/usr/bin/c+++0x384ff6a) #34 0x00000000037c9c55 (/usr/bin/c+++0x37c9c55) #35 0x00000000037c7791 (/usr/bin/c+++0x37c7791) #36 0x00000000037e8613 (/usr/bin/c+++0x37e8613) #37 0x0000000003776ba6 (/usr/bin/c+++0x3776ba6) #38 0x00000000037768cb (/usr/bin/c+++0x37768cb) #39 0x00000000037758cd (/usr/bin/c+++0x37758cd) #40 0x00000000037bfe4a (/usr/bin/c+++0x37bfe4a) #41 0x00000000037bf884 (/usr/bin/c+++0x37bf884) #42 0x00000000037e2bf2 (/usr/bin/c+++0x37e2bf2) #43 0x000000000377514e (/usr/bin/c+++0x377514e) #44 0x0000000003773858 (/usr/bin/c+++0x3773858) #45 0x000000000376efbe (/usr/bin/c+++0x376efbe) #46 0x0000000003142326 (/usr/bin/c+++0x3142326) #47 0x0000000003071904 (/usr/bin/c+++0x3071904) #48 0x00000000031fedf0 (/usr/bin/c+++0x31fedf0) #49 0x000000000248c33b (/usr/bin/c+++0x248c33b) #50 0x000000000249965c (/usr/bin/c+++0x249965c) #51 0x0000000002eeb83e (/usr/bin/c+++0x2eeb83e) #52 0x0000000005503422 (/usr/bin/c+++0x5503422) #53 0x0000000002eeafcc (/usr/bin/c+++0x2eeafcc) #54 0x0000000002eaea3d (/usr/bin/c+++0x2eaea3d) #55 0x0000000002eaeccc (/usr/bin/c+++0x2eaeccc) #56 0x0000000002ec9b20 (/usr/bin/c+++0x2ec9b20) #57 0x0000000002498df1 (/usr/bin/c+++0x2498df1) c++: error: clang frontend command failed with exit code 139 (use -v to see invocation) FreeBSD clang version 19.1.7 (https://github.com/llvm/llvm-project.git llvmorg-19.1.7-0-gcd708029e0b2) Target: x86_64-unknown-freebsd13.5 Thread model: posix InstalledDir: /usr/bin c++: note: diagnostic msg: ******************** PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT: Preprocessed source(s) and associated run script(s) are located at: c++: note: diagnostic msg: /tmp/Z3Solver-d95e86.cpp c++: note: diagnostic msg: /tmp/Z3Solver-d95e86.sh c++: note: diagnostic msg: ******************** [ 8% 55/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Solver/Z3Builder.cpp [ 8% 55/665] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.1/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm16/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.1/lib/Module/Checks.cpp ninja: build stopped: subcommand failed. ===> Compilation failed unexpectedly. Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to the maintainer. *** Error code 1 Stop. make: stopped in /usr/ports/security/klee
