>>> Building on localhost under devel/cil BDEPENDS = [devel/ocaml-ocamlbuild;devel/metaauto;devel/gmake;devel/autoconf/2.69;math/ocaml-num;lang/ocaml;sysutils/findlib] DIST = [devel/cil:cil-1.7.3.tar.gz] FULLPKGNAME = cil-1.7.3p7 RDEPENDS = [lang/ocaml] Woken up lang/snobol4 Woken up lang/snobol4 Woken up lang/snobol4 Woken up x11/gnustep/paje Woken up net/toxic Woken up net/toxic Woken up net/p5-POE-Component-Server-FTP Woken up net/p5-POE-Component-Server-FTP (Junk lock failure for localhost at 1730769019.24634) Received IO (Junk lock obtained for localhost at 1730769089.83) Received IO Short-cut: depends already handled by editors/ht,no_x11 >>> Running show-prepare-results in devel/cil at 1730769093.26 ===> devel/cil ===> Building from scratch cil-1.7.3p7 ===> cil-1.7.3p7 depends on: findlib-* -> findlib-1.9.6p2 ===> cil-1.7.3p7 depends on: ocamlbuild-* -> ocamlbuild-0.14.0p7 ===> cil-1.7.3p7 depends on: ocaml-num-* -> ocaml-num-1.4p4 ===> cil-1.7.3p7 depends on: ocaml-=4.14.2 -> ocaml-4.14.2 ===> cil-1.7.3p7 depends on: metaauto-* -> metaauto-1.0p4 ===> cil-1.7.3p7 depends on: autoconf-2.69 -> autoconf-2.69p3 ===> cil-1.7.3p7 depends on: gmake-* -> gmake-4.4.1 ===> Verifying specs: c m pthread ===> found c.100.3 m.10.1 pthread.27.1 autoconf-2.69p3 findlib-1.9.6p2 gmake-4.4.1 metaauto-1.0p4 ocaml-4.14.2 ocaml-num-1.4p4 ocamlbuild-0.14.0p7 Still tainted: host marked nojunk by x11/qt5/qtwebengine >>> Running junk in devel/cil at 1730769099.67 Can't run junk because of lock on x11/qt5/qtwebengine (Junk lock released for localhost at 1730769103.12) Woken up net/fastnetmon distfiles size=1893257 >>> Running patch in devel/cil at 1730769103.19 ===> devel/cil ===> Checking files for cil-1.7.3p7 `/usr/ports/distfiles/cil-1.7.3.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for cil-1.7.3p7 cp /usr/ports/devel/cil/files/*.ml /usr/obj/ports/cil-1.7.3/cil-1.7.3/src/ext ===> Patching for cil-1.7.3p7 ===> Applying OpenBSD patch patch-Makefile_in Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Index: Makefile.in |--- Makefile.in.orig |+++ Makefile.in -------------------------- Patching file Makefile.in using Plan A... Hunk #1 succeeded at 45. done ===> Applying OpenBSD patch patch-_tags Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Index: _tags |--- _tags.orig |+++ _tags -------------------------- Patching file _tags using Plan A... Hunk #1 succeeded at 4. done ===> Applying OpenBSD patch patch-bin_CilConfig_pm_in Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Index: lib/App/Cilly/CilConfig.pm.in |--- lib/App/Cilly/CilConfig.pm.in.orig |+++ lib/App/Cilly/CilConfig.pm.in -------------------------- Patching file lib/App/Cilly/CilConfig.pm.in using Plan A... Hunk #1 succeeded at 1. done ===> Applying OpenBSD patch patch-myocamlbuild_ml Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |respect MAKE environment variable. |Use ocamlfind | |Index: myocamlbuild.ml |--- myocamlbuild.ml.orig |+++ myocamlbuild.ml -------------------------- Patching file myocamlbuild.ml using Plan A... Hunk #1 succeeded at 21. done ===> Applying OpenBSD patch patch-src__tags Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |link to num, which is no longer shipped with OCaml. | |Index: src/_tags |--- src/_tags.orig |+++ src/_tags -------------------------- Patching file src/_tags using Plan A... Hunk #1 succeeded at 2. done ===> Applying OpenBSD patch patch-src_cil_mllib Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |This would cause unsolvable circular dependencies since the |feature modules would have to be linked after the Cil module, |but before the Feature_config module, which is not possible |when both of them are packed in one .cma / .cmxa. | |Index: src/cil.mllib |--- src/cil.mllib.orig |+++ src/cil.mllib -------------------------- Patching file src/cil.mllib using Plan A... Hunk #1 succeeded at 29. done ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ ===> Compiler link: cc -> /usr/bin/cc ===> Compiler link: c++ -> /usr/bin/c++ >>> Running configure in devel/cil at 1730769105.40 ===> devel/cil ===> Generating configure for cil-1.7.3p7 Running autoconf-2.69 in /usr/obj/ports/cil-1.7.3/cil-1.7.3 ===> Configuring for cil-1.7.3p7 Using /usr/obj/ports/cil-1.7.3/config.site (generated) configure: WARNING: unrecognized options: --disable-silent-rules, --disable-gtk-doc configure: loading site script /usr/obj/ports/cil-1.7.3/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... (cached) o checking whether we are using the GNU C compiler... (cached) yes checking whether cc accepts -g... (cached) yes checking for cc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/obj/ports/cil-1.7.3/bin/install -c checking build system type... aarch64-unknown-openbsd7.6 checking host system type... aarch64-unknown-openbsd7.6 checking target system type... aarch64-unknown-openbsd7.6 checking for msvc cl.exe (optional)... not found checking for ocamlc... ocamlc OCaml version is 4.14.2 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 gcc version... checking how to run the C preprocessor... cc -E 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 stdbool.h usability... yes checking stdbool.h presence... yes checking for stdbool.h... yes checking for an ANSI C-conforming const... (cached) yes checking for inline... inline checking whether time.h and sys/time.h may both be included... (cached) yes checking for working memcmp... (cached) yes checking for mkdir... (cached) yes checking for select... (cached) yes checking for socket... (cached) 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 checking whether to use CIL feature kerneltrace... yes checking whether to use CIL feature nullint... yes checking whether to use CIL feature randomvars... yes 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 configure: WARNING: unrecognized options: --disable-silent-rules, --disable-gtk-doc 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 kerneltrace nullint randomvars Extra source directories EXTRASRCDIRS >>> Running build in devel/cil at 1730769122.75 ===> devel/cil ===> Building for cil-1.7.3p7 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 ocamlfind ocamldep -modules ocamlutil/alpha.mli > ocamlutil/alpha.mli.depends ocamlfind ocamldep -modules ocamlutil/pretty.mli > ocamlutil/pretty.mli.depends ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmi ocamlutil/pretty.mli ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/alpha.cmi ocamlutil/alpha.mli ocamlfind ocamldep -modules ocamlutil/alpha.ml > ocamlutil/alpha.ml.depends ocamlfind ocamldep -modules ocamlutil/errormsg.mli > ocamlutil/errormsg.mli.depends ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmi ocamlutil/errormsg.mli ocamlfind ocamldep -modules src/ext/availexps.ml > src/ext/availexps.ml.depends ocamlfind ocamldep -modules src/cil.mli > src/cil.mli.depends ocamlfind ocamldep -package num -modules src/cilint.mli > src/cilint.mli.depends gmake -C .. _build/machdep.ml + gmake -C .. _build/machdep.ml gmake[1]: Entering directory '/usr/obj/ports/cil-1.7.3/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 '/usr/obj/ports/cil-1.7.3/cil-1.7.3' ocamlfind ocamldep -modules machdep.ml > machdep.ml.depends ocamlfind ocamlc -c -unsafe-string -package num -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilint.cmi src/cilint.mli ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o machdep.cmo machdep.ml ocamlfind ocamldep -modules src/ext/dataflow.mli > src/ext/dataflow.mli.depends ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmi src/cil.mli ocamlfind ocamldep -modules ocamlutil/inthash.mli > ocamlutil/inthash.mli.depends ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmi ocamlutil/inthash.mli ocamlfind ocamldep -modules src/ext/expcompare.ml > src/ext/expcompare.ml.depends ocamlfind ocamldep -modules ocamlutil/util.mli > ocamlutil/util.mli.depends ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/util.cmi ocamlutil/util.mli ocamlfind ocamldep -modules ocamlutil/stats.mli > ocamlutil/stats.mli.depends ocamlfind ocamldep -modules src/ext/usedef.ml > src/ext/usedef.ml.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmi src/ext/dataflow.mli ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmo src/ext/expcompare.ml ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/stats.cmi ocamlutil/stats.mli ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/usedef.cmo src/ext/usedef.ml ocamlfind ocamldep -modules src/ext/availexpslv.ml > src/ext/availexpslv.ml.depends ocamlfind ocamldep -modules ocamlutil/bitmap.mli > ocamlutil/bitmap.mli.depends ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmi ocamlutil/bitmap.mli ocamlfind ocamldep -modules ocamlutil/bitmap.ml > ocamlutil/bitmap.ml.depends ocamlfind ocamldep -modules src/frontc/cabs.ml > src/frontc/cabs.ml.depends ocamlfind ocamldep -modules src/frontc/cabs2cil.mli > src/frontc/cabs2cil.mli.depends ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs.cmo src/frontc/cabs.ml ocamlfind ocamlc -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmi src/frontc/cabs2cil.mli ocamlfind ocamldep -modules src/frontc/cabs2cil.ml > src/frontc/cabs2cil.ml.depends ocamlfind ocamldep -modules src/frontc/cabshelper.ml > src/frontc/cabshelper.ml.depends ocamlfind ocamldep -modules ocamlutil/growArray.mli > ocamlutil/growArray.mli.depends ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/growArray.cmi ocamlutil/growArray.mli ocamlfind ocamldep -modules src/frontc/cabsvisit.mli > src/frontc/cabsvisit.mli.depends ocamlfind ocamldep -modules src/cilutil.ml > src/cilutil.ml.depends ocamlfind ocamldep -modules src/frontc/cprint.ml > src/frontc/cprint.ml.depends ocamlfind ocamldep -modules src/escape.mli > src/escape.mli.depends ocamlfind ocamldep -modules src/frontc/whitetrack.mli > src/frontc/whitetrack.mli.depends ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/escape.cmi src/escape.mli ocamlfind ocamlc -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmi src/frontc/whitetrack.mli ocamlfind ocamldep -modules ocamlutil/trace.mli > ocamlutil/trace.mli.depends ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmo src/frontc/cabshelper.ml ocamlfind ocamlc -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmi src/frontc/cabsvisit.mli ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilutil.cmo src/cilutil.ml ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cprint.cmo src/frontc/cprint.ml ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmi ocamlutil/trace.mli ocamlfind ocamldep -modules src/frontc/cabsvisit.ml > src/frontc/cabsvisit.ml.depends ocamlfind ocamldep -modules src/ext/callgraph.mli > src/ext/callgraph.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmi src/ext/callgraph.mli ocamlfind ocamldep -modules src/ext/callgraph.ml > src/ext/callgraph.ml.depends ocamlfind ocamldep -modules src/ext/canonicalize.mli > src/ext/canonicalize.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmi src/ext/canonicalize.mli ocamlfind ocamldep -modules src/ext/canonicalize.ml > src/ext/canonicalize.ml.depends ocamlfind ocamldep -modules src/ext/cfg.mli > src/ext/cfg.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/cfg.cmi src/ext/cfg.mli ocamlfind ocamldep -modules src/ext/cfg.ml > src/ext/cfg.ml.depends ocamlfind ocamldep -modules src/check.mli > src/check.mli.depends ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/check.cmi src/check.mli ocamlfind ocamldep -modules src/check.ml > src/check.ml.depends ocamlfind ocamldep -modules src/cil.ml > src/cil.ml.depends gmake -C .. _build/cilversion.ml + gmake -C .. _build/cilversion.ml gmake[1]: Entering directory '/usr/obj/ports/cil-1.7.3/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 '/usr/obj/ports/cil-1.7.3/cil-1.7.3' ocamlfind ocamldep -modules cilversion.ml > cilversion.ml.depends ocamlfind ocamldep -modules ocamlutil/clist.mli > ocamlutil/clist.mli.depends ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o cilversion.cmo cilversion.ml ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmi ocamlutil/clist.mli ocamlfind ocamldep -package num -modules src/cilint.ml > src/cilint.ml.depends ocamlfind ocamldep -modules src/cillower.mli > src/cillower.mli.depends ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cillower.cmi src/cillower.mli ocamlfind ocamldep -modules src/cillower.ml > src/cillower.ml.depends ocamlfind ocamldep -modules src/ciloptions.mli > src/ciloptions.mli.depends ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/ciloptions.cmi src/ciloptions.mli ocamlfind ocamldep -modules src/ciloptions.ml > src/ciloptions.ml.depends ocamlfind ocamldep -modules src/frontc/frontc.mli > src/frontc/frontc.mli.depends ocamlfind ocamldep -modules src/machdepenv.ml > src/machdepenv.ml.depends ocamlfind ocamldep -modules src/mergecil.mli > src/mergecil.mli.depends ocamlfind ocamldep -modules src/rmtmps.mli > src/rmtmps.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/frontc.cmi src/frontc/frontc.mli ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/machdepenv.cmo src/machdepenv.ml ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmi src/mergecil.mli ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmi src/rmtmps.mli ocamlfind ocamldep -modules src/ext/ciltools.ml > src/ext/ciltools.ml.depends ocamlfind ocamldep -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. ocamlfind ocamldep -modules src/frontc/cparser.mli > src/frontc/cparser.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cparser.cmi src/frontc/cparser.mli ocamlfind ocamlc -c -unsafe-string -I src/frontc -I src -I ocamlutil -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 ocamlfind ocamldep -modules src/frontc/clexer.ml > src/frontc/clexer.ml.depends ocamlfind ocamldep -modules src/frontc/lexerhack.ml > src/frontc/lexerhack.ml.depends ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/lexerhack.cmo src/frontc/lexerhack.ml ocamlfind ocamldep -modules ocamlutil/clist.ml > ocamlutil/clist.ml.depends ocamlfind ocamldep -modules src/frontc/cparser.ml > src/frontc/cparser.ml.depends ocamlfind ocamldep -modules src/ext/dataflow.ml > src/ext/dataflow.ml.depends ocamlfind ocamldep -modules src/ext/dataslicing.mli > src/ext/dataslicing.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmi src/ext/dataslicing.mli ocamlfind ocamldep -modules src/ext/dataslicing.ml > src/ext/dataslicing.ml.depends ocamlfind ocamldep -modules src/ext/deadcodeelim.ml > src/ext/deadcodeelim.ml.depends ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ciltools.cmo src/ext/ciltools.ml ocamlfind ocamldep -modules src/ext/reachingdefs.ml > src/ext/reachingdefs.ml.depends ocamlfind ocamldep -modules src/ext/liveness.ml > src/ext/liveness.ml.depends ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/liveness.cmo src/ext/liveness.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmo src/ext/reachingdefs.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamldep -modules src/ext/dominators.mli > src/ext/dominators.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmi src/ext/dominators.mli ocamlfind ocamldep -modules src/ext/dominators.ml > src/ext/dominators.ml.depends ocamlfind ocamldep -modules src/ext/epicenter.ml > src/ext/epicenter.ml.depends ocamlfind ocamldep -modules ocamlutil/errormsg.ml > ocamlutil/errormsg.ml.depends ocamlfind ocamldep -modules src/escape.ml > src/escape.ml.depends ocamlfind ocamldep -modules src/formatcil.mli > src/formatcil.mli.depends ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmi src/formatcil.mli ocamlfind ocamldep -modules src/formatcil.ml > src/formatcil.ml.depends /usr/local/bin/ocamllex.opt -q src/formatlex.mll ocamlfind ocamldep -modules src/formatlex.ml > src/formatlex.ml.depends /usr/local/bin/ocamlyacc src/formatparse.mly ocamlfind ocamldep -modules src/formatparse.mli > src/formatparse.mli.depends ocamlfind ocamlc -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmi src/formatparse.mli ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatlex.cmo src/formatlex.ml + ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatlex.cmo src/formatlex.ml File "src/formatlex.mll", line 150, characters 4-26: Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. ocamlfind ocamldep -modules src/formatparse.ml > src/formatparse.ml.depends ocamlfind ocamldep -modules src/frontc/frontc.ml > src/frontc/frontc.ml.depends ocamlfind ocamldep -modules src/frontc/patch.mli > src/frontc/patch.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/patch.cmi src/frontc/patch.mli ocamlfind ocamldep -modules ocamlutil/growArray.ml > ocamlutil/growArray.ml.depends ocamlfind ocamldep -modules ocamlutil/longarray.mli > ocamlutil/longarray.mli.depends ocamlfind ocamlc -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmi ocamlutil/longarray.mli ocamlfind ocamldep -modules src/ext/heap.ml > src/ext/heap.ml.depends ocamlfind ocamldep -modules src/ext/heapify.ml > src/ext/heapify.ml.depends ocamlfind ocamldep -modules ocamlutil/inthash.ml > ocamlutil/inthash.ml.depends ocamlfind ocamldep -modules src/ext/llvm.ml > src/ext/llvm.ml.depends ocamlfind ocamldep -modules src/ext/llvmgen.ml > src/ext/llvmgen.ml.depends ocamlfind ocamldep -modules src/ext/llvmutils.ml > src/ext/llvmutils.ml.depends ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmutils.cmo src/ext/llvmutils.ml ocamlfind ocamldep -modules src/ext/llvmssa.ml > src/ext/llvmssa.ml.depends ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmgen.cmo src/ext/llvmgen.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmssa.cmo src/ext/llvmssa.ml ocamlfind ocamldep -modules src/ext/logcalls.mli > src/ext/logcalls.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmi src/ext/logcalls.mli ocamlfind ocamldep -modules src/ext/logcalls.ml > src/ext/logcalls.ml.depends ocamlfind ocamldep -modules src/ext/logwrites.ml > src/ext/logwrites.ml.depends ocamlfind ocamldep -modules ocamlutil/longarray.ml > ocamlutil/longarray.ml.depends ocamlfind ocamldep -modules src/mergecil.ml > src/mergecil.ml.depends ocamlfind ocamldep -modules src/ext/pta/olf.mli > src/ext/pta/olf.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/olf.cmi src/ext/pta/olf.mli ocamlfind ocamldep -modules src/ext/pta/olf.ml > src/ext/pta/olf.ml.depends ocamlfind ocamldep -modules src/ext/pta/setp.mli > src/ext/pta/setp.mli.depends ocamlfind ocamldep -modules src/ext/pta/uref.mli > src/ext/pta/uref.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/setp.cmi src/ext/pta/setp.mli ocamlfind ocamlc -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/uref.cmi src/ext/pta/uref.mli ocamlfind ocamldep -modules src/ext/oneret.mli > src/ext/oneret.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/oneret.cmi src/ext/oneret.mli ocamlfind ocamldep -modules src/ext/oneret.ml > src/ext/oneret.ml.depends ocamlfind ocamldep -modules src/ext/partial.ml > src/ext/partial.ml.depends ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heap.cmo src/ext/heap.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamldep -modules src/ext/pta/ptranal.mli > src/ext/pta/ptranal.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmi src/ext/pta/ptranal.mli ocamlfind ocamldep -modules src/frontc/patch.ml > src/frontc/patch.ml.depends ocamlfind ocamldep -modules src/ext/predabst.ml > src/ext/predabst.ml.depends ocamlfind ocamldep -modules ocamlutil/pretty.ml > ocamlutil/pretty.ml.depends ocamlfind ocamldep -modules src/ext/pta/ptranal.ml > src/ext/pta/ptranal.ml.depends ocamlfind ocamldep -modules src/rmtmps.ml > src/rmtmps.ml.depends ocamlfind ocamldep -modules src/ext/pta/setp.ml > src/ext/pta/setp.ml.depends ocamlfind ocamldep -modules src/ext/sfi.ml > src/ext/sfi.ml.depends ocamlfind ocamldep -modules src/ext/simplemem.ml > src/ext/simplemem.ml.depends ocamlfind ocamldep -modules src/ext/simplify.mli > src/ext/simplify.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplify.cmi src/ext/simplify.mli ocamlfind ocamldep -modules src/ext/simplify.ml > src/ext/simplify.ml.depends ocamlfind ocamldep -modules src/ext/ssa.mli > src/ext/ssa.mli.depends ocamlfind ocamlc -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmi src/ext/ssa.mli ocamlfind ocamldep -modules src/ext/ssa.ml > src/ext/ssa.ml.depends ocamlfind ocamldep -modules ocamlutil/stats.ml > ocamlutil/stats.ml.depends ocamlfind ocamldep -modules ocamlutil/trace.ml > ocamlutil/trace.ml.depends ocamlfind ocamldep -modules src/ext/pta/uref.ml > src/ext/pta/uref.ml.depends ocamlfind ocamldep -modules ocamlutil/util.ml > ocamlutil/util.ml.depends ocamlfind ocamldep -modules src/frontc/whitetrack.ml > src/frontc/whitetrack.ml.depends ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/alpha.cmo ocamlutil/alpha.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexps.cmo src/ext/availexps.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmo src/ext/availexpslv.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmo ocamlutil/bitmap.ml + ocamlfind ocamlc -c -g -unsafe-string -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. ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmo src/frontc/cabs2cil.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmo src/frontc/cabsvisit.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmo src/ext/callgraph.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmo src/ext/canonicalize.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/cfg.cmo src/ext/cfg.ml ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/check.cmo src/check.ml + ocamlfind ocamlc -c -g -unsafe-string -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. ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmo src/cil.ml + ocamlfind ocamlc -c -g -unsafe-string -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 5036, characters 10-21: 5036 | let s = String.copy s in (* So that we can update in place *) ^^^^^^^^^^^ Alert deprecated: Stdlib.String.copy Strings now immutable: no need to copy File "src/cil.ml", line 5046, characters 6-16: 5046 | String.set s i '_'; ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set 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. ocamlfind ocamlc -c -g -unsafe-string -package num -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilint.cmo src/cilint.ml ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cillower.cmo src/cillower.ml ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/ciloptions.cmo src/ciloptions.ml ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmo src/frontc/clexer.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -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) ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmo ocamlutil/clist.ml ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cparser.cmo src/frontc/cparser.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmo src/ext/dataflow.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmo src/ext/dataslicing.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/deadcodeelim.cmo src/ext/deadcodeelim.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmo src/ext/dominators.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmo src/ext/epicenter.ml ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmo ocamlutil/errormsg.ml + ocamlfind ocamlc -c -g -unsafe-string -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. File "ocamlutil/errormsg.ml", line 220, characters 10-20: 220 | String.set str1 copyto c; loop (copyto + 1) (i + 1) ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. File "ocamlutil/errormsg.ml", line 222, characters 10-20: 222 | String.set str1 copyto '/'; ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/escape.cmo src/escape.ml ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmo src/formatcil.ml + ocamlfind ocamlc -c -g -unsafe-string -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. ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmo src/formatparse.ml + ocamlfind ocamlc -c -g -unsafe-string -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. ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/frontc.cmo src/frontc/frontc.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/growArray.cmo ocamlutil/growArray.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heapify.cmo src/ext/heapify.ml ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmo ocamlutil/inthash.ml + ocamlfind ocamlc -c -g -unsafe-string -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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvm.cmo src/ext/llvm.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmo src/ext/logcalls.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmo src/ext/logwrites.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmo ocamlutil/longarray.ml + ocamlfind ocamlc -c -g -unsafe-string -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) ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmo src/mergecil.ml + ocamlfind ocamlc -c -g -unsafe-string -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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/olf.cmo src/ext/pta/olf.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext/pta -I src -I ocamlutil -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 ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/oneret.cmo src/ext/oneret.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/partial.cmo src/ext/partial.ml ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/patch.cmo src/frontc/patch.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/predabst.cmo src/ext/predabst.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmo ocamlutil/pretty.ml + ocamlfind ocamlc -c -g -unsafe-string -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 729, characters 5-15: 729 | String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. File "ocamlutil/pretty.ml", line 732, characters 26-38: 732 | (Int64.format format_spec n)) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "ocamlutil/pretty.ml", line 739, characters 5-15: 739 | String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. File "ocamlutil/pretty.ml", line 742, characters 26-38: 742 | (Int32.format format_spec n)) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int32.format Use Printf.sprintf with a [%l...] format instead. File "ocamlutil/pretty.ml", line 749, characters 5-15: 749 | String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. File "ocamlutil/pretty.ml", line 752, characters 26-42: 752 | (Nativeint.format 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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext/pta -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml + ocamlfind ocamlc -c -g -unsafe-string -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) ocamlfind ocamlc -c -g -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/setp.cmo src/ext/pta/setp.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/sfi.cmo src/ext/sfi.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplemem.cmo src/ext/simplemem.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplify.cmo src/ext/simplify.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmo src/ext/ssa.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/stats.cmo ocamlutil/stats.ml ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmo ocamlutil/trace.ml + ocamlfind ocamlc -c -g -unsafe-string -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. ocamlfind ocamlc -c -g -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/uref.cmo src/ext/pta/uref.ml ocamlfind ocamlc -c -g -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/util.cmo ocamlutil/util.ml ocamlfind ocamlc -c -g -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmo src/frontc/whitetrack.ml ocamlfind ocamlc -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 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 ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmx ocamlutil/pretty.ml + ocamlfind ocamlopt -c -unsafe-string -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 729, characters 5-15: 729 | String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. File "ocamlutil/pretty.ml", line 732, characters 26-38: 732 | (Int64.format format_spec n)) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int64.format Use Printf.sprintf with a [%L...] format instead. File "ocamlutil/pretty.ml", line 739, characters 5-15: 739 | String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. File "ocamlutil/pretty.ml", line 742, characters 26-38: 742 | (Int32.format format_spec n)) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Int32.format Use Printf.sprintf with a [%l...] format instead. File "ocamlutil/pretty.ml", line 749, characters 5-15: 749 | String.set format_spec 1 (fget j'); (* format_spec = "%x", etc. *) ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. File "ocamlutil/pretty.ml", line 752, characters 26-42: 752 | (Nativeint.format 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. ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmx ocamlutil/errormsg.ml + ocamlfind ocamlopt -c -unsafe-string -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. File "ocamlutil/errormsg.ml", line 220, characters 10-20: 220 | String.set str1 copyto c; loop (copyto + 1) (i + 1) ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. File "ocamlutil/errormsg.ml", line 222, characters 10-20: 222 | String.set str1 copyto '/'; ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/alpha.cmx ocamlutil/alpha.ml ocamlfind ocamlopt -c -unsafe-string -package num -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilint.cmx src/cilint.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o cilversion.cmx cilversion.ml ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmx ocamlutil/clist.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/escape.cmx src/escape.ml ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmx ocamlutil/inthash.ml + ocamlfind ocamlopt -c -unsafe-string -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. ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o machdep.cmx machdep.ml ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/util.cmx ocamlutil/util.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmx src/cil.ml + ocamlfind ocamlopt -c -unsafe-string -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 5036, characters 10-21: 5036 | let s = String.copy s in (* So that we can update in place *) ^^^^^^^^^^^ Alert deprecated: Stdlib.String.copy Strings now immutable: no need to copy File "src/cil.ml", line 5046, characters 6-16: 5046 | String.set s i '_'; ^^^^^^^^^^ Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set 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. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmx src/ext/dataflow.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmx src/ext/expcompare.ml ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/stats.cmx ocamlutil/stats.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/usedef.cmx src/ext/usedef.ml ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs.cmx src/frontc/cabs.ml ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmx ocamlutil/longarray.ml + ocamlfind ocamlopt -c -unsafe-string -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) ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/growArray.cmx ocamlutil/growArray.ml ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmx src/frontc/cabshelper.ml ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmx ocamlutil/trace.ml + ocamlfind ocamlopt -c -unsafe-string -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. ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmx src/frontc/whitetrack.ml ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmx src/frontc/cabsvisit.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilutil.cmx src/cilutil.ml ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cprint.cmx src/frontc/cprint.ml ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmx src/frontc/cabs2cil.ml + ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/lexerhack.cmx src/frontc/lexerhack.ml ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cparser.cmx src/frontc/cparser.ml ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmx src/frontc/clexer.ml + ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -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) ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/patch.cmx src/frontc/patch.ml ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/frontc.cmx src/frontc/frontc.ml + ocamlfind ocamlopt -c -unsafe-string -I src/frontc -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/machdepenv.cmx src/machdepenv.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmx src/mergecil.ml + ocamlfind ocamlopt -c -unsafe-string -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. ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml + ocamlfind ocamlopt -c -unsafe-string -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) ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ciltools.cmx src/ext/ciltools.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/cfg.cmx src/ext/cfg.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/liveness.cmx src/ext/liveness.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmx src/ext/reachingdefs.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmx src/ext/callgraph.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmx src/formatparse.ml + ocamlfind ocamlopt -c -unsafe-string -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. ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatlex.cmx src/formatlex.ml + ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatlex.cmx src/formatlex.ml File "src/formatlex.mll", line 150, characters 4-26: Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmutils.cmx src/ext/llvmutils.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmgen.cmx src/ext/llvmgen.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmssa.cmx src/ext/llvmssa.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/setp.cmx src/ext/pta/setp.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/uref.cmx src/ext/pta/uref.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heap.cmx src/ext/heap.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/olf.cmx src/ext/pta/olf.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -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 ocamlfind ocamlopt -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext/pta -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmx ocamlutil/bitmap.ml + ocamlfind ocamlopt -c -unsafe-string -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. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexps.cmx src/ext/availexps.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmx src/ext/availexpslv.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmx src/ext/canonicalize.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/check.cmx src/check.ml + ocamlfind ocamlopt -c -unsafe-string -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. ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cillower.cmx src/cillower.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/ciloptions.cmx src/ciloptions.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmx src/ext/dataslicing.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/deadcodeelim.cmx src/ext/deadcodeelim.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmx src/ext/dominators.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmx src/ext/epicenter.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmx src/formatcil.ml + ocamlfind ocamlopt -c -unsafe-string -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. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heapify.cmx src/ext/heapify.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvm.cmx src/ext/llvm.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmx src/ext/logcalls.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmx src/ext/logwrites.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/oneret.cmx src/ext/oneret.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/partial.cmx src/ext/partial.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/predabst.cmx src/ext/predabst.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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) ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/sfi.cmx src/ext/sfi.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplemem.cmx src/ext/simplemem.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplify.cmx src/ext/simplify.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmx src/ext/ssa.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -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. ocamlfind ocamlopt -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 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 ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/availexps.ml > src/ext/availexps.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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) ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/availexpslv.ml > src/ext/availexpslv.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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) ocamlfind ocamlc -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -i -unsafe-string src/frontc/cabs.ml > src/frontc/cabs.inferred.mli ocamlfind ocamlc -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -i -unsafe-string src/frontc/cabshelper.ml > src/frontc/cabshelper.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/ciltools.ml > src/ext/ciltools.inferred.mli ocamlfind ocamlc -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i -unsafe-string src/cilutil.ml > src/cilutil.inferred.mli ocamlfind ocamlc -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i -unsafe-string cilversion.ml > cilversion.inferred.mli ocamlfind ocamlc -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -i -unsafe-string src/frontc/cprint.ml > src/frontc/cprint.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/deadcodeelim.ml > src/ext/deadcodeelim.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/epicenter.ml > src/ext/epicenter.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/expcompare.ml > src/ext/expcompare.inferred.mli ocamlfind ocamlc -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i -unsafe-string src/formatlex.ml > src/formatlex.inferred.mli + ocamlfind ocamlc -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i -unsafe-string src/formatlex.ml > src/formatlex.inferred.mli File "src/formatlex.mll", line 150, characters 4-26: Alert deprecated: Stdlib.String.set Use Bytes.set/BytesLabels.set instead. ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/heap.ml > src/ext/heap.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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. ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/heapify.ml > src/ext/heapify.inferred.mli ocamlfind ocamlc -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -i -unsafe-string src/frontc/lexerhack.ml > src/frontc/lexerhack.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/liveness.ml > src/ext/liveness.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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) ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/llvm.ml > src/ext/llvm.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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. ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/llvmgen.ml > src/ext/llvmgen.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/llvmssa.ml > src/ext/llvmssa.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/llvmutils.ml > src/ext/llvmutils.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/logwrites.ml > src/ext/logwrites.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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. ocamlfind ocamlc -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i -unsafe-string machdep.ml > machdep.inferred.mli ocamlfind ocamlc -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i -unsafe-string src/machdepenv.ml > src/machdepenv.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/partial.ml > src/ext/partial.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/predabst.ml > src/ext/predabst.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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) ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/reachingdefs.ml > src/ext/reachingdefs.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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) ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/sfi.ml > src/ext/sfi.inferred.mli + ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string 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. ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/simplemem.ml > src/ext/simplemem.inferred.mli ocamlfind ocamlc -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i -unsafe-string src/ext/usedef.ml > src/ext/usedef.inferred.mli ocamlbuild -build-dir _build -no-links -classic-display src/main.native ocamlfind ocamldep -modules src/main.ml > src/main.ml.depends gmake -C .. _build/feature_config.ml + gmake -C .. _build/feature_config.ml gmake[1]: Entering directory '/usr/obj/ports/cil-1.7.3/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 \ "\n "`echo kerneltrace | cut -c 1 | tr "[a-z]" "[A-Z]"``echo kerneltrace | cut -c 2-`".feature;" "\n "`echo nullint | cut -c 1 | tr "[a-z]" "[A-Z]"``echo nullint | cut -c 2-`".feature;" "\n "`echo randomvars | cut -c 1 | tr "[a-z]" "[A-Z]"``echo randomvars | cut -c 2-`".feature;" \ | /usr/bin/perl -pe 's/\\n/\n/g' >> _build/feature_config.ml echo "]" >>_build/feature_config.ml gmake[1]: Leaving directory '/usr/obj/ports/cil-1.7.3/cil-1.7.3' ocamlfind ocamldep -modules feature_config.ml > feature_config.ml.depends ocamlfind ocamldep -modules src/ext/kerneltrace.ml > src/ext/kerneltrace.ml.depends ocamlfind ocamldep -modules src/ext/nullint.ml > src/ext/nullint.ml.depends ocamlfind ocamldep -modules src/ext/randomvars.ml > src/ext/randomvars.ml.depends ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/kerneltrace.cmo src/ext/kerneltrace.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/kerneltrace.cmo src/ext/kerneltrace.ml File "src/ext/kerneltrace.ml", lines 40-45, characters 20-31: 40 | ....................match kind with 41 | |IChar |ISChar |IUChar -> "%c" 42 | |IInt |IShort |IUShort -> "%d" 43 | |IUInt -> "%u" |ILong -> "%ld" 44 | |ILongLong -> "%lld" |IULong -> "%llu" 45 | |IULongLong -> "%llu"... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: IBool ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/nullint.cmo src/ext/nullint.ml ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/randomvars.cmo src/ext/randomvars.ml + ocamlfind ocamlc -c -g -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/randomvars.cmo src/ext/randomvars.ml File "src/ext/randomvars.ml", line 31, characters 8-14: 31 | let locals = ref fundec.slocals in ^^^^^^ Warning 26 [unused-var]: unused variable locals. ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o feature_config.cmo feature_config.ml ocamlfind ocamlc -c -g -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/main.cmo src/main.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/kerneltrace.cmx src/ext/kerneltrace.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/kerneltrace.cmx src/ext/kerneltrace.ml File "src/ext/kerneltrace.ml", lines 40-45, characters 20-31: 40 | ....................match kind with 41 | |IChar |ISChar |IUChar -> "%c" 42 | |IInt |IShort |IUShort -> "%d" 43 | |IUInt -> "%u" |ILong -> "%ld" 44 | |ILongLong -> "%lld" |IULong -> "%llu" 45 | |IULongLong -> "%llu"... Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: IBool ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/nullint.cmx src/ext/nullint.ml ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/randomvars.cmx src/ext/randomvars.ml + ocamlfind ocamlopt -c -unsafe-string -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/randomvars.cmx src/ext/randomvars.ml File "src/ext/randomvars.ml", line 31, characters 8-14: 31 | let locals = ref fundec.slocals in ^^^^^^ Warning 26 [unused-var]: unused variable locals. ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o feature_config.cmx feature_config.ml ocamlfind ocamlopt -c -unsafe-string -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/main.cmx src/main.ml ocamlfind ocamlopt -linkpkg -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta cilversion.cmx machdep.cmx ocamlutil/pretty.cmx ocamlutil/errormsg.cmx ocamlutil/alpha.cmx ocamlutil/clist.cmx ocamlutil/inthash.cmx ocamlutil/util.cmx src/cilint.cmx src/escape.cmx src/cil.cmx src/ext/kerneltrace.cmx src/ext/nullint.cmx src/ext/randomvars.cmx feature_config.cmx ocamlutil/longarray.cmx ocamlutil/growArray.cmx ocamlutil/stats.cmx ocamlutil/trace.cmx src/cilutil.cmx src/frontc/cabs.cmx src/frontc/cabshelper.cmx src/frontc/cabsvisit.cmx src/frontc/whitetrack.cmx src/frontc/cprint.cmx src/frontc/cabs2cil.cmx src/check.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/callgraph.cmx src/ext/canonicalize.cmx src/ext/cfg.cmx src/ext/dataflow.cmx src/ext/dataslicing.cmx src/ext/epicenter.cmx src/ext/heap.cmx src/ext/heapify.cmx src/ext/usedef.cmx src/ext/liveness.cmx src/ext/logcalls.cmx src/ext/logwrites.cmx src/ext/oneret.cmx src/ext/pta/setp.cmx src/ext/pta/uref.cmx src/ext/pta/olf.cmx src/ext/pta/ptranal.cmx src/ext/partial.cmx src/ext/sfi.cmx src/ext/simplemem.cmx src/ext/simplify.cmx src/main.cmx -o src/main.native + ocamlfind ocamlopt -linkpkg -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta cilversion.cmx machdep.cmx ocamlutil/pretty.cmx ocamlutil/errormsg.cmx ocamlutil/alpha.cmx ocamlutil/clist.cmx ocamlutil/inthash.cmx ocamlutil/util.cmx src/cilint.cmx src/escape.cmx src/cil.cmx src/ext/kerneltrace.cmx src/ext/nullint.cmx src/ext/randomvars.cmx feature_config.cmx ocamlutil/longarray.cmx ocamlutil/growArray.cmx ocamlutil/stats.cmx ocamlutil/trace.cmx src/cilutil.cmx src/frontc/cabs.cmx src/frontc/cabshelper.cmx src/frontc/cabsvisit.cmx src/frontc/whitetrack.cmx src/frontc/cprint.cmx src/frontc/cabs2cil.cmx src/check.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/callgraph.cmx src/ext/canonicalize.cmx src/ext/cfg.cmx src/ext/dataflow.cmx src/ext/dataslicing.cmx src/ext/epicenter.cmx src/ext/heap.cmx src/ext/heapify.cmx src/ext/usedef.cmx src/ext/liveness.cmx src/ext/logcalls.cmx src/ext/logwrites.cmx src/ext/oneret.cmx src/ext/pta/setp.cmx src/ext/pta/uref.cmx src/ext/pta/olf.cmx src/ext/pta/ptranal.cmx src/ext/partial.cmx src/ext/sfi.cmx src/ext/simplemem.cmx src/ext/simplify.cmx src/main.cmx -o src/main.native File "_none_", line 1: Error: No implementations provided for the following modules: Big_int referenced from src/cilint.cmx Str referenced from src/ext/kerneltrace.cmx, src/frontc/cabs2cil.cmx, src/machdepenv.cmx, src/rmtmps.cmx Unix referenced from ocamlutil/stats.cmx, src/frontc/patch.cmx Command exited with code 2. gmake: *** [Makefile:79: _build/src/main.native] Error 10 *** Error 2 in devel/cil (/usr/ports/infrastructure/mk/bsd.port.mk:3069 '/usr/obj/ports/cil-1.7.3/.build_done': @cd /usr/obj/ports/cil-1.7.3...) *** Error 2 in devel/cil (/usr/ports/infrastructure/mk/bsd.port.mk:2712 'build': @lock=cil-1.7.3p7; export _LOCKS_HELD=" cil-1.7.3p7"; /u...) ===> Exiting devel/cil with an error *** Error 1 in /usr/ports (infrastructure/mk/bsd.port.subdir.mk:144 'build': @: ${echo_msg:=echo}; : ${target:=build}; for i in ; do eval...) >>> Ended at 1730769266.68 max_stuck=24.92/waiting-for-lock #1165=74.04/show-prepare-results=6.23/junk=3.50/patch=2.21/configure=17.38/build=143.97 Error: job failed with 512 on localhost at 1730769266