[exp - 123amd64-default-build-as-user][lang/solidity] Failed for solidity-0.8.17_1 in build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 07 Feb 2023 11:52:11 UTC
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: ale@FreeBSD.org
Log URL: https://pkg-status.freebsd.org/package19/data/123amd64-default-build-as-user/7efc3219b149/logs/solidity-0.8.17_1.log
Build URL: https://pkg-status.freebsd.org/package19/build.html?mastername=123amd64-default-build-as-user&build=7efc3219b149
Log:
=>> Building lang/solidity
build started at Tue Feb 7 11:27:21 UTC 2023
port directory: /usr/ports/lang/solidity
package name: solidity-0.8.17_1
building for: FreeBSD 123amd64-default-build-as-user-job-10 12.3-RELEASE-p10 FreeBSD 12.3-RELEASE-p10 amd64
maintained by: ale@FreeBSD.org
Makefile ident:
Poudriere version: 3.2.8-23-ga7f8d188
Host OSVERSION: 1400073
Jail OSVERSION: 1203000
Job Id: 10
---Begin Environment---
SHELL=/bin/csh
OSVERSION=1203000
UNAME_v=FreeBSD 12.3-RELEASE-p10
UNAME_r=12.3-RELEASE-p10
BLOCKSIZE=K
MAIL=/var/mail/root
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=/poudriere/data/.m/123amd64-default-build-as-user/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
GID=0
UID=0
PWD=/poudriere/data/.m/123amd64-default-build-as-user/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=123amd64-default-build-as-user
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/poudriere/data/.m/123amd64-default-build-as-user/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 solidity-0.8.17_1:
CVC4=off: SMT Checker via CVC4
Z3=on: SMT Checker via Z3
===> Use 'make config' to modify these settings
---End OPTIONS List---
--MAINTAINER--
ale@FreeBSD.org
--End MAINTAINER--
--CONFIGURE_ARGS--
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CACHE_HOME=/wrkdirs/usr/ports/lang/solidity/work/.cache HOME=/wrkdirs/usr/ports/lang/solidity/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/solidity/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/lang/solidity/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--
--MAKE_ENV--
NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CACHE_HOME=/wrkdirs/usr/ports/lang/solidity/work/.cache HOME=/wrkdirs/usr/ports/lang/solidity/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/solidity/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/lang/solidity/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/lang/solidity/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " 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--
CMAKE_BUILD_TYPE="release" OSREL=12.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/solidity" EXAMPLESDIR="share/examples/solidity" DATADIR="share/solidity" WWWDIR="www/solidity" ETCDIR="etc/solidity"
--End PLIST_SUB--
--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/solidity DOCSDIR=/usr/local/share/doc/solidity EXAMPLESDIR=/usr/local/share/examples/solidity WWWDIR=/usr/local/www/solidity ETCDIR=/usr/local/etc/solidity
--End SUB_LIST--
---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
FORCE_PACKAGE=yes
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
#### /usr/local/etc/poudriere.d/make.conf ####
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 10.0.1 (git@github.com:llvm/llvm-project.git llvmorg-10.0.1-0-gef32c611aa2) Target: x86_64-unknown-freebsd12.3 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 10.0.1 (git@github.com:llvm/llvm-project.git llvmorg-10.0.1-0-gef32c611aa2) Target: x86_64-unknown-freebsd12.3 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-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=error: invalid value 'c++2b' in '-std=c++2b' note: use 'c++98' or 'c++03' for 'ISO C++ 1998 with amendments' standard note: use 'gnu++98' or 'gnu++03' for 'ISO C++ 1998 with amendments and GNU extensions' standard note: use 'c++11' for 'ISO C++ 2011 with amendments' standard note: use 'gnu++11' for 'ISO C++ 2011 with amendments and GNU extensions' standard note: use 'c++14' for 'ISO C++ 2014 with amendments' standard note: use 'gnu++14' for 'ISO C++ 2014 with amendments and GNU extensions' standard note: use 'c++17' for 'ISO C++ 2017 with amendments' standard note: use 'gnu++17' for 'ISO C++ 2017 with amendments and GNU extensions' standard note: use 'c++20' for 'ISO C++ 2020 DIS' standard note: use 'gnu++20' for 'ISO C++ 2020 DIS with GNU extensions' standard
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=error: invalid value 'gnu++2b' in '-std=gnu++2b' note: use 'c++98' or 'c++03' for 'ISO C++ 1998 with amendments' standard note: use 'gnu++98' or 'gnu++03' for 'ISO C++ 1998 with amendments and GNU extensions' standard note: use 'c++11' for 'ISO C++ 2011 with amendments' standard note: use 'gnu++11' for 'ISO C++ 2011 with amendments and GNU extensions' standard note: use 'c++14' for 'ISO C++ 2014 with amendments' standard note: use 'gnu++14' for 'ISO C++ 2014 with amendments and GNU extensions' standard note: use 'c++17' for 'ISO C++ 2017 with amendments' standard note: use 'gnu++17' for 'ISO C++ 2017 with amendments and GNU extensions' standard note: use 'c++20' for 'ISO C++ 2020 DIS' standard note: use 'gnu++20' for 'ISO C++ 2020 DIS with GNU extensions' standard
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 10.0.1 (git@github.com:llvm/llvm-project.git llvmorg-10.0.1-0-gef32c611aa2) Target: x86_64-unknown-freebsd12.3 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=amd64
OPSYS=FreeBSD
_OSRELEASE=12.3-RELEASE-p10
OSREL=12.3
OSVERSION=1203000
PYTHONBASE=/usr/local
HAVE_COMPAT_IA32_KERN=YES
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
---End make.conf---
--Resource limits--
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 33554432
stack size (kbytes, -s) 524288
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 89999
open files (-n) 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--
=======================<phase: check-sanity >============================
===> License GPLv3 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> solidity-0.8.17_1 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.19.1.pkg
[123amd64-default-build-as-user-job-10] Installing pkg-1.19.1...
[123amd64-default-build-as-user-job-10] Extracting pkg-1.19.1: .......... done
===> solidity-0.8.17_1 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of solidity-0.8.17_1
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by solidity-0.8.17_1 for building
===========================================================================
=======================<phase: checksum >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by solidity-0.8.17_1 for building
=> SHA256 Checksum OK for solidity_0.8.17.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by solidity-0.8.17_1 for building
===> Extracting for solidity-0.8.17_1
=> SHA256 Checksum OK for solidity_0.8.17.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===========================================================================
=======================<phase: patch >============================
===> Patching for solidity-0.8.17_1
===> Applying FreeBSD patches for solidity-0.8.17_1 from /usr/ports/lang/solidity/files
===========================================================================
=======================<phase: build-depends >============================
===> solidity-0.8.17_1 depends on package: boost-libs>=0 - not found
===> Installing existing package /packages/All/boost-libs-1.81.0.pkg
[123amd64-default-build-as-user-job-10] Installing boost-libs-1.81.0...
[123amd64-default-build-as-user-job-10] `-- Installing icu-72.1,1...
[123amd64-default-build-as-user-job-10] `-- Extracting icu-72.1,1: .......... done
[123amd64-default-build-as-user-job-10] Extracting boost-libs-1.81.0: .......... done
=====
Message from boost-libs-1.81.0:
--
You have built the Boost library with thread support.
Don't forget to add -pthread to your linker options when
linking your code.
===> solidity-0.8.17_1 depends on package: boost-libs>=0 - found
===> Returning to build of solidity-0.8.17_1
<snip>
[ 22% 61/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/YulStack.cpp.o -MF libyul/CMakeFiles/yul.dir/YulStack.cpp.o.d -o libyul/CMakeFiles/yul.dir/YulStack.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/YulStack.cpp
[ 23% 62/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/Dialect.cpp.o -MF libyul/CMakeFiles/yul.dir/Dialect.cpp.o.d -o libyul/CMakeFiles/yul.dir/Dialect.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/Dialect.cpp
[ 23% 63/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/ControlFlowSideEffectsCollector.cpp.o -MF libyul/CMakeFiles/yul.dir/ControlFlowSideEffectsCollector.cpp.o.d -o libyul/CMakeFiles/yul.dir/ControlFlowSideEffectsCollector.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/ControlFlowSideEffectsCollector.cpp
[ 23% 64/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/FunctionReferenceResolver.cpp.o -MF libyul/CMakeFiles/yul.dir/FunctionReferenceResolver.cpp.o.d -o libyul/CMakeFiles/yul.dir/FunctionReferenceResolver.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/FunctionReferenceResolver.cpp
[ 24% 65/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/Object.cpp.o -MF libyul/CMakeFiles/yul.dir/Object.cpp.o.d -o libyul/CMakeFiles/yul.dir/Object.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/Object.cpp
[ 24% 66/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/Scope.cpp.o -MF libyul/CMakeFiles/yul.dir/Scope.cpp.o.d -o libyul/CMakeFiles/yul.dir/Scope.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/Scope.cpp
[ 24% 67/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/ObjectParser.cpp.o -MF libyul/CMakeFiles/yul.dir/ObjectParser.cpp.o.d -o libyul/CMakeFiles/yul.dir/ObjectParser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/ObjectParser.cpp
[ 25% 68/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/ScopeFiller.cpp.o -MF libyul/CMakeFiles/yul.dir/ScopeFiller.cpp.o.d -o libyul/CMakeFiles/yul.dir/ScopeFiller.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/ScopeFiller.cpp
[ 25% 69/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/Utilities.cpp.o -MF libyul/CMakeFiles/yul.dir/Utilities.cpp.o.d -o libyul/CMakeFiles/yul.dir/Utilities.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/Utilities.cpp
[ 26% 70/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/AsmCodeGen.cpp
[ 26% 71/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/ConstantOptimiser.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/ConstantOptimiser.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/ConstantOptimiser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/ConstantOptimiser.cpp
[ 26% 72/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/EthAssemblyAdapter.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/EthAssemblyAdapter.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/EthAssemblyAdapter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/EthAssemblyAdapter.cpp
[ 27% 73/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/ControlFlowGraphBuilder.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/ControlFlowGraphBuilder.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/ControlFlowGraphBuilder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/ControlFlowGra
phBuilder.cpp
[ 27% 74/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/EVMCodeTransform.cpp
[ 27% 75/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/EVMDialect.cpp
[ 28% 76/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/EVMObjectCompiler.cpp
[ 28% 77/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/EVMMetrics.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/EVMMetrics.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/EVMMetrics.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/EVMMetrics.cpp
[ 29% 78/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/NoOutputAssembly.cpp
[ 29% 79/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/OptimizedEVMCodeTransform.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/OptimizedEVMCodeTransform.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/OptimizedEVMCodeTransform.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/Optimize
dEVMCodeTransform.cpp
[ 29% 80/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/VariableReferenceCounter.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/VariableReferenceCounter.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/VariableReferenceCounter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/VariableRef
erenceCounter.cpp
[ 30% 81/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/wasm/EVMToEwasmTranslator.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/wasm/EVMToEwasmTranslator.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/wasm/EVMToEwasmTranslator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/wasm/EVMToEwasmTranslato
r.cpp
[ 30% 82/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/evm/StackLayoutGenerator.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/evm/StackLayoutGenerator.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/evm/StackLayoutGenerator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/evm/StackLayoutGenerator.cp
p
[ 30% 83/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/wasm/BinaryTransform.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/wasm/BinaryTransform.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/wasm/BinaryTransform.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/wasm/BinaryTransform.cpp
[ 31% 84/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/wasm/TextTransform.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/wasm/TextTransform.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/wasm/TextTransform.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/wasm/TextTransform.cpp
[ 31% 85/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/wasm/WasmDialect.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/wasm/WasmDialect.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/wasm/WasmDialect.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/wasm/WasmDialect.cpp
[ 32% 86/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/wasm/WasmCodeTransform.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/wasm/WasmCodeTransform.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/wasm/WasmCodeTransform.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/wasm/WasmCodeTransform.cpp
[ 32% 87/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/wasm/WasmObjectCompiler.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/wasm/WasmObjectCompiler.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/wasm/WasmObjectCompiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/wasm/WasmObjectCompiler.cpp
[ 32% 88/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ASTCopier.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ASTCopier.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ASTCopier.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ASTCopier.cpp
[ 33% 89/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/backends/wasm/WordSizeTransform.cpp.o -MF libyul/CMakeFiles/yul.dir/backends/wasm/WordSizeTransform.cpp.o.d -o libyul/CMakeFiles/yul.dir/backends/wasm/WordSizeTransform.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/backends/wasm/WordSizeTransform.cpp
[ 33% 90/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ASTWalker.cpp
[ 33% 91/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/BlockFlattener.cpp
[ 34% 92/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/CallGraphGenerator.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/CallGraphGenerator.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/CallGraphGenerator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/CallGraphGenerator.cpp
[ 34% 93/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/BlockHasher.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/BlockHasher.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/BlockHasher.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/BlockHasher.cpp
[ 35% 94/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/CircularReferencesPruner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/CircularReferencesPruner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/CircularReferencesPruner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/CircularReferencesPrune
r.cpp
[ 35% 95/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/CommonSu
bexpressionEliminator.cpp
[ 35% 96/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ConditionalSimplifier.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ConditionalSimplifier.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ConditionalSimplifier.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ConditionalSimplifier.cpp
[ 36% 97/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ConditionalUnsimplifier.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ConditionalUnsimplifier.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ConditionalUnsimplifier.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ConditionalUnsimplifier.cp
p
[ 36% 98/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ControlFlowSimplifier.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ControlFlowSimplifier.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ControlFlowSimplifier.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ControlFlowSimplifier.cpp
[ 36% 99/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/DeadCodeEliminator.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/DeadCodeEliminator.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/DeadCodeEliminator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/DeadCodeEliminator.cpp
[ 37% 100/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/DataFlowAnalyzer.cpp
[ 37% 101/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/Disambiguator.cpp
[ 38% 102/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/EquivalentFuncti
onDetector.cpp
[ 38% 103/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/EqualStoreEliminator.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/EqualStoreEliminator.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/EqualStoreEliminator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/EqualStoreEliminator.cpp
[ 38% 104/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/EquivalentFuncti
onCombiner.cpp
[ 39% 105/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ExpressionInliner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ExpressionInliner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ExpressionInliner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ExpressionInliner.cpp
[ 39% 106/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ExpressionJoiner.cpp
[ 40% 107/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ExpressionSplitter.cpp
[ 40% 108/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ExpressionSimplifier.cpp
[ 40% 109/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ForLoopConditionIntoBo
dy.cpp
[ 41% 110/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ForLoopInitRewriter.cpp
[ 41% 111/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ForLoopConditionOut
OfBody.cpp
[ 41% 112/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/FunctionCallFinder.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/FunctionCallFinder.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/FunctionCallFinder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/FunctionCallFinder.cpp
[ 42% 113/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/FunctionGrouper.cpp
[ 42% 114/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/FullInliner.cpp
[ 43% 115/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/FunctionHoister.cpp
[ 43% 116/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optim
iser/InlinableExpressionFunctionFinder.cpp
[ 43% 117/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/FunctionSpecializer.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/FunctionSpecializer.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/FunctionSpecializer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/FunctionSpecializer.cpp
[ 44% 118/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/KnowledgeBase.cpp
[ 44% 119/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/LoadResolver.cpp
[ 44% 120/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/LoopInvariantCodeMotion.c
pp
[ 45% 121/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/MainFunction.cpp
[ 45% 122/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/Metrics.cpp
[ 46% 123/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/NameCollector.cpp
[ 46% 124/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/NameDispenser.cpp
[ 46% 125/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/NameDisplacer.cpp
[ 47% 126/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/NameSimplifier.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/NameSimplifier.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/NameSimplifier.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/NameSimplifier.cpp
[ 47% 127/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/OptimizerUtilities.cpp
[ 47% 128/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/UnusedAssignEliminator.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/UnusedAssignEliminator.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/UnusedAssignEliminator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/UnusedAssignEliminator.cpp
[ 48% 129/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ReasoningBasedSimplifier.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ReasoningBasedSimplifier.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ReasoningBasedSimplifier.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/ReasoningBasedSimplifi
er.cpp
[ 48% 130/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/UnusedStoreBase.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/UnusedStoreBase.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/UnusedStoreBase.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/UnusedStoreBase.cpp
[ 49% 131/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/Rematerialiser.cpp
[ 49% 132/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/UnusedStoreEliminator.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/UnusedStoreEliminator.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/UnusedStoreEliminator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/UnusedStoreEliminator.cpp
[ 49% 133/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/SSAReverser.cpp
[ 50% 134/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/SSATransform.cpp
[ 50% 135/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SMTSolver.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SMTSolver.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SMTSolver.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/SMTSolver.cpp
[ 50% 136/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/SSAValueTracker.cpp
[ 51% 137/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/Semantics.cpp
[ 51% 138/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/StackCompressor.cpp
[ 52% 139/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/StackLimitEvader.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/StackLimitEvader.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/StackLimitEvader.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/StackLimitEvader.cpp
[ 52% 140/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/StackToMemoryMover.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/StackToMemoryMover.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/StackToMemoryMover.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/StackToMemoryMover.cpp
[ 52% 141/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/StructuralSimplifier.cpp
[ 53% 142/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Substitution.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Substitution.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Substitution.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/Substitution.cpp
[ 53% 143/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/SimplificationRules.cpp
[ 53% 144/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Suite.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Suite.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Suite.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/Suite.cpp
[ 54% 145/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/SyntacticalEquality.cpp
[ 54% 146/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/UnusedFunctionParameterPruner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/UnusedFunctionParameterPruner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/UnusedFunctionParameterPruner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/UnusedF
unctionParameterPruner.cpp
[ 55% 147/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/TypeInfo.cpp
[ 55% 148/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/UnusedPruner.cpp
[ 55% 149/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/UnusedFunctionsCommon.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/UnusedFunctionsCommon.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/UnusedFunctionsCommon.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/UnusedFunctionsCommon.cpp
[ 56% 150/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/VarDeclInitializer.cpp
[ 56% 151/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libyul/optimiser/VarNameCleaner.cpp
[ 56% 152/265] : && /usr/local/bin/cmake -E rm -f libyul/libyul.a && /usr/bin/llvm-ar qc libyul/libyul.a libyul/CMakeFiles/yul.dir/AsmAnalysis.cpp.o libyul/CMakeFiles/yul.dir/AsmJsonConverter.cpp.o libyul/CMakeFiles/yul.dir/AsmJsonImporter.cpp.o libyul/CMakeFiles/yul.dir/AsmParser.cpp.o libyul/CMakeFiles/yul.dir/AsmPrinter.cpp.o libyul/CMakeFiles/yul.dir/YulStack.cpp.o libyul/CMakeFiles/yul.dir/CompilabilityChecker.cpp.o libyul/CMakeFiles/yul.dir/ControlFlowSideEffectsCollector.cpp.o libyul/CMakeFiles/yul.dir/Dialect.cpp.o libyul/CMakeFiles/yul.dir/FunctionReferenceResolver.cpp.o libyul/CMakeFiles/yul.dir/Object.cpp.o libyul/CMakeFiles/yul.dir/ObjectParser.cpp.o libyul/CMakeFiles/yul.dir/Scope.cpp.o libyul/CMakeFiles/yul.dir/ScopeFiller.cpp.o libyul/CMakeFiles/yul.dir/Utilities.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/ConstantOptimiser.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/ControlFlowGraphBuilder.cpp.o libyul/CMakeFi
les/yul.dir/backends/evm/EthAssemblyAdapter.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/EVMMetrics.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/OptimizedEVMCodeTransform.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/StackLayoutGenerator.cpp.o libyul/CMakeFiles/yul.dir/backends/evm/VariableReferenceCounter.cpp.o libyul/CMakeFiles/yul.dir/backends/wasm/EVMToEwasmTranslator.cpp.o libyul/CMakeFiles/yul.dir/backends/wasm/BinaryTransform.cpp.o libyul/CMakeFiles/yul.dir/backends/wasm/TextTransform.cpp.o libyul/CMakeFiles/yul.dir/backends/wasm/WasmCodeTransform.cpp.o libyul/CMakeFiles/yul.dir/backends/wasm/WasmDialect.cpp.o libyul/CMakeFiles/yul.dir/backends/wasm/WasmObjectCompiler.cpp.o libyul/CMakeFiles/yul.dir/backends/wasm/WordSizeTransform.cpp.o l
ibyul/CMakeFiles/yul.dir/optimiser/ASTCopier!
.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o libyul/CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o libyul/CMakeFiles/yul.dir/optimiser/BlockHasher.cpp.o libyul/CMakeFiles/yul.dir/optimiser/CallGraphGenerator.cpp.o libyul/CMakeFiles/yul.dir/optimiser/CircularReferencesPruner.cpp.o libyul/CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ConditionalSimplifier.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ConditionalUnsimplifier.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ControlFlowSimplifier.cpp.o libyul/CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o libyul/CMakeFiles/yul.dir/optimiser/DeadCodeEliminator.cpp.o libyul/CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o libyul/CMakeFiles/yul.dir/optimiser/EqualStoreEliminator.cpp.o libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ExpressionInliner.cp
p.o libyul/CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o libyul/CMakeFiles/yul.dir/optimiser/FunctionCallFinder.cpp.o libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o libyul/CMakeFiles/yul.dir/optimiser/FunctionSpecializer.cpp.o libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o libyul/CMake
Files/yul.dir/optimiser/Metrics.cpp.o libyul!
/CMakeFil!
es/yul.dir/optimiser/NameCollector.cpp.o libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o libyul/CMakeFiles/yul.dir/optimiser/NameSimplifier.cpp.o libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o libyul/CMakeFiles/yul.dir/optimiser/ReasoningBasedSimplifier.cpp.o libyul/CMakeFiles/yul.dir/optimiser/UnusedAssignEliminator.cpp.o libyul/CMakeFiles/yul.dir/optimiser/UnusedStoreBase.cpp.o libyul/CMakeFiles/yul.dir/optimiser/UnusedStoreEliminator.cpp.o libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o libyul/CMakeFiles/yul.dir/optimiser/SMTSolver.cpp.o libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o libyul/CMakeFiles/yul.di
r/optimiser/StackLimitEvader.cpp.o libyul/CMakeFiles/yul.dir/optimiser/StackToMemoryMover.cpp.o libyul/CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o libyul/CMakeFiles/yul.dir/optimiser/Substitution.cpp.o libyul/CMakeFiles/yul.dir/optimiser/Suite.cpp.o libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o libyul/CMakeFiles/yul.dir/optimiser/UnusedFunctionParameterPruner.cpp.o libyul/CMakeFiles/yul.dir/optimiser/UnusedFunctionsCommon.cpp.o libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o && /usr/bin/llvm-ranlib libyul/libyul.a && :
[ 57% 153/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/ConstantEval
uator.cpp
[ 57% 154/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/Con
tractLevelChecker.cpp
[ 58% 155/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/Contro
lFlowAnalyzer.cpp
[ 58% 156/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/ControlFlowGrap
h.cpp
[ 58% 157/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/ControlFl
owBuilder.cpp
[ 59% 158/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowRevertPruner.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowRevertPruner.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowRevertPruner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ana
lysis/ControlFlowRevertPruner.cpp
[ 59% 159/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/Dec
larationContainer.cpp
[ 60% 160/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationTypeChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationTypeChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationTypeChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analys
is/DeclarationTypeChecker.cpp
[ 60% 161/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/DocStringAna
lyser.cpp
[ 60% 162/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/FunctionCallGraph.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/FunctionCallGraph.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/FunctionCallGraph.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/FunctionCall
Graph.cpp
[ 61% 163/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/DocStringTagParser.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/DocStringTagParser.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/DocStringTagParser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/DocString
TagParser.cpp
[ 61% 164/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ImmutableValidator.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ImmutableValidator.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ImmutableValidator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/Immutable
Validator.cpp
[ 61% 165/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/GlobalContext.cpp
[ 62% 166/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/NameAn
dTypeResolver.cpp
[ 62% 167/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/OverrideChecker.cp
p
[ 63% 168/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/PostTypeChecker.cp
p
[ 63% 169/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeContractLevelChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeContractLevelChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeContractLevelChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/
libsolidity/analysis/PostTypeContractLevelChecker.cpp
[ 63% 170/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/Reference
sResolver.cpp
[ 64% 171/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/Scoper.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/Scoper.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/Scoper.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/Scoper.cpp
[ 64% 172/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/StaticAnalyzer.cpp
[ 64% 173/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/SyntaxChecker.cpp
[ 65% 174/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/ViewPureChecker.cp
p
[ 65% 175/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/analysis/TypeChecker.cpp
[ 66% 176/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ast/ASTAnnotations.cpp
[ 66% 177/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ast/AST.cpp
[ 66% 178/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ast/ASTUtils.cpp
[ 67% 179/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonExporter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonExporter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonExporter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ast/ASTJsonExporter.cpp
[ 67% 180/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/CallGraph.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/CallGraph.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/CallGraph.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ast/CallGraph.cpp
[ 67% 181/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ast/ASTJsonImporter.cpp
[ 68% 182/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ast/TypeProvider.cpp
[ 68% 183/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/ast/Types.cpp
[ 69% 184/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/ArrayUtils.cpp
[ 69% 185/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/ABIFunctions.cpp
[ 69% 186/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/Compiler.cpp
[ 70% 187/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/CompilerContext.cpp
[ 70% 188/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/CompilerUtils.cpp
[ 70% 189/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/ContractCompiler.cp
p
[ 71% 190/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/ExpressionCom
piler.cpp
[ 71% 191/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/lib
solidity/codegen/MultiUseYulFunctionCollector.cpp
[ 72% 192/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/LValue.cpp
[ 72% 193/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ReturnInfo.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ReturnInfo.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ReturnInfo.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/ReturnInfo.cpp
[ 72% 194/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/Common.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/Common.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/Common.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/ir/Common.cpp
[ 73% 195/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/ir/IRGenerator.cpp
[ 73% 196/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/YulUtilFunctions.cp
p
[ 73% 197/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsol
idity/codegen/ir/IRGeneratorForStatements.cpp
[ 74% 198/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/i
r/IRGenerationContext.cpp
[ 74% 199/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/codegen/ir/IRVariable.cpp
[ 75% 200/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/ArraySlicePredicate.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/ArraySlicePredicate.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/ArraySlicePredicate.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/ArraySlicePred
icate.cpp
[ 75% 201/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/BMC.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/BMC.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/BMC.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/BMC.cpp
[ 75% 202/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/EncodingContext.cpp
[ 76% 203/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/CHC.cpp
[ 76% 204/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/ExpressionFormatter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/ExpressionFormatter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/ExpressionFormatter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/ExpressionForm
atter.cpp
[ 76% 205/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/Invariants.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/Invariants.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/Invariants.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/Invariants.cpp
[ 77% 206/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/ModelCheckerSettings.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/ModelCheckerSettings.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/ModelCheckerSettings.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/ModelChecke
rSettings.cpp
[ 77% 207/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/ModelChecker.cpp
[ 78% 208/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/Predicate.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/Predicate.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/Predicate.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/Predicate.cpp
[ 78% 209/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/PredicateInstance.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/PredicateInstance.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/PredicateInstance.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/PredicateInstance.cp
p
[ 78% 210/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/PredicateSort.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/PredicateSort.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/PredicateSort.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/PredicateSort.cpp
[ 79% 211/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/SSAVariable.cpp
[ 79% 212/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SymbolicState.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SymbolicState.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SymbolicState.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/SymbolicState.cpp
[ 80% 213/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/SMTEncoder.cpp
[ 80% 214/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/SymbolicVariables.cp
p
[ 80% 215/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/SymbolicTypes.cpp
[ 81% 216/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/formal/VariableUsage.cpp
[ 81% 217/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/ABI.cpp
[ 81% 218/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/FileReader.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/FileReader.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/FileReader.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/FileReader.cpp
[ 82% 219/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/ImportRemapper.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/ImportRemapper.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/ImportRemapper.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/ImportRemapper.cp
p
[ 82% 220/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/CompilerStack.cpp
[ 83% 221/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/GasEstimator.cpp
[ 83% 222/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/Natspec.cpp
[ 83% 223/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/StorageLayout.cpp
[ 84% 224/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/Version.cpp
[ 84% 225/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/interface/StandardCom
piler.cpp
[ 84% 226/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/lsp/FileRepository.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/lsp/FileRepository.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/lsp/FileRepository.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/FileRepository.cpp
[ 85% 227/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/lsp/GotoDefinition.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/lsp/GotoDefinition.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/lsp/GotoDefinition.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/GotoDefinition.cpp
[ 85% 228/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/lsp/RenameSymbol.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/lsp/RenameSymbol.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/lsp/RenameSymbol.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/RenameSymbol.cpp
[ 86% 229/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/lsp/HandlerBase.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/lsp/HandlerBase.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/lsp/HandlerBase.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/HandlerBase.cpp
[ 86% 230/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/lsp/LanguageServer.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/lsp/LanguageServer.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/lsp/LanguageServer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/LanguageServer.cpp
FAILED: libsolidity/CMakeFiles/solidity.dir/lsp/LanguageServer.cpp.o
/usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/lsp/LanguageServer.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/lsp/LanguageServer.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/lsp/LanguageServer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/LanguageServer.cpp
/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/LanguageServer.cpp:222:27: error: 'recursive_directory_iterator' is deprecated: Use directory_options instead of symlink_option [-Werror,-Wdeprecated-declarations]
auto directoryIterator = fs::recursive_directory_iterator(m_fileRepository.basePath(), fs::symlink_option::recurse);
^
/usr/local/include/boost/filesystem/directory.hpp:576:5: note: 'recursive_directory_iterator' has been explicitly marked deprecated here
BOOST_FILESYSTEM_DETAIL_DEPRECATED("Use directory_options instead of symlink_option")
^
/usr/local/include/boost/filesystem/config.hpp:85:64: note: expanded from macro 'BOOST_FILESYSTEM_DETAIL_DEPRECATED'
#define BOOST_FILESYSTEM_DETAIL_DEPRECATED(msg) __attribute__((deprecated(msg)))
^
/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/LanguageServer.cpp:222:27: error: 'recursive_directory_iterator' is deprecated: Use directory_options instead of symlink_option [-Werror,-Wdeprecated-declarations]
auto directoryIterator = fs::recursive_directory_iterator(m_fileRepository.basePath(), fs::symlink_option::recurse);
^
/usr/local/include/boost/filesystem/directory.hpp:576:5: note: 'recursive_directory_iterator' has been explicitly marked deprecated here
BOOST_FILESYSTEM_DETAIL_DEPRECATED("Use directory_options instead of symlink_option")
^
/usr/local/include/boost/filesystem/config.hpp:85:64: note: expanded from macro 'BOOST_FILESYSTEM_DETAIL_DEPRECATED'
#define BOOST_FILESYSTEM_DETAIL_DEPRECATED(msg) __attribute__((deprecated(msg)))
^
2 errors generated.
[ 86% 230/265] /usr/bin/c++ -DFMT_HEADER_ONLY=1 -DHAVE_Z3 -I/wrkdirs/usr/ports/lang/solidity/work/.build/include -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17=/solidity -Wpessimizing-move -Wredundant-move -Wall -Wextra -Werror -pedantic -Wmissing-declarations -Wno-unknown-pragmas -Wsign-conversion -Wconversion -Wextra-semi -Wfinal-dtor-non-final-class -Wnewline-eof -Wduplicate-enum -Wno-unknown-attributes -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/lsp/SemanticTokensBuilder.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/lsp/SemanticTokensBuilder.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/lsp/SemanticTokensBuilder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.17/libsolidity/lsp/SemanticTokensBuilde
r.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/lang/solidity