=>> Building devel/smv build started at Wed Jan 21 01:39:30 EST 2026 port directory: /usr/ports/devel/smv package name: smv-2.5.4.3_11 building for: FreeBSD pkg.DaveG.ca 14.3-RELEASE-p7 FreeBSD 14.3-RELEASE-p7 1403000 amd64 maintained by: ports@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 2149 Nov 22 2024 /usr/ports/devel/smv/Makefile Ports top last git commit: 076a295eb33c Ports top unclean checkout: no Port dir last git commit: f657d4c2d0d1 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1403000 Job Id: 06 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1403000 UNAME_v=FreeBSD 14.3-RELEASE-p7 1403000 UNAME_r=14.3-RELEASE-p7 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.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_14_3_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_14_3_x64-HEAD-ALL/06/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_14_3_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_14_3_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 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=/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 --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=/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="gcc14" CFLAGS="-O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -fno-strict-aliasing " CPP="cpp14" CPPFLAGS="" LDFLAGS=" -Wl,-rpath=/usr/local/lib/gcc14 -L/usr/local/lib/gcc14 " LIBS="" CXX="g++14" CXXFLAGS="-O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -Wl,-rpath=/usr/local/lib/gcc14 " 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=14.3 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--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 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 #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) 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-2.5.1.pkg [pkg.DaveG.ca] Installing pkg-2.5.1... [pkg.DaveG.ca] Extracting pkg-2.5.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: gcc14 - not found ===> Installing existing package /packages/All/gcc14-14.2.0_4.pkg [pkg.DaveG.ca] Installing gcc14-14.2.0_4... [pkg.DaveG.ca] `-- Installing binutils-2.44,1... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] | `-- Installing zstd-1.5.7_1... [pkg.DaveG.ca] | `-- Extracting zstd-1.5.7_1: .......... done [pkg.DaveG.ca] `-- Extracting binutils-2.44,1: .......... done [pkg.DaveG.ca] `-- Installing gmp-6.3.0... [pkg.DaveG.ca] `-- Extracting gmp-6.3.0: .......... done [pkg.DaveG.ca] `-- Installing mpc-1.3.1_1... [pkg.DaveG.ca] | `-- Installing mpfr-4.2.2,1... [pkg.DaveG.ca] | `-- Extracting mpfr-4.2.2,1: .......... done [pkg.DaveG.ca] `-- Extracting mpc-1.3.1_1: ...... done [pkg.DaveG.ca] Extracting gcc14-14.2.0_4: .......... done ===== Message from gcc14-14.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/gcc14 For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens transparently. ===> smv-2.5.4.3_11 depends on executable: gcc14 - 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 ===> smv-2.5.4.3_11 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc14 create symlink for gcc14 (world) create symlink for g++14 create symlink for g++14 (world) create symlink for cpp14 create symlink for cpp14 (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> smv-2.5.4.3_11 depends on file: /usr/local/bin/ccache - 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 ===> 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 gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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 gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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' gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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; | ^~~~~~ gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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(); | ^~~~~~~~~~~~~ gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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 gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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 [-Wreturn-mismatch] 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); | ^ gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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"); | ^~~~~~~~~~~ gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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) | ^~~~~~~~~~~ gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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] gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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' gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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 [-Wreturn-mismatch] 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 [-Wreturn-mismatch] 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 gcc14 -O2 -pipe -fpermissive -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -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 -Wl,-rpath=/usr/local/lib/gcc14 -L/usr/local/lib/gcc14 -lm -o smv =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> smv-2.5.4.3_11 depends on executable: gcc14 - 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=2026-01-21T06:39:30+0000' 'PKG_NOTE_ports_top_git_hash=076a295eb33c' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=f657d4c2d0d1' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' 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 Wed Jan 21 01:40:06 EST 2026 build time: 00:00:38