[package - 113i386-default][lang/solidity] Failed for solidity-0.6.5 in build
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Sun Apr 12 21:04:39 UTC 2020
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 at FreeBSD.org
Last committer: ale at FreeBSD.org
Ident: $FreeBSD: head/lang/solidity/Makefile 530974 2020-04-07 12:29:16Z ale $
Log URL: http://beefy10.nyi.freebsd.org/data/113i386-default/531468/logs/solidity-0.6.5.log
Build URL: http://beefy10.nyi.freebsd.org/build.html?mastername=113i386-default&build=531468
Log:
=>> Building lang/solidity
build started at Sun Apr 12 20:47:56 UTC 2020
port directory: /usr/ports/lang/solidity
package name: solidity-0.6.5
building for: FreeBSD 113i386-default-job-03 11.3-RELEASE-p7 FreeBSD 11.3-RELEASE-p7 i386
maintained by: ale at FreeBSD.org
Makefile ident: $FreeBSD: head/lang/solidity/Makefile 530974 2020-04-07 12:29:16Z ale $
Poudriere version: 3.2.8-5-gc81843e5
Host OSVERSION: 1300076
Jail OSVERSION: 1103000
Job Id: 03
---Begin Environment---
SHELL=/bin/csh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1103000
UNAME_v=FreeBSD 11.3-RELEASE-p7
UNAME_r=11.3-RELEASE-p7
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-5-gc81843e5
MASTERMNT=/usr/local/poudriere/data/.m/113i386-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=113i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---
---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---
---Begin OPTIONS List---
===> The following configuration options are available for solidity-0.6.5:
CVC4=on: SMT Checker via CVC4
Z3=on: SMT Checker via Z3
===> Use 'make config' to modify these settings
---End OPTIONS List---
--MAINTAINER--
ale at 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 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 SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--
--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/solidity/work 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 NO_PIE=yes 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=11.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
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure. It currently retries the same
# failed mirror and then fails rather then trying another. It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.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" "-m" "elf_i386_fbsd" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=i386
OPSYS=FreeBSD
_OSRELEASE=11.3-RELEASE-p7
OSREL=11.3
OSVERSION=1103000
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
--Resource limits--
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 524288
stack size (kbytes, -s) 65536
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 89999
open files (-n) 1024
virtual mem size (kbytes, -v) unlimited
swap limit (kbytes, -w) unlimited
socket buffer size (bytes, -b) unlimited
pseudo-terminals (-p) unlimited
kqueues (-k) unlimited
umtx shared locks (-o) unlimited
--End resource limits--
=======================<phase: check-sanity >============================
===> License GPLv3 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> solidity-0.6.5 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.14.2.txz
[113i386-default-job-03] Installing pkg-1.14.2...
[113i386-default-job-03] Extracting pkg-1.14.2: .......... done
===> solidity-0.6.5 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of solidity-0.6.5
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by solidity-0.6.5 for building
===========================================================================
=======================<phase: checksum >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by solidity-0.6.5 for building
=> SHA256 Checksum OK for solidity_0.6.5.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by solidity-0.6.5 for building
===> Extracting for solidity-0.6.5
=> SHA256 Checksum OK for solidity_0.6.5.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===========================================================================
=======================<phase: patch >============================
===> Patching for solidity-0.6.5
===> Applying FreeBSD patches for solidity-0.6.5
===========================================================================
=======================<phase: build-depends >============================
===> solidity-0.6.5 depends on package: boost-libs>=0 - not found
===> Installing existing package /packages/All/boost-libs-1.72.0_1.txz
[113i386-default-job-03] Installing boost-libs-1.72.0_1...
[113i386-default-job-03] `-- Installing icu-66.1,1...
[113i386-default-job-03] `-- Extracting icu-66.1,1: .......... done
[113i386-default-job-03] Extracting boost-libs-1.72.0_1: .......... done
=====
Message from boost-libs-1.72.0_1:
--
You have built the Boost library with thread support.
<snip>
=======================<phase: configure >============================
===> Configuring for solidity-0.6.5
===> Performing out-of-source build
/bin/mkdir -p /wrkdirs/usr/ports/lang/solidity/work/.build
-- The C compiler identification is Clang 8.0.0
-- The CXX compiler identification is Clang 8.0.0
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc - works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ - works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Check if the system is big endian
-- Searching 16 bit integer
-- Looking for sys/types.h
-- Looking for sys/types.h - found
-- Looking for stdint.h
-- Looking for stdint.h - found
-- Looking for stddef.h
-- Looking for stddef.h - found
-- Check size of unsigned short
-- Check size of unsigned short - done
-- Searching 16 bit integer - Using unsigned short
-- Check if the system is big endian - little endian
-- Found Boost headers in
-- Found Boost::filesystem at /usr/local/lib/libboost_filesystem.a
-- Found Boost::unit_test_framework at /usr/local/lib/libboost_unit_test_framework.a
-- Found Boost::program_options at /usr/local/lib/libboost_program_options.a
-- Found Boost::system at /usr/local/lib/libboost_system.a
-- Looking for pthread.h
-- Looking for pthread.h - found
-- Found Threads: TRUE
-- Performing Test fstack-protector-strong
-- Performing Test fstack-protector-strong - Success
-- Performing Test Wimplicit-fallthrough
-- Performing Test Wimplicit-fallthrough - Success
-- Performing Test fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5=/solidity
-- Performing Test fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5=/solidity - Failed
-- Performing Test Wpessimizing-move
-- Performing Test Wpessimizing-move - Success
-- Performing Test Wredundant-move
-- Performing Test Wredundant-move - Success
------------------------------------------------------------------------
-- Configuring solidity 0.6.5
------------------------------------------------------------------------
-- CMake Version 3.17.0
-- CMAKE_BUILD_TYPE Build type Release
-- TARGET_PLATFORM Target platform FreeBSD
--------------------------------------------------------------- features
-- COVERAGE Coverage support OFF
------------------------------------------------------------- components
-- TESTS Build tests OFF
------------------------------------------------------------------ flags
-- OSSFUZZ OFF
------------------------------------------------------------------------
-- Found Z3: /usr/local/lib/libz3.so (found suitable version "4.8.7", minimum required is "4.6.0")
Z3 SMT solver found. This enables optional SMT checking with Z3.
CVC4 SMT solver found. This enables optional SMT checking with CVC4.
-- Configuring done
-- Generating done
CMake Warning:
Manually-specified variables were not used by the project:
CMAKE_COLOR_MAKEFILE
CMAKE_C_FLAGS_RELEASE
CMAKE_MODULE_LINKER_FLAGS
CMAKE_SHARED_LINKER_FLAGS
CMAKE_VERBOSE_MAKEFILE
-- Build files have been written to: /wrkdirs/usr/ports/lang/solidity/work/.build
===========================================================================
=======================<phase: build >============================
===> Building for solidity-0.6.5
[1/213] cd /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 && /usr/local/bin/cmake -DETH_SOURCE_DIR=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -DETH_BUILDINFO_IN=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/cmake/templates/BuildInfo.h.in -DETH_DST_DIR=/wrkdirs/usr/ports/lang/solidity/work/.build/include/solidity -DETH_CMAKE_DIR=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/cmake -DETH_BUILD_TYPE="Release" -DETH_BUILD_OS="FreeBSD" -DETH_BUILD_COMPILER="clang" -DETH_BUILD_PLATFORM="FreeBSD.clang" -DPROJECT_VERSION="0.6.5" -DPROJECT_VERSION_MAJOR="0" -DPROJECT_VERSION_MINOR="6" -DPROJECT_VERSION_PATCH="5" -P /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/cmake/scripts/buildinfo.cmake
[2/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/ExpressionSplitter.cpp
[3/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/ForLoopConditionIntoBody.cpp
[4/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/ForLoopConditionOutOfBody.cpp
[5/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/ForLoopInitRewriter.cpp
[6/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/FullInliner.cpp
[7/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/FunctionGrouper.cpp
[8/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/FunctionHoister.cpp
[9/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/InlinableExpressionFunctionFinder.cpp
[10/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/KnowledgeBase.cpp
[11/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/LoadResolver.cpp
[12/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/LoopInvariantCodeMotion.cpp
[13/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/MainFunction.cpp
[14/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/Metrics.cpp
[15/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/NameCollector.cpp
[16/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/NameDispenser.cpp
[17/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/ModelChecker.cpp
[18/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/SMTPortfolio.cpp
[19/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/SMTEncoder.cpp
[20/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/SMTLib2Interface.cpp
[21/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/VariableUsage.cpp
[22/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/Sorts.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/Sorts.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/Sorts.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/Sorts.cpp
[23/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/SSAVariable.cpp
[24/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/SymbolicTypes.cpp
[25/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/SymbolicVariables.cpp
[26/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/interface/GasEstimator.cpp
[27/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/interface/ABI.cpp
[28/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/interface/CompilerStack.cpp
[29/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/interface/Natspec.cpp
[30/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/interface/StorageLayout.cpp
[31/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/interface/StandardCompiler.cpp
[32/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/interface/Version.cpp
[33/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/parsing/Parser.cpp
[34/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/parsing/DocStringParser.cpp
[35/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/Z3Interface.cpp
[36/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/Z3CHCInterface.cpp
[37/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/CVC4Interface.cpp
[38/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/SyntacticalEquality.cpp
[39/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/TypeInfo.cpp
[40/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/UnusedPruner.cpp
[41/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/VarDeclInitializer.cpp
[42/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libyul/optimiser/VarNameCleaner.cpp
[43/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/ConstantEvaluator.cpp
[44/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/ContractLevelChecker.cpp
[45/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/ControlFlowAnalyzer.cpp
[46/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/ControlFlowBuilder.cpp
[47/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/ControlFlowGraph.cpp
[48/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/DeclarationContainer.cpp
[49/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/DocStringAnalyser.cpp
[50/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/ImmutableValidator.cpp
[51/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/GlobalContext.cpp
[52/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/NameAndTypeResolver.cpp
[53/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/OverrideChecker.cpp
[54/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/ast/ASTAnnotations.cpp
[55/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/PostTypeChecker.cpp
[56/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/ReferencesResolver.cpp
[57/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/StaticAnalyzer.cpp
[58/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/SyntaxChecker.cpp
[59/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/TypeChecker.cpp
[60/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/ast/AST.cpp
[61/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/analysis/ViewPureChecker.cpp
[62/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o -MF tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o.d -o tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/tools/solidityUpgrade/Upgrade060.cpp
[63/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o -MF tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o.d -o tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/tools/solidityUpgrade/SourceUpgrade.cpp
[64/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o -MF solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o.d -o solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/solc/CommandLineInterface.cpp
[65/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT solc/CMakeFiles/solc.dir/main.cpp.o -MF solc/CMakeFiles/solc.dir/main.cpp.o.d -o solc/CMakeFiles/solc.dir/main.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/solc/main.cpp
[66/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/CompilerUtils.cpp
[67/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/ast/AsmJsonImporter.cpp
[68/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/ast/ASTJsonConverter.cpp
[69/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/ast/ASTUtils.cpp
[70/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/ast/ASTJsonImporter.cpp
[71/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/ast/Types.cpp
[72/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/ast/TypeProvider.cpp
[73/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/ABIFunctions.cpp
[74/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/ArrayUtils.cpp
[75/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/Compiler.cpp
[76/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/CompilerContext.cpp
[77/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/ExpressionCompiler.cpp
[78/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/ContractCompiler.cpp
[79/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/LValue.cpp
[80/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/YulUtilFunctions.cpp
[81/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/MultiUseYulFunctionCollector.cpp
[82/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/ir/IRGenerator.cpp
[83/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/ir/IRGeneratorForStatements.cpp
[84/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/ir/IRGenerationContext.cpp
[85/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/codegen/ir/IRVariable.cpp
[86/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/EncodingContext.cpp
[87/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/BMC.cpp
[88/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -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.6.5/libsolidity/formal/CHC.cpp
[89/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/CHCSmtLib2Interface.cpp
[90/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/CommonData.cpp
[91/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/Keccak256.cpp
[92/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/CommonIO.cpp
[93/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/Exceptions.cpp
[94/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/IndentedWriter.cpp
[95/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/IpfsHash.cpp
FAILED: libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o
/usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/IpfsHash.cpp
/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/IpfsHash.cpp:166:44: error: no matching function for call to 'min'
_data.substr(chunkIndex * maxChunkSize, min(maxChunkSize, _data.length() - chunkIndex * maxChunkSize))
^~~
/usr/include/c++/v1/algorithm:2462:1: note: candidate template ignored: deduced conflicting types for parameter '_Tp' ('unsigned int' vs. 'unsigned long')
min(const _Tp& __a, const _Tp& __b)
^
/usr/include/c++/v1/algorithm:2472:1: note: candidate template ignored: could not match 'initializer_list<type-parameter-0-0>' against 'unsigned int'
min(initializer_list<_Tp> __t, _Compare __comp)
^
/usr/include/c++/v1/algorithm:2454:1: note: candidate function template not viable: requires 3 arguments, but 2 were provided
min(const _Tp& __a, const _Tp& __b, _Compare __comp)
^
/usr/include/c++/v1/algorithm:2480:1: note: candidate function template not viable: requires single argument '__t', but 2 arguments were provided
min(initializer_list<_Tp> __t)
^
1 error generated.
ninja: build stopped: subcommand failed.
*** Error code 1
Stop.
make: stopped in /usr/ports/lang/solidity
More information about the freebsd-pkg-fallout
mailing list