=>> Building devel/smv build started at Mon Apr 1 20:33:40 BST 2024 port directory: /usr/ports/devel/smv package name: smv-2.5.4.3_11 building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64 maintained by: ports@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 2175 Jan 11 20:37 /usr/ports/devel/smv/Makefile Ports top last git commit: c2c35d895e Ports top unclean checkout: yes Port dir last git commit: d6a45e9f5e Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.99.20240122_1 Host OSVERSION: 1400097 Jail OSVERSION: 1302001 Job Id: 16 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1302001 UNAME_v=FreeBSD 13.2-RELEASE-p10 UNAME_r=13.2-RELEASE-p10 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.99.20240122_1 MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/16/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=13-amd64-default-dan SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for smv-2.5.4.3_11: DOCS=on: Build and/or install documentation EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- ports@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/smv/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/smv/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/smv/work/.cache HOME=/wrkdirs/usr/ports/devel/smv/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/devel/smv/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/smv/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCACHE_DIR="/root/.ccache" --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/smv/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/smv/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/smv/work/.cache HOME=/wrkdirs/usr/ports/devel/smv/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/devel/smv/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/smv/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 ADDR2LINE="/usr/local/bin/addr2line" AR="/usr/local/bin/ar" AS="/usr/local/bin/as" CPPFILT="/usr/local/bin/c++filt" GPROF="/usr/local/bin/gprof" LD="/usr/local/bin/ld" NM="/usr/local/bin/nm" OBJCOPY="/usr/local/bin/objcopy" OBJDUMP="/usr/local/bin/objdump" RANLIB="/usr/local/bin/ranlib" READELF="/usr/local/bin/readelf" SIZE="/usr/local/bin/size" STRINGS="/usr/local/bin/strings" PREFIX=/usr/local LOCALBASE=/usr/local CC="gcc13" CFLAGS="-O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing " CPP="cpp13" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -L/usr/local/lib/gcc13 " LIBS="" CXX="g++13" CXXFLAGS="-O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -Wl,-rpath=/usr/local/lib/gcc13 " CCACHE_DIR="/root/.ccache" 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-- PORTDOCS="" PORTEXAMPLES="" OSREL=13.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/smv" EXAMPLESDIR="share/examples/smv" DATADIR="share/smv" WWWDIR="www/smv" ETCDIR="etc/smv" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/smv DOCSDIR=/usr/local/share/doc/smv EXAMPLESDIR=/usr/local/share/examples/smv WWWDIR=/usr/local/www/smv ETCDIR=/usr/local/etc/smv --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 #### #### CCACHE_CPP2=1 WITH_SSP_PORTS=yes WITH_SSP=yes #WITH_LTO=yes DISABLE_LICENSES=yes LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak NO_LICENSES_DIALOGS=yes #### #### NO_IGNORE=yes DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18 WITH_SETID_MODE=force PHP_ZTS=enabled OPTIONS_UNSET+=OPENJPEG OPTIONS_UNSET+=GSSAPI_BASE OPTIONS_SET+=ZTS OPTIONS_SET+=GSSAPI_NONE WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache NO_CCACHE_DEPEND=1 CCACHE_WRAPPER_PATH= /ccache/libexec/ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" 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) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The smv port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> smv-2.5.4.3_11 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.20.9_1.pkg [pkg-builder.dan.net.uk] Installing pkg-1.20.9_1... [pkg-builder.dan.net.uk] Extracting pkg-1.20.9_1: .......... done ===> smv-2.5.4.3_11 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of smv-2.5.4.3_11 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The smv port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> Fetching all distfiles required by smv-2.5.4.3_11 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The smv port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> Fetching all distfiles required by smv-2.5.4.3_11 for building => SHA256 Checksum OK for smv.r2.5.4.3.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The smv port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> Fetching all distfiles required by smv-2.5.4.3_11 for building ===> Extracting for smv-2.5.4.3_11 => SHA256 Checksum OK for smv.r2.5.4.3.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for smv-2.5.4.3_11 ===> Applying FreeBSD patches for smv-2.5.4.3_11 from /usr/ports/devel/smv/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> smv-2.5.4.3_11 depends on executable: gcc13 - not found ===> Installing existing package /packages/All/gcc13-13.2.0_4.pkg [pkg-builder.dan.net.uk] Installing gcc13-13.2.0_4... [pkg-builder.dan.net.uk] `-- Installing binutils-2.40_5,1... [pkg-builder.dan.net.uk] | `-- Installing gettext-runtime-0.22.3_1... [pkg-builder.dan.net.uk] | | `-- Installing indexinfo-0.3.1... [pkg-builder.dan.net.uk] | | `-- Extracting indexinfo-0.3.1: . done [pkg-builder.dan.net.uk] | `-- Extracting gettext-runtime-0.22.3_1: .......... done [pkg-builder.dan.net.uk] | `-- Installing zstd-1.5.5_1... [pkg-builder.dan.net.uk] | | `-- Installing liblz4-1.9.4_1,1... [pkg-builder.dan.net.uk] | | `-- Extracting liblz4-1.9.4_1,1: .......... done [pkg-builder.dan.net.uk] | `-- Extracting zstd-1.5.5_1: .......... done [pkg-builder.dan.net.uk] `-- Extracting binutils-2.40_5,1: .......... done [pkg-builder.dan.net.uk] `-- Installing gmp-6.3.0... [pkg-builder.dan.net.uk] `-- Extracting gmp-6.3.0: .......... done [pkg-builder.dan.net.uk] `-- Installing mpc-1.3.1_1... [pkg-builder.dan.net.uk] | `-- Installing mpfr-4.2.1,1... [pkg-builder.dan.net.uk] | `-- Extracting mpfr-4.2.1,1: .......... done [pkg-builder.dan.net.uk] `-- Extracting mpc-1.3.1_1: ...... done [pkg-builder.dan.net.uk] Extracting gcc13-13.2.0_4: .......... done create symlink for gcc13 create symlink for gcc13 (world) create symlink for g++13 create symlink for g++13 (world) create symlink for cpp13 create symlink for cpp13 (world) ===== Message from gcc13-13.2.0_4: -- To ensure binaries built with this toolchain find appropriate versions of the necessary run-time libraries, you may want to link using -Wl,-rpath=/usr/local/lib/gcc13 For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens transparently. ===> smv-2.5.4.3_11 depends on executable: gcc13 - found ===> Returning to build of smv-2.5.4.3_11 ===> smv-2.5.4.3_11 depends on file: /usr/local/bin/as - found =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for smv-2.5.4.3_11 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for smv-2.5.4.3_11 rm -f grammar.y m4 timing.m4 grammar.m4 > grammar.y yacc -d grammar.y; mv y.tab.c grammar.c gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c grammar.c -o grammar.o y.tab.c: In function 'yyparse': y.tab.c:75:27: warning: implicit declaration of function 'yyerror'; did you mean 'yyerrok'? [-Wimplicit-function-declaration] y.tab.c:1432:5: note: in expansion of macro 'YYERROR_CALL' y.tab.c:1496:9: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] y.tab.c:1309:1: note: include '' or provide a declaration of 'memset' y.tab.c:1496:9: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] y.tab.c:1496:9: note: include '' or provide a declaration of 'memset' grammar.y:183:21: warning: implicit declaration of function 'find_atom'; did you mean 'find_assoc'? [-Wimplicit-function-declaration] 183 | neconstlist : constant {$$ = cons(find_atom($1),NIL);} | ^~~~~~~~~ | find_assoc grammar.y:289:13: warning: implicit declaration of function 'check_spec' [-Wimplicit-function-declaration] 289 | command : SPEC expr SEMI {catch_err(check_spec($2))} | ^~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:290:13: warning: implicit declaration of function 'compute_bound' [-Wimplicit-function-declaration] 290 | | COMPUTE expr SEMI {catch_err(compute_bound($2))} | ^ ~~~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:291:13: warning: implicit declaration of function 'goto_state'; did you mean 'setstate'? [-Wimplicit-function-declaration] 291 | | GOTO state SEMI {catch_err(goto_state($2))} | ^ ~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:292:13: warning: implicit declaration of function 'assign_command' [-Wimplicit-function-declaration] 292 | | LET term EQDEF expr SEMI {catch_err(assign_command($2,$4))} | ^ ~~~~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:293:13: warning: implicit declaration of function 'single_step' [-Wimplicit-function-declaration] 293 | | STEP SEMI {catch_err(single_step())} | ^ ~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:294:13: warning: implicit declaration of function 'eval_command' [-Wimplicit-function-declaration] 294 | | EVAL expr SEMI {catch_err(eval_command($2))} | ^ ~~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:295:13: warning: implicit declaration of function 'init_command' [-Wimplicit-function-declaration] 295 | | INIT expr SEMI {catch_err(init_command($2))} | ^ ~~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:296:13: warning: implicit declaration of function 'fair_command' [-Wimplicit-function-declaration] 296 | | FAIRNESS expr SEMI {catch_err(fair_command($2))} | ^ ~~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:297:13: warning: implicit declaration of function 'trans_command' [-Wimplicit-function-declaration] 297 | | TRANS expr SEMI {catch_err(trans_command($2))} | ^ ~~~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:298:13: warning: implicit declaration of function 'reset_command' [-Wimplicit-function-declaration] 298 | | RESET SEMI {catch_err(reset_command())} | ^ ~~~~~~~~~~~ grammar.y:8:67: note: in definition of macro 'catch_err' 8 | #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} | ^ grammar.y:302:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 302 | trace : NUMBER {$$ = (node_ptr)find_atom($1);} | ^ rm -f input.lex m4 timing.m4 input.m4 > input.lex lex -l input.lex; mv lex.yy.c input.c gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c input.c -o input.o lex.yy.c: In function 'yyensure_buffer_stack': lex.yy.c:2110:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] lex.yy.c:647:1: note: include '' or provide a declaration of 'memset' lex.yy.c:2110:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] lex.yy.c:2110:3: note: include '' or provide a declaration of 'memset' lex.yy.c:2131:3: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch] lex.yy.c:2131:3: note: include '' or provide a declaration of 'memset' lex.yy.c: In function 'yy_scan_string': lex.yy.c:2182:37: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration] lex.yy.c:2182:37: note: include '' or provide a declaration of 'strlen' lex.yy.c:2182:37: warning: incompatible implicit declaration of built-in function 'strlen' [-Wbuiltin-declaration-mismatch] lex.yy.c:2182:37: note: include '' or provide a declaration of 'strlen' gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c init.c -o init.o init.c: In function 'signal_handler': init.c:90:5: warning: implicit declaration of function 'reset_maxnodes' [-Wimplicit-function-declaration] 90 | reset_maxnodes(); | ^~~~~~~~~~~~~~ init.c:95:5: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] 95 | exit(1); | ^~~~ init.c:2:1: note: include '' or provide a declaration of 'exit' 1 | #include +++ |+#include 2 | init.c:95:5: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch] 95 | exit(1); | ^~~~ init.c:95:5: note: include '' or provide a declaration of 'exit' init.c: In function 'my_exit': init.c:201:3: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch] 201 | exit(n); | ^~~~ init.c:201:3: note: include '' or provide a declaration of 'exit' init.c: In function 'print_usage': init.c:220:38: warning: implicit declaration of function 'get_bdd_nodes_allocated' [-Wimplicit-function-declaration] 220 | printf("BDD nodes allocated: %d\n",get_bdd_nodes_allocated()); | ^~~~~~~~~~~~~~~~~~~~~~~ init.c:221:53: warning: implicit declaration of function 'sbrk' [-Wimplicit-function-declaration] 221 | printf("Bytes allocated: %d\n",(unsigned)((char *)sbrk(0)-addrstart)); | ^~~~ init.c:221:45: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 221 | printf("Bytes allocated: %d\n",(unsigned)((char *)sbrk(0)-addrstart)); | ^ init.c: In function 'yyerror': init.c:270:12: warning: type defaults to 'int' in declaration of 'yytext' [-Wimplicit-int] 270 | extern yytext; | ^~~~~~ gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c main.c -o main.o main.c:65:1: warning: return type defaults to 'int' [-Wimplicit-int] 65 | main(argc,argv) | ^~~~ main.c: In function 'main': main.c:81:24: warning: implicit declaration of function 'sbrk' [-Wimplicit-function-declaration] 81 | addrstart = (char *) sbrk(0); | ^~~~ main.c:81:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 81 | addrstart = (char *) sbrk(0); | ^ main.c:90:8: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration] 90 | if(strcmp(*argv,"-rr")==0){ | ^~~~~~ main.c:2:1: note: include '' or provide a declaration of 'strcmp' 1 | #include +++ |+#include 2 | main.c:239:9: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] 239 | exit(1); | ^~~~ main.c:2:1: note: include '' or provide a declaration of 'exit' 1 | #include +++ |+#include 2 | main.c:239:9: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch] 239 | exit(1); | ^~~~ main.c:239:9: note: include '' or provide a declaration of 'exit' main.c:328:23: warning: implicit declaration of function 'getpid' [-Wimplicit-function-declaration] 328 | fprintf(ff,"%d",getpid()); | ^~~~~~ main.c:357:3: warning: implicit declaration of function 'init_assoc'; did you mean 'insert_assoc'? [-Wimplicit-function-declaration] 357 | init_assoc(); | ^~~~~~~~~~ | insert_assoc main.c:363:6: warning: implicit declaration of function 'yyparse' [-Wimplicit-function-declaration] 363 | if(yyparse())my_exit(1); | ^~~~~~~ main.c:368:3: warning: implicit declaration of function 'build_symbols' [-Wimplicit-function-declaration] 368 | build_symbols(); | ^~~~~~~~~~~~~ gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c assoc.c -o assoc.o assoc.c: In function 'assoc_hash_fun': assoc.c:18:10: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 18 | return((int)(assoc->x)); | ^ assoc.c: In function 'remove_assoc': assoc.c:62:3: warning: implicit declaration of function 'remove_hash'; did you mean 'remove_assoc'? [-Wimplicit-function-declaration] 62 | remove_hash(hash,&a); | ^~~~~~~~~~~ | remove_assoc gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c bdd.c -o bdd.o bdd.c: In function 'leaf_bdd': bdd.c:150:9: warning: type of 'n' defaults to 'int' [-Wimplicit-int] 150 | bdd_ptr leaf_bdd(n) | ^~~~~~~~ bdd.c: In function 'atomic_bdd': bdd.c:155:9: warning: type of 'n' defaults to 'int' [-Wimplicit-int] 155 | bdd_ptr atomic_bdd(n) | ^~~~~~~~~~ bdd.c: In function 'SWAPHALVES': bdd.c:168:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 168 | return((void*)((((unsigned)(x)) << (sizeof(void *)*4)) | ^ bdd.c:168:35: warning: left shift count >= width of type [-Wshift-count-overflow] 168 | return((void*)((((unsigned)(x)) << (sizeof(void *)*4)) | ^~ bdd.c:169:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 169 | | (((unsigned)(x)) >> (sizeof(void *)*4)))); | ^ bdd.c:169:29: warning: right shift count >= width of type [-Wshift-count-overflow] 169 | | (((unsigned)(x)) >> (sizeof(void *)*4)))); | ^~ bdd.c:168:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 168 | return((void*)((((unsigned)(x)) << (sizeof(void *)*4)) | ^ bdd.c: In function 'shuffle_bits': bdd.c:176:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 176 | unsigned i, y=(unsigned)x, pos=1, res = 0; | ^ bdd.c: In function 'find_bdd': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:217:15: note: in expansion of macro 'HASHING' 217 | hash_num = HASHING(d1, d2, level, reduce_table.n); | ^~~~~~~ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:217:15: note: in expansion of macro 'HASHING' 217 | hash_num = HASHING(d1, d2, level, reduce_table.n); | ^~~~~~~ bdd.c: In function 'add_to_hash_table': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:319:14: note: in expansion of macro 'HASHING' 319 | hash_num = HASHING(q->left, q->right, GETLEVEL(q), reduce_table.n); | ^~~~~~~ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:319:14: note: in expansion of macro 'HASHING' 319 | hash_num = HASHING(q->left, q->right, GETLEVEL(q), reduce_table.n); | ^~~~~~~ bdd.c: In function 'sweep_and_collect': bdd.c:408:16: warning: type defaults to 'int' in declaration of 'k' [-Wimplicit-int] 408 | { register k = GETLEVEL(bddlist->left.bddtype); | ^ bdd.c: In function 'find_optimal_position': bdd.c:492:3: warning: implicit declaration of function 'set_variable_names' [-Wimplicit-function-declaration] 492 | set_variable_names(); | ^~~~~~~~~~~~~~~~~~ bdd.c: At top level: bdd.c:531:1: warning: return type defaults to 'int' [-Wimplicit-int] 531 | set_variable_names() | ^~~~~~~~~~~~~~~~~~ bdd.c: In function 'set_variable_names': bdd.c:546:7: warning: implicit declaration of function 'catastrophe' [-Wimplicit-function-declaration] 546 | catastrophe(str); | ^~~~~~~~~~~ bdd.c: In function 'reorder_variables': bdd.c:691:11: warning: implicit declaration of function 'output_order' [-Wimplicit-function-declaration] 691 | output_order(); | ^~~~~~~~~~~~ bdd.c: In function 'save_apply': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:736:41: note: in expansion of macro 'HASHING' 736 | register apply_rec *a = apply_cache + HASHING(d1, d2, op, apply_cache_size); | ^~~~~~~ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:736:41: note: in expansion of macro 'HASHING' 736 | register apply_rec *a = apply_cache + HASHING(d1, d2, op, apply_cache_size); | ^~~~~~~ bdd.c: In function 'insert_apply': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:755:6: note: in expansion of macro 'HASHING' 755 | HASHING(d1, d2, op, ((op < USE_BIG_CACHE) ? MINI_CACHE_SIZE : apply_cache_size)); | ^~~~~~~ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:755:6: note: in expansion of macro 'HASHING' 755 | HASHING(d1, d2, op, ((op < USE_BIG_CACHE) ? MINI_CACHE_SIZE : apply_cache_size)); | ^~~~~~~ bdd.c: In function 'find_apply': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:776:6: note: in expansion of macro 'HASHING' 776 | HASHING(d1, d2, op, ((op < USE_BIG_CACHE) ? MINI_CACHE_SIZE : apply_cache_size)); | ^~~~~~~ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 191 | #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) | ^ bdd.c:776:6: note: in expansion of macro 'HASHING' 776 | HASHING(d1, d2, op, ((op < USE_BIG_CACHE) ? MINI_CACHE_SIZE : apply_cache_size)); | ^~~~~~~ bdd.c: In function 'if_then_bdd': bdd.c:978:16: warning: implicit declaration of function 'type_error'; did you mean 'perror'? [-Wimplicit-function-declaration] 978 | if(ISLEAF(a))type_error(a->left); | ^~~~~~~~~~ | perror bdd.c: At top level: bdd.c:1026:8: warning: return type defaults to 'int' [-Wimplicit-int] 1026 | static swapwords(a,b) | ^~~~~~~~~ bdd.c: In function 'and_bdd': bdd.c:1091:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1091 | if(((int)a)>((int)b))swapwords(&a,&b); | ^ bdd.c:1091:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1091 | if(((int)a)>((int)b))swapwords(&a,&b); | ^ bdd.c: In function 'or_bdd': bdd.c:1129:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1129 | if(((int)a)>((int)b))swapwords(&a,&b); | ^ bdd.c:1129:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1129 | if(((int)a)>((int)b))swapwords(&a,&b); | ^ bdd.c: In function 'xor_bdd': bdd.c:1156:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1156 | if(((int)a)>((int)b))swapwords(&a,&b); | ^ bdd.c:1156:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1156 | if(((int)a)>((int)b))swapwords(&a,&b); | ^ bdd.c: At top level: bdd.c:1556:8: warning: return type defaults to 'int' [-Wimplicit-int] 1556 | static markbddlist(bddlist) | ^~~~~~~~~~~ bdd.c:1565:1: warning: return type defaults to 'int' [-Wimplicit-int] 1565 | check_bdd(d) | ^~~~~~~~~ bdd.c: In function 'check_bdd': bdd.c:1570:31: warning: 'return' with no value, in function returning non-void 1570 | if(((bdd_ptr)car(p)) == d)return; | ^~~~~~ bdd.c:1565:1: note: declared here 1565 | check_bdd(d) | ^~~~~~~~~ bdd.c: At top level: bdd.c:1598:8: warning: return type defaults to 'int' [-Wimplicit-int] 1598 | static force_garbage() | ^~~~~~~~~~~~~ bdd.c: In function 'force_garbage': bdd.c:1625:14: warning: implicit declaration of function 'pr_status' [-Wimplicit-function-declaration] 1625 | if(verbose)pr_status(); | ^~~~~~~~~ bdd.c: At top level: bdd.c:1661:1: warning: return type defaults to 'int' [-Wimplicit-int] 1661 | mygarbage() | ^~~~~~~~~ bdd.c:1690:1: warning: return type defaults to 'int' [-Wimplicit-int] 1690 | reset_maxnodes() | ^~~~~~~~~~~~~~ bdd.c:1696:1: warning: return type defaults to 'int' [-Wimplicit-int] 1696 | restart_bdd() | ^~~~~~~~~~~ bdd.c:1704:1: warning: return type defaults to 'int' [-Wimplicit-int] 1704 | pr_status() | ^~~~~~~~~ bdd.c: In function 'value_bdd': bdd.c:1942:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1942 | if(ISLEAF(a))return((int)(a->left)); | ^ bdd.c:1944:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 1944 | if(temp == (int)ELSE_LEAF) temp = value_bdd(a->right); | ^ gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c hash.c -o hash.o hash.c: In function 'new_hash': hash.c:16:3: warning: implicit declaration of function 'bzero' [-Wimplicit-function-declaration] 16 | bzero(res->tab,init_size * sizeof(rec_ptr)); | ^~~~~ hash.c:16:3: warning: incompatible implicit declaration of built-in function 'bzero' [-Wbuiltin-declaration-mismatch] hash.c: In function 'remove_hash': hash.c:78:3: warning: implicit declaration of function 'catastrophe' [-Wimplicit-function-declaration] 78 | catastrophe("remove_hash: record not found"); | ^~~~~~~~~~~ gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c node.c -o node.o node.c: In function 'list_length': node.c:124:8: warning: implicit declaration of function 'catastrophe' [-Wimplicit-function-declaration] 124 | if(l)catastrophe("list_length: l->type!=LIST"); | ^~~~~~~~~~~ node.c: In function 'sprint_node1': node.c:268:33: warning: implicit declaration of function 'sprint_node'; did you mean 'sprint_node1'? [-Wimplicit-function-declaration] 268 | if(!n->left.nodetype)return(sprint_node(str,size,n->right.nodetype)); | ^~~~~~~~~~~ | sprint_node1 node.c: In function 'print_node': node.c:407:3: warning: implicit declaration of function 'print_node_atcol'; did you mean 'print_node'? [-Wimplicit-function-declaration] 407 | print_node_atcol(stream,n,0); | ^~~~~~~~~~~~~~~~ | print_node node.c: At top level: node.c:600:1: warning: return type defaults to 'int' [-Wimplicit-int] 600 | print_node_stdout(n) | ^~~~~~~~~~~~~~~~~ node.c: In function 'print_node_atcol': node.c:614:19: warning: implicit declaration of function 'rpterr' [-Wimplicit-function-declaration] 614 | if(buf == NULL) rpterr("Out of memory"); | ^~~~~~ node.c:617:7: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration] 617 | p = strlen(buf); | ^~~~~~ node.c:23:1: note: include '' or provide a declaration of 'strlen' 22 | #include +++ |+#include 23 | node.c:617:7: warning: incompatible implicit declaration of built-in function 'strlen' [-Wbuiltin-declaration-mismatch] 617 | p = strlen(buf); | ^~~~~~ node.c:617:7: note: include '' or provide a declaration of 'strlen' node.c: In function 'make_subst_hash': node.c:678:7: warning: implicit declaration of function 'start_err' [-Wimplicit-function-declaration] 678 | start_err(); | ^~~~~~~~~ node.c:681:7: warning: implicit declaration of function 'finish_err' [-Wimplicit-function-declaration] 681 | finish_err(); | ^~~~~~~~~~ node.c: At top level: node.c:727:1: warning: return type defaults to 'int' [-Wimplicit-int] 727 | occur_check(n) | ^~~~~~~~~~~ gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c storage.c -o storage.o storage.c: In function 'init_storage': storage.c:15:37: warning: implicit declaration of function 'sbrk' [-Wimplicit-function-declaration] 15 | addrfree = addrlimit = (char *) sbrk(0); | ^~~~ storage.c:15:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 15 | addrfree = addrlimit = (char *) sbrk(0); | ^ storage.c: At top level: storage.c:19:8: warning: return type defaults to 'int' [-Wimplicit-int] 19 | static getmore() | ^~~~~~~ storage.c: In function 'getmore': storage.c:23:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 23 | if(addrlimit != (char *)sbrk(0)){ /* in case someone else did sbrk */ | ^ storage.c:25:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 25 | addrfree = addrlimit = (char *)sbrk(0); | ^ storage.c:26:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 26 | if(((unsigned)addrlimit) % 4 != 0) | ^ storage.c:27:7: warning: implicit declaration of function 'rpterr' [-Wimplicit-function-declaration] 27 | rpterr("Failed to allocate %d bytes: addrlimit = %xH, na = %xH\n", | ^~~~~~ storage.c:28:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 28 | ALLOCSIZE,(int)addrlimit,(int)na); | ^ storage.c:28:39: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 28 | ALLOCSIZE,(int)addrlimit,(int)na); | ^ storage.c:30:12: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 30 | if((na = (char *)sbrk(ALLOCSIZE)) != addrlimit) | ^ storage.c:32:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 32 | ALLOCSIZE,(int)addrlimit,(int)na); | ^ storage.c:32:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 32 | ALLOCSIZE,(int)addrlimit,(int)na); | ^ storage.c: In function 'dup_rec': storage.c:120:3: warning: implicit declaration of function 'bcopy' [-Wimplicit-function-declaration] 120 | bcopy(r,res,mp->rec_size); | ^~~~~ storage.c:120:3: warning: incompatible implicit declaration of built-in function 'bcopy' [-Wbuiltin-declaration-mismatch] gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c string.c -o string.o string.c: In function 'string_eq_fun': string.c:22:10: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration] 22 | return(strcmp(a1->text,a2->text)==0); | ^~~~~~ string.c:4:1: note: include '' or provide a declaration of 'strcmp' 3 | #include +++ |+#include 4 | string.c: In function 'find_string': string.c:38:20: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration] 38 | a.text = (char *)strcpy((char *)smv_malloc(strlen(x)+1),x); | ^~~~~~ string.c:38:20: note: include '' or provide a declaration of 'strcpy' string.c:38:20: warning: incompatible implicit declaration of built-in function 'strcpy' [-Wbuiltin-declaration-mismatch] string.c:38:20: note: include '' or provide a declaration of 'strcpy' string.c:38:46: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration] 38 | a.text = (char *)strcpy((char *)smv_malloc(strlen(x)+1),x); | ^~~~~~ string.c:38:46: note: include '' or provide a declaration of 'strlen' string.c:38:46: warning: incompatible implicit declaration of built-in function 'strlen' [-Wbuiltin-declaration-mismatch] string.c:38:46: note: include '' or provide a declaration of 'strlen' gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c symbols.c -o symbols.o symbols.c: In function 'eval_num': symbols.c:132:17: warning: implicit declaration of function 'catastrophe' [-Wimplicit-function-declaration] 132 | if(!ISLEAF(d))catastrophe("eval_num: !ISLEAF(d)"); | ^~~~~~~~~~~ symbols.c:134:24: warning: implicit declaration of function 'rpterr' [-Wimplicit-function-declaration] 134 | if(n->type != NUMBER)rpterr("numeric constant required"); | ^~~~~~ symbols.c: In function 'get_definition': symbols.c:150:24: warning: implicit declaration of function 'circular' [-Wimplicit-function-declaration] 150 | if(res == EVALUATING)circular(n); | ^~~~~~~~ symbols.c:154:5: warning: implicit declaration of function 'indent_node'; did you mean 'init_node'? [-Wimplicit-function-declaration] 154 | indent_node(stderr,"evaluating ",n,":\n"); | ^~~~~~~~~~~ | init_node symbols.c:157:3: warning: implicit declaration of function 'push_atom' [-Wimplicit-function-declaration] 157 | push_atom(n); | ^~~~~~~~~ symbols.c:159:3: warning: implicit declaration of function 'pop_atom' [-Wimplicit-function-declaration] 159 | pop_atom(n); | ^~~~~~~~ symbols.c: In function 'enforce_definition': symbols.c:312:3: warning: implicit declaration of function 'undefined' [-Wimplicit-function-declaration] 312 | undefined(n); | ^~~~~~~~~ symbols.c: At top level: symbols.c:334:8: warning: return type defaults to 'int' [-Wimplicit-int] 334 | static notanumber(n) | ^~~~~~~~~~ symbols.c: In function 'notanumber': symbols.c:337:3: warning: implicit declaration of function 'start_err' [-Wimplicit-function-declaration] 337 | start_err(); | ^~~~~~~~~ symbols.c:340:3: warning: implicit declaration of function 'finish_err' [-Wimplicit-function-declaration] 340 | finish_err(); | ^~~~~~~~~~ symbols.c: In function 'union_node': symbols.c:466:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 466 | if(((int)car(n1)) < ((int)car(n2))) | ^ symbols.c:466:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 466 | if(((int)car(n1)) < ((int)car(n2))) | ^ symbols.c: In function 'cp_reverse': symbols.c:546:5: warning: implicit declaration of function 'mygarbage' [-Wimplicit-function-declaration] 546 | mygarbage(); | ^~~~~~~~~ symbols.c:571:7: warning: implicit declaration of function 'reset_maxnodes' [-Wimplicit-function-declaration] 571 | reset_maxnodes(); | ^~~~~~~~~~~~~~ symbols.c: In function 'eu': symbols.c:648:7: warning: implicit declaration of function 'indent' [-Wimplicit-function-declaration] 648 | indent(stderr); | ^~~~~~ symbols.c: In function 'ebf': symbols.c:744:16: warning: type of 'inf' defaults to 'int' [-Wimplicit-int] 744 | static bdd_ptr ebf(g, inf, sup) | ^~~ symbols.c:744:16: warning: type of 'sup' defaults to 'int' [-Wimplicit-int] symbols.c: In function 'ebg': symbols.c:807:16: warning: type of 'inf' defaults to 'int' [-Wimplicit-int] 807 | static bdd_ptr ebg(g, inf, sup) | ^~~ symbols.c:807:16: warning: type of 'sup' defaults to 'int' [-Wimplicit-int] symbols.c: In function 'minu': symbols.c:982:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 982 | return((bdd_ptr) i); | ^ symbols.c: In function 'maxu': symbols.c:1034:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1034 | return((bdd_ptr) i); | ^ symbols.c: At top level: symbols.c:1073:8: warning: return type defaults to 'int' [-Wimplicit-int] 1073 | static range_error(n) | ^~~~~~~~~~~ symbols.c: In function 'make_quantifiers': symbols.c:1114:24: warning: implicit declaration of function 'varset_diff' [-Wimplicit-function-declaration] 1114 | return(cons(save_bdd(varset_diff(vars,car(l))),make_quantifiers(cdr(l),vars))); | ^~~~~~~~~~~ symbols.c: In function 'eval1': symbols.c:1367:25: warning: implicit declaration of function 'redefining' [-Wimplicit-function-declaration] 1367 | if(r->type != VAR)redefining(t2); | ^~~~~~~~~~ symbols.c:1376:9: warning: implicit declaration of function 'walk_leaves' [-Wimplicit-function-declaration] 1376 | walk_leaves(range_check,v); | ^~~~~~~~~~~ symbols.c: In function 'get_bdd_var': symbols.c:1468:27: warning: implicit declaration of function 'toomanyvars' [-Wimplicit-function-declaration] 1468 | if(nstvars == MAXSTVARS)toomanyvars(); | ^~~~~~~~~~~ symbols.c: In function 'print_state': symbols.c:1794:27: warning: implicit declaration of function 'value_bdd'; did you mean 'plus_bdd'? [-Wimplicit-function-declaration] 1794 | node_ptr p = (node_ptr)(value_bdd(if_then_bdd(s,proc_selector))); | ^~~~~~~~~ | plus_bdd symbols.c:1794:37: warning: implicit declaration of function 'if_then_bdd' [-Wimplicit-function-declaration] 1794 | node_ptr p = (node_ptr)(value_bdd(if_then_bdd(s,proc_selector))); | ^~~~~~~~~~~ symbols.c:1794:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1794 | node_ptr p = (node_ptr)(value_bdd(if_then_bdd(s,proc_selector))); | ^ symbols.c:1800:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 1800 | w = (node_ptr)(value_bdd(if_then_bdd(s,v))); | ^ symbols.c: In function 'bdd_to_formula': symbols.c:2142:3: warning: implicit declaration of function 'set_variable_names' [-Wimplicit-function-declaration] 2142 | set_variable_names(); | ^~~~~~~~~~~~~~~~~~ symbols.c: At top level: symbols.c:3108:8: warning: return type defaults to 'int' [-Wimplicit-int] 3108 | static print_in_process(s,context) | ^~~~~~~~~~~~~~~~ symbols.c: In function 'check_assign_both': symbols.c:3131:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 3131 | int lineno2 = (int)find_assoc(global_assign_hash,v1); | ^ symbols.c: At top level: symbols.c:3145:8: warning: return type defaults to 'int' [-Wimplicit-int] 3145 | static check_program(procs,spec_expr,fair_expr) | ^~~~~~~~~~~~~ symbols.c: In function 'check_program': symbols.c:3196:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 3196 | int lineno = (int)find_assoc(global_assign_hash,v); | ^ symbols.c: In function 'type_mask': symbols.c:3251:36: warning: implicit declaration of function 'make_var_mask'; did you mean 'make_params'? [-Wimplicit-function-declaration] 3251 | mask = save_bdd(and_bdd(mask,make_var_mask(car(l)))); | ^~~~~~~~~~~~~ | make_params symbols.c: In function 'build_model': symbols.c:3326:9: warning: implicit declaration of function 'walk' [-Wimplicit-function-declaration] 3326 | walk(release_bdd,sl); | ^~~~ symbols.c: In function 'check_hom': symbols.c:3497:29: warning: implicit declaration of function 'collapse_vars'; did you mean 'collapse'? [-Wimplicit-function-declaration] 3497 | Rnew = save_bdd(not_bdd(collapse_vars(Rnew,trans_1,prime_vars1))); | ^~~~~~~~~~~~~ | collapse symbols.c:3504:29: warning: implicit declaration of function 'collapse_no_shift' [-Wimplicit-function-declaration] 3504 | Rnew = save_bdd(not_bdd(collapse_no_shift(Rnew,trans))); | ^~~~~~~~~~~~~~~~~ symbols.c: In function 'check_implements': symbols.c:3604:3: warning: implicit declaration of function 'restart_bdd' [-Wimplicit-function-declaration] 3604 | restart_bdd(); | ^~~~~~~~~~~ symbols.c: At top level: symbols.c:3608:1: warning: return type defaults to 'int' [-Wimplicit-int] 3608 | check_all_implements(parse_tree) | ^~~~~~~~~~~~~~~~~~~~ symbols.c:3640:1: warning: return type defaults to 'int' [-Wimplicit-int] 3640 | check_trans() | ^~~~~~~~~~~ symbols.c:3673:1: warning: return type defaults to 'int' [-Wimplicit-int] 3673 | build_invar(procs,invar_expr,assumption) | ^~~~~~~~~~~ symbols.c:3735:1: warning: return type defaults to 'int' [-Wimplicit-int] 3735 | print_apprx_list_sizes(ff,l,n) | ^~~~~~~~~~~~~~~~~~~~~~ symbols.c: In function 'print_apprx_list_sizes': symbols.c:3740:13: warning: 'return' with no value, in function returning non-void 3740 | if(l==NIL)return; | ^~~~~~ symbols.c:3735:1: note: declared here 3735 | print_apprx_list_sizes(ff,l,n) | ^~~~~~~~~~~~~~~~~~~~~~ symbols.c:3743:3: warning: 'return' with no value, in function returning non-void 3743 | return; | ^~~~~~ symbols.c:3735:1: note: declared here 3735 | print_apprx_list_sizes(ff,l,n) | ^~~~~~~~~~~~~~~~~~~~~~ symbols.c: At top level: symbols.c:3746:1: warning: return type defaults to 'int' [-Wimplicit-int] 3746 | check_early(spec_expr,procs) | ^~~~~~~~~~~ symbols.c:3796:1: warning: return type defaults to 'int' [-Wimplicit-int] 3796 | print_prints(l) | ^~~~~~~~~~~~ symbols.c:3851:1: warning: return type defaults to 'int' [-Wimplicit-int] 3851 | compute_reachable(trans_expr,spec_expr,print_expr,procs) | ^~~~~~~~~~~~~~~~~ symbols.c: In function 'compute_reachable': symbols.c:3887:9: warning: implicit declaration of function 'report_and_exit' [-Wimplicit-function-declaration] 3887 | report_and_exit(); | ^~~~~~~~~~~~~~~ symbols.c: At top level: symbols.c:4030:1: warning: return type defaults to 'int' [-Wimplicit-int] 4030 | print_reachable_states() | ^~~~~~~~~~~~~~~~~~~~~~ symbols.c: In function 'output_order': symbols.c:4180:5: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] 4180 | exit(0); | ^~~~ symbols.c:27:1: note: include '' or provide a declaration of 'exit' 26 | #include +++ |+#include 27 | symbols.c:4180:5: warning: incompatible implicit declaration of built-in function 'exit' [-Wbuiltin-declaration-mismatch] 4180 | exit(0); | ^~~~ symbols.c:4180:5: note: include '' or provide a declaration of 'exit' symbols.c: In function 'read_order': symbols.c:4206:5: warning: implicit declaration of function 'open_input' [-Wimplicit-function-declaration] 4206 | open_input(input_order_file); | ^~~~~~~~~~ symbols.c:4207:13: warning: implicit declaration of function 'yylex' [-Wimplicit-function-declaration] 4207 | token = yylex(); | ^~~~~ symbols.c:4230:3: warning: implicit declaration of function 'close_input' [-Wimplicit-function-declaration] 4230 | close_input(); | ^~~~~~~~~~~ symbols.c: In function 'compute_bound': symbols.c:4316:8: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 4316 | s0 = (int) eval(the_spec,NIL); | ^ symbols.c: In function 'assign_command': symbols.c:4362:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 4362 | bdd_ptr w = leaf_bdd((node_ptr)(value_bdd(if_then_bdd(interactive_state,r)))); | ^ symbols.c: In function 'eval_command': symbols.c:4415:7: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] 4415 | w = (node_ptr)(value_bdd(if_then_bdd(interactive_state,r))); | ^ symbols.c: In function 'build_symbols': symbols.c:4594:3: warning: implicit declaration of function 'print_usage'; did you mean 'print_state'? [-Wimplicit-function-declaration] 4594 | print_usage(); | ^~~~~~~~~~~ | print_state symbols.c:4600:7: warning: implicit declaration of function 'reorder_variables' [-Wimplicit-function-declaration] 4600 | reorder_variables(); | ^~~~~~~~~~~~~~~~~ symbols.c:4618:5: warning: implicit declaration of function 'yyparse' [-Wimplicit-function-declaration] 4618 | yyparse(); | ^~~~~~~ symbols.c: At top level: symbols.c:4622:1: warning: return type defaults to 'int' [-Wimplicit-int] 4622 | report_and_exit() | ^~~~~~~~~~~~~~~ symbols.c: In function 'report_and_exit': symbols.c:4628:3: warning: implicit declaration of function 'my_exit' [-Wimplicit-function-declaration] 4628 | my_exit(0); | ^~~~~~~ rm -f smv gcc13 -O2 -pipe -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc13 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" grammar.o input.o init.o main.o assoc.o bdd.o hash.o node.o storage.o string.o symbols.o -lm -o smv =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> smv-2.5.4.3_11 depends on executable: gcc13 - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for smv-2.5.4.3_11 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/devel/smv/work/smv/smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/bin install -m 444 /wrkdirs/usr/ports/devel/smv/work/smv/smv.1 /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/man/man1 install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/smv-mode.el /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/NEW /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/doc/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/README /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/doc/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/doc/smvmanual.ps /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/doc/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/counter.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/dme1.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/dme2.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/featuring.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/gigamax.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/mutex.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/mutex1.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/periodic.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/ring.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/semaphore.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/short.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv install -m 0644 /wrkdirs/usr/ports/devel/smv/work/smv/examples/syncarb5.smv /wrkdirs/usr/ports/devel/smv/work/stage/usr/local/share/examples/smv ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2024-04-01T19:33:41+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=d6a45e9f5e' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.99.20240122_1' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for smv-2.5.4.3_11 ===> Building smv-2.5.4.3_11 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for smv-2.5.4.3_11 build of devel/smv | smv-2.5.4.3_11 ended at Mon Apr 1 20:34:07 BST 2024 build time: 00:00:27