=>> Building devel/cil build started at Sun Apr 7 01:05:57 BST 2024 port directory: /usr/ports/devel/cil package name: cil-1.7.3_3 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 2913 Feb 19 23:05 /usr/ports/devel/cil/Makefile Ports top last git commit: c2c35d895e Ports top unclean checkout: yes Port dir last git commit: abc0edbe8a 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 cil-1.7.3_3: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- ports@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl PERL_USE_UNSAFE_INC=1 XDG_DATA_HOME=/wrkdirs/usr/ports/devel/cil/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/cil/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/cil/work/.cache HOME=/wrkdirs/usr/ports/devel/cil/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/devel/cil/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/cil/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCACHE_DIR="/root/.ccache" CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288 --End CONFIGURE_ENV-- --MAKE_ENV-- OCAMLFIND_DESTDIR="/wrkdirs/usr/ports/devel/cil/work/stage/usr/local/lib/ocaml/site-lib" OCAMLFIND_LDCONF="/usr/local/lib/ocaml/ld.conf" PERL_USE_UNSAFE_INC=1 XDG_DATA_HOME=/wrkdirs/usr/ports/devel/cil/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/cil/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/cil/work/.cache HOME=/wrkdirs/usr/ports/devel/cil/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/devel/cil/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/cil/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 PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " 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="" OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=13.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PERL_VERSION=5.36.3 PERL_VER=5.36 PERL5_MAN1=lib/perl5/site_perl/man/man1 PERL5_MAN3=lib/perl5/site_perl/man/man3 SITE_PERL=lib/perl5/site_perl SITE_ARCH=lib/perl5/site_perl/mach/5.36 DOCSDIR="share/doc/cil" EXAMPLESDIR="share/examples/cil" DATADIR="share/cil" WWWDIR="www/cil" ETCDIR="etc/cil" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cil DOCSDIR=/usr/local/share/doc/cil EXAMPLESDIR=/usr/local/share/examples/cil WWWDIR=/usr/local/www/cil ETCDIR=/usr/local/etc/cil --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 cil 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 ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Unmaintained upstream due to lack of time. It is scheduled to be removed on or after 2024-03-31. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cil-1.7.3_3 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 ===> cil-1.7.3_3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cil-1.7.3_3 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The cil 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 ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Unmaintained upstream due to lack of time. It is scheduled to be removed on or after 2024-03-31. ===> Fetching all distfiles required by cil-1.7.3_3 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The cil 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 ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Unmaintained upstream due to lack of time. It is scheduled to be removed on or after 2024-03-31. ===> Fetching all distfiles required by cil-1.7.3_3 for building => SHA256 Checksum OK for cil-1.7.3.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cil-1.7.3_3 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.14.1.pkg [pkg-builder.dan.net.uk] Installing ocaml-4.14.1... [pkg-builder.dan.net.uk] Extracting ocaml-4.14.1: .......... done ===> cil-1.7.3_3 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of cil-1.7.3_3 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The cil 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 ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Unmaintained upstream due to lack of time. It is scheduled to be removed on or after 2024-03-31. ===> Fetching all distfiles required by cil-1.7.3_3 for building ===> Extracting for cil-1.7.3_3 => SHA256 Checksum OK for cil-1.7.3.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cil-1.7.3_3 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for cil-1.7.3_3 ===> Applying FreeBSD patches for cil-1.7.3_3 from /usr/ports/devel/cil/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cil-1.7.3_3 depends on executable: ocamlbuild - not found ===> Installing existing package /packages/All/ocaml-ocamlbuild-0.14.2_4.pkg [pkg-builder.dan.net.uk] Installing ocaml-ocamlbuild-0.14.2_4... [pkg-builder.dan.net.uk] Extracting ocaml-ocamlbuild-0.14.2_4: .......... done ===> cil-1.7.3_3 depends on executable: ocamlbuild - found ===> Returning to build of cil-1.7.3_3 ===> cil-1.7.3_3 depends on file: /usr/local/lib/ocaml/site-lib/num/META - not found ===> Installing existing package /packages/All/ocaml-num-1.4_2.pkg [pkg-builder.dan.net.uk] Installing ocaml-num-1.4_2... [pkg-builder.dan.net.uk] Extracting ocaml-num-1.4_2: .......... done ===> cil-1.7.3_3 depends on file: /usr/local/lib/ocaml/site-lib/num/META - found ===> Returning to build of cil-1.7.3_3 ===> cil-1.7.3_3 depends on file: /usr/local/bin/ocamlc - found ===> cil-1.7.3_3 depends on file: /usr/local/bin/ocamlfind - not found ===> Installing existing package /packages/All/ocaml-findlib-1.9.6_2.pkg [pkg-builder.dan.net.uk] Installing ocaml-findlib-1.9.6_2... [pkg-builder.dan.net.uk] `-- Installing ocaml-labltk-8.06.12... [pkg-builder.dan.net.uk] | `-- Installing tcl86-8.6.14_1... [pkg-builder.dan.net.uk] | `-- Extracting tcl86-8.6.14_1: .......... done [pkg-builder.dan.net.uk] | `-- Installing tk86-8.6.14_1... [pkg-builder.dan.net.uk] | | `-- Installing fontconfig-2.15.0_2,1... [pkg-builder.dan.net.uk] | | `-- Installing expat-2.6.1... [pkg-builder.dan.net.uk] | | `-- Extracting expat-2.6.1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing freetype2-2.13.2... [pkg-builder.dan.net.uk] | | `-- Extracting freetype2-2.13.2: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting fontconfig-2.15.0_2,1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libX11-1.8.7_1,1... [pkg-builder.dan.net.uk] | | `-- Installing libxcb-1.16.1... [pkg-builder.dan.net.uk] | | | `-- Installing libXau-1.0.9_1... [pkg-builder.dan.net.uk] | | | `-- Extracting libXau-1.0.9_1: .......... done [pkg-builder.dan.net.uk] | | | `-- Installing libXdmcp-1.1.5... [pkg-builder.dan.net.uk] | | | `-- Installing xorgproto-2023.2... [pkg-builder.dan.net.uk] | | | `-- Extracting xorgproto-2023.2: .......... done [pkg-builder.dan.net.uk] | | | `-- Extracting libXdmcp-1.1.5: ...... done [pkg-builder.dan.net.uk] | | `-- Extracting libxcb-1.16.1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting libX11-1.8.7_1,1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libXScrnSaver-1.2.4_1... [pkg-builder.dan.net.uk] | | `-- Installing libXext-1.3.6,1... [pkg-builder.dan.net.uk] | | `-- Extracting libXext-1.3.6,1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting libXScrnSaver-1.2.4_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libXft-2.3.7_1... [pkg-builder.dan.net.uk] | | `-- Installing libXrender-0.9.10_2... [pkg-builder.dan.net.uk] | | `-- Extracting libXrender-0.9.10_2: ....... done [pkg-builder.dan.net.uk] | | `-- Extracting libXft-2.3.7_1: .......... done [pkg-builder.dan.net.uk] | `-- Extracting tk86-8.6.14_1: .......... done [pkg-builder.dan.net.uk] `-- Extracting ocaml-labltk-8.06.12: .......... done [pkg-builder.dan.net.uk] Extracting ocaml-findlib-1.9.6_2: .......... done ==> Running trigger: fontconfig.ucl Running fc-cache to build fontconfig cache... ===== Message from freetype2-2.13.2: -- The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as the default, emulating a modern version of ClearType. This change inevitably leads to different rendering results, and you might change port's options to adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment variable). The environment variable "FREETYPE_PROPERTIES" can be used to control the driver properties. Example: FREETYPE_PROPERTIES=truetype:interpreter-version=35 \ cff:no-stem-darkening=1 \ autofitter:warping=1 This allows to select, say, the subpixel hinting mode at runtime for a given application. If LONG_PCF_NAMES port's option was enabled, the PCF family names may include the foundry and information whether they contain wide characters. For example, "Sony Fixed" or "Misc Fixed Wide", instead of "Fixed". This can be disabled at run time with using pcf:no-long-family-names property, if needed. Example: FREETYPE_PROPERTIES=pcf:no-long-family-names=1 How to recreate fontconfig cache with using such environment variable, if needed: # env FREETYPE_PROPERTIES=pcf:no-long-family-names=1 fc-cache -fsv The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/index.html, if documentation was installed). ===> cil-1.7.3_3 depends on file: /usr/local/bin/ocamlfind - found ===> Returning to build of cil-1.7.3_3 ===> cil-1.7.3_3 depends on package: gmake>=4.4.1 - not found ===> Installing existing package /packages/All/gmake-4.4.1.pkg [pkg-builder.dan.net.uk] Installing gmake-4.4.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] Extracting gmake-4.4.1: .......... done ===> cil-1.7.3_3 depends on package: gmake>=4.4.1 - found ===> Returning to build of cil-1.7.3_3 ===> cil-1.7.3_3 depends on package: perl5>=5.36<5.37 - not found ===> Installing existing package /packages/All/perl5-5.36.3_1.pkg [pkg-builder.dan.net.uk] Installing perl5-5.36.3_1... [pkg-builder.dan.net.uk] Extracting perl5-5.36.3_1: .......... done ===> cil-1.7.3_3 depends on package: perl5>=5.36<5.37 - found ===> Returning to build of cil-1.7.3_3 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for cil-1.7.3_3 configure: loading site script /usr/ports/Templates/config.site checking for gcc... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking build system type... amd64-portbld-freebsd13.2 checking host system type... amd64-portbld-freebsd13.2 checking target system type... amd64-portbld-freebsd13.2 checking for msvc cl.exe (optional)... not found checking for ocamlc... ocamlc OCaml version is 4.14.1 OCaml library path is /usr/local/lib/ocaml checking for ocamlopt... ocamlopt checking for ocamlc.opt... ocamlc.opt checking for ocamlopt.opt... ocamlopt.opt checking for ocaml... ocaml checking for ocamldep... ocamldep checking for ocamlmktop... ocamlmktop checking for ocamlmklib... ocamlmklib checking for ocamldoc... ocamldoc checking for ocamlbuild... ocamlbuild checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamlfind... ocamlfind checking for perl... perl checking for gcc version... checking how to run the C preprocessor... cpp checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking for __builtin_va_list... yes checking if __thread is a keyword... true checking if gcc adds underscores to assembly labels.... false checking for ANSI C header files... (cached) yes checking for stdlib.h... (cached) yes checking for strings.h... (cached) yes checking for sys/time.h... (cached) yes checking for unistd.h... (cached) yes checking for wchar.h... (cached) yes checking for stdbool.h... (cached) yes checking for an ANSI C-conforming const... yes checking for inline... inline checking whether time.h and sys/time.h may both be included... yes checking for working memcmp... yes checking for mkdir... yes checking for select... (cached) yes checking for socket... yes checking for __sysv_signal... no checking for real definition of size_t... unsigned long checking for real definition of wchar_t... int checking whether to use CIL feature blockinggraph... no checking whether to use CIL feature zrapp... no checking whether to use CIL feature llvm... no configure: creating ./config.status config.status: creating stamp-h config.status: creating Makefile config.status: creating config.mk config.status: creating lib/App/Cilly/CilConfig.pm config.status: creating doc/index.html config.status: creating doc/header.html config.status: creating src/machdep-ml.c config.status: creating config.h CIL configuration: (optional) cl.exe found: HAS_MSVC no gcc to use CC cc default compiler DEFAULT_COMPILER _GNUCC CIL version CIL_VERSION 1.7.3 CIL features CIL_FEATURES Extra source directories EXTRASRCDIRS =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for cil-1.7.3_3 ocamlbuild -build-dir _build -no-links -classic-display src/cil.cma /usr/local/bin/ocamlopt.opt unix.cmxa -I /usr/local/lib/ocaml/ocamlbuild /usr/local/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/local/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild /usr/local/bin/ocamldep.opt -modules ocamlutil/alpha.mli > ocamlutil/alpha.mli.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/pretty.mli > ocamlutil/pretty.mli.depends /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmi ocamlutil/pretty.mli /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/alpha.cmi ocamlutil/alpha.mli /usr/local/bin/ocamldep.opt -modules ocamlutil/alpha.ml > ocamlutil/alpha.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/errormsg.mli > ocamlutil/errormsg.mli.depends /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmi ocamlutil/errormsg.mli /usr/local/bin/ocamldep.opt -modules src/ext/availexps.ml > src/ext/availexps.ml.depends /usr/local/bin/ocamldep.opt -modules src/cil.mli > src/cil.mli.depends /usr/local/bin/ocamldep.opt -modules src/cilint.mli > src/cilint.mli.depends gmake -C .. _build/machdep.ml + gmake -C .. _build/machdep.ml gmake[1]: Entering directory '/wrkdirs/usr/ports/devel/cil/work/cil-1.7.3' src/machdep-ml.c:106:21: warning: cast to smaller integer type 'int' from 'short *' [-Wpointer-to-int-cast] alignof_short = (int)(&((struct shortstruct*)0)->s); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:115:19: warning: cast to smaller integer type 'int' from 'int *' [-Wpointer-to-int-cast] alignof_int = (int)(&((struct intstruct*)0)->i); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:124:20: warning: cast to smaller integer type 'int' from 'bool *' [-Wpointer-to-int-cast] alignof_bool = (int)(&((struct boolstruct*)0)->b); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:133:20: warning: cast to smaller integer type 'int' from 'long *' [-Wpointer-to-int-cast] alignof_long = (int)(&((struct longstruct*)0)->l); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:142:24: warning: cast to smaller integer type 'int' from 'long long *' [-Wpointer-to-int-cast] alignof_longlong = (int)(&((struct longlong*)0)->ll); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:151:19: warning: cast to smaller integer type 'int' from 'int **' [-Wpointer-to-int-cast] alignof_ptr = (int)(&((struct ptrstruct*)0)->p); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:160:20: warning: cast to smaller integer type 'int' from 'enum e2 *' [-Wpointer-to-int-cast] alignof_enum = (int)(&((struct enumstruct*)0)->e); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:169:21: warning: cast to smaller integer type 'int' from 'float *' [-Wpointer-to-int-cast] alignof_float = (int)(&((struct floatstruct*)0)->f); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:178:22: warning: cast to smaller integer type 'int' from 'double *' [-Wpointer-to-int-cast] alignof_double = (int)(&((struct s1*)0)->d); ^~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:187:26: warning: cast to smaller integer type 'int' from 'long double *' [-Wpointer-to-int-cast] alignof_longdouble = (int)(&((struct s1*)0)->ld); ^~~~~~~~~~~~~~~~~~~~~~~~~~~ 10 warnings generated. machdep-ml.exe created succesfully. Generating machine dependency information for CIL /bin/sh: cl: not found gmake[1]: Leaving directory '/wrkdirs/usr/ports/devel/cil/work/cil-1.7.3' /usr/local/bin/ocamldep.opt -modules machdep.ml > machdep.ml.depends /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilint.cmi src/cilint.mli /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o machdep.cmo machdep.ml /usr/local/bin/ocamldep.opt -modules src/ext/dataflow.mli > src/ext/dataflow.mli.depends /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmi src/cil.mli /usr/local/bin/ocamldep.opt -modules ocamlutil/inthash.mli > ocamlutil/inthash.mli.depends /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmi ocamlutil/inthash.mli /usr/local/bin/ocamldep.opt -modules src/ext/expcompare.ml > src/ext/expcompare.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/util.mli > ocamlutil/util.mli.depends /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/util.cmi ocamlutil/util.mli /usr/local/bin/ocamldep.opt -modules ocamlutil/stats.mli > ocamlutil/stats.mli.depends /usr/local/bin/ocamldep.opt -modules src/ext/usedef.ml > src/ext/usedef.ml.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmi src/ext/dataflow.mli /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmo src/ext/expcompare.ml /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/stats.cmi ocamlutil/stats.mli /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/usedef.cmo src/ext/usedef.ml /usr/local/bin/ocamldep.opt -modules src/ext/availexpslv.ml > src/ext/availexpslv.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/bitmap.mli > ocamlutil/bitmap.mli.depends /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmi ocamlutil/bitmap.mli /usr/local/bin/ocamldep.opt -modules ocamlutil/bitmap.ml > ocamlutil/bitmap.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/cabs.ml > src/frontc/cabs.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/cabs2cil.mli > src/frontc/cabs2cil.mli.depends /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs.cmo src/frontc/cabs.ml /usr/local/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmi src/frontc/cabs2cil.mli /usr/local/bin/ocamldep.opt -modules src/frontc/cabs2cil.ml > src/frontc/cabs2cil.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/cabshelper.ml > src/frontc/cabshelper.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/growArray.mli > ocamlutil/growArray.mli.depends /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/growArray.cmi ocamlutil/growArray.mli /usr/local/bin/ocamldep.opt -modules src/frontc/cabsvisit.mli > src/frontc/cabsvisit.mli.depends /usr/local/bin/ocamldep.opt -modules src/cilutil.ml > src/cilutil.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/cprint.ml > src/frontc/cprint.ml.depends /usr/local/bin/ocamldep.opt -modules src/escape.mli > src/escape.mli.depends /usr/local/bin/ocamldep.opt -modules src/frontc/whitetrack.mli > src/frontc/whitetrack.mli.depends /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/escape.cmi src/escape.mli /usr/local/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmi src/frontc/whitetrack.mli /usr/local/bin/ocamldep.opt -modules ocamlutil/trace.mli > ocamlutil/trace.mli.depends /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmo src/frontc/cabshelper.ml /usr/local/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmi src/frontc/cabsvisit.mli /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilutil.cmo src/cilutil.ml /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cprint.cmo src/frontc/cprint.ml /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmi ocamlutil/trace.mli /usr/local/bin/ocamldep.opt -modules src/frontc/cabsvisit.ml > src/frontc/cabsvisit.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/callgraph.mli > src/ext/callgraph.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmi src/ext/callgraph.mli /usr/local/bin/ocamldep.opt -modules src/ext/callgraph.ml > src/ext/callgraph.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/canonicalize.mli > src/ext/canonicalize.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmi src/ext/canonicalize.mli /usr/local/bin/ocamldep.opt -modules src/ext/canonicalize.ml > src/ext/canonicalize.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/cfg.mli > src/ext/cfg.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/cfg.cmi src/ext/cfg.mli /usr/local/bin/ocamldep.opt -modules src/ext/cfg.ml > src/ext/cfg.ml.depends /usr/local/bin/ocamldep.opt -modules src/check.mli > src/check.mli.depends /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/check.cmi src/check.mli /usr/local/bin/ocamldep.opt -modules src/check.ml > src/check.ml.depends /usr/local/bin/ocamldep.opt -modules src/cil.ml > src/cil.ml.depends gmake -C .. _build/cilversion.ml + gmake -C .. _build/cilversion.ml gmake[1]: Entering directory '/wrkdirs/usr/ports/devel/cil/work/cil-1.7.3' rm -f _build/cilversion.ml ./config.status --file=_build/cilversion.ml:src/cilversion.ml.in config.status: creating _build/cilversion.ml gmake[1]: Leaving directory '/wrkdirs/usr/ports/devel/cil/work/cil-1.7.3' /usr/local/bin/ocamldep.opt -modules cilversion.ml > cilversion.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/clist.mli > ocamlutil/clist.mli.depends /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o cilversion.cmo cilversion.ml /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmi ocamlutil/clist.mli /usr/local/bin/ocamldep.opt -modules src/cilint.ml > src/cilint.ml.depends /usr/local/bin/ocamldep.opt -modules src/cillower.mli > src/cillower.mli.depends /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cillower.cmi src/cillower.mli /usr/local/bin/ocamldep.opt -modules src/cillower.ml > src/cillower.ml.depends /usr/local/bin/ocamldep.opt -modules src/ciloptions.mli > src/ciloptions.mli.depends /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/ciloptions.cmi src/ciloptions.mli /usr/local/bin/ocamldep.opt -modules src/ciloptions.ml > src/ciloptions.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/frontc.mli > src/frontc/frontc.mli.depends /usr/local/bin/ocamldep.opt -modules src/machdepenv.ml > src/machdepenv.ml.depends /usr/local/bin/ocamldep.opt -modules src/mergecil.mli > src/mergecil.mli.depends /usr/local/bin/ocamldep.opt -modules src/rmtmps.mli > src/rmtmps.mli.depends /usr/local/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/frontc.cmi src/frontc/frontc.mli /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/machdepenv.cmo src/machdepenv.ml /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmi src/mergecil.mli /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmi src/rmtmps.mli /usr/local/bin/ocamldep.opt -modules src/ext/ciltools.ml > src/ext/ciltools.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/clexer.mli > src/frontc/clexer.mli.depends /usr/local/bin/ocamlyacc src/frontc/cparser.mly + /usr/local/bin/ocamlyacc src/frontc/cparser.mly 1 shift/reduce conflict. /usr/local/bin/ocamldep.opt -modules src/frontc/cparser.mli > src/frontc/cparser.mli.depends /usr/local/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cparser.cmi src/frontc/cparser.mli /usr/local/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmi src/frontc/clexer.mli /usr/local/bin/ocamllex.opt -q src/frontc/clexer.mll /usr/local/bin/ocamldep.opt -modules src/frontc/clexer.ml > src/frontc/clexer.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/lexerhack.ml > src/frontc/lexerhack.ml.depends /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/lexerhack.cmo src/frontc/lexerhack.ml /usr/local/bin/ocamldep.opt -modules ocamlutil/clist.ml > ocamlutil/clist.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/cparser.ml > src/frontc/cparser.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/dataflow.ml > src/ext/dataflow.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/dataslicing.mli > src/ext/dataslicing.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmi src/ext/dataslicing.mli /usr/local/bin/ocamldep.opt -modules src/ext/dataslicing.ml > src/ext/dataslicing.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/deadcodeelim.ml > src/ext/deadcodeelim.ml.depends /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ciltools.cmo src/ext/ciltools.ml /usr/local/bin/ocamldep.opt -modules src/ext/reachingdefs.ml > src/ext/reachingdefs.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/liveness.ml > src/ext/liveness.ml.depends /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/liveness.cmo src/ext/liveness.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/liveness.cmo src/ext/liveness.ml File "src/ext/liveness.ml", line 197, characters 21-25: 197 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/liveness.ml", line 276, characters 21-25: 276 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmo src/ext/reachingdefs.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmo src/ext/reachingdefs.ml File "src/ext/reachingdefs.ml", line 44, characters 21-39: 44 | Some i1, Some i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/reachingdefs.ml", line 297, characters 2-5: 297 | seq line (fun (vid,ios) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/reachingdefs.ml", line 470, characters 15-19: 470 | with Failure "hd" -> if compare fdec.svar.vname (!debug_fn) = 0 then ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/reachingdefs.ml", line 509, characters 2-5: 509 | seq line (fun stm -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/reachingdefs.ml", line 556, characters 17-21: 556 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamldep.opt -modules src/ext/dominators.mli > src/ext/dominators.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmi src/ext/dominators.mli /usr/local/bin/ocamldep.opt -modules src/ext/dominators.ml > src/ext/dominators.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/epicenter.ml > src/ext/epicenter.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/errormsg.ml > ocamlutil/errormsg.ml.depends /usr/local/bin/ocamldep.opt -modules src/escape.ml > src/escape.ml.depends gmake -C .. _build/feature_config.ml + gmake -C .. _build/feature_config.ml gmake[1]: Entering directory '/wrkdirs/usr/ports/devel/cil/work/cil-1.7.3' rm -f _build/feature_config.* echo "(* This module was generated automatically by code in Makefile.in *)" >_build/feature_config.ml echo "open Cil" >>_build/feature_config.ml echo "let features : featureDescr list = [" >> _build/feature_config.ml echo " (* EXTRAFEATURES: *)" >> _build/feature_config.ml echo \ \ | perl -pe 's/\\n/\n/g' >> _build/feature_config.ml echo "]" >>_build/feature_config.ml gmake[1]: Leaving directory '/wrkdirs/usr/ports/devel/cil/work/cil-1.7.3' /usr/local/bin/ocamldep.opt -modules feature_config.ml > feature_config.ml.depends /usr/local/bin/ocamldep.opt -modules src/formatcil.mli > src/formatcil.mli.depends /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmi src/formatcil.mli /usr/local/bin/ocamldep.opt -modules src/formatcil.ml > src/formatcil.ml.depends /usr/local/bin/ocamllex.opt -q src/formatlex.mll /usr/local/bin/ocamldep.opt -modules src/formatlex.ml > src/formatlex.ml.depends /usr/local/bin/ocamlyacc src/formatparse.mly /usr/local/bin/ocamldep.opt -modules src/formatparse.mli > src/formatparse.mli.depends /usr/local/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmi src/formatparse.mli /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatlex.cmo src/formatlex.ml /usr/local/bin/ocamldep.opt -modules src/formatparse.ml > src/formatparse.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/frontc.ml > src/frontc/frontc.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/patch.mli > src/frontc/patch.mli.depends /usr/local/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/patch.cmi src/frontc/patch.mli /usr/local/bin/ocamldep.opt -modules ocamlutil/growArray.ml > ocamlutil/growArray.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/longarray.mli > ocamlutil/longarray.mli.depends /usr/local/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmi ocamlutil/longarray.mli /usr/local/bin/ocamldep.opt -modules src/ext/heap.ml > src/ext/heap.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/heapify.ml > src/ext/heapify.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/inthash.ml > ocamlutil/inthash.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/llvm.ml > src/ext/llvm.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/llvmgen.ml > src/ext/llvmgen.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/llvmutils.ml > src/ext/llvmutils.ml.depends /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmutils.cmo src/ext/llvmutils.ml /usr/local/bin/ocamldep.opt -modules src/ext/llvmssa.ml > src/ext/llvmssa.ml.depends /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmgen.cmo src/ext/llvmgen.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmssa.cmo src/ext/llvmssa.ml /usr/local/bin/ocamldep.opt -modules src/ext/logcalls.mli > src/ext/logcalls.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmi src/ext/logcalls.mli /usr/local/bin/ocamldep.opt -modules src/ext/logcalls.ml > src/ext/logcalls.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/logwrites.ml > src/ext/logwrites.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/longarray.ml > ocamlutil/longarray.ml.depends /usr/local/bin/ocamldep.opt -modules src/mergecil.ml > src/mergecil.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/pta/olf.mli > src/ext/pta/olf.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/olf.cmi src/ext/pta/olf.mli /usr/local/bin/ocamldep.opt -modules src/ext/pta/olf.ml > src/ext/pta/olf.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/pta/setp.mli > src/ext/pta/setp.mli.depends /usr/local/bin/ocamldep.opt -modules src/ext/pta/uref.mli > src/ext/pta/uref.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/setp.cmi src/ext/pta/setp.mli /usr/local/bin/ocamlc.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/uref.cmi src/ext/pta/uref.mli /usr/local/bin/ocamldep.opt -modules src/ext/oneret.mli > src/ext/oneret.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/oneret.cmi src/ext/oneret.mli /usr/local/bin/ocamldep.opt -modules src/ext/oneret.ml > src/ext/oneret.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/partial.ml > src/ext/partial.ml.depends /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heap.cmo src/ext/heap.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heap.cmo src/ext/heap.ml File "src/ext/heap.ml", line 12, characters 13-25: 12 | elements = Array.create (size+1) (max_int,None) ; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamldep.opt -modules src/ext/pta/ptranal.mli > src/ext/pta/ptranal.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmi src/ext/pta/ptranal.mli /usr/local/bin/ocamldep.opt -modules src/frontc/patch.ml > src/frontc/patch.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/predabst.ml > src/ext/predabst.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/pretty.ml > ocamlutil/pretty.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/pta/ptranal.ml > src/ext/pta/ptranal.ml.depends /usr/local/bin/ocamldep.opt -modules src/rmtmps.ml > src/rmtmps.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/pta/setp.ml > src/ext/pta/setp.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/sfi.ml > src/ext/sfi.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/simplemem.ml > src/ext/simplemem.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/simplify.mli > src/ext/simplify.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplify.cmi src/ext/simplify.mli /usr/local/bin/ocamldep.opt -modules src/ext/simplify.ml > src/ext/simplify.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/ssa.mli > src/ext/ssa.mli.depends /usr/local/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmi src/ext/ssa.mli /usr/local/bin/ocamldep.opt -modules src/ext/ssa.ml > src/ext/ssa.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/stats.ml > ocamlutil/stats.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/trace.ml > ocamlutil/trace.ml.depends /usr/local/bin/ocamldep.opt -modules src/ext/pta/uref.ml > src/ext/pta/uref.ml.depends /usr/local/bin/ocamldep.opt -modules ocamlutil/util.ml > ocamlutil/util.ml.depends /usr/local/bin/ocamldep.opt -modules src/frontc/whitetrack.ml > src/frontc/whitetrack.ml.depends /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/alpha.cmo ocamlutil/alpha.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexps.cmo src/ext/availexps.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexps.cmo src/ext/availexps.ml File "src/ext/availexps.ml", line 59, characters 30-33: 59 | let eh_pretty () eh = line ++ seq line (fun (vid,e) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/availexps.ml", line 320, characters 15-19: 320 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/availexps.ml", line 381, characters 17-21: 381 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmo src/ext/availexpslv.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmo src/ext/availexpslv.ml File "src/ext/availexpslv.ml", line 362, characters 15-19: 362 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 424 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmo ocamlutil/bitmap.ml + /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmo ocamlutil/bitmap.ml File "ocamlutil/bitmap.ml", line 13, characters 14-26: 13 | let a = Array.create newWords Int32.zero in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmo src/frontc/cabs2cil.ml + /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmo src/frontc/cabs2cil.ml File "src/frontc/cabs2cil.ml", line 296, characters 2-13: 296 | Cil.mkCastT e oldt (!typeForInsertedCast newt) ^^^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 299, characters 2-11: 299 | makeCastT e (typeOf e) newt ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 409, characters 21-38: 409 | let prefix = AL.getAlphaPrefix lookupname in ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label lookupname was omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 421, characters 11-26: 421 | AL.newAlphaName alphaTable None lookupname !currentLoc in ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1151, characters 11-31: 1151 | AL.registerAlphaName alphaTable None (kindPlusName "label" lbl) !currentLoc ^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1289, characters 61-72: 1289 | if !insertImplicitCasts || fromsource then Cil.mkCastT e ot nt' else e) in ^^^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1627, characters 17-23: 1627 | mkCast oldsz' !typeOfSizeOf, mkCast sz' !typeOfSizeOf ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1627, characters 47-53: 1627 | mkCast oldsz' !typeOfSizeOf, mkCast sz' !typeOfSizeOf ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1890, characters 26-38: 1890 | ref idx, ref (Array.create (max 32 (idx + 1)) NoInitPre) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/frontc/cabs2cil.ml", line 2763, characters 28-47: 2763 | let a1n, a1f, a1t = partitionAttributes AttrType a1' in ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label default was omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 2765, characters 28-47: 2765 | let a2n, a2f, a2t = partitionAttributes nameortype a2' in ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label default was omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 2814, characters 25-44: 2814 | let an, af, at = partitionAttributes AttrType al' in ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label default was omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3307, characters 14-19: 3307 | mkMem (BinOp(IndexPI, e1'', e2'', t1)) NoOffset ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3324, characters 25-30: 3324 | (Lval (mkMem e' NoOffset)) ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3368, characters 17-22: 3368 | let lv' = Lval (mkMem e' field_offset) in ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3377, characters 27-43: 3377 | l >= ls && s = String.uppercase (String.sub str (l - ls) ls) ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uppercase Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. File "src/frontc/cabs2cil.ml", line 3639, characters 29-38: 3639 | | _ -> UnOp(Neg, makeCastT e' t tres, tres) ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3652, characters 31-40: 3652 | let e'' = UnOp(BNot, makeCastT e' t tres, tres) in ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3769, characters 40-49: 3769 | finishExp (se +++ (Set(lv, makeCastT result tresult t, ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3817, characters 33-42: 3817 | (se' +++ (Set(lv, makeCastT opresult tresult (typeOfLval lv), ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4036, characters 32-37: 4036 | | _ -> Lval(mkMem f' NoOffset) ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4623, characters 25-33: 4623 | finishExp empty (makeCast (integer addrval) voidPtrType) voidPtrType ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4642, characters 33-42: 4642 | optConstFoldBinOp false bop (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) tres ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4642, characters 56-65: 4642 | optConstFoldBinOp false bop (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) tres ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4649, characters 7-16: 4649 | (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) intType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4649, characters 30-39: 4649 | (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) intType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4657, characters 11-20: 4657 | (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) tres ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4657, characters 34-43: 4657 | (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) tres ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4664, characters 33-42: 4664 | optConstFoldBinOp false bop (makeCastT e1 t1 commontype) ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4665, characters 7-16: 4665 | (makeCastT e2 t2 commontype) intType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4680, characters 37-46: 4680 | optConstFoldBinOp false bop (makeCastT e1 t1 t1') (makeCastT e2 t2 t2') t1' ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4680, characters 59-68: 4680 | optConstFoldBinOp false bop (makeCastT e1 t1 t1') (makeCastT e2 t2 t2') t1' ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4690, characters 9-18: 4690 | (makeCastT e2 t2 (integralPromotion t2)) t1 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4694, characters 9-18: 4694 | (makeCastT e1 t1 (integralPromotion t1)) t2 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4698, characters 9-18: 4698 | (makeCastT e2 t2 (integralPromotion t2)) t1 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4702, characters 39-48: 4702 | optConstFoldBinOp false MinusPP (makeCastT e1 t1 commontype) ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4703, characters 39-48: 4703 | (makeCastT e2 t2 commontype) !ptrdiffType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4707, characters 31-40: 4707 | pointerComparison e1 t1 (makeCastT zero !upointType t1) t1 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4709, characters 25-34: 4709 | pointerComparison (makeCastT zero !upointType t2) t2 e2 t2 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4713, characters 31-40: 4713 | pointerComparison e1 t1 (makeCastT zero !upointType t1) t1 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4716, characters 25-34: 4716 | pointerComparison (makeCastT zero !upointType t2) t2 e2 t2 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4721, characters 19-28: 4721 | doBinOp bop (makeCastT e1 t1 !upointType) !upointType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4722, characters 19-28: 4722 | (makeCastT e2 t2 !upointType) !upointType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4726, characters 19-28: 4726 | doBinOp bop (makeCastT e1 t1 !upointType) !upointType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4727, characters 19-28: 4727 | (makeCastT e2 t2 !upointType) !upointType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4992, characters 28-30: 4992 | if ((isNone leno) or ((String.length s) < (integerArrayLength leno))) ^^ Alert deprecated: Stdlib.or Use (||) instead. File "src/frontc/cabs2cil.ml", line 5054, characters 28-30: 5054 | if ((isNone leno) or ((List.length s) < (integerArrayLength leno))) ^^ Alert deprecated: Stdlib.or Use (||) instead. File "src/frontc/cabs2cil.ml", line 5124, characters 26-35: 5124 | makeCastT oneinit' t' so.soTyp ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 5208, characters 23-32: 5208 | setone so.soOff (makeCastT oneinit' t' so.soTyp); ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 5539, characters 32-40: 5539 | (Set(var savelen, makeCast len savelen.vtype, !currentLoc)) in ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 5554, characters 21-29: 5554 | makeCast (Lval(var tmp)) vi.vtype, !currentLoc)) ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 5921, characters 39-47: 5921 | (i2c (Set ((Mem (makeCast (integer 0) intPtrType), ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 6122, characters 26-35: 6122 | Some (makeCastT zero intType rt) ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 6525, characters 37-45: 6525 | @@ i2c(Set (var switchv, makeCast e' intType, loc')) ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 6547, characters 40-48: 6547 | se @@ i2c (Set(var switchv, makeCast e' intType, loc')) @@ ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmo src/frontc/cabsvisit.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmo src/ext/callgraph.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmo src/ext/canonicalize.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmo src/ext/canonicalize.ml File "src/ext/canonicalize.ml", line 165, characters 26-32: 165 | let newI = Set(dest, mkCast exp typeOfDest, l) in ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/canonicalize.ml", line 182, characters 19-25: 182 | TEnum _ -> mkCast actual formalType ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/canonicalize.ml", line 208, characters 30-36: 208 | let newFuncPtr = Lval(Mem(mkCast fp newFuncPtrType), off) in ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/canonicalize.ml", line 233, characters 17-23: 233 | let newE = mkCast e fi.ftype in ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/canonicalize.ml", line 261, characters 33-39: 261 | stmt.skind <- Return (Some (mkCast exp typeOfDest), l) ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/cfg.cmo src/ext/cfg.ml /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/check.cmo src/check.ml + /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/check.cmo src/check.ml File "src/check.ml", line 645, characters 33-45: 645 | (Int64.format "%d" i') (Int64.format "%d" i)); ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "src/check.ml", line 645, characters 56-68: 645 | (Int64.format "%d" i') (Int64.format "%d" i)); ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmo src/cil.ml + /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmo src/cil.ml File "src/cil.ml", line 1623, characters 6-13: 1623 | (mkWhile guard (body @ next))) ^^^^^^^ Warning 6 [labels-omitted]: labels guard, body were omitted in the application of this function. File "src/cil.ml", line 1634, characters 2-7: 1634 | mkFor ^^^^^ Warning 6 [labels-omitted]: labels start, guard, next, body were omitted in the application of this function. File "src/cil.ml", line 1715, characters 20-26: 1715 | else "(" ^ (sprint !lineLength (d_ikind () ik)) ^ ")" ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 1725, characters 32-44: 1725 | text (prefix ^ "0x" ^ Int64.format "%x" i ^ suffix) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "src/cil.ml", line 2742, characters 21-37: 2742 | l >= ls && s = String.uppercase (String.sub str (l - ls) ls) ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uppercase Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. File "src/cil.ml", line 3447, characters 8-14: 3447 | fprint out !lineLength (indent ind (self#pExp () e)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 3454, characters 12-18: 3454 | fprint out !lineLength (indent ind (self#pInit () i)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 3684, characters 4-10: 3684 | fprint out !lineLength (indent ind (self#pStmt () s)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 3687, characters 4-10: 3687 | fprint out !lineLength (indent ind (align ++ self#pBlock () b)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4071, characters 9-15: 4071 | fprint out !lineLength ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4075, characters 9-15: 4075 | fprint out !lineLength (self#pFunDecl () fdec); ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4080, characters 9-15: 4080 | fprint out !lineLength ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4096, characters 12-18: 4096 | | g -> fprint out !lineLength (self#pGlobal () g) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4607, characters 15-27: 4607 | (Int64.format fmt i) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "src/cil.ml", line 5785, characters 16-22: 5785 | let print x = fprint out 78 x in ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 5982, characters 22-28: 5982 | fun d -> Const(CStr(sprint !lineLength d)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 5985, characters 22-28: 5985 | fun d l -> Asm([], [sprint !lineLength d], [], [], [], l) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 5988, characters 18-24: 5988 | fun d l -> GAsm(sprint !lineLength d, l) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 6091, characters 2-9: 6091 | mkCastT e (typeOf e) newt ^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/cil.ml", line 6217, characters 46-52: 6217 | SingleInit(if !insertImplicitCasts then mkCast zero t else zero) ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/cil.ml", line 6318, characters 12-31: 6318 | A.registerAlphaName gAlphaTable None vi.vname !currentLoc; ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/cil.ml", line 6334, characters 14-28: 6334 | A.newAlphaName gAlphaTable (Some undolist) v.vname ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/cil.ml", line 6349, characters 10-28: 6349 | A.undoAlphaChanges gAlphaTable !undolist; ^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist were omitted in the application of this function. File "src/cil.ml", line 6573, characters 7-21: 6573 | fst (A.newAlphaName labelAlphaTable None base ()) ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/cil.ml", line 6746, characters 31-50: 6746 | Label (name,_,_) -> A.registerAlphaName labelAlphaTable None name () ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilint.cmo src/cilint.ml /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cillower.cmo src/cillower.ml /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/ciloptions.cmo src/ciloptions.ml /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmo src/frontc/clexer.ml + /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmo src/frontc/clexer.ml File "src/frontc/clexer.mll", line 615, characters 30-47: Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmo ocamlutil/clist.ml /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cparser.cmo src/frontc/cparser.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmo src/ext/dataflow.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmo src/ext/dataslicing.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/deadcodeelim.cmo src/ext/deadcodeelim.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmo src/ext/dominators.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmo src/ext/dominators.ml File "src/ext/dominators.ml", line 53, characters 44-62: 53 | let compare v1 v2 = Pervasives.compare v1.sid v2.sid ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/dominators.ml", line 285, characters 15-19: 285 | with Failure "hd" -> idomData, (None, treeData) ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmo src/ext/epicenter.ml /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmo ocamlutil/errormsg.ml + /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmo ocamlutil/errormsg.ml File "ocamlutil/errormsg.ml", line 156, characters 12-18: 156 | let f d = fprint !logChannel 80 d; flush !logChannel in ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "ocamlutil/errormsg.ml", line 160, characters 12-18: 160 | let f d = fprint !logChannel 10000000 d; flush !logChannel in ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "ocamlutil/errormsg.ml", line 170, characters 43-56: 170 | let fail format = Pretty.gprintf (fun x -> Pretty.fprint stderr 80 x; ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/escape.cmo src/escape.ml /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o feature_config.cmo feature_config.ml /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmo src/formatcil.ml + /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmo src/formatcil.ml File "src/formatcil.ml", line 80, characters 17-31: 80 | let lexbuf = Formatlex.init prog in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label prog was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmo src/formatparse.ml + /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmo src/formatparse.ml File "src/formatparse.mly", line 429, characters 49-54: Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/formatparse.mly", line 511, characters 30-36: Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/formatparse.mly", line 609, characters 41-46: Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/formatparse.mly", line 625, characters 19-24: Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/formatparse.mly", line 644, characters 17-22: Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/formatparse.mly", line 1352, characters 28-34: Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/frontc.cmo src/frontc/frontc.ml + /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/frontc.cmo src/frontc/frontc.ml File "src/frontc/frontc.ml", line 190, characters 17-28: 190 | let lexbuf = Clexer.init fname in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label filename was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/growArray.cmo ocamlutil/growArray.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heapify.cmo src/ext/heapify.ml /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmo ocamlutil/inthash.ml + /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmo ocamlutil/inthash.ml File "ocamlutil/inthash.ml", line 37, characters 16-28: 37 | let ndata = Array.create nsize Empty in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvm.cmo src/ext/llvm.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvm.cmo src/ext/llvm.ml File "src/ext/llvm.ml", line 173, characters 6-12: 173 | fprint stdout 80 (generate f)); ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmo src/ext/logcalls.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmo src/ext/logcalls.ml File "src/ext/logcalls.ml", line 39, characters 4-17: 39 | Pretty.sprint 200 d ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmo src/ext/logwrites.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmo src/ext/logwrites.ml File "src/ext/logwrites.ml", line 98, characters 25-38: 98 | | _ -> let str = Pretty.sprint 80 ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/logwrites.ml", line 113, characters 25-38: 113 | | _ -> let str = Pretty.sprint 80 ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmo ocamlutil/longarray.ml + /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmo ocamlutil/longarray.ml File "ocamlutil/longarray.ml", line 27, characters 3-15: 27 | (Array.create len1 init) :: (if len2 > 0 then create len2 init else []) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "ocamlutil/longarray.ml", line 43, characters 15-28: 43 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "ocamlutil/longarray.ml", line 56, characters 15-28: 56 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "ocamlutil/longarray.ml", line 69, characters 15-28: 69 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "ocamlutil/longarray.ml", line 77, characters 15-28: 77 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmo src/mergecil.ml + /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmo src/mergecil.ml File "src/mergecil.ml", line 585, characters 24-32: 585 | let msg:string = (P.sprint 1000 (P.dprintf "(different type constructors: %a vs. %a)" ^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/mergecil.ml", line 781, characters 12-35: 781 | ignore (Alpha.registerAlphaName vtAlpha None vi.vname !currentLoc); ^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1311, characters 27-41: 1311 | let newName, _ = A.newAlphaName vtAlpha None vi.vname !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1575, characters 18-32: 1575 | A.newAlphaName sAlpha None ci.cname !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1599, characters 18-32: 1599 | A.newAlphaName eAlpha None ei.ename !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1608, characters 25-39: 1608 | A.newAlphaName vtAlpha None n !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1649, characters 18-32: 1649 | A.newAlphaName vtAlpha None ti.tname !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1660, characters 26-34: 1660 | let globStr:string = (P.sprint 1000 (P.dprintf ^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/mergecil.ml", line 1665, characters 28-36: 1665 | mergePushGlobal (GText (P.sprint 80 ^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/olf.cmo src/ext/pta/olf.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/olf.cmo src/ext/pta/olf.ml File "src/ext/pta/olf.ml", line 67, characters 4-22: 67 | Pervasives.compare (U.deref x.info) (U.deref y.info) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/oneret.cmo src/ext/oneret.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/partial.cmo src/ext/partial.ml /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/patch.cmo src/frontc/patch.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/predabst.cmo src/ext/predabst.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/predabst.cmo src/ext/predabst.ml File "src/ext/predabst.ml", line 202, characters 27-33: 202 | | Lval l -> T.mkVar (sprint 80 (d_lval () l)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 222, characters 30-36: 222 | | AddrOf lv -> T.mkVar (sprint 80 (d_exp () e)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 223, characters 31-37: 223 | | StartOf lv -> T.mkVar (sprint 80 (d_exp () e)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 782, characters 13-16: 782 | line ++ seq line (fun h -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 783, characters 7-10: 783 | seq line (fun (pid,bl) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 788, characters 13-16: 788 | line ++ seq line (fun (pid,bl) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 869, characters 14-18: 869 | with Failure "hd" -> if !debug then ignore(E.log "fn w. no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/predabst.ml", line 912, characters 14-18: 912 | with Failure "hd" -> DoChildren ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmo ocamlutil/pretty.ml + /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmo ocamlutil/pretty.ml File "ocamlutil/pretty.ml", line 166, characters 2-5: 166 | seq sep doit elements ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "ocamlutil/pretty.ml", line 732, characters 26-38: 732 | (Int64.format (Bytes.to_string format_spec) n)) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "ocamlutil/pretty.ml", line 742, characters 26-38: 742 | (Int32.format (Bytes.to_string format_spec) n)) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int32.format Use Printf.sprintf with a [%l...] format instead. File "ocamlutil/pretty.ml", line 752, characters 26-42: 752 | (Nativeint.format (Bytes.to_string format_spec) n)) ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Nativeint.format Use Printf.sprintf with a [%n...] format instead. File "ocamlutil/pretty.ml", line 839, characters 12-18: 839 | let f d = fprint chn 80 d; d in ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml File "src/ext/pta/ptranal.ml", line 287, characters 38-39: 287 | if is_undefined_fun fexpr & !conservative_undefineds then ^ Alert deprecated: Stdlib.& Use (&&) instead. /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml + /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml File "src/rmtmps.ml", lines 626-629, characters 8-39: 626 | ........If(_,_,({bstmts=[{skind=Goto(gref,_);labels=[]}]; 627 | battrs=[]} as b),_) 628 | | If(_,({bstmts=[{skind=Goto(gref,_);labels=[]}]; 629 | battrs=[]} as b),_,_) Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable gref appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. (See manual section 11.5) /usr/local/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/setp.cmo src/ext/pta/setp.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/sfi.cmo src/ext/sfi.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/sfi.cmo src/ext/sfi.ml File "src/ext/sfi.ml", line 83, characters 12-17: 83 | Lval (mkMem a NoOffset) ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/ext/sfi.ml", line 166, characters 13-26: 166 | let what = Pretty.sprint 80 (d_lval () lv) in ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/sfi.ml", line 177, characters 13-26: 177 | let what = Pretty.sprint 80 (d_lval () lv) in ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplemem.cmo src/ext/simplemem.ml /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplify.cmo src/ext/simplify.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplify.cmo src/ext/simplify.ml File "src/ext/simplify.ml", line 250, characters 15-21: 250 | add (mkCast a !upointType) offidx ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/simplify.ml", line 255, characters 11-17: 255 | Mem (mkCast a' (typeForCast restoff)), restoff ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/simplify.ml", line 267, characters 14-20: 267 | add (mkCast a !upointType) (makeBasic setTemp offidx) ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/simplify.ml", line 268, characters 15-21: 268 | else add (mkCast a !upointType) offidx ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/simplify.ml", line 271, characters 11-17: 271 | Mem (mkCast a' (typeForCast restoff)), restoff ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmo src/ext/ssa.ml + /usr/local/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmo src/ext/ssa.ml File "src/ext/ssa.ml", line 86, characters 17-29: 86 | let ndfs = Array.create nnodes 0 in (* mapping from depth-first ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 90, characters 17-29: 90 | let parent = Array.create nnodes 0 in (* the parent in depth-first ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 96, characters 17-29: 96 | let sdno = Array.create nnodes 0 in (* depth-first number of ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 108, characters 17-29: 108 | let ancestor = Array.create nnodes 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 109, characters 17-29: 109 | let label = Array.create nnodes 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 110, characters 17-29: 110 | let child = Array.create nnodes 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 111, characters 17-29: 111 | let size = Array.create nnodes 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 211, characters 17-29: 211 | let children = Array.create size [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 220, characters 11-23: 220 | let df = Array.create size [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 273, characters 19-31: 273 | let hasAlready = Array.create size 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 274, characters 13-25: 274 | let work = Array.create size 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 302, characters 15-27: 302 | let result = Array.create size ([]) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 324, characters 17-29: 324 | let children = Array.create size [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 673, characters 21-33: 673 | let successors = Array.create size [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/stats.cmo ocamlutil/stats.ml /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmo ocamlutil/trace.ml + /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmo ocamlutil/trace.ml File "ocamlutil/trace.ml", line 134, characters 7-13: 134 | (fprint stderr 80 (* print it *) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/uref.cmo src/ext/pta/uref.ml /usr/local/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/util.cmo ocamlutil/util.ml /usr/local/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmo src/frontc/whitetrack.ml /usr/local/bin/ocamlc.opt -a -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/pretty.cmo ocamlutil/errormsg.cmo ocamlutil/alpha.cmo ocamlutil/inthash.cmo ocamlutil/stats.cmo ocamlutil/util.cmo cilversion.cmo machdep.cmo ocamlutil/clist.cmo src/cilint.cmo src/escape.cmo src/cil.cmo src/ext/dataflow.cmo src/ext/expcompare.cmo src/ext/usedef.cmo src/ext/availexps.cmo src/ext/availexpslv.cmo ocamlutil/bitmap.cmo src/frontc/cabs.cmo ocamlutil/trace.cmo src/cilutil.cmo ocamlutil/longarray.cmo ocamlutil/growArray.cmo src/frontc/cabshelper.cmo src/frontc/cabsvisit.cmo src/frontc/whitetrack.cmo src/frontc/cprint.cmo src/frontc/cabs2cil.cmo src/ext/callgraph.cmo src/ext/canonicalize.cmo src/ext/cfg.cmo src/check.cmo src/cillower.cmo src/frontc/lexerhack.cmo src/frontc/cparser.cmo src/frontc/clexer.cmo src/frontc/patch.cmo src/frontc/frontc.cmo src/machdepenv.cmo src/mergecil.cmo src/rmtmps.cmo src/ciloptions.cmo src/ext/ciltools.cmo src/ext/dataslicing.cmo src/ext/liveness.cmo src/ext/reachingdefs.cmo src/ext/deadcodeelim.cmo src/ext/dominators.cmo src/ext/epicenter.cmo feature_config.cmo src/formatparse.cmo src/formatlex.cmo src/formatcil.cmo src/ext/heap.cmo src/ext/heapify.cmo src/ext/llvmutils.cmo src/ext/llvmgen.cmo src/ext/llvmssa.cmo src/ext/llvm.cmo src/ext/logcalls.cmo src/ext/logwrites.cmo src/ext/pta/setp.cmo src/ext/pta/uref.cmo src/ext/pta/olf.cmo src/ext/oneret.cmo src/ext/pta/ptranal.cmo src/ext/partial.cmo src/ext/predabst.cmo src/ext/sfi.cmo src/ext/simplemem.cmo src/ext/simplify.cmo src/ext/ssa.cmo -o src/cil.cma ocamlbuild -build-dir _build -no-links -classic-display src/cil.cmxa /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmx ocamlutil/pretty.ml + /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmx ocamlutil/pretty.ml File "ocamlutil/pretty.ml", line 166, characters 2-5: 166 | seq sep doit elements ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "ocamlutil/pretty.ml", line 732, characters 26-38: 732 | (Int64.format (Bytes.to_string format_spec) n)) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "ocamlutil/pretty.ml", line 742, characters 26-38: 742 | (Int32.format (Bytes.to_string format_spec) n)) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int32.format Use Printf.sprintf with a [%l...] format instead. File "ocamlutil/pretty.ml", line 752, characters 26-42: 752 | (Nativeint.format (Bytes.to_string format_spec) n)) ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.Nativeint.format Use Printf.sprintf with a [%n...] format instead. File "ocamlutil/pretty.ml", line 839, characters 12-18: 839 | let f d = fprint chn 80 d; d in ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmx ocamlutil/errormsg.ml + /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmx ocamlutil/errormsg.ml File "ocamlutil/errormsg.ml", line 156, characters 12-18: 156 | let f d = fprint !logChannel 80 d; flush !logChannel in ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "ocamlutil/errormsg.ml", line 160, characters 12-18: 160 | let f d = fprint !logChannel 10000000 d; flush !logChannel in ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "ocamlutil/errormsg.ml", line 170, characters 43-56: 170 | let fail format = Pretty.gprintf (fun x -> Pretty.fprint stderr 80 x; ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/alpha.cmx ocamlutil/alpha.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilint.cmx src/cilint.ml /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o cilversion.cmx cilversion.ml /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmx ocamlutil/clist.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/escape.cmx src/escape.ml /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmx ocamlutil/inthash.ml + /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmx ocamlutil/inthash.ml File "ocamlutil/inthash.ml", line 37, characters 16-28: 37 | let ndata = Array.create nsize Empty in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o machdep.cmx machdep.ml /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/util.cmx ocamlutil/util.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmx src/cil.ml + /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmx src/cil.ml File "src/cil.ml", line 1623, characters 6-13: 1623 | (mkWhile guard (body @ next))) ^^^^^^^ Warning 6 [labels-omitted]: labels guard, body were omitted in the application of this function. File "src/cil.ml", line 1634, characters 2-7: 1634 | mkFor ^^^^^ Warning 6 [labels-omitted]: labels start, guard, next, body were omitted in the application of this function. File "src/cil.ml", line 1715, characters 20-26: 1715 | else "(" ^ (sprint !lineLength (d_ikind () ik)) ^ ")" ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 1725, characters 32-44: 1725 | text (prefix ^ "0x" ^ Int64.format "%x" i ^ suffix) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "src/cil.ml", line 2742, characters 21-37: 2742 | l >= ls && s = String.uppercase (String.sub str (l - ls) ls) ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uppercase Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. File "src/cil.ml", line 3447, characters 8-14: 3447 | fprint out !lineLength (indent ind (self#pExp () e)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 3454, characters 12-18: 3454 | fprint out !lineLength (indent ind (self#pInit () i)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 3684, characters 4-10: 3684 | fprint out !lineLength (indent ind (self#pStmt () s)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 3687, characters 4-10: 3687 | fprint out !lineLength (indent ind (align ++ self#pBlock () b)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4071, characters 9-15: 4071 | fprint out !lineLength ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4075, characters 9-15: 4075 | fprint out !lineLength (self#pFunDecl () fdec); ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4080, characters 9-15: 4080 | fprint out !lineLength ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4096, characters 12-18: 4096 | | g -> fprint out !lineLength (self#pGlobal () g) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 4607, characters 15-27: 4607 | (Int64.format fmt i) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "src/cil.ml", line 5785, characters 16-22: 5785 | let print x = fprint out 78 x in ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 5982, characters 22-28: 5982 | fun d -> Const(CStr(sprint !lineLength d)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 5985, characters 22-28: 5985 | fun d l -> Asm([], [sprint !lineLength d], [], [], [], l) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 5988, characters 18-24: 5988 | fun d l -> GAsm(sprint !lineLength d, l) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/cil.ml", line 6091, characters 2-9: 6091 | mkCastT e (typeOf e) newt ^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/cil.ml", line 6217, characters 46-52: 6217 | SingleInit(if !insertImplicitCasts then mkCast zero t else zero) ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/cil.ml", line 6318, characters 12-31: 6318 | A.registerAlphaName gAlphaTable None vi.vname !currentLoc; ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/cil.ml", line 6334, characters 14-28: 6334 | A.newAlphaName gAlphaTable (Some undolist) v.vname ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/cil.ml", line 6349, characters 10-28: 6349 | A.undoAlphaChanges gAlphaTable !undolist; ^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist were omitted in the application of this function. File "src/cil.ml", line 6573, characters 7-21: 6573 | fst (A.newAlphaName labelAlphaTable None base ()) ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/cil.ml", line 6746, characters 31-50: 6746 | Label (name,_,_) -> A.registerAlphaName labelAlphaTable None name () ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmx src/ext/dataflow.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmx src/ext/expcompare.ml /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/stats.cmx ocamlutil/stats.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/usedef.cmx src/ext/usedef.ml /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs.cmx src/frontc/cabs.ml /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmx ocamlutil/longarray.ml + /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmx ocamlutil/longarray.ml File "ocamlutil/longarray.ml", line 27, characters 3-15: 27 | (Array.create len1 init) :: (if len2 > 0 then create len2 init else []) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "ocamlutil/longarray.ml", line 43, characters 15-28: 43 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "ocamlutil/longarray.ml", line 56, characters 15-28: 56 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "ocamlutil/longarray.ml", line 69, characters 15-28: 69 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "ocamlutil/longarray.ml", line 77, characters 15-28: 77 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/growArray.cmx ocamlutil/growArray.ml /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmx src/frontc/cabshelper.ml /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmx ocamlutil/trace.ml + /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmx ocamlutil/trace.ml File "ocamlutil/trace.ml", line 134, characters 7-13: 134 | (fprint stderr 80 (* print it *) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmx src/frontc/whitetrack.ml /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmx src/frontc/cabsvisit.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilutil.cmx src/cilutil.ml /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cprint.cmx src/frontc/cprint.ml /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmx src/frontc/cabs2cil.ml + /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmx src/frontc/cabs2cil.ml File "src/frontc/cabs2cil.ml", line 296, characters 2-13: 296 | Cil.mkCastT e oldt (!typeForInsertedCast newt) ^^^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 299, characters 2-11: 299 | makeCastT e (typeOf e) newt ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 409, characters 21-38: 409 | let prefix = AL.getAlphaPrefix lookupname in ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label lookupname was omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 421, characters 11-26: 421 | AL.newAlphaName alphaTable None lookupname !currentLoc in ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1151, characters 11-31: 1151 | AL.registerAlphaName alphaTable None (kindPlusName "label" lbl) !currentLoc ^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1289, characters 61-72: 1289 | if !insertImplicitCasts || fromsource then Cil.mkCastT e ot nt' else e) in ^^^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1627, characters 17-23: 1627 | mkCast oldsz' !typeOfSizeOf, mkCast sz' !typeOfSizeOf ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1627, characters 47-53: 1627 | mkCast oldsz' !typeOfSizeOf, mkCast sz' !typeOfSizeOf ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 1890, characters 26-38: 1890 | ref idx, ref (Array.create (max 32 (idx + 1)) NoInitPre) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/frontc/cabs2cil.ml", line 2763, characters 28-47: 2763 | let a1n, a1f, a1t = partitionAttributes AttrType a1' in ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label default was omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 2765, characters 28-47: 2765 | let a2n, a2f, a2t = partitionAttributes nameortype a2' in ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label default was omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 2814, characters 25-44: 2814 | let an, af, at = partitionAttributes AttrType al' in ^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label default was omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3307, characters 14-19: 3307 | mkMem (BinOp(IndexPI, e1'', e2'', t1)) NoOffset ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3324, characters 25-30: 3324 | (Lval (mkMem e' NoOffset)) ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3368, characters 17-22: 3368 | let lv' = Lval (mkMem e' field_offset) in ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3377, characters 27-43: 3377 | l >= ls && s = String.uppercase (String.sub str (l - ls) ls) ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uppercase Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. File "src/frontc/cabs2cil.ml", line 3639, characters 29-38: 3639 | | _ -> UnOp(Neg, makeCastT e' t tres, tres) ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3652, characters 31-40: 3652 | let e'' = UnOp(BNot, makeCastT e' t tres, tres) in ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3769, characters 40-49: 3769 | finishExp (se +++ (Set(lv, makeCastT result tresult t, ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 3817, characters 33-42: 3817 | (se' +++ (Set(lv, makeCastT opresult tresult (typeOfLval lv), ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4036, characters 32-37: 4036 | | _ -> Lval(mkMem f' NoOffset) ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4623, characters 25-33: 4623 | finishExp empty (makeCast (integer addrval) voidPtrType) voidPtrType ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4642, characters 33-42: 4642 | optConstFoldBinOp false bop (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) tres ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4642, characters 56-65: 4642 | optConstFoldBinOp false bop (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) tres ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4649, characters 7-16: 4649 | (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) intType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4649, characters 30-39: 4649 | (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) intType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4657, characters 11-20: 4657 | (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) tres ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4657, characters 34-43: 4657 | (makeCastT e1 t1 tres) (makeCastT e2 t2 tres) tres ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4664, characters 33-42: 4664 | optConstFoldBinOp false bop (makeCastT e1 t1 commontype) ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4665, characters 7-16: 4665 | (makeCastT e2 t2 commontype) intType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4680, characters 37-46: 4680 | optConstFoldBinOp false bop (makeCastT e1 t1 t1') (makeCastT e2 t2 t2') t1' ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4680, characters 59-68: 4680 | optConstFoldBinOp false bop (makeCastT e1 t1 t1') (makeCastT e2 t2 t2') t1' ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4690, characters 9-18: 4690 | (makeCastT e2 t2 (integralPromotion t2)) t1 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4694, characters 9-18: 4694 | (makeCastT e1 t1 (integralPromotion t1)) t2 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4698, characters 9-18: 4698 | (makeCastT e2 t2 (integralPromotion t2)) t1 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4702, characters 39-48: 4702 | optConstFoldBinOp false MinusPP (makeCastT e1 t1 commontype) ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4703, characters 39-48: 4703 | (makeCastT e2 t2 commontype) !ptrdiffType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4707, characters 31-40: 4707 | pointerComparison e1 t1 (makeCastT zero !upointType t1) t1 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4709, characters 25-34: 4709 | pointerComparison (makeCastT zero !upointType t2) t2 e2 t2 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4713, characters 31-40: 4713 | pointerComparison e1 t1 (makeCastT zero !upointType t1) t1 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4716, characters 25-34: 4716 | pointerComparison (makeCastT zero !upointType t2) t2 e2 t2 ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4721, characters 19-28: 4721 | doBinOp bop (makeCastT e1 t1 !upointType) !upointType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4722, characters 19-28: 4722 | (makeCastT e2 t2 !upointType) !upointType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4726, characters 19-28: 4726 | doBinOp bop (makeCastT e1 t1 !upointType) !upointType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4727, characters 19-28: 4727 | (makeCastT e2 t2 !upointType) !upointType ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 4992, characters 28-30: 4992 | if ((isNone leno) or ((String.length s) < (integerArrayLength leno))) ^^ Alert deprecated: Stdlib.or Use (||) instead. File "src/frontc/cabs2cil.ml", line 5054, characters 28-30: 5054 | if ((isNone leno) or ((List.length s) < (integerArrayLength leno))) ^^ Alert deprecated: Stdlib.or Use (||) instead. File "src/frontc/cabs2cil.ml", line 5124, characters 26-35: 5124 | makeCastT oneinit' t' so.soTyp ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 5208, characters 23-32: 5208 | setone so.soOff (makeCastT oneinit' t' so.soTyp); ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 5539, characters 32-40: 5539 | (Set(var savelen, makeCast len savelen.vtype, !currentLoc)) in ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 5554, characters 21-29: 5554 | makeCast (Lval(var tmp)) vi.vtype, !currentLoc)) ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 5921, characters 39-47: 5921 | (i2c (Set ((Mem (makeCast (integer 0) intPtrType), ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 6122, characters 26-35: 6122 | Some (makeCastT zero intType rt) ^^^^^^^^^ Warning 6 [labels-omitted]: labels e, oldt, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 6525, characters 37-45: 6525 | @@ i2c(Set (var switchv, makeCast e' intType, loc')) ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/frontc/cabs2cil.ml", line 6547, characters 40-48: 6547 | se @@ i2c (Set(var switchv, makeCast e' intType, loc')) @@ ^^^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/lexerhack.cmx src/frontc/lexerhack.ml /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cparser.cmx src/frontc/cparser.ml /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmx src/frontc/clexer.ml + /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmx src/frontc/clexer.ml File "src/frontc/clexer.mll", line 615, characters 30-47: Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/patch.cmx src/frontc/patch.ml /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/frontc.cmx src/frontc/frontc.ml + /usr/local/bin/ocamlopt.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/frontc.cmx src/frontc/frontc.ml File "src/frontc/frontc.ml", line 190, characters 17-28: 190 | let lexbuf = Clexer.init fname in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label filename was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/machdepenv.cmx src/machdepenv.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmx src/mergecil.ml + /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmx src/mergecil.ml File "src/mergecil.ml", line 585, characters 24-32: 585 | let msg:string = (P.sprint 1000 (P.dprintf "(different type constructors: %a vs. %a)" ^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/mergecil.ml", line 781, characters 12-35: 781 | ignore (Alpha.registerAlphaName vtAlpha None vi.vname !currentLoc); ^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1311, characters 27-41: 1311 | let newName, _ = A.newAlphaName vtAlpha None vi.vname !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1575, characters 18-32: 1575 | A.newAlphaName sAlpha None ci.cname !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1599, characters 18-32: 1599 | A.newAlphaName eAlpha None ei.ename !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1608, characters 25-39: 1608 | A.newAlphaName vtAlpha None n !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1649, characters 18-32: 1649 | A.newAlphaName vtAlpha None ti.tname !currentLoc in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels alphaTable, undolist, lookupname, data were omitted in the application of this function. File "src/mergecil.ml", line 1660, characters 26-34: 1660 | let globStr:string = (P.sprint 1000 (P.dprintf ^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/mergecil.ml", line 1665, characters 28-36: 1665 | mergePushGlobal (GText (P.sprint 80 ^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml + /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml File "src/rmtmps.ml", lines 626-629, characters 8-39: 626 | ........If(_,_,({bstmts=[{skind=Goto(gref,_);labels=[]}]; 627 | battrs=[]} as b),_) 628 | | If(_,({bstmts=[{skind=Goto(gref,_);labels=[]}]; 629 | battrs=[]} as b),_,_) Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable gref appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ciltools.cmx src/ext/ciltools.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/cfg.cmx src/ext/cfg.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/liveness.cmx src/ext/liveness.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/liveness.cmx src/ext/liveness.ml File "src/ext/liveness.ml", line 197, characters 21-25: 197 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/liveness.ml", line 276, characters 21-25: 276 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmx src/ext/reachingdefs.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmx src/ext/reachingdefs.ml File "src/ext/reachingdefs.ml", line 44, characters 21-39: 44 | Some i1, Some i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/reachingdefs.ml", line 297, characters 2-5: 297 | seq line (fun (vid,ios) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/reachingdefs.ml", line 470, characters 15-19: 470 | with Failure "hd" -> if compare fdec.svar.vname (!debug_fn) = 0 then ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/reachingdefs.ml", line 509, characters 2-5: 509 | seq line (fun stm -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/reachingdefs.ml", line 556, characters 17-21: 556 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmx src/ext/callgraph.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmx src/formatparse.ml + /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmx src/formatparse.ml File "src/formatparse.mly", line 429, characters 49-54: Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/formatparse.mly", line 511, characters 30-36: Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/formatparse.mly", line 609, characters 41-46: Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/formatparse.mly", line 625, characters 19-24: Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/formatparse.mly", line 644, characters 17-22: Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/formatparse.mly", line 1352, characters 28-34: Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatlex.cmx src/formatlex.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmutils.cmx src/ext/llvmutils.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmgen.cmx src/ext/llvmgen.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmssa.cmx src/ext/llvmssa.ml /usr/local/bin/ocamlopt.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/setp.cmx src/ext/pta/setp.ml /usr/local/bin/ocamlopt.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/uref.cmx src/ext/pta/uref.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heap.cmx src/ext/heap.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heap.cmx src/ext/heap.ml File "src/ext/heap.ml", line 12, characters 13-25: 12 | elements = Array.create (size+1) (max_int,None) ; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamlopt.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/olf.cmx src/ext/pta/olf.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/olf.cmx src/ext/pta/olf.ml File "src/ext/pta/olf.ml", line 67, characters 4-22: 67 | Pervasives.compare (U.deref x.info) (U.deref y.info) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/local/bin/ocamlopt.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext/pta -I ocamlutil -I src -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml File "src/ext/pta/ptranal.ml", line 287, characters 38-39: 287 | if is_undefined_fun fexpr & !conservative_undefineds then ^ Alert deprecated: Stdlib.& Use (&&) instead. /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmx ocamlutil/bitmap.ml + /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmx ocamlutil/bitmap.ml File "ocamlutil/bitmap.ml", line 13, characters 14-26: 13 | let a = Array.create newWords Int32.zero in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexps.cmx src/ext/availexps.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexps.cmx src/ext/availexps.ml File "src/ext/availexps.ml", line 59, characters 30-33: 59 | let eh_pretty () eh = line ++ seq line (fun (vid,e) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/availexps.ml", line 320, characters 15-19: 320 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/availexps.ml", line 381, characters 17-21: 381 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmx src/ext/availexpslv.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmx src/ext/availexpslv.ml File "src/ext/availexpslv.ml", line 362, characters 15-19: 362 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 424 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmx src/ext/canonicalize.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmx src/ext/canonicalize.ml File "src/ext/canonicalize.ml", line 165, characters 26-32: 165 | let newI = Set(dest, mkCast exp typeOfDest, l) in ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/canonicalize.ml", line 182, characters 19-25: 182 | TEnum _ -> mkCast actual formalType ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/canonicalize.ml", line 208, characters 30-36: 208 | let newFuncPtr = Lval(Mem(mkCast fp newFuncPtrType), off) in ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/canonicalize.ml", line 233, characters 17-23: 233 | let newE = mkCast e fi.ftype in ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/canonicalize.ml", line 261, characters 33-39: 261 | stmt.skind <- Return (Some (mkCast exp typeOfDest), l) ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/check.cmx src/check.ml + /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/check.cmx src/check.ml File "src/check.ml", line 645, characters 33-45: 645 | (Int64.format "%d" i') (Int64.format "%d" i)); ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "src/check.ml", line 645, characters 56-68: 645 | (Int64.format "%d" i') (Int64.format "%d" i)); ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cillower.cmx src/cillower.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/ciloptions.cmx src/ciloptions.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmx src/ext/dataslicing.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/deadcodeelim.cmx src/ext/deadcodeelim.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmx src/ext/dominators.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmx src/ext/dominators.ml File "src/ext/dominators.ml", line 53, characters 44-62: 53 | let compare v1 v2 = Pervasives.compare v1.sid v2.sid ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/dominators.ml", line 285, characters 15-19: 285 | with Failure "hd" -> idomData, (None, treeData) ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmx src/ext/epicenter.ml /usr/local/bin/ocamlopt.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o feature_config.cmx feature_config.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmx src/formatcil.ml + /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmx src/formatcil.ml File "src/formatcil.ml", line 80, characters 17-31: 80 | let lexbuf = Formatlex.init prog in ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label prog was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heapify.cmx src/ext/heapify.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvm.cmx src/ext/llvm.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvm.cmx src/ext/llvm.ml File "src/ext/llvm.ml", line 173, characters 6-12: 173 | fprint stdout 80 (generate f)); ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmx src/ext/logcalls.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmx src/ext/logcalls.ml File "src/ext/logcalls.ml", line 39, characters 4-17: 39 | Pretty.sprint 200 d ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmx src/ext/logwrites.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmx src/ext/logwrites.ml File "src/ext/logwrites.ml", line 98, characters 25-38: 98 | | _ -> let str = Pretty.sprint 80 ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/logwrites.ml", line 113, characters 25-38: 113 | | _ -> let str = Pretty.sprint 80 ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/oneret.cmx src/ext/oneret.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/partial.cmx src/ext/partial.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/predabst.cmx src/ext/predabst.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/predabst.cmx src/ext/predabst.ml File "src/ext/predabst.ml", line 202, characters 27-33: 202 | | Lval l -> T.mkVar (sprint 80 (d_lval () l)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 222, characters 30-36: 222 | | AddrOf lv -> T.mkVar (sprint 80 (d_exp () e)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 223, characters 31-37: 223 | | StartOf lv -> T.mkVar (sprint 80 (d_exp () e)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 782, characters 13-16: 782 | line ++ seq line (fun h -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 783, characters 7-10: 783 | seq line (fun (pid,bl) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 788, characters 13-16: 788 | line ++ seq line (fun (pid,bl) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 869, characters 14-18: 869 | with Failure "hd" -> if !debug then ignore(E.log "fn w. no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/predabst.ml", line 912, characters 14-18: 912 | with Failure "hd" -> DoChildren ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/sfi.cmx src/ext/sfi.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/sfi.cmx src/ext/sfi.ml File "src/ext/sfi.ml", line 83, characters 12-17: 83 | Lval (mkMem a NoOffset) ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/ext/sfi.ml", line 166, characters 13-26: 166 | let what = Pretty.sprint 80 (d_lval () lv) in ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/sfi.ml", line 177, characters 13-26: 177 | let what = Pretty.sprint 80 (d_lval () lv) in ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplemem.cmx src/ext/simplemem.ml /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplify.cmx src/ext/simplify.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplify.cmx src/ext/simplify.ml File "src/ext/simplify.ml", line 250, characters 15-21: 250 | add (mkCast a !upointType) offidx ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/simplify.ml", line 255, characters 11-17: 255 | Mem (mkCast a' (typeForCast restoff)), restoff ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/simplify.ml", line 267, characters 14-20: 267 | add (mkCast a !upointType) (makeBasic setTemp offidx) ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/simplify.ml", line 268, characters 15-21: 268 | else add (mkCast a !upointType) offidx ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. File "src/ext/simplify.ml", line 271, characters 11-17: 271 | Mem (mkCast a' (typeForCast restoff)), restoff ^^^^^^ Warning 6 [labels-omitted]: labels e, newt were omitted in the application of this function. /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmx src/ext/ssa.ml + /usr/local/bin/ocamlopt.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmx src/ext/ssa.ml File "src/ext/ssa.ml", line 86, characters 17-29: 86 | let ndfs = Array.create nnodes 0 in (* mapping from depth-first ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 90, characters 17-29: 90 | let parent = Array.create nnodes 0 in (* the parent in depth-first ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 96, characters 17-29: 96 | let sdno = Array.create nnodes 0 in (* depth-first number of ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 108, characters 17-29: 108 | let ancestor = Array.create nnodes 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 109, characters 17-29: 109 | let label = Array.create nnodes 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 110, characters 17-29: 110 | let child = Array.create nnodes 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 111, characters 17-29: 111 | let size = Array.create nnodes 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 211, characters 17-29: 211 | let children = Array.create size [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 220, characters 11-23: 220 | let df = Array.create size [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 273, characters 19-31: 273 | let hasAlready = Array.create size 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 274, characters 13-25: 274 | let work = Array.create size 0 in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 302, characters 15-27: 302 | let result = Array.create size ([]) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 324, characters 17-29: 324 | let children = Array.create size [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "src/ext/ssa.ml", line 673, characters 21-33: 673 | let successors = Array.create size [] in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamlopt.opt -a -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/pretty.cmx ocamlutil/errormsg.cmx ocamlutil/alpha.cmx cilversion.cmx machdep.cmx ocamlutil/clist.cmx ocamlutil/inthash.cmx ocamlutil/stats.cmx ocamlutil/util.cmx src/cilint.cmx src/escape.cmx src/cil.cmx src/ext/dataflow.cmx src/ext/expcompare.cmx src/ext/usedef.cmx src/ext/availexps.cmx src/ext/availexpslv.cmx ocamlutil/bitmap.cmx src/frontc/cabs.cmx ocamlutil/longarray.cmx ocamlutil/growArray.cmx ocamlutil/trace.cmx src/cilutil.cmx src/frontc/cabshelper.cmx src/frontc/cabsvisit.cmx src/frontc/whitetrack.cmx src/frontc/cprint.cmx src/frontc/cabs2cil.cmx src/ext/callgraph.cmx src/ext/canonicalize.cmx src/ext/cfg.cmx src/check.cmx src/cillower.cmx src/frontc/lexerhack.cmx src/frontc/cparser.cmx src/frontc/clexer.cmx src/frontc/patch.cmx src/frontc/frontc.cmx src/machdepenv.cmx src/mergecil.cmx src/rmtmps.cmx src/ciloptions.cmx src/ext/ciltools.cmx src/ext/dataslicing.cmx src/ext/liveness.cmx src/ext/reachingdefs.cmx src/ext/deadcodeelim.cmx src/ext/dominators.cmx src/ext/epicenter.cmx feature_config.cmx src/formatparse.cmx src/formatlex.cmx src/formatcil.cmx src/ext/heap.cmx src/ext/heapify.cmx src/ext/llvmutils.cmx src/ext/llvmgen.cmx src/ext/llvmssa.cmx src/ext/llvm.cmx src/ext/logcalls.cmx src/ext/logwrites.cmx src/ext/pta/setp.cmx src/ext/pta/uref.cmx src/ext/pta/olf.cmx src/ext/oneret.cmx src/ext/pta/ptranal.cmx src/ext/partial.cmx src/ext/predabst.cmx src/ext/sfi.cmx src/ext/simplemem.cmx src/ext/simplify.cmx src/ext/ssa.cmx -o src/cil.cmxa ocamlbuild -build-dir _build -no-links -classic-display src/cil.a ocamlbuild -build-dir _build -no-links -classic-display src/cil.libfiles /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/availexps.ml > src/ext/availexps.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/availexps.ml > src/ext/availexps.inferred.mli File "src/ext/availexps.ml", line 59, characters 30-33: 59 | let eh_pretty () eh = line ++ seq line (fun (vid,e) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/availexps.ml", line 320, characters 15-19: 320 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/availexps.ml", line 381, characters 17-21: 381 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/availexpslv.ml > src/ext/availexpslv.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/availexpslv.ml > src/ext/availexpslv.inferred.mli File "src/ext/availexpslv.ml", line 362, characters 15-19: 362 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 424 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -i src/frontc/cabs.ml > src/frontc/cabs.inferred.mli /usr/local/bin/ocamlc.opt -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -i src/frontc/cabshelper.ml > src/frontc/cabshelper.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/ciltools.ml > src/ext/ciltools.inferred.mli /usr/local/bin/ocamlc.opt -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i src/cilutil.ml > src/cilutil.inferred.mli /usr/local/bin/ocamlc.opt -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -i cilversion.ml > cilversion.inferred.mli /usr/local/bin/ocamlc.opt -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -i src/frontc/cprint.ml > src/frontc/cprint.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/deadcodeelim.ml > src/ext/deadcodeelim.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/epicenter.ml > src/ext/epicenter.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/expcompare.ml > src/ext/expcompare.inferred.mli /usr/local/bin/ocamlc.opt -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -i feature_config.ml > feature_config.inferred.mli /usr/local/bin/ocamlc.opt -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i src/formatlex.ml > src/formatlex.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/heap.ml > src/ext/heap.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/heap.ml > src/ext/heap.inferred.mli File "src/ext/heap.ml", line 12, characters 13-25: 12 | elements = Array.create (size+1) (max_int,None) ; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/heapify.ml > src/ext/heapify.inferred.mli /usr/local/bin/ocamlc.opt -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -i src/frontc/lexerhack.ml > src/frontc/lexerhack.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/liveness.ml > src/ext/liveness.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/liveness.ml > src/ext/liveness.inferred.mli File "src/ext/liveness.ml", line 197, characters 21-25: 197 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/liveness.ml", line 276, characters 21-25: 276 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvm.ml > src/ext/llvm.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvm.ml > src/ext/llvm.inferred.mli File "src/ext/llvm.ml", line 173, characters 6-12: 173 | fprint stdout 80 (generate f)); ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvmgen.ml > src/ext/llvmgen.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvmssa.ml > src/ext/llvmssa.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvmutils.ml > src/ext/llvmutils.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/logwrites.ml > src/ext/logwrites.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/logwrites.ml > src/ext/logwrites.inferred.mli File "src/ext/logwrites.ml", line 98, characters 25-38: 98 | | _ -> let str = Pretty.sprint 80 ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/logwrites.ml", line 113, characters 25-38: 113 | | _ -> let str = Pretty.sprint 80 ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -i machdep.ml > machdep.inferred.mli /usr/local/bin/ocamlc.opt -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i src/machdepenv.ml > src/machdepenv.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/partial.ml > src/ext/partial.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/predabst.ml > src/ext/predabst.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/predabst.ml > src/ext/predabst.inferred.mli File "src/ext/predabst.ml", line 202, characters 27-33: 202 | | Lval l -> T.mkVar (sprint 80 (d_lval () l)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 222, characters 30-36: 222 | | AddrOf lv -> T.mkVar (sprint 80 (d_exp () e)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 223, characters 31-37: 223 | | StartOf lv -> T.mkVar (sprint 80 (d_exp () e)) ^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/predabst.ml", line 782, characters 13-16: 782 | line ++ seq line (fun h -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 783, characters 7-10: 783 | seq line (fun (pid,bl) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 788, characters 13-16: 788 | line ++ seq line (fun (pid,bl) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/predabst.ml", line 869, characters 14-18: 869 | with Failure "hd" -> if !debug then ignore(E.log "fn w. no stmts?\n") ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/predabst.ml", line 912, characters 14-18: 912 | with Failure "hd" -> DoChildren ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/reachingdefs.ml > src/ext/reachingdefs.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/reachingdefs.ml > src/ext/reachingdefs.inferred.mli File "src/ext/reachingdefs.ml", line 44, characters 21-39: 44 | Some i1, Some i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/reachingdefs.ml", line 297, characters 2-5: 297 | seq line (fun (vid,ios) -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/reachingdefs.ml", line 470, characters 15-19: 470 | with Failure "hd" -> if compare fdec.svar.vname (!debug_fn) = 0 then ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "src/ext/reachingdefs.ml", line 509, characters 2-5: 509 | seq line (fun stm -> ^^^ Warning 6 [labels-omitted]: labels sep, doit, elements were omitted in the application of this function. File "src/ext/reachingdefs.ml", line 556, characters 17-21: 556 | with Failure "hd" -> ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/sfi.ml > src/ext/sfi.inferred.mli + /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/sfi.ml > src/ext/sfi.inferred.mli File "src/ext/sfi.ml", line 83, characters 12-17: 83 | Lval (mkMem a NoOffset) ^^^^^ Warning 6 [labels-omitted]: labels addr, off were omitted in the application of this function. File "src/ext/sfi.ml", line 166, characters 13-26: 166 | let what = Pretty.sprint 80 (d_lval () lv) in ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. File "src/ext/sfi.ml", line 177, characters 13-26: 177 | let what = Pretty.sprint 80 (d_lval () lv) in ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label width was omitted in the application of this function. /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/simplemem.ml > src/ext/simplemem.inferred.mli /usr/local/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/usedef.ml > src/ext/usedef.inferred.mli ocamlbuild -build-dir _build -no-links -classic-display src/main.native /usr/local/bin/ocamldep.opt -modules src/main.ml > src/main.ml.depends /usr/local/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/main.cmo src/main.ml /usr/local/bin/ocamlopt.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/main.cmx src/main.ml /usr/local/bin/ocamlopt.opt unix.cmxa str.cmxa nums.cmxa -I src src/cil.cmxa src/main.cmx -o src/main.native cp _build/src/main.native bin/cilly.native cp lib/App/Cilly.pm.in lib/App/Cilly.pm sed -e "s|CIL_VERSION|1.7.3|" lib/App/Cilly.pm > lib/App/Cilly.pm.tmp; \ mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ if cc -D_GNUCC -m32 src/machdep-ml.c -o _build/machdep-ml32.exe ;then \ sed -e "s|nogcc32model|` _build/machdep-ml32.exe --env`|" lib/App/Cilly.pm > lib/App/Cilly.pm.tmp; \ mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ fi Generating CIL_MACHINE machine dependency information string (for CIL) if cc -D_GNUCC -m64 src/machdep-ml.c -o _build/machdep-ml64.exe ;then \ sed -e "s|nogcc64model|` _build/machdep-ml64.exe --env`|" lib/App/Cilly.pm > lib/App/Cilly.pm.tmp; \ mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ fi src/machdep-ml.c:106:21: warning: cast to smaller integer type 'int' from 'short *' [-Wpointer-to-int-cast] alignof_short = (int)(&((struct shortstruct*)0)->s); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:115:19: warning: cast to smaller integer type 'int' from 'int *' [-Wpointer-to-int-cast] alignof_int = (int)(&((struct intstruct*)0)->i); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:124:20: warning: cast to smaller integer type 'int' from 'bool *' [-Wpointer-to-int-cast] alignof_bool = (int)(&((struct boolstruct*)0)->b); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:133:20: warning: cast to smaller integer type 'int' from 'long *' [-Wpointer-to-int-cast] alignof_long = (int)(&((struct longstruct*)0)->l); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:142:24: warning: cast to smaller integer type 'int' from 'long long *' [-Wpointer-to-int-cast] alignof_longlong = (int)(&((struct longlong*)0)->ll); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:151:19: warning: cast to smaller integer type 'int' from 'int **' [-Wpointer-to-int-cast] alignof_ptr = (int)(&((struct ptrstruct*)0)->p); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:160:20: warning: cast to smaller integer type 'int' from 'enum e2 *' [-Wpointer-to-int-cast] alignof_enum = (int)(&((struct enumstruct*)0)->e); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:169:21: warning: cast to smaller integer type 'int' from 'float *' [-Wpointer-to-int-cast] alignof_float = (int)(&((struct floatstruct*)0)->f); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:178:22: warning: cast to smaller integer type 'int' from 'double *' [-Wpointer-to-int-cast] alignof_double = (int)(&((struct s1*)0)->d); ^~~~~~~~~~~~~~~~~~~~~~~~~~ src/machdep-ml.c:187:26: warning: cast to smaller integer type 'int' from 'long double *' [-Wpointer-to-int-cast] alignof_longdouble = (int)(&((struct s1*)0)->ld); ^~~~~~~~~~~~~~~~~~~~~~~~~~~ 10 warnings generated. Generating CIL_MACHINE machine dependency information string (for CIL) cd lib; perl Makefile.PL Checking if your kit is complete... Looks good Generating a Unix-style Makefile Writing Makefile for cilly Writing MYMETA.yml and MYMETA.json gmake -C lib gmake[1]: Entering directory '/wrkdirs/usr/ports/devel/cil/work/cil-1.7.3/lib' cp App/Cilly.pm blib/lib/App/Cilly.pm cp App/Cilly/CilConfig.pm blib/lib/App/Cilly/CilConfig.pm cp App/Cilly/TempFile.pm blib/lib/App/Cilly/TempFile.pm cp App/Cilly/OutputFile.pm blib/lib/App/Cilly/OutputFile.pm cp App/Cilly/KeptFile.pm blib/lib/App/Cilly/KeptFile.pm cp ../bin/cilly blib/script/cilly "/usr/local/bin/perl" -MExtUtils::MY -e 'MY->fixin(shift)' -- blib/script/cilly gmake[1]: Leaving directory '/wrkdirs/usr/ports/devel/cil/work/cil-1.7.3/lib' =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cil-1.7.3_3 depends on file: /usr/local/bin/ocamlc - found ===> cil-1.7.3_3 depends on file: /usr/local/bin/ocamlfind - found ===> cil-1.7.3_3 depends on package: perl5>=5.36<5.37 - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for cil-1.7.3_3 ===> Generating temporary packing list (cd /wrkdirs/usr/ports/devel/cil/work/cil-1.7.3/bin && install -m 555 cilly cilly.native /wrkdirs/usr/ports/devel/cil/work/stage/usr/local/bin) install -m 0644 /wrkdirs/usr/ports/devel/cil/work/cil-1.7.3/lib/App/Cilly/CilConfig.pm /wrkdirs/usr/ports/devel/cil/work/stage/usr/local/lib/perl5/site_perl (cd /wrkdirs/usr/ports/devel/cil/work/cil-1.7.3/lib && install -m 0644 App/Cilly/KeptFile.pm App/Cilly/OutputFile.pm App/Cilly/TempFile.pm /wrkdirs/usr/ports/devel/cil/work/stage/usr/local/lib/perl5/site_perl/CIL/App/Cilly) (cd /wrkdirs/usr/ports/devel/cil/work/cil-1.7.3/lib && install -m 0644 App/Cilly.pm /wrkdirs/usr/ports/devel/cil/work/stage/usr/local/lib/perl5/site_perl/CIL/App) (cd /wrkdirs/usr/ports/devel/cil/work/cil-1.7.3/lib && install -m 0644 patcher /wrkdirs/usr/ports/devel/cil/work/stage/usr/local/lib/perl5/site_perl/CIL) rmdir: /wrkdirs/usr/ports/devel/cil/work/stage/usr/local/lib: Directory not empty *** Error code 1 (ignored) (cd /wrkdirs/usr/ports/devel/cil/work/cil-1.7.3/doc && /bin/sh -c '(/usr/bin/find -Ed $1 $3 | /usr/bin/cpio -dumpl $2 >/dev/null 2>&1) && /usr/bin/find -Ed $1 $3 \( -type d -exec /bin/sh -c '\''cd '\''$2'\'' && chmod 755 "$@"'\'' . {} + -o -type f -exec /bin/sh -c '\''cd '\''$2'\'' && chmod 0644 "$@"'\'' . {} + \)' COPYTREE_SHARE . /wrkdirs/usr/ports/devel/cil/work/stage/usr/local/share/doc/cil) ====> 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-07T00:05:57+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=abc0edbe8a' '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 cil-1.7.3_3 ===> Building cil-1.7.3_3 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for cil-1.7.3_3 build of devel/cil | cil-1.7.3_3 ended at Sun Apr 7 01:08:45 BST 2024 build time: 00:02:51