From nobody Thu Oct 12 20:19:23 2023 X-Original-To: pkg-fallout@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4S61FR4pbjz4wrpL for ; Thu, 12 Oct 2023 20:19:23 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4S61FR2nfmz3dxY for ; Thu, 12 Oct 2023 20:19:23 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1697141963; a=rsa-sha256; cv=none; b=am6K8kedX6g97aM6GJT+Y5j0Y1rcgE1n6fCNWisdIdTx0vG8EmB3g/gSsoiWAuohiXsNJM dZHPlJInhgWJbtMJOuPMZZ6u+UzvWJKidlI8PU5Cx+OaN/IjiP7gdiN9j6bx0Duo7kX0J3 giaRm7Dh5ClYl4ARzeUwki9IU784ACGxVzHKRRzZRS5BfyLpFaYjNdprXerfFBSgJgBNz2 b+Pez7ogXXX9DfTDloMgjCViNv8I8Hd0oLMtjLwMABJEtlOr4cQhDeNscpR6EBID1MhnUg XQYrXqKWvLov7FMgWHqmHFZbge20tulUTsFIqPLeIODygdXs6NHPQlkxy2l4vA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1697141963; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc; bh=EHJd/RJrUwNb4MDGhHrufyEKWGwhrTNMOxEOC8ItUAE=; b=BvGTP1ZOBvQaraRxTsRx7mOAYJXw8BHjbdKnrCSJ1qOVVFIyi08ZTs+XN03WukOOv5iIeb sZyH8H+/tvy/FcnRaBck2lD4oCHxZPWHlxI3huDKNvDSf880bVEB1cgPcwkpbrvkwp4Qev IsVmFqhSdFP/AWHx0SyDBxpqmdOiH5QMGP9E4frWoykzXCe0tVoP0bD57ySFH3D/CU5R4W 22VeUPXZvss2y5Hx3swy1WXIbtibA43cjGtS/BMOPYqClcN99SrPjnFck3Vj8WeBHu3QrZ MABj8TfrB+fVcijQDk6JO63ppeYVBkU47mNvKPMq/0ImDOHYnaQDFNaXGk0jCg== Received: from foul1.nyi.freebsd.org (foul1.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:25]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4S61FR1WQqz3Kb for ; Thu, 12 Oct 2023 20:19:23 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from foul1.nyi.freebsd.org (localhost [127.0.0.1]) by foul1.nyi.freebsd.org (8.17.1/8.17.1) with ESMTP id 39CKJN5j041554 for ; Thu, 12 Oct 2023 20:19:23 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by foul1.nyi.freebsd.org (8.17.1/8.17.1/Submit) id 39CKJN57041538; Thu, 12 Oct 2023 20:19:23 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 12 Oct 2023 20:19:23 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202310122019.39CKJN57041538@foul1.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - main-powerpc-default][security/klee] Failed for klee-3.0 in build List-Id: Fallout logs from package building List-Archive: https://lists.freebsd.org/archives/freebsd-pkg-fallout List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-pkg-fallout@freebsd.org 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: arrowd@FreeBSD.org Log URL: https://pkg-status.freebsd.org/foul1/data/main-powerpc-default/p3b548e384d0b_s601fd768cf/logs/klee-3.0.log Build URL: https://pkg-status.freebsd.org/foul1/build.html?mastername=main-powerpc-default&build=p3b548e384d0b_s601fd768cf Log: =>> Building security/klee build started at Thu Oct 12 20:10:42 UTC 2023 port directory: /usr/ports/security/klee package name: klee-3.0 building for: FreeBSD main-powerpc-default-job-03 15.0-CURRENT FreeBSD 15.0-CURRENT 1500000 powerpc maintained by: arrowd@FreeBSD.org Makefile ident: Poudriere version: 3.2.8-23-ga7f8d188 Host OSVERSION: 1500000 Jail OSVERSION: 1500000 Job Id: 03 ---Begin Environment--- SHELL=/bin/sh UNAME_p=powerpc UNAME_m=powerpc OSVERSION=1500000 UNAME_v=FreeBSD 15.0-CURRENT 1500000 UNAME_r=15.0-CURRENT 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 LOCALBASE=/usr/local USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.8-23-ga7f8d188 MASTERMNT=/usr/local/poudriere/data/.m/main-powerpc-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/main-powerpc-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=main-powerpc-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/main-powerpc-default/ref/.p SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= DEPENDS_ARGS= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for klee-3.0: 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-- arrowd@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.9" 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=" -fstack-protector-strong " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing - isystem /usr/local/include " MANPREFIX="/usr/local" 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.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=15.0 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.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 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 MACHINE=powerpc MACHINE_ARCH=powerpc ARCH=${MACHINE_ARCH} #### /usr/local/etc/poudriere.d/make.conf #### # 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 2 jobs MAKE_JOBS_NUMBER=3 #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 16.0.6 (https://github.com/llvm/llvm-project.git llvmorg-16.0.6-0-g7cbf1a259152) Target: powerpc-unknown-freebsd15.0 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 16.0.6 (https://github.com/llvm/llvm-project.git llvmorg-16.0.6-0-g7cbf1a259152) Target: powerpc-unknown-freebsd15.0 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--enable-new-dtags" "-m" "elf32ppc_fbsd" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=yes CC_OUTPUT_921dbbb2_53255a77=yes CC_OUTPUT_921dbbb2_911cfe02=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes CC_OUTPUT_921dbbb2_af59ad06=yes CC_OUTPUT_921dbbb2_a15f3fcf=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 16.0.6 (https://github.com/llvm/llvm-project.git llvmorg-16.0.6-0-g7cbf1a259152) Target: powerpc-unknown-freebsd15.0 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=powerpc OPSYS=FreeBSD _OSRELEASE=15.0-CURRENT OSREL=15.0 OSVERSION=1500000 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### 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) 1048576 stack size (kbytes, -s) 65536 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) 1024 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-- =================================================== ===> License NCSA accepted by the user =========================================================================== =================================================== ===> klee-3.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.20.7.pkg [main-powerpc-default-job-03] Installing pkg-1.20.7... [main-powerpc-default-job-03] Extracting pkg-1.20.7: .......... done ===> klee-3.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of klee-3.0 =========================================================================== =================================================== =========================================================================== =================================================== ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-3.0 for building =========================================================================== =================================================== ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-3.0 for building => SHA256 Checksum OK for klee-klee-v3.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-3.0 for building ===> Extracting for klee-3.0 => SHA256 Checksum OK for klee-klee-v3.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for klee-3.0 =========================================================================== =================================================== ===> klee-3.0 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.3_2.pkg [main-powerpc-default-job-03] Installing gmake-4.3_2... [main-powerpc-default-job-03] `-- Installing gettext-runtime-0.22_1... [main-powerpc-default-job-03] | `-- Installing indexinfo-0.3.1... CMake Warning at CMakeLists.txt:143 (message): LLVM was built without assertions but KLEE will be built with them. This might lead to unexpected behaviour. -- Not treating compiler warnings as errors -- STP solver support enabled -- Found STP version 2.3.3 -- Using STP shared library -- STP_DIR: /usr/local/lib/cmake/STP -- Found Z3 libraries: "/usr/local/lib/libz3.so" -- Found Z3 include path: "/usr/local/include" -- Found Z3: /usr/local/include -- Z3 solver support enabled -- Found Z3 -- Performing Test HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT -- Performing Test HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT - Success -- Z3_get_error_msg requires context -- metaSMT solver support disabled -- Zlib support enabled -- TCMalloc support enabled -- Looking for C++ include gperftools/malloc_extension.h -- Looking for C++ include gperftools/malloc_extension.h - found -- Found SQLite3: /usr/local/include (found version "3.43.1") -- Looking for sys/capability.h -- Looking for sys/capability.h - not found -- Looking for pty.h -- Looking for pty.h - not found -- Looking for util.h -- Looking for util.h - not found -- Looking for libutil.h -- Looking for libutil.h - found -- Looking for openpty -- Looking for openpty - not found -- Looking for openpty in util -- Looking for openpty in util - found -- Looking for __ctype_b_loc -- Looking for __ctype_b_loc - not found -- Looking for mallinfo -- Looking for mallinfo - not found -- Looking for mallinfo2 -- Looking for mallinfo2 - not found -- Looking for malloc_zone_statistics -- Looking for malloc_zone_statistics - not found -- Looking for sys/statfs.h -- Looking for sys/statfs.h - not found -- Looking for selinux/selinux.h -- Looking for selinux/selinux.h - not found -- Looking for sys/acl.h -- Looking for sys/acl.h - found -- SELinux support disabled -- Performing Test FSTATAT_PATH_ACCEPTS_NULL -- Performing Test FSTATAT_PATH_ACCEPTS_NULL - Success -- KLEE_RUNTIME_BUILD_TYPE is not set. Setting default -- The available runtime build types are: Release;Release+Debug;Release+Asserts;Release+Debug+Asserts;Debug;Debug+Asserts -- KLEE_RUNTIME_BUILD_TYPE: Debug+Asserts -- Performing Test CHECK_M32_SUPPORT -- Performing Test CHECK_M32_SUPPORT - Success -- 32bit platform supported: 1 -- POSIX runtime disabled -- Skipping copying of klee-uclibc runtime -- libc++ support disabled -- CMAKE_CXX_FLAGS: -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -- KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '/usr/local/llvm14/include;/usr/local/include;/usr/include;/usr/local/include' -- KLEE_COMPONENT_CXX_DEFINES: '-D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS' -- KLEE_COMPONENT_CXX_FLAGS: '-UNDEBUG;-fno-exceptions;-fno-builtin-malloc;-fno-builtin-calloc;-fno-builtin-realloc;-fno-builtin-free' -- KLEE_SOLVER_LIBRARIES: 'stp;/usr/local/lib/libz3.so' -- LIB_BC_SUFFIX: 64_Release;64_Release+Debug;64_Release+Asserts;64_Release+Debug+Asserts;64_Debug;64_Debug+Asserts;32_Release;32_Release+Debug;32_Release+Asserts;32_Release+Debug+Asserts;32_Debug;32_Debug+Asserts -- KLEE_RUNTIME_DIRECTORY: /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib -- Testing is disabled -- Unit tests disabled -- System tests disabled -- Configuring done (24.1s) -- Generating done (0.8s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_COLOR_MAKEFILE CMAKE_MODULE_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE FETCHCONTENT_FULLY_DISCONNECTED LLVM_CONFIG_BINARY MAKE_BINARY Python3_EXECUTABLE Python_ADDITIONAL_VERSIONS Python_EXECUTABLE THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /wrkdirs/usr/ports/security/klee/work/.build =========================================================================== =================================================== ===> Building for klee-3.0 [ 0% 3/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/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/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o -MF lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o.d -o lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Basic/KTest.cpp [ 0% 4/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/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/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o -MF lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o.d -o lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Basic/Statistics.cpp [ 0% 5/658] : && /usr/local/bin/cmake -E rm -f lib/libkleeBasic.a && /usr/bin/llvm-ar qc lib/libkleeBasic.a lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o && /usr/bin/llvm-ranlib lib/libkleeBasic.a && : [ 0% 6/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/CompressionStream.cpp [ 0% 7/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/ErrorHandling.cpp [ 0% 8/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/MemoryUsage.cpp [ 1% 9/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/FileHandling.cpp [ 1% 10/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/PrintVersion.cpp [ 1% 11/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/RNG.cpp [ 1% 12/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/Timer.cpp [ 1% 13/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/TreeStream.cpp [ 1% 14/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ArrayCache.cpp [ 1% 15/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Support/Time.cpp [ 2% 16/658] : && /usr/local/bin/cmake -E rm -f lib/libkleeSupport.a && /usr/bin/llvm-ar qc lib/libkleeSupport.a lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o lib/Support/CMakeFiles/kleeSupport.dir/RNG.cpp.o lib/Support/CMakeFiles/kleeSupport.dir/Time.cpp.o lib/Support/CMakeFiles/kleeSupport.dir/Timer.cpp.o lib/Support/CMakeFiles/kleeSupport.dir/TreeStream.cpp.o && /usr/bin/llvm-ranlib lib/libkleeSupport.a && : [ 2% 17/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ArrayExprRewriter.cpp [ 2% 18/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ArrayExprVisitor.cpp [ 2% 19/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/Assignment.cpp [ 2% 20/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ArrayExprOptimizer.cpp [ 2% 21/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/AssignmentGenerator.cpp [ 3% 22/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/Constraints.cpp [ 3% 23/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ExprEvaluator.cpp [ 3% 24/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ExprBuilder.cpp [ 3% 25/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/Expr.cpp [ 3% 26/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ExprPPrinter.cpp [ 3% 27/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ExprUtil.cpp [ 3% 28/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ExprVisitor.cpp [ 4% 29/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/Lexer.cpp [ 4% 30/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/ExprSMTLIBPrinter.cpp [ 4% 31/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/Updates.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/Updates.cpp [ 4% 32/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/AssignmentValidatingSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/AssignmentValidatingSolver.cpp [ 4% 33/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/CachingSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/CachingSolver.cpp [ 4% 34/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/ConstantDivision.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/ConstantDivision.cpp [ 5% 35/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o -MF lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o.d -o lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Expr/Parser.cpp [ 5% 36/658] : && /usr/local/bin/cmake -E rm -f lib/libkleaverExpr.a && /usr/bin/llvm-ar qc lib/libkleaverExpr.a lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayCache.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprOptimizer.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprRewriter.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ArrayExprVisitor.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/Assignment.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/AssignmentGenerator.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/Constraints.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprBuilder.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/Expr.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprEvaluator.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprPPrinter.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprSMTLIBPrinter.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprUtil.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/ExprVisitor.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/Lexer.cpp.o lib/Expr/CMakeFiles/kleaverExpr.dir/Parser.cpp.o lib/Exp r/CMakeFiles/kleaverExpr.dir/Updates.cpp.o && /usr/bin/llvm-ranlib lib/libkleaverExpr.a && : [ 5% 37/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/ConstructSolverChain.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/ConstructSolverChain.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/ConstructSolverChain.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/ConstructSolverChain.cpp [ 5% 38/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/CoreSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/CoreSolver.cpp [ 5% 39/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/CexCachingSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/CexCachingSolver.cpp [ 5% 40/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/DummySolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/DummySolver.cpp [ 5% 41/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/IncompleteSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/IncompleteSolver.cpp [ 6% 42/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/MetaSMTSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/MetaSMTSolver.cpp [ 6% 43/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/FastCexSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/FastCexSolver.cpp [ 6% 44/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/KQueryLoggingSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/KQueryLoggingSolver.cpp [ 6% 45/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/QueryLoggingSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/QueryLoggingSolver.cpp [ 6% 46/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/SMTLIBLoggingSolver.cpp [ 6% 47/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/IndependentSolver.cpp.o -MF lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o.d -o lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Solver/IndependentSolver.cpp [ 6% 48/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/Solver.cpp [ 7% 49/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/SolverImpl.cpp [ 7% 50/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/SolverStats.cpp [ 7% 51/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/SolverCmdLine.cpp [ 7% 52/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/ValidatingSolver.cpp [ 7% 53/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/STPSolver.cpp [ 7% 54/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/STPBuilder.cpp [ 8% 55/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/Z3Builder.cpp [ 8% 56/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Solver/Z3Solver.cpp [ 8% 57/658] : && /usr/local/bin/cmake -E rm -f lib/libkleaverSolver.a && /usr/bin/llvm-ar qc lib/libkleaverSolver.a lib/Solver/CMakeFiles/kleaverSolver.dir/AssignmentValidatingSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/CachingSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/CexCachingSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/ConstantDivision.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/ConstructSolverChain.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/CoreSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/DummySolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/FastCexSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/IncompleteSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/IndependentSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/MetaSMTSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/KQueryLoggingSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/QueryLoggingSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/SMTLIBLoggingSolver. cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/Solver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/SolverCmdLine.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/SolverImpl.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/SolverStats.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/STPBuilder.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/STPSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/ValidatingSolver.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Builder.cpp.o lib/Solver/CMakeFiles/kleaverSolver.dir/Z3Solver.cpp.o && /usr/bin/llvm-ranlib lib/libkleaverSolver.a && : [ 8% 58/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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.0/lib/Module/Checks.cpp [ 8% 59/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/FunctionAlias.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/FunctionAlias.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/FunctionAlias.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/FunctionAlias.cpp [ 8% 60/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/InstructionOperandTypeCheckPass.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/InstructionOperandTypeCh eckPass.cpp [ 8% 61/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/InstructionInfoTable.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/InstructionInfoTable.cpp [ 9% 62/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/KInstruction.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/KInstruction.cpp [ 9% 63/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/IntrinsicCleaner.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/IntrinsicCleaner.cpp [ 9% 64/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/LowerSwitch.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/LowerSwitch.cpp [ 9% 65/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/KModule.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/KModule.cpp [ 9% 66/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Optimize.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/Optimize.cpp [ 9% 67/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/ModuleUtil.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/ModuleUtil.cpp [ 10% 68/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/OptNone.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/OptNone.cpp [ 10% 69/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/PhiCleaner.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/PhiCleaner.cpp [ 10% 70/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/AddressSpace.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/AddressSpace.cpp [ 10% 71/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/RaiseAsm.cpp.o -MF lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o.d -o lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Module/RaiseAsm.cpp [ 10% 72/658] : && /usr/local/bin/cmake -E rm -f lib/libkleeModule.a && /usr/bin/llvm-ar qc lib/libkleeModule.a lib/Module/CMakeFiles/kleeModule.dir/Checks.cpp.o lib/Module/CMakeFiles/kleeModule.dir/FunctionAlias.cpp.o lib/Module/CMakeFiles/kleeModule.dir/InstructionInfoTable.cpp.o lib/Module/CMakeFiles/kleeModule.dir/InstructionOperandTypeCheckPass.cpp.o lib/Module/CMakeFiles/kleeModule.dir/IntrinsicCleaner.cpp.o lib/Module/CMakeFiles/kleeModule.dir/KInstruction.cpp.o lib/Module/CMakeFiles/kleeModule.dir/KModule.cpp.o lib/Module/CMakeFiles/kleeModule.dir/LowerSwitch.cpp.o lib/Module/CMakeFiles/kleeModule.dir/ModuleUtil.cpp.o lib/Module/CMakeFiles/kleeModule.dir/Optimize.cpp.o lib/Module/CMakeFiles/kleeModule.dir/OptNone.cpp.o lib/Module/CMakeFiles/kleeModule.dir/PhiCleaner.cpp.o lib/Module/CMakeFiles/kleeModule.dir/RaiseAsm.cpp.o && /usr/bin/llvm-ranlib lib/libkleeModule.a && : [ 10% 73/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/CallPathManager.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/CallPathManager.cpp [ 10% 74/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/MergeHandler.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/MergeHandler.cpp [ 11% 75/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/CoreStats.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/CoreStats.cpp [ 11% 76/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/Context.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/Context.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/Context.cpp [ 11% 77/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/ExecutionState.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/ExecutionState.cpp [ 11% 78/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/ExecutorUtil.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/ExecutorUtil.cpp [ 11% 79/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/Executor.cpp FAILED: lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/Executor.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/Executor.cpp /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/Executor.cpp:3448:17: error: no matching function for call to 'max' auto toKill = std::max(1UL, numStates - numStates * MaxMemory / totalUsage); ^~~~~~~~ /usr/include/c++/v1/__algorithm/max.h:40:1: note: candidate template ignored: deduced conflicting types for parameter '_Tp' ('unsigned long' vs. 'unsigned int') max(const _Tp& __a, const _Tp& __b) ^ /usr/include/c++/v1/__algorithm/max.h:51:1: note: candidate template ignored: could not match 'initializer_list<_Tp>' against 'unsigned long' max(initializer_list<_Tp> __t, _Compare __comp) ^ /usr/include/c++/v1/__algorithm/max.h:60:1: note: candidate function template not viable: requires single argument '__t', but 2 arguments were provided max(initializer_list<_Tp> __t) ^ /usr/include/c++/v1/__algorithm/max.h:31:1: note: candidate function template not viable: requires 3 arguments, but 2 were provided max(const _Tp& __a, const _Tp& __b, _Compare __comp) ^ 1 error generated. [ 11% 79/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/ImpliedValue.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/ImpliedValue.cpp [ 12% 79/658] /usr/bin/c++ -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS="64 -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS" -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/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/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o -MF lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o.d -o lib/Core/CMakeFiles/kleeCore.dir/ExternalDispatcher.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/lib/Core/ExternalDispatcher.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