Mock Version: 1.4.14 Mock Version: 1.4.14 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'], chrootPath='/var/lib/mock/f31-build-48517-27120/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=345600uid=986gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False BUILDSTDERR: sh: /usr/bin/perl: No such file or directory Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1561593600 Wrote: /builddir/build/SRPMS/ocaml-cil-1.7.3-49.fc31.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'], chrootPath='/var/lib/mock/f31-build-48517-27120/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=345600uid=986gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1561593600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.i3CJ4a + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cil-1.7.3 + /usr/bin/gzip -dc /builddir/build/SOURCES/cil-1.7.3.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd cil-1.7.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 + echo 'Patch #1 (0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 + echo 'Patch #2 (cil-1.7.3-enable-ocamlopt-g.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 + echo 'Patch #3 (cil-1.7.3-add-package-cilconfig.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 + echo 'Patch #4 (ocaml-4.02.0.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 + echo 'Patch #6 (cil-1.7.3-gcc-7.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 + echo 'Patch #7 (cil-1.7.3-Fix-unescaped-left-brace-in-regex.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 + echo 'Patch #8 (cil-1.7.3-safe-string.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch): patching file test/small1/arrsize.c patching file test/testcil.pl Patch #1 (0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch): patching file test/testcil.pl Patch #2 (cil-1.7.3-enable-ocamlopt-g.patch): patching file _tags Patch #3 (cil-1.7.3-add-package-cilconfig.patch): patching file lib/App/Cilly/CilConfig.pm.in Patch #4 (ocaml-4.02.0.patch): patching file ocamlutil/pretty.ml Patch #6 (cil-1.7.3-gcc-7.patch): patching file lib/App/Cilly.pm.in Patch #7 (cil-1.7.3-Fix-unescaped-left-brace-in-regex.patch): patching file doc/cilcode.pl Patch #8 (cil-1.7.3-safe-string.patch): patching file ocamlutil/errormsg.ml patching file ocamlutil/pretty.ml patching file src/cil.ml patching file src/formatlex.mll Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.WszUx8 + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + export PERL_MM_OPT=INSTALLDIRS=vendor + PERL_MM_OPT=INSTALLDIRS=vendor + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' BUILDSTDERR: +++ dirname ./configure BUILDSTDERR: ++ find . -name config.guess -o -name config.sub + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) BUILDSTDERR: ++ basename ./config.guess + '[' -f /usr/lib/rpm/redhat/config.guess ']' + /usr/bin/rm -f ./config.guess BUILDSTDERR: ++ basename ./config.guess + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config.guess + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) BUILDSTDERR: ++ basename ./config.sub + '[' -f /usr/lib/rpm/redhat/config.sub ']' + /usr/bin/rm -f ./config.sub BUILDSTDERR: ++ basename ./config.sub + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config.sub + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' BUILDSTDERR: ++ find . -name ltmain.sh + ./configure --build=riscv64-koji-linux-gnu --host=riscv64-koji-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info BUILDSTDERR: configure: WARNING: unrecognized options: --disable-dependency-tracking '/usr/lib/rpm/redhat/config.guess' -> './config.guess' '/usr/lib/rpm/redhat/config.sub' -> './config.sub' checking for riscv64-koji-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking build system type... riscv64-koji-linux-gnu checking host system type... riscv64-koji-linux-gnu checking target system type... riscv64-koji-linux-gnu checking for msvc cl.exe (optional)... not found checking for riscv64-koji-linux-gnu-ocamlc... no checking for ocamlc... ocamlc OCaml version is 4.08.0 OCaml library path is /usr/lib64/ocaml checking for riscv64-koji-linux-gnu-ocamlopt... no checking for ocamlopt... ocamlopt checking for riscv64-koji-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking for riscv64-koji-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking for riscv64-koji-linux-gnu-ocaml... no checking for ocaml... ocaml checking for riscv64-koji-linux-gnu-ocamldep... no checking for ocamldep... ocamldep checking for riscv64-koji-linux-gnu-ocamlmktop... no checking for ocamlmktop... ocamlmktop checking for riscv64-koji-linux-gnu-ocamlmklib... no checking for ocamlmklib... ocamlmklib checking for riscv64-koji-linux-gnu-ocamldoc... no checking for ocamldoc... ocamldoc checking for riscv64-koji-linux-gnu-ocamlbuild... no checking for ocamlbuild... ocamlbuild checking for riscv64-koji-linux-gnu-ocamllex... no checking for ocamllex... ocamllex checking for riscv64-koji-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... ocamllex.opt checking for riscv64-koji-linux-gnu-ocamlyacc... no checking for ocamlyacc... ocamlyacc checking for riscv64-koji-linux-gnu-ocamlfind... no checking for ocamlfind... ocamlfind checking for riscv64-koji-linux-gnu-perl... no checking for perl... perl checking for gcc version... checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... 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 sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking wchar.h usability... yes checking wchar.h presence... yes checking for wchar.h... yes checking stdbool.h usability... yes checking stdbool.h presence... yes checking for stdbool.h... yes checking for an ANSI C-conforming const... yes checking for inline... inline checking whether time.h and sys/time.h may both be included... yes checking for working memcmp... yes checking for mkdir... yes checking for select... yes checking for socket... yes checking for __sysv_signal... yes checking for real definition of size_t... unsigned long checking for real definition of wchar_t... int checking whether to use CIL feature blockinggraph... no checking whether to use CIL feature zrapp... no checking whether to use CIL feature llvm... no configure: creating ./config.status config.status: creating stamp-h config.status: creating Makefile config.status: creating config.mk config.status: creating lib/App/Cilly/CilConfig.pm config.status: creating doc/index.html BUILDSTDERR: config.status: creating doc/header.hconfigure: WARNING: unrecognized options: --disable-dependency-tracking + unset MAKEFLAGS + make all doc tml config.status: creating src/machdep-ml.c config.status: creating config.h CIL configuration: (optional) cl.exe found: HAS_MSVC no gcc to use CC gcc default compiler DEFAULT_COMPILER _GNUCC CIL version CIL_VERSION 1.7.3 CIL features CIL_FEATURES Extra source directories EXTRASRCDIRS ocamlbuild -build-dir _build -no-links -classic-display src/cil.cma Warning: Won't be able to compile a native plugin /usr/bin/ocamlc.opt unix.cma -I /usr/lib64/ocaml/ocamlbuild /usr/lib64/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib64/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild /usr/bin/ocamldep.opt -modules ocamlutil/alpha.mli > ocamlutil/alpha.mli.depends /usr/bin/ocamldep.opt -modules ocamlutil/pretty.mli > ocamlutil/pretty.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/pretty.cmi ocamlutil/pretty.mli /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/alpha.cmi ocamlutil/alpha.mli /usr/bin/ocamldep.opt -modules ocamlutil/alpha.ml > ocamlutil/alpha.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/errormsg.mli > ocamlutil/errormsg.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/errormsg.cmi ocamlutil/errormsg.mli /usr/bin/ocamldep.opt -modules src/ext/availexps.ml > src/ext/availexps.ml.depends /usr/bin/ocamldep.opt -modules src/cil.mli > src/cil.mli.depends /usr/bin/ocamldep.opt -modules src/cilint.mli > src/cilint.mli.depends make -C .. _build/machdep.ml + make -C .. _build/machdep.ml make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3' src/machdep-ml.c: In function 'main': src/machdep-ml.c:106:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 106 | alignof_short = (int)(&((struct shortstruct*)0)->s); | ^ src/machdep-ml.c:115:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 115 | alignof_int = (int)(&((struct intstruct*)0)->i); | ^ src/machdep-ml.c:124:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 124 | alignof_bool = (int)(&((struct boolstruct*)0)->b); | ^ src/machdep-ml.c:133:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 133 | alignof_long = (int)(&((struct longstruct*)0)->l); | ^ src/machdep-ml.c:142:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 142 | alignof_longlong = (int)(&((struct longlong*)0)->ll); | ^ src/machdep-ml.c:151:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 151 | alignof_ptr = (int)(&((struct ptrstruct*)0)->p); | ^ src/machdep-ml.c:160:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 160 | alignof_enum = (int)(&((struct enumstruct*)0)->e); | ^ src/machdep-ml.c:169:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 169 | alignof_float = (int)(&((struct floatstruct*)0)->f); | ^ src/machdep-ml.c:178:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 178 | alignof_double = (int)(&((struct s1*)0)->d); | ^ src/machdep-ml.c:187:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 187 | alignof_longdouble = (int)(&((struct s1*)0)->ld); | ^ machdep-ml.exe created succesfully. Generating machine dependency information for CIL /bin/sh: cl: command not found make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3' /usr/bin/ocamldep.opt -modules machdep.ml > machdep.ml.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilint.cmi src/cilint.mli /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o machdep.cmo machdep.ml /usr/bin/ocamldep.opt -modules src/ext/dataflow.mli > src/ext/dataflow.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmi src/cil.mli /usr/bin/ocamldep.opt -modules ocamlutil/inthash.mli > ocamlutil/inthash.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmi ocamlutil/inthash.mli /usr/bin/ocamldep.opt -modules src/ext/expcompare.ml > src/ext/expcompare.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/util.mli > ocamlutil/util.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/util.cmi ocamlutil/util.mli /usr/bin/ocamldep.opt -modules ocamlutil/stats.mli > ocamlutil/stats.mli.depends /usr/bin/ocamldep.opt -modules src/ext/usedef.ml > src/ext/usedef.ml.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmi src/ext/dataflow.mli /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmo src/ext/expcompare.ml /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/stats.cmi ocamlutil/stats.mli /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/usedef.cmo src/ext/usedef.ml /usr/bin/ocamldep.opt -modules src/ext/availexpslv.ml > src/ext/availexpslv.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/bitmap.mli > ocamlutil/bitmap.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/bitmap.cmi ocamlutil/bitmap.mli /usr/bin/ocamldep.opt -modules ocamlutil/bitmap.ml > ocamlutil/bitmap.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cabs.ml > src/frontc/cabs.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cabs2cil.mli > src/frontc/cabs2cil.mli.depends /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs.cmo src/frontc/cabs.ml /usr/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmi src/frontc/cabs2cil.mli /usr/bin/ocamldep.opt -modules src/frontc/cabs2cil.ml > src/frontc/cabs2cil.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cabshelper.ml > src/frontc/cabshelper.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/growArray.mli > ocamlutil/growArray.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/growArray.cmi ocamlutil/growArray.mli /usr/bin/ocamldep.opt -modules src/frontc/cabsvisit.mli > src/frontc/cabsvisit.mli.depends /usr/bin/ocamldep.opt -modules src/cilutil.ml > src/cilutil.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cprint.ml > src/frontc/cprint.ml.depends /usr/bin/ocamldep.opt -modules src/escape.mli > src/escape.mli.depends /usr/bin/ocamldep.opt -modules src/frontc/whitetrack.mli > src/frontc/whitetrack.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/escape.cmi src/escape.mli /usr/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmi src/frontc/whitetrack.mli /usr/bin/ocamldep.opt -modules ocamlutil/trace.mli > ocamlutil/trace.mli.depends /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmo src/frontc/cabshelper.ml /usr/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmi src/frontc/cabsvisit.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilutil.cmo src/cilutil.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cprint.cmo src/frontc/cprint.ml /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/trace.cmi ocamlutil/trace.mli /usr/bin/ocamldep.opt -modules src/frontc/cabsvisit.ml > src/frontc/cabsvisit.ml.depends /usr/bin/ocamldep.opt -modules src/ext/callgraph.mli > src/ext/callgraph.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmi src/ext/callgraph.mli /usr/bin/ocamldep.opt -modules src/ext/callgraph.ml > src/ext/callgraph.ml.depends /usr/bin/ocamldep.opt -modules src/ext/canonicalize.mli > src/ext/canonicalize.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmi src/ext/canonicalize.mli /usr/bin/ocamldep.opt -modules src/ext/canonicalize.ml > src/ext/canonicalize.ml.depends /usr/bin/ocamldep.opt -modules src/ext/cfg.mli > src/ext/cfg.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/cfg.cmi src/ext/cfg.mli /usr/bin/ocamldep.opt -modules src/ext/cfg.ml > src/ext/cfg.ml.depends /usr/bin/ocamldep.opt -modules src/check.mli > src/check.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/check.cmi src/check.mli /usr/bin/ocamldep.opt -modules src/check.ml > src/check.ml.depends /usr/bin/ocamldep.opt -modules src/cil.ml > src/cil.ml.depends make -C .. _build/cilversion.ml + make -C .. _build/cilversion.ml make[1]: Entering directory '/builddir/build/BUILD/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 make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3' /usr/bin/ocamldep.opt -modules cilversion.ml > cilversion.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/clist.mli > ocamlutil/clist.mli.depends /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o cilversion.cmo cilversion.ml /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/clist.cmi ocamlutil/clist.mli /usr/bin/ocamldep.opt -modules src/cilint.ml > src/cilint.ml.depends /usr/bin/ocamldep.opt -modules src/cillower.mli > src/cillower.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cillower.cmi src/cillower.mli /usr/bin/ocamldep.opt -modules src/cillower.ml > src/cillower.ml.depends /usr/bin/ocamldep.opt -modules src/ciloptions.mli > src/ciloptions.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/ciloptions.cmi src/ciloptions.mli /usr/bin/ocamldep.opt -modules src/ciloptions.ml > src/ciloptions.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/frontc.mli > src/frontc/frontc.mli.depends /usr/bin/ocamldep.opt -modules src/machdepenv.ml > src/machdepenv.ml.depends /usr/bin/ocamldep.opt -modules src/mergecil.mli > src/mergecil.mli.depends /usr/bin/ocamldep.opt -modules src/rmtmps.mli > src/rmtmps.mli.depends /usr/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/frontc.cmi src/frontc/frontc.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/machdepenv.cmo src/machdepenv.ml /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/mergecil.cmi src/mergecil.mli /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmi src/rmtmps.mli /usr/bin/ocamldep.opt -modules src/ext/ciltools.ml > src/ext/ciltools.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/clexer.mli > src/frontc/clexer.mli.depends /usr/bin/ocamlyacc src/frontc/cparser.mly + /usr/bin/ocamlyacc src/frontc/cparser.mly 1 shift/reduce conflict. /usr/bin/ocamldep.opt -modules src/frontc/cparser.mli > src/frontc/cparser.mli.depends /usr/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cparser.cmi src/frontc/cparser.mli /usr/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmi src/frontc/clexer.mli /usr/bin/ocamllex.opt -q src/frontc/clexer.mll /usr/bin/ocamldep.opt -modules src/frontc/clexer.ml > src/frontc/clexer.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/lexerhack.ml > src/frontc/lexerhack.ml.depends /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/lexerhack.cmo src/frontc/lexerhack.ml /usr/bin/ocamldep.opt -modules ocamlutil/clist.ml > ocamlutil/clist.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cparser.ml > src/frontc/cparser.ml.depends /usr/bin/ocamldep.opt -modules src/ext/dataflow.ml > src/ext/dataflow.ml.depends /usr/bin/ocamldep.opt -modules src/ext/dataslicing.mli > src/ext/dataslicing.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmi src/ext/dataslicing.mli /usr/bin/ocamldep.opt -modules src/ext/dataslicing.ml > src/ext/dataslicing.ml.depends /usr/bin/ocamldep.opt -modules src/ext/deadcodeelim.ml > src/ext/deadcodeelim.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ciltools.cmo src/ext/ciltools.ml /usr/bin/ocamldep.opt -modules src/ext/reachingdefs.ml > src/ext/reachingdefs.ml.depends /usr/bin/ocamldep.opt -modules src/ext/liveness.ml > src/ext/liveness.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/liveness.cmo src/ext/liveness.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/liveness.cmo src/ext/liveness.ml File "src/ext/liveness.ml", line 197, characters 21-25: 197 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) File "src/ext/liveness.ml", line 276, characters 21-25: 276 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmo src/ext/reachingdefs.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmo src/ext/reachingdefs.ml File "src/ext/reachingdefs.ml", line 44, characters 21-39: 44 | Some i1, Some i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/reachingdefs.ml", line 470, characters 15-19: 470 | with Failure "hd" -> if compare fdec.svar.vname (!debug_fn) = 0 then ^^^^ Warning 52: 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 9.5) File "src/ext/reachingdefs.ml", line 556, characters 17-21: 556 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamldep.opt -modules src/ext/dominators.mli > src/ext/dominators.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmi src/ext/dominators.mli /usr/bin/ocamldep.opt -modules src/ext/dominators.ml > src/ext/dominators.ml.depends /usr/bin/ocamldep.opt -modules src/ext/epicenter.ml > src/ext/epicenter.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/errormsg.ml > ocamlutil/errormsg.ml.depends /usr/bin/ocamldep.opt -modules src/escape.ml > src/escape.ml.depends make -C .. _build/feature_config.ml + make -C .. _build/feature_config.ml make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3' rm -f _build/feature_config.* echo "(* This module was generated automatically by code in Makefile.in *)" >_build/feature_config.ml echo "open Cil" >>_build/feature_config.ml echo "let features : featureDescr list = [" >> _build/feature_config.ml echo " (* EXTRAFEATURES: *)" >> _build/feature_config.ml echo \ \ | perl -pe 's/\\n/\n/g' >> _build/feature_config.ml echo "]" >>_build/feature_config.ml make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3' /usr/bin/ocamldep.opt -modules feature_config.ml > feature_config.ml.depends /usr/bin/ocamldep.opt -modules src/formatcil.mli > src/formatcil.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatcil.cmi src/formatcil.mli /usr/bin/ocamldep.opt -modules src/formatcil.ml > src/formatcil.ml.depends /usr/bin/ocamllex.opt -q src/formatlex.mll /usr/bin/ocamldep.opt -modules src/formatlex.ml > src/formatlex.ml.depends /usr/bin/ocamlyacc src/formatparse.mly /usr/bin/ocamldep.opt -modules src/formatparse.mli > src/formatparse.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatparse.cmi src/formatparse.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatlex.cmo src/formatlex.ml /usr/bin/ocamldep.opt -modules src/formatparse.ml > src/formatparse.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/frontc.ml > src/frontc/frontc.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/patch.mli > src/frontc/patch.mli.depends /usr/bin/ocamlc.opt -c -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/patch.cmi src/frontc/patch.mli /usr/bin/ocamldep.opt -modules ocamlutil/growArray.ml > ocamlutil/growArray.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/longarray.mli > ocamlutil/longarray.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/longarray.cmi ocamlutil/longarray.mli /usr/bin/ocamldep.opt -modules src/ext/heap.ml > src/ext/heap.ml.depends /usr/bin/ocamldep.opt -modules src/ext/heapify.ml > src/ext/heapify.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/inthash.ml > ocamlutil/inthash.ml.depends /usr/bin/ocamldep.opt -modules src/ext/llvm.ml > src/ext/llvm.ml.depends /usr/bin/ocamldep.opt -modules src/ext/llvmgen.ml > src/ext/llvmgen.ml.depends /usr/bin/ocamldep.opt -modules src/ext/llvmutils.ml > src/ext/llvmutils.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmutils.cmo src/ext/llvmutils.ml /usr/bin/ocamldep.opt -modules src/ext/llvmssa.ml > src/ext/llvmssa.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmgen.cmo src/ext/llvmgen.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmssa.cmo src/ext/llvmssa.ml /usr/bin/ocamldep.opt -modules src/ext/logcalls.mli > src/ext/logcalls.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmi src/ext/logcalls.mli /usr/bin/ocamldep.opt -modules src/ext/logcalls.ml > src/ext/logcalls.ml.depends /usr/bin/ocamldep.opt -modules src/ext/logwrites.ml > src/ext/logwrites.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/longarray.ml > ocamlutil/longarray.ml.depends /usr/bin/ocamldep.opt -modules src/mergecil.ml > src/mergecil.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/olf.mli > src/ext/pta/olf.mli.depends /usr/bin/ocamlc.opt -c -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/olf.cmi src/ext/pta/olf.mli /usr/bin/ocamldep.opt -modules src/ext/pta/olf.ml > src/ext/pta/olf.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/setp.mli > src/ext/pta/setp.mli.depends /usr/bin/ocamldep.opt -modules src/ext/pta/uref.mli > src/ext/pta/uref.mli.depends /usr/bin/ocamlc.opt -c -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/setp.cmi src/ext/pta/setp.mli /usr/bin/ocamlc.opt -c -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/uref.cmi src/ext/pta/uref.mli /usr/bin/ocamldep.opt -modules src/ext/oneret.mli > src/ext/oneret.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/oneret.cmi src/ext/oneret.mli /usr/bin/ocamldep.opt -modules src/ext/oneret.ml > src/ext/oneret.ml.depends /usr/bin/ocamldep.opt -modules src/ext/partial.ml > src/ext/partial.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heap.cmo src/ext/heap.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heap.cmo src/ext/heap.ml File "src/ext/heap.ml", line 12, characters 13-25: 12 | elements = Array.create (size+1) (max_int,None) ; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamldep.opt -modules src/ext/pta/ptranal.mli > src/ext/pta/ptranal.mli.depends /usr/bin/ocamlc.opt -c -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmi src/ext/pta/ptranal.mli /usr/bin/ocamldep.opt -modules src/frontc/patch.ml > src/frontc/patch.ml.depends /usr/bin/ocamldep.opt -modules src/ext/predabst.ml > src/ext/predabst.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/pretty.ml > ocamlutil/pretty.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/ptranal.ml > src/ext/pta/ptranal.ml.depends /usr/bin/ocamldep.opt -modules src/rmtmps.ml > src/rmtmps.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/setp.ml > src/ext/pta/setp.ml.depends /usr/bin/ocamldep.opt -modules src/ext/sfi.ml > src/ext/sfi.ml.depends /usr/bin/ocamldep.opt -modules src/ext/simplemem.ml > src/ext/simplemem.ml.depends /usr/bin/ocamldep.opt -modules src/ext/simplify.mli > src/ext/simplify.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplify.cmi src/ext/simplify.mli /usr/bin/ocamldep.opt -modules src/ext/simplify.ml > src/ext/simplify.ml.depends /usr/bin/ocamldep.opt -modules src/ext/ssa.mli > src/ext/ssa.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmi src/ext/ssa.mli /usr/bin/ocamldep.opt -modules src/ext/ssa.ml > src/ext/ssa.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/stats.ml > ocamlutil/stats.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/trace.ml > ocamlutil/trace.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/uref.ml > src/ext/pta/uref.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/util.ml > ocamlutil/util.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/whitetrack.ml > src/frontc/whitetrack.ml.depends /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/alpha.cmo ocamlutil/alpha.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexps.cmo src/ext/availexps.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexps.cmo src/ext/availexps.ml File "src/ext/availexps.ml", line 320, characters 15-19: 320 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/availexps.ml", line 381, characters 17-21: 381 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmo src/ext/availexpslv.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmo src/ext/availexpslv.ml File "src/ext/availexpslv.ml", line 362, characters 15-19: 362 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 424 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/bitmap.cmo ocamlutil/bitmap.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -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 instead. /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmo src/frontc/cabs2cil.ml + /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmo src/frontc/cabs2cil.ml File "src/frontc/cabs2cil.ml", line 1890, characters 26-38: 1890 | ref idx, ref (Array.create (max 32 (idx + 1)) NoInitPre) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. 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 instead. 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. /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmo src/frontc/cabsvisit.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmo src/ext/callgraph.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmo src/ext/canonicalize.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/cfg.cmo src/ext/cfg.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/check.cmo src/check.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmo src/cil.ml + /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmo src/cil.ml 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 instead. /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilint.cmo src/cilint.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cillower.cmo src/cillower.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/ciloptions.cmo src/ciloptions.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmo src/frontc/clexer.ml + /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmo src/frontc/clexer.ml File "src/frontc/clexer.mll", line 615, characters 30-47: Warning 52: 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 9.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/clist.cmo ocamlutil/clist.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cparser.cmo src/frontc/cparser.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmo src/ext/dataflow.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmo src/ext/dataslicing.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/deadcodeelim.cmo src/ext/deadcodeelim.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmo src/ext/dominators.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmo src/ext/dominators.ml File "src/ext/dominators.ml", line 53, characters 44-62: 53 | let compare v1 v2 = Pervasives.compare v1.sid v2.sid ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/dominators.ml", line 285, characters 15-19: 285 | with Failure "hd" -> idomData, (None, treeData) ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmo src/ext/epicenter.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/errormsg.cmo ocamlutil/errormsg.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/escape.cmo src/escape.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o feature_config.cmo feature_config.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatcil.cmo src/formatcil.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatparse.cmo src/formatparse.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/frontc.cmo src/frontc/frontc.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/growArray.cmo ocamlutil/growArray.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heapify.cmo src/ext/heapify.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmo ocamlutil/inthash.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -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 instead. /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvm.cmo src/ext/llvm.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmo src/ext/logcalls.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmo src/ext/logwrites.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/longarray.cmo ocamlutil/longarray.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -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 instead. File "ocamlutil/longarray.ml", line 43, characters 15-28: 43 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52: 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 9.5) File "ocamlutil/longarray.ml", line 56, characters 15-28: 56 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52: 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 9.5) File "ocamlutil/longarray.ml", line 69, characters 15-28: 69 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52: 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 9.5) File "ocamlutil/longarray.ml", line 77, characters 15-28: 77 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/mergecil.cmo src/mergecil.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/olf.cmo src/ext/pta/olf.ml + /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/olf.cmo src/ext/pta/olf.ml File "src/ext/pta/olf.ml", line 67, characters 4-22: 67 | Pervasives.compare (U.deref x.info) (U.deref y.info) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/oneret.cmo src/ext/oneret.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/partial.cmo src/ext/partial.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/patch.cmo src/frontc/patch.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/predabst.cmo src/ext/predabst.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/predabst.cmo src/ext/predabst.ml File "src/ext/predabst.ml", line 869, characters 14-18: 869 | with Failure "hd" -> if !debug then ignore(E.log "fn w. no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/predabst.ml", line 912, characters 14-18: 912 | with Failure "hd" -> DoChildren ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/pretty.cmo ocamlutil/pretty.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml + /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml File "src/ext/pta/ptranal.ml", line 287, characters 38-39: 287 | if is_undefined_fun fexpr & !conservative_undefineds then ^ Alert deprecated: Stdlib.& Use (&&) instead. /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml + /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml File "src/rmtmps.ml", line 626, characters 8-191: 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 or-pattern variables under guard; variable gref may match different arguments. (See manual section 9.5) /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/setp.cmo src/ext/pta/setp.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/sfi.cmo src/ext/sfi.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplemem.cmo src/ext/simplemem.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplify.cmo src/ext/simplify.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmo src/ext/ssa.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmo src/ext/ssa.ml File "src/ext/ssa.ml", line 86, characters 17-29: 86 | let ndfs = Array.create nnodes 0 in (* mapping from depth-first ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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 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 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 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 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 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 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 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 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 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 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 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 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 instead. /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/stats.cmo ocamlutil/stats.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/trace.cmo ocamlutil/trace.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/uref.cmo src/ext/pta/uref.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/util.cmo ocamlutil/util.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmo src/frontc/whitetrack.ml /usr/bin/ocamlc.opt -a -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/pretty.cmo ocamlutil/errormsg.cmo ocamlutil/alpha.cmo ocamlutil/inthash.cmo ocamlutil/stats.cmo ocamlutil/util.cmo cilversion.cmo machdep.cmo ocamlutil/clist.cmo src/cilint.cmo src/escape.cmo src/cil.cmo src/ext/dataflow.cmo src/ext/expcompare.cmo src/ext/usedef.cmo src/ext/availexps.cmo src/ext/availexpslv.cmo ocamlutil/bitmap.cmo src/frontc/cabs.cmo ocamlutil/trace.cmo src/cilutil.cmo ocamlutil/longarray.cmo ocamlutil/growArray.cmo src/frontc/cabshelper.cmo src/frontc/cabsvisit.cmo src/frontc/whitetrack.cmo src/frontc/cprint.cmo src/frontc/cabs2cil.cmo src/ext/callgraph.cmo src/ext/canonicalize.cmo src/ext/cfg.cmo src/check.cmo src/cillower.cmo src/frontc/lexerhack.cmo src/frontc/cparser.cmo src/frontc/clexer.cmo src/frontc/patch.cmo src/frontc/frontc.cmo src/machdepenv.cmo src/mergecil.cmo src/rmtmps.cmo src/ciloptions.cmo src/ext/ciltools.cmo src/ext/dataslicing.cmo src/ext/liveness.cmo src/ext/reachingdefs.cmo src/ext/deadcodeelim.cmo src/ext/dominators.cmo src/ext/epicenter.cmo feature_config.cmo src/formatparse.cmo src/formatlex.cmo src/formatcil.cmo src/ext/heap.cmo src/ext/heapify.cmo src/ext/llvmutils.cmo src/ext/llvmgen.cmo src/ext/llvmssa.cmo src/ext/llvm.cmo src/ext/logcalls.cmo src/ext/logwrites.cmo src/ext/pta/setp.cmo src/ext/pta/uref.cmo src/ext/pta/olf.cmo src/ext/oneret.cmo src/ext/pta/ptranal.cmo src/ext/partial.cmo src/ext/predabst.cmo src/ext/sfi.cmo src/ext/simplemem.cmo src/ext/simplify.cmo src/ext/ssa.cmo -o src/cil.cma ocamlbuild -build-dir _build -no-links -classic-display src/cil.cmxa /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/pretty.cmx ocamlutil/pretty.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/errormsg.cmx ocamlutil/errormsg.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/alpha.cmx ocamlutil/alpha.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilint.cmx src/cilint.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o cilversion.cmx cilversion.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/clist.cmx ocamlutil/clist.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/escape.cmx src/escape.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmx ocamlutil/inthash.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -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 instead. /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o machdep.cmx machdep.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/util.cmx ocamlutil/util.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmx src/cil.ml + /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmx src/cil.ml 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 instead. /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmx src/ext/dataflow.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmx src/ext/expcompare.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/stats.cmx ocamlutil/stats.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/usedef.cmx src/ext/usedef.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs.cmx src/frontc/cabs.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/longarray.cmx ocamlutil/longarray.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -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 instead. File "ocamlutil/longarray.ml", line 43, characters 15-28: 43 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52: 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 9.5) File "ocamlutil/longarray.ml", line 56, characters 15-28: 56 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52: 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 9.5) File "ocamlutil/longarray.ml", line 69, characters 15-28: 69 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52: 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 9.5) File "ocamlutil/longarray.ml", line 77, characters 15-28: 77 | with Failure ("hd" | "tl") -> ^^^^^^^^^^^^^ Warning 52: 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 9.5) /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/growArray.cmx ocamlutil/growArray.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmx src/frontc/cabshelper.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/trace.cmx ocamlutil/trace.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmx src/frontc/whitetrack.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmx src/frontc/cabsvisit.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilutil.cmx src/cilutil.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cprint.cmx src/frontc/cprint.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmx src/frontc/cabs2cil.ml + /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmx src/frontc/cabs2cil.ml File "src/frontc/cabs2cil.ml", line 1890, characters 26-38: 1890 | ref idx, ref (Array.create (max 32 (idx + 1)) NoInitPre) ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. 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 instead. 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. /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/lexerhack.cmx src/frontc/lexerhack.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/cparser.cmx src/frontc/cparser.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmx src/frontc/clexer.ml + /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/clexer.cmx src/frontc/clexer.ml File "src/frontc/clexer.mll", line 615, characters 30-47: Warning 52: 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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/patch.cmx src/frontc/patch.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -o src/frontc/frontc.cmx src/frontc/frontc.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/machdepenv.cmx src/machdepenv.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/mergecil.cmx src/mergecil.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml + /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml File "src/rmtmps.ml", line 626, characters 8-191: 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 or-pattern variables under guard; variable gref may match different arguments. (See manual section 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ciltools.cmx src/ext/ciltools.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/cfg.cmx src/ext/cfg.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/liveness.cmx src/ext/liveness.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/liveness.cmx src/ext/liveness.ml File "src/ext/liveness.ml", line 197, characters 21-25: 197 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) File "src/ext/liveness.ml", line 276, characters 21-25: 276 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmx src/ext/reachingdefs.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmx src/ext/reachingdefs.ml File "src/ext/reachingdefs.ml", line 44, characters 21-39: 44 | Some i1, Some i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/reachingdefs.ml", line 470, characters 15-19: 470 | with Failure "hd" -> if compare fdec.svar.vname (!debug_fn) = 0 then ^^^^ Warning 52: 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 9.5) File "src/ext/reachingdefs.ml", line 556, characters 17-21: 556 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmx src/ext/callgraph.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatparse.cmx src/formatparse.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatlex.cmx src/formatlex.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmutils.cmx src/ext/llvmutils.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmgen.cmx src/ext/llvmgen.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvmssa.cmx src/ext/llvmssa.ml /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/setp.cmx src/ext/pta/setp.ml /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/uref.cmx src/ext/pta/uref.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heap.cmx src/ext/heap.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heap.cmx src/ext/heap.ml File "src/ext/heap.ml", line 12, characters 13-25: 12 | elements = Array.create (size+1) (max_int,None) ; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/olf.cmx src/ext/pta/olf.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/olf.cmx src/ext/pta/olf.ml File "src/ext/pta/olf.ml", line 67, characters 4-22: 67 | Pervasives.compare (U.deref x.info) (U.deref y.info) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I ocamlutil -I src -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml File "src/ext/pta/ptranal.ml", line 287, characters 38-39: 287 | if is_undefined_fun fexpr & !conservative_undefineds then ^ Alert deprecated: Stdlib.& Use (&&) instead. /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/bitmap.cmx ocamlutil/bitmap.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -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 instead. /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexps.cmx src/ext/availexps.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexps.cmx src/ext/availexps.ml File "src/ext/availexps.ml", line 320, characters 15-19: 320 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/availexps.ml", line 381, characters 17-21: 381 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmx src/ext/availexpslv.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmx src/ext/availexpslv.ml File "src/ext/availexpslv.ml", line 362, characters 15-19: 362 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 424 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmx src/ext/canonicalize.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/check.cmx src/check.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cillower.cmx src/cillower.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/ciloptions.cmx src/ciloptions.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmx src/ext/dataslicing.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/deadcodeelim.cmx src/ext/deadcodeelim.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmx src/ext/dominators.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/dominators.cmx src/ext/dominators.ml File "src/ext/dominators.ml", line 53, characters 44-62: 53 | let compare v1 v2 = Pervasives.compare v1.sid v2.sid ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/dominators.ml", line 285, characters 15-19: 285 | with Failure "hd" -> idomData, (None, treeData) ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmx src/ext/epicenter.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o feature_config.cmx feature_config.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatcil.cmx src/formatcil.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/heapify.cmx src/ext/heapify.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/llvm.cmx src/ext/llvm.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmx src/ext/logcalls.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmx src/ext/logwrites.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/oneret.cmx src/ext/oneret.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/partial.cmx src/ext/partial.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/predabst.cmx src/ext/predabst.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/predabst.cmx src/ext/predabst.ml File "src/ext/predabst.ml", line 869, characters 14-18: 869 | with Failure "hd" -> if !debug then ignore(E.log "fn w. no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/predabst.ml", line 912, characters 14-18: 912 | with Failure "hd" -> DoChildren ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/sfi.cmx src/ext/sfi.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplemem.cmx src/ext/simplemem.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/simplify.cmx src/ext/simplify.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmx src/ext/ssa.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -o src/ext/ssa.cmx src/ext/ssa.ml File "src/ext/ssa.ml", line 86, characters 17-29: 86 | let ndfs = Array.create nnodes 0 in (* mapping from depth-first ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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 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 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 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 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 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 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 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 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 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 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 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 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 instead. /usr/bin/ocamlopt.opt -a -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/pretty.cmx ocamlutil/errormsg.cmx ocamlutil/alpha.cmx cilversion.cmx machdep.cmx ocamlutil/clist.cmx ocamlutil/inthash.cmx ocamlutil/stats.cmx ocamlutil/util.cmx src/cilint.cmx src/escape.cmx src/cil.cmx src/ext/dataflow.cmx src/ext/expcompare.cmx src/ext/usedef.cmx src/ext/availexps.cmx src/ext/availexpslv.cmx ocamlutil/bitmap.cmx src/frontc/cabs.cmx ocamlutil/longarray.cmx ocamlutil/growArray.cmx ocamlutil/trace.cmx src/cilutil.cmx src/frontc/cabshelper.cmx src/frontc/cabsvisit.cmx src/frontc/whitetrack.cmx src/frontc/cprint.cmx src/frontc/cabs2cil.cmx src/ext/callgraph.cmx src/ext/canonicalize.cmx src/ext/cfg.cmx src/check.cmx src/cillower.cmx src/frontc/lexerhack.cmx src/frontc/cparser.cmx src/frontc/clexer.cmx src/frontc/patch.cmx src/frontc/frontc.cmx src/machdepenv.cmx src/mergecil.cmx src/rmtmps.cmx src/ciloptions.cmx src/ext/ciltools.cmx src/ext/dataslicing.cmx src/ext/liveness.cmx src/ext/reachingdefs.cmx src/ext/deadcodeelim.cmx src/ext/dominators.cmx src/ext/epicenter.cmx feature_config.cmx src/formatparse.cmx src/formatlex.cmx src/formatcil.cmx src/ext/heap.cmx src/ext/heapify.cmx src/ext/llvmutils.cmx src/ext/llvmgen.cmx src/ext/llvmssa.cmx src/ext/llvm.cmx src/ext/logcalls.cmx src/ext/logwrites.cmx src/ext/pta/setp.cmx src/ext/pta/uref.cmx src/ext/pta/olf.cmx src/ext/oneret.cmx src/ext/pta/ptranal.cmx src/ext/partial.cmx src/ext/predabst.cmx src/ext/sfi.cmx src/ext/simplemem.cmx src/ext/simplify.cmx src/ext/ssa.cmx -o src/cil.cmxa ocamlbuild -build-dir _build -no-links -classic-display src/cil.a ocamlbuild -build-dir _build -no-links -classic-display src/cil.libfiles /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/availexps.ml > src/ext/availexps.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/availexps.ml > src/ext/availexps.inferred.mli File "src/ext/availexps.ml", line 320, characters 15-19: 320 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/availexps.ml", line 381, characters 17-21: 381 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/availexpslv.ml > src/ext/availexpslv.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/availexpslv.ml > src/ext/availexpslv.inferred.mli File "src/ext/availexpslv.ml", line 362, characters 15-19: 362 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 424 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -i src/frontc/cabs.ml > src/frontc/cabs.inferred.mli /usr/bin/ocamlc.opt -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -i src/frontc/cabshelper.ml > src/frontc/cabshelper.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/ciltools.ml > src/ext/ciltools.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i src/cilutil.ml > src/cilutil.inferred.mli /usr/bin/ocamlc.opt -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -i cilversion.ml > cilversion.inferred.mli /usr/bin/ocamlc.opt -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -i src/frontc/cprint.ml > src/frontc/cprint.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/deadcodeelim.ml > src/ext/deadcodeelim.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/epicenter.ml > src/ext/epicenter.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/expcompare.ml > src/ext/expcompare.inferred.mli /usr/bin/ocamlc.opt -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -i feature_config.ml > feature_config.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i src/formatlex.ml > src/formatlex.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/heap.ml > src/ext/heap.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/heap.ml > src/ext/heap.inferred.mli File "src/ext/heap.ml", line 12, characters 13-25: 12 | elements = Array.create (size+1) (max_int,None) ; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/heapify.ml > src/ext/heapify.inferred.mli /usr/bin/ocamlc.opt -I src/frontc -I ocamlutil -I src -I src/ext -I src/ext/pta -i src/frontc/lexerhack.ml > src/frontc/lexerhack.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/liveness.ml > src/ext/liveness.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/liveness.ml > src/ext/liveness.inferred.mli File "src/ext/liveness.ml", line 197, characters 21-25: 197 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) File "src/ext/liveness.ml", line 276, characters 21-25: 276 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvm.ml > src/ext/llvm.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvmgen.ml > src/ext/llvmgen.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvmssa.ml > src/ext/llvmssa.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/llvmutils.ml > src/ext/llvmutils.inferred.mli BUILDSTDERR: /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I srcgcc: error: unrecognized command line option '-m32' /ext/pta -i src/ext/logwrites.ml > src/ext/logwrites.inferred.mli /usr/bin/ocamlc.opt -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -i machdep.ml > machdep.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i src/machdepenv.ml > src/machdepenv.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/partial.ml > src/ext/partial.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/predabst.ml > src/ext/predabst.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/predabst.ml > src/ext/predabst.inferred.mli File "src/ext/predabst.ml", line 869, characters 14-18: 869 | with Failure "hd" -> if !debug then ignore(E.log "fn w. no stmts?\n") ^^^^ Warning 52: 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 9.5) File "src/ext/predabst.ml", line 912, characters 14-18: 912 | with Failure "hd" -> DoChildren ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/reachingdefs.ml > src/ext/reachingdefs.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/reachingdefs.ml > src/ext/reachingdefs.inferred.mli File "src/ext/reachingdefs.ml", line 44, characters 21-39: 44 | Some i1, Some i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/reachingdefs.ml", line 470, characters 15-19: 470 | with Failure "hd" -> if compare fdec.svar.vname (!debug_fn) = 0 then ^^^^ Warning 52: 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 9.5) File "src/ext/reachingdefs.ml", line 556, characters 17-21: 556 | with Failure "hd" -> ^^^^ Warning 52: 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 9.5) /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/sfi.ml > src/ext/sfi.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/simplemem.ml > src/ext/simplemem.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta -i src/ext/usedef.ml > src/ext/usedef.inferred.mli ocamlbuild -build-dir _build -no-links -classic-display src/main.native /usr/bin/ocamldep.opt -modules src/main.ml > src/main.ml.depends /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/main.cmo src/main.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/main.cmx src/main.ml /usr/bin/ocamlopt.opt unix.cmxa str.cmxa nums.cmxa -I src src/cil.cmxa src/main.cmx -o src/main.native cp _build/src/main.native bin/cilly.native cp lib/App/Cilly.pm.in lib/App/Cilly.pm sed -e "s|CIL_VERSION|1.7.3|" lib/App/Cilly.pm > lib/App/Cilly.pm.tmp; \ mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ if gcc -D_GNUCC -m32 src/machdep-ml.c -o _build/machdep-ml32.exe ;then \ sed -e "s|nogcc32model|` _build/machdep-ml32.exe --env`|" lib/App/Cilly.pm > lib/App/Cilly.pm.tmp; \ mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ fi if gcc -D_GNUCC -m64 src/machdep-ml.c -o _build/machdep-ml64.exe ;then \ sed -e "s|nogcc64model|` _build/machdep-ml64.exe --env`|" lib/App/Cilly.pm > lib/App/Cilly.pm.tmp; \ BUILDSTDERR: gcc: error: unrecognized command line option '-m64' BUILDSTDERR: ***Found CIL code at line 408 BUILDSTDERR: Preprocessing cilcode.tmp/ex1.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex1.c -o cilcode.tmp/ex1.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex1.cil.c --verbose cilcode.tmp/ex1.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex1.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex1.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.204 s BUILDSTDERR: parse 0.021 s BUILDSTDERR: convert to CIL 0.161 s BUILDSTDERR: printCIL 0.021 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.31MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex1.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex1.cil.c -o cilcode.tmp/ex1.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex1.cil.i into cilcode.tmp/ex1.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex1.o cilcode.tmp/ex1.cil.i BUILDSTDERR: ***Found CIL code at line 418 BUILDSTDERR: Preprocessing cilcode.tmp/ex2.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex2.c -o cilcode.tmp/ex2.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex2.cil.c --verbose cilcode.tmp/ex2.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex2.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex2.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.042 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.034 s BUILDSTDERR: printCIL 0.008 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.27MB, max=3.93MB, minor=2.24MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex2.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex2.cil.c -o cilcode.tmp/ex2.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex2.cil.i into cilcode.tmp/ex2.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex2.o cilcode.tmp/ex2.cil.i BUILDSTDERR: ***Found CIL code at line 425 BUILDSTDERR: Preprocessing cilcode.tmp/ex3.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex3.c -o cilcode.tmp/ex3.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex3.cil.c --verbose cilcode.tmp/ex3.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex3.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex3.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.022 s BUILDSTDERR: parse 0.007 s BUILDSTDERR: convert to CIL 0.012 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex3.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex3.cil.c -o cilcode.tmp/ex3.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex3.cil.i into cilcode.tmp/ex3.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex3.o cilcode.tmp/ex3.cil.i BUILDSTDERR: ***Found CIL code at line 442 BUILDSTDERR: Preprocessing cilcode.tmp/ex4.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex4.c -o cilcode.tmp/ex4.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex4.cil.c --verbose cilcode.tmp/ex4.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex4.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex4.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.046 s BUILDSTDERR: parse 0.007 s BUILDSTDERR: convert to CIL 0.033 s BUILDSTDERR: printCIL 0.005 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.31MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex4.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex4.cil.c -o cilcode.tmp/ex4.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex4.cil.i into cilcode.tmp/ex4.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex4.o cilcode.tmp/ex4.cil.i BUILDSTDERR: ***Found CIL code at line 459 BUILDSTDERR: Preprocessing cilcode.tmp/ex5.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex5.c -o cilcode.tmp/ex5.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex5.cil.c --verbose cilcode.tmp/ex5.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex5.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex5.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.031 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.025 s BUILDSTDERR: printCIL 0.005 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.35MB, max=3.93MB, minor=2.31MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex5.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex5.cil.c -o cilcode.tmp/ex5.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex5.cil.i into cilcode.tmp/ex5.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex5.o cilcode.tmp/ex5.cil.i BUILDSTDERR: ***Found CIL code at line 471 BUILDSTDERR: Preprocessing cilcode.tmp/ex6.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex6.c -o cilcode.tmp/ex6.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex6.cil.c --verbose cilcode.tmp/ex6.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex6.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex6.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.052 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.045 s BUILDSTDERR: printCIL 0.006 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.31MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex6.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex6.cil.c -o cilcode.tmp/ex6.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex6.cil.i into cilcode.tmp/ex6.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex6.o cilcode.tmp/ex6.cil.i BUILDSTDERR: ***Found CIL code at line 477 BUILDSTDERR: Preprocessing cilcode.tmp/ex7.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex7.c -o cilcode.tmp/ex7.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex7.cil.c --verbose cilcode.tmp/ex7.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex7.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex7.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.057 s BUILDSTDERR: parse 0.007 s BUILDSTDERR: convert to CIL 0.046 s BUILDSTDERR: printCIL 0.005 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.29MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex7.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex7.cil.c -o cilcode.tmp/ex7.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex7.cil.i into cilcode.tmp/ex7.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex7.o cilcode.tmp/ex7.cil.i BUILDSTDERR: ***Found CIL code at line 492 BUILDSTDERR: Preprocessing cilcode.tmp/ex8.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex8.c -o cilcode.tmp/ex8.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex8.cil.c --verbose cilcode.tmp/ex8.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex8.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex8.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.037 s BUILDSTDERR: parse 0.005 s BUILDSTDERR: convert to CIL 0.026 s BUILDSTDERR: printCIL 0.006 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.31MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex8.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex8.cil.c -o cilcode.tmp/ex8.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex8.cil.i into cilcode.tmp/ex8.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex8.o cilcode.tmp/ex8.cil.i BUILDSTDERR: ***Found CIL code at line 501 BUILDSTDERR: Preprocessing cilcode.tmp/ex9.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex9.c -o cilcode.tmp/ex9.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex9.cil.c --verbose cilcode.tmp/ex9.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex9.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex9.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.034 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.028 s BUILDSTDERR: printCIL 0.006 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.34MB, max=3.93MB, minor=2.31MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex9.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex9.cil.c -o cilcode.tmp/ex9.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex9.cil.i into cilcode.tmp/ex9.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex9.o cilcode.tmp/ex9.cil.i BUILDSTDERR: ***Found CIL code at line 513 BUILDSTDERR: Preprocessing cilcode.tmp/ex10.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex10.c -o cilcode.tmp/ex10.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex10.cil.c --verbose cilcode.tmp/ex10.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex10.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex10.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.030 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.019 s BUILDSTDERR: printCIL 0.007 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex10.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex10.cil.c -o cilcode.tmp/ex10.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex10.cil.i into cilcode.tmp/ex10.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex10.o cilcode.tmp/ex10.cil.i BUILDSTDERR: ***Found CIL code at line 519 BUILDSTDERR: Preprocessing cilcode.tmp/ex11.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex11.c -o cilcode.tmp/ex11.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex11.cil.c --verbose cilcode.tmp/ex11.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex11.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex11.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.022 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.016 s BUILDSTDERR: printCIL 0.002 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.27MB, max=3.93MB, minor=2.24MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex11.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex11.cil.c -o cilcode.tmp/ex11.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex11.cil.i into cilcode.tmp/ex11.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex11.o cilcode.tmp/ex11.cil.i BUILDSTDERR: ***Found CIL code at line 528 BUILDSTDERR: Preprocessing cilcode.tmp/ex12.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex12.c -o cilcode.tmp/ex12.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex12.cil.c --verbose cilcode.tmp/ex12.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex12.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex12.c:2: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex12.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.031 s BUILDSTDERR: parse 0.008 s BUILDSTDERR: convert to CIL 0.019 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.36MB, max=3.93MB, minor=2.33MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex12.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex12.cil.c -o cilcode.tmp/ex12.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex12.cil.i into cilcode.tmp/ex12.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex12.o cilcode.tmp/ex12.cil.i BUILDSTDERR: ***Found CIL code at line 537 BUILDSTDERR: Preprocessing cilcode.tmp/ex13.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex13.c -o cilcode.tmp/ex13.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex13.cil.c --verbose cilcode.tmp/ex13.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex13.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex13.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.018 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.014 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.29MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex13.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex13.cil.c -o cilcode.tmp/ex13.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex13.cil.i into cilcode.tmp/ex13.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex13.o cilcode.tmp/ex13.cil.i BUILDSTDERR: ***Found CIL code at line 550 BUILDSTDERR: Preprocessing cilcode.tmp/ex14.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex14.c -o cilcode.tmp/ex14.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex14.cil.c --verbose cilcode.tmp/ex14.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex14.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex14.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.037 s BUILDSTDERR: parse 0.008 s BUILDSTDERR: convert to CIL 0.025 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.33MB, max=3.93MB, minor=2.30MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex14.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex14.cil.c -o cilcode.tmp/ex14.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex14.cil.i into cilcode.tmp/ex14.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex14.o cilcode.tmp/ex14.cil.i BUILDSTDERR: ***Found CIL code at line 567 BUILDSTDERR: Preprocessing cilcode.tmp/ex15.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex15.c -o cilcode.tmp/ex15.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex15.cil.c --verbose cilcode.tmp/ex15.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex15.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex15.c:2: Warning: Body of function foo falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex15.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.031 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.023 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.29MB, max=3.93MB, minor=2.25MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex15.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex15.cil.c -o cilcode.tmp/ex15.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex15.cil.i into cilcode.tmp/ex15.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex15.o cilcode.tmp/ex15.cil.i BUILDSTDERR: ***Found CIL code at line 576 BUILDSTDERR: Preprocessing cilcode.tmp/ex16.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex16.c -o cilcode.tmp/ex16.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex16.cil.c --verbose cilcode.tmp/ex16.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex16.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex16.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.038 s BUILDSTDERR: parse 0.006 s BUILDSTDERR: convert to CIL 0.024 s BUILDSTDERR: printCIL 0.007 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.33MB, max=3.93MB, minor=2.30MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex16.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex16.cil.c -o cilcode.tmp/ex16.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex16.cil.i into cilcode.tmp/ex16.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex16.o cilcode.tmp/ex16.cil.i BUILDSTDERR: ***Found CIL code at line 587 BUILDSTDERR: Preprocessing cilcode.tmp/ex17.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex17.c -o cilcode.tmp/ex17.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex17.cil.c --verbose cilcode.tmp/ex17.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex17.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex17.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.061 s BUILDSTDERR: parse 0.010 s BUILDSTDERR: convert to CIL 0.042 s BUILDSTDERR: printCIL 0.009 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.45MB, max=3.93MB, minor=2.42MB, major=0.39MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex17.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex17.cil.c -o cilcode.tmp/ex17.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex17.cil.i into cilcode.tmp/ex17.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex17.o cilcode.tmp/ex17.cil.i BUILDSTDERR: ***Found CIL code at line 600 BUILDSTDERR: Preprocessing cilcode.tmp/ex18.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex18.c -o cilcode.tmp/ex18.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex18.cil.c --verbose cilcode.tmp/ex18.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex18.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex18.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.035 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.028 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex18.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex18.cil.c -o cilcode.tmp/ex18.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex18.cil.i into cilcode.tmp/ex18.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex18.o cilcode.tmp/ex18.cil.i BUILDSTDERR: ***Found CIL code at line 609 BUILDSTDERR: Preprocessing cilcode.tmp/ex19.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex19.c -o cilcode.tmp/ex19.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex19.cil.c --verbose cilcode.tmp/ex19.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex19.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex19.c:7: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex19.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.059 s BUILDSTDERR: parse 0.009 s BUILDSTDERR: convert to CIL 0.044 s BUILDSTDERR: printCIL 0.006 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.41MB, max=3.93MB, minor=2.37MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex19.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex19.cil.c -o cilcode.tmp/ex19.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex19.cil.i into cilcode.tmp/ex19.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex19.o cilcode.tmp/ex19.cil.i BUILDSTDERR: ***Found CIL code at line 625 BUILDSTDERR: Preprocessing cilcode.tmp/ex20.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex20.c -o cilcode.tmp/ex20.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex20.cil.c --verbose cilcode.tmp/ex20.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex20.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex20.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.024 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.021 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.34MB, max=3.93MB, minor=2.31MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex20.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex20.cil.c -o cilcode.tmp/ex20.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex20.cil.i into cilcode.tmp/ex20.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex20.o cilcode.tmp/ex20.cil.i BUILDSTDERR: ***Found CIL code at line 637 BUILDSTDERR: Preprocessing cilcode.tmp/ex21.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex21.c -o cilcode.tmp/ex21.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex21.cil.c --verbose cilcode.tmp/ex21.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex21.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex21.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.026 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.021 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.34MB, max=3.93MB, minor=2.30MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex21.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex21.cil.c -o cilcode.tmp/ex21.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex21.cil.i into cilcode.tmp/ex21.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex21.o cilcode.tmp/ex21.cil.i BUILDSTDERR: ***Found CIL code at line 658 BUILDSTDERR: Preprocessing cilcode.tmp/ex22.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex22.c -o cilcode.tmp/ex22.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex22.cil.c --verbose cilcode.tmp/ex22.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex22.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex22.c:9: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex22.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.353 s BUILDSTDERR: parse 0.203 s BUILDSTDERR: convert to CIL 0.146 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=5.95MB, max=3.93MB, minor=5.92MB, major=0.64MB, promoted=0.60MB BUILDSTDERR: minor collections=2 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex22.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex22.cil.c -o cilcode.tmp/ex22.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex22.cil.i into cilcode.tmp/ex22.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex22.o cilcode.tmp/ex22.cil.i BUILDSTDERR: ***Found CIL code at line 1905 BUILDSTDERR: Preprocessing cilcode.tmp/ex23.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex23.c -o cilcode.tmp/ex23.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex23.cil.c --verbose --domakeCFG cilcode.tmp/ex23.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex23.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature makeCFG (make the program look more like a CFG) BUILDSTDERR: printing file cilcode.tmp/ex23.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.061 s BUILDSTDERR: parse 0.008 s BUILDSTDERR: convert to CIL 0.025 s BUILDSTDERR: makeCFG 0.018 s BUILDSTDERR: printCIL 0.011 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.41MB, max=3.93MB, minor=2.38MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex23.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex23.cil.c -o cilcode.tmp/ex23.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex23.cil.i into cilcode.tmp/ex23.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex23.o cilcode.tmp/ex23.cil.i BUILDSTDERR: ***Found CIL code at line 2068 BUILDSTDERR: Preprocessing cilcode.tmp/ex24.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex24.c -o cilcode.tmp/ex24.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex24.cil.c --verbose --dostackGuard cilcode.tmp/ex24.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex24.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex24.c:3: Warning: Body of function dangerous falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature stackGuard (instrument function calls and returns to maintain a BUILDSTDERR: separate stack for return addresses) BUILDSTDERR: printing file cilcode.tmp/ex24.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.034 s BUILDSTDERR: parse 0.007 s BUILDSTDERR: convert to CIL 0.020 s BUILDSTDERR: stackGuard 0.003 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex24.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex24.cil.c -o cilcode.tmp/ex24.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex24.cil.i into cilcode.tmp/ex24.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex24.o cilcode.tmp/ex24.cil.i BUILDSTDERR: cilcode.tmp/ex24.cil.c: In function 'stackguard_push': BUILDSTDERR: cilcode.tmp/ex24.cil.c:17:5: warning: implicit declaration of function 'malloc' [-Wimplicit-function-declaration] BUILDSTDERR: 17 | malloc(sizeof(stackguard_stack)); BUILDSTDERR: | ^~~~~~ BUILDSTDERR: cilcode.tmp/ex24.cil.c:17:5: warning: incompatible implicit declaration of built-in function 'malloc' BUILDSTDERR: cilcode.tmp/ex24.cil.c:1:1: note: include '' or provide a declaration of 'malloc' BUILDSTDERR: +++ |+#include BUILDSTDERR: 1 | /* Generated by CIL v. 1.7.3 */ BUILDSTDERR: cilcode.tmp/ex24.cil.c: In function 'stackguard_pop': BUILDSTDERR: cilcode.tmp/ex24.cil.c:25:3: warning: implicit declaration of function 'free' [-Wimplicit-function-declaration] BUILDSTDERR: 25 | free(stackguard_stack); BUILDSTDERR: | ^~~~ BUILDSTDERR: cilcode.tmp/ex24.cil.c:25:3: warning: incompatible implicit declaration of built-in function 'free' BUILDSTDERR: cilcode.tmp/ex24.cil.c:25:3: note: include '' or provide a declaration of 'free' BUILDSTDERR: cilcode.tmp/ex24.c: At top level: BUILDSTDERR: cilcode.tmp/ex24.c:3:14: warning: conflicting types for built-in function 'scanf'; expected 'int(const char *, ...)' [-Wbuiltin-declaration-mismatch] BUILDSTDERR: 3 | scanf("%s",array); // possible buffer overrun! BUILDSTDERR: | ^~~~~ BUILDSTDERR: cilcode.tmp/ex24.c:3:1: note: 'scanf' is declared in header '' BUILDSTDERR: 2 | char array[10]; BUILDSTDERR: +++ |+#include BUILDSTDERR: 3 | scanf("%s",array); // possible buffer overrun! BUILDSTDERR: ***Found CIL code at line 2089 BUILDSTDERR: Preprocessing cilcode.tmp/ex25.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex25.c -o cilcode.tmp/ex25.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex25.cil.c --verbose --doheapify cilcode.tmp/ex25.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex25.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex25.c:3: Warning: Body of function dangerous falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature heapify (move stack-allocated arrays to the heap) BUILDSTDERR: printing file cilcode.tmp/ex25.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.014 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.005 s BUILDSTDERR: heapify 0.006 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.36MB, max=3.93MB, minor=2.33MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex25.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex25.cil.c -o cilcode.tmp/ex25.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex25.cil.i into cilcode.tmp/ex25.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex25.o cilcode.tmp/ex25.cil.i BUILDSTDERR: cilcode.tmp/ex25.c:3:14: warning: conflicting types for built-in function 'scanf'; expected 'int(const char *, ...)' [-Wbuiltin-declaration-mismatch] BUILDSTDERR: 3 | scanf("%s",array); // possible buffer overrun! BUILDSTDERR: | ^~~~~ BUILDSTDERR: cilcode.tmp/ex25.c:3:1: note: 'scanf' is declared in header '' BUILDSTDERR: 2 | char array[10]; BUILDSTDERR: +++ |+#include BUILDSTDERR: 3 | scanf("%s",array); // possible buffer overrun! BUILDSTDERR: cilcode.tmp/ex25.c: In function 'dangerous': BUILDSTDERR: cilcode.tmp/ex25.c:1:51: warning: implicit declaration of function 'malloc' [-Wimplicit-function-declaration] BUILDSTDERR: 1 | int dangerous() { BUILDSTDERR: | ^ BUILDSTDERR: cilcode.tmp/ex25.c:1:51: warning: incompatible implicit declaration of built-in function 'malloc' BUILDSTDERR: cilcode.tmp/ex25.c:1:1: note: include '' or provide a declaration of 'malloc' BUILDSTDERR: +++ |+#include BUILDSTDERR: 1 | int dangerous() { BUILDSTDERR: cilcode.tmp/ex25.c:4:3: warning: implicit declaration of function 'free' [-Wimplicit-function-declaration] BUILDSTDERR: 4 | } BUILDSTDERR: | ^ BUILDSTDERR: cilcode.tmp/ex25.c:4:3: warning: incompatible implicit declaration of built-in function 'free' BUILDSTDERR: cilcode.tmp/ex25.c:4:1: note: include '' or provide a declaration of 'free' BUILDSTDERR: 3 | scanf("%s",array); // possible buffer overrun! BUILDSTDERR: +++ |+#include BUILDSTDERR: 4 | } BUILDSTDERR: ***Found CIL code at line 2109 BUILDSTDERR: Preprocessing cilcode.tmp/ex26.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex26.c -o cilcode.tmp/ex26.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex26.cil.c --verbose --dooneRet cilcode.tmp/ex26.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex26.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature oneRet (make each function have at most one 'return') BUILDSTDERR: printing file cilcode.tmp/ex26.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.025 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.016 s BUILDSTDERR: oneRet 0.003 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.33MB, max=3.93MB, minor=2.30MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex26.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex26.cil.c -o cilcode.tmp/ex26.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex26.cil.i into cilcode.tmp/ex26.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex26.o cilcode.tmp/ex26.cil.i BUILDSTDERR: ***Found CIL code at line 2166 BUILDSTDERR: Preprocessing cilcode.tmp/ex27.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex27.c -o cilcode.tmp/ex27.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex27.cil.c --verbose --domakeCFG --dopartial cilcode.tmp/ex27.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex27.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature makeCFG (make the program look more like a CFG) BUILDSTDERR: Running CIL feature partial (interprocedural partial evaluation and constant folding) BUILDSTDERR: printing file cilcode.tmp/ex27.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.075 s BUILDSTDERR: parse 0.006 s BUILDSTDERR: convert to CIL 0.042 s BUILDSTDERR: makeCFG 0.004 s BUILDSTDERR: partial 0.021 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.60MB, max=3.93MB, minor=2.57MB, major=0.39MB, promoted=0.36MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex27.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex27.cil.c -o cilcode.tmp/ex27.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex27.cil.i into cilcode.tmp/ex27.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex27.o cilcode.tmp/ex27.cil.i BUILDSTDERR: ***Found CIL code at line 2320 BUILDSTDERR: Preprocessing cilcode.tmp/ex28.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex28.c -o cilcode.tmp/ex28.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex28.cil.c --verbose --dosimpleMem cilcode.tmp/ex28.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex28.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex28.c:4: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature simpleMem (simplify all memory expressions) BUILDSTDERR: printing file cilcode.tmp/ex28.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.024 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.015 s BUILDSTDERR: simpleMem 0.008 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.33MB, max=3.93MB, minor=2.29MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex28.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex28.cil.c -o cilcode.tmp/ex28.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex28.cil.i into cilcode.tmp/ex28.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex28.o cilcode.tmp/ex28.cil.i BUILDSTDERR: ***Found CIL code at line 2361 BUILDSTDERR: Preprocessing cilcode.tmp/ex29.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex29.c -o cilcode.tmp/ex29.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex29.cil.c --verbose --dosimplify cilcode.tmp/ex29.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex29.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature simplify (compiles CIL to 3-address code) BUILDSTDERR: printing file cilcode.tmp/ex29.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.054 s BUILDSTDERR: parse 0.008 s BUILDSTDERR: convert to CIL 0.018 s BUILDSTDERR: simplify 0.024 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.43MB, max=3.93MB, minor=2.40MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex29.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex29.cil.c -o cilcode.tmp/ex29.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex29.cil.i into cilcode.tmp/ex29.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex29.o cilcode.tmp/ex29.cil.i BUILDSTDERR: ***Found CIL code at line 2997 BUILDSTDERR: Preprocessing cilcode.tmp/ex30.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex30.c -o cilcode.tmp/ex30.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex30.cil.c --verbose cilcode.tmp/ex30.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex30.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex30.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.022 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.015 s BUILDSTDERR: printCIL 0.005 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.29MB, max=3.93MB, minor=2.26MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex30.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex30.cil.c -o cilcode.tmp/ex30.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex30.cil.i into cilcode.tmp/ex30.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex30.o cilcode.tmp/ex30.cil.i BUILDSTDERR: ***Found CIL code at line 3006 BUILDSTDERR: Preprocessing cilcode.tmp/ex31.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex31.c -o cilcode.tmp/ex31.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex31.cil.c --verbose cilcode.tmp/ex31.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex31.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex31.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.039 s BUILDSTDERR: parse 0.008 s BUILDSTDERR: convert to CIL 0.026 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.30MB, max=3.93MB, minor=2.27MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex31.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex31.cil.c -o cilcode.tmp/ex31.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex31.cil.i into cilcode.tmp/ex31.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex31.o cilcode.tmp/ex31.cil.i BUILDSTDERR: ***Found CIL code at line 3012 BUILDSTDERR: Preprocessing cilcode.tmp/ex32.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex32.c -o cilcode.tmp/ex32.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex32.cil.c --verbose cilcode.tmp/ex32.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex32.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex32.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.029 s BUILDSTDERR: parse 0.005 s BUILDSTDERR: convert to CIL 0.022 s BUILDSTDERR: printCIL 0.002 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.31MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex32.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex32.cil.c -o cilcode.tmp/ex32.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex32.cil.i into cilcode.tmp/ex32.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex32.o cilcode.tmp/ex32.cil.i BUILDSTDERR: ***Found CIL code at line 3025 BUILDSTDERR: Preprocessing cilcode.tmp/ex33.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex33.c -o cilcode.tmp/ex33.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex33.cil.c --verbose cilcode.tmp/ex33.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex33.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex33.c:8: Warning: Body of function f falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex33.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.038 s BUILDSTDERR: parse 0.010 s BUILDSTDERR: convert to CIL 0.022 s BUILDSTDERR: printCIL 0.005 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.35MB, max=3.93MB, minor=2.31MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex33.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex33.cil.c -o cilcode.tmp/ex33.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex33.cil.i into cilcode.tmp/ex33.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex33.o cilcode.tmp/ex33.cil.i BUILDSTDERR: ***Found CIL code at line 3042 BUILDSTDERR: Preprocessing cilcode.tmp/ex34.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex34.c -o cilcode.tmp/ex34.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex34.cil.c --verbose cilcode.tmp/ex34.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex34.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex34.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.031 s BUILDSTDERR: parse 0.009 s BUILDSTDERR: convert to CIL 0.017 s BUILDSTDERR: printCIL 0.005 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.29MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex34.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex34.cil.c -o cilcode.tmp/ex34.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex34.cil.i into cilcode.tmp/ex34.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex34.o cilcode.tmp/ex34.cil.i BUILDSTDERR: ***Found CIL code at line 3053 BUILDSTDERR: Preprocessing cilcode.tmp/ex35.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex35.c -o cilcode.tmp/ex35.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex35.cil.c --verbose cilcode.tmp/ex35.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex35.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex35.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.052 s BUILDSTDERR: parse 0.014 s BUILDSTDERR: convert to CIL 0.027 s BUILDSTDERR: printCIL 0.011 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.43MB, max=3.93MB, minor=2.40MB, major=0.39MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex35.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex35.cil.c -o cilcode.tmp/ex35.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex35.cil.i into cilcode.tmp/ex35.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex35.o cilcode.tmp/ex35.cil.i BUILDSTDERR: cilcode.tmp/ex35.c: In function 'main': BUILDSTDERR: cilcode.tmp/ex35.c:22:11: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] BUILDSTDERR: 22 | return pt3->value; BUILDSTDERR: | ^ BUILDSTDERR: ***Found CIL code at line 3083 BUILDSTDERR: Preprocessing cilcode.tmp/ex36.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex36.c -o cilcode.tmp/ex36.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex36.cil.c --verbose cilcode.tmp/ex36.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex36.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex36.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.014 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.014 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.29MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex36.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex36.cil.c -o cilcode.tmp/ex36.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex36.cil.i into cilcode.tmp/ex36.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex36.o cilcode.tmp/ex36.cil.i BUILDSTDERR: ***Found CIL code at line 3091 BUILDSTDERR: Preprocessing cilcode.tmp/ex37.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex37.c -o cilcode.tmp/ex37.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex37.cil.c --verbose cilcode.tmp/ex37.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex37.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex37.c:3: Warning: Body of function foo falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex37.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.032 s BUILDSTDERR: parse 0.006 s BUILDSTDERR: convert to CIL 0.024 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.33MB, max=3.93MB, minor=2.30MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex37.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex37.cil.c -o cilcode.tmp/ex37.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex37.cil.i into cilcode.tmp/ex37.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex37.o cilcode.tmp/ex37.cil.i BUILDSTDERR: ***Found CIL code at line 3109 BUILDSTDERR: Preprocessing cilcode.tmp/ex38.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex38.c -o cilcode.tmp/ex38.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex38.cil.c --verbose cilcode.tmp/ex38.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex38.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex38.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.027 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.022 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.29MB, max=3.93MB, minor=2.26MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex38.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex38.cil.c -o cilcode.tmp/ex38.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex38.cil.i into cilcode.tmp/ex38.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex38.o cilcode.tmp/ex38.cil.i BUILDSTDERR: ***Found CIL code at line 3120 BUILDSTDERR: Preprocessing cilcode.tmp/ex39.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex39.c -o cilcode.tmp/ex39.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex39.cil.c --verbose cilcode.tmp/ex39.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex39.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex39.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.048 s BUILDSTDERR: parse 0.019 s BUILDSTDERR: convert to CIL 0.023 s BUILDSTDERR: printCIL 0.006 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.34MB, max=3.93MB, minor=2.31MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex39.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex39.cil.c -o cilcode.tmp/ex39.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex39.cil.i into cilcode.tmp/ex39.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex39.o cilcode.tmp/ex39.cil.i BUILDSTDERR: ***Found CIL code at line 3142 BUILDSTDERR: Preprocessing cilcode.tmp/ex40.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex40.c -o cilcode.tmp/ex40.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex40.cil.c --verbose cilcode.tmp/ex40.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex40.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex40.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.019 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.016 s BUILDSTDERR: printCIL 0.002 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.34MB, max=3.93MB, minor=2.30MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex40.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex40.cil.c -o cilcode.tmp/ex40.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex40.cil.i into cilcode.tmp/ex40.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex40.o cilcode.tmp/ex40.cil.i BUILDSTDERR: ***Found CIL code at line 3149 BUILDSTDERR: Preprocessing cilcode.tmp/ex41.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex41.c -o cilcode.tmp/ex41.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex41.cil.c --verbose cilcode.tmp/ex41.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex41.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex41.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.031 s BUILDSTDERR: parse 0.007 s BUILDSTDERR: convert to CIL 0.021 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.28MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex41.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex41.cil.c -o cilcode.tmp/ex41.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex41.cil.i into cilcode.tmp/ex41.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex41.o cilcode.tmp/ex41.cil.i BUILDSTDERR: ***Found CIL code at line 3157 BUILDSTDERR: Preprocessing cilcode.tmp/ex42.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex42.c -o cilcode.tmp/ex42.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex42.cil.c --verbose cilcode.tmp/ex42.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex42.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex42.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.065 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.054 s BUILDSTDERR: printCIL 0.011 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.52MB, max=3.93MB, minor=2.49MB, major=0.39MB, promoted=0.36MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex42.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex42.cil.c -o cilcode.tmp/ex42.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex42.cil.i into cilcode.tmp/ex42.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex42.o cilcode.tmp/ex42.cil.i BUILDSTDERR: cilcode.tmp/ex42.c: In function 'doit': BUILDSTDERR: cilcode.tmp/ex42.c:10:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] BUILDSTDERR: 10 | goto *jtab[x]; // Jump through the table BUILDSTDERR: | ^ BUILDSTDERR: cilcode.tmp/ex42.c: At top level: BUILDSTDERR: cilcode.tmp/ex42.c:18:14: warning: conflicting types for built-in function 'exit'; expected 'void(int)' [-Wbuiltin-declaration-mismatch] BUILDSTDERR: 18 | if (doit(0) != 0) exit(1); BUILDSTDERR: | ^~~~ BUILDSTDERR: cilcode.tmp/ex42.c:18:1: note: 'exit' is declared in header '' BUILDSTDERR: 17 | int main(void){ BUILDSTDERR: +++ |+#include BUILDSTDERR: 18 | if (doit(0) != 0) exit(1); BUILDSTDERR: ***Found CIL code at line 3184 BUILDSTDERR: Preprocessing cilcode.tmp/ex43.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex43.c -o cilcode.tmp/ex43.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex43.cil.c --verbose cilcode.tmp/ex43.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex43.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex43.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.027 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.020 s BUILDSTDERR: printCIL 0.007 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.30MB, max=3.93MB, minor=2.27MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex43.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex43.cil.c -o cilcode.tmp/ex43.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex43.cil.i into cilcode.tmp/ex43.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex43.o cilcode.tmp/ex43.cil.i BUILDSTDERR: ***Found CIL code at line 3191 BUILDSTDERR: Preprocessing cilcode.tmp/ex44.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex44.c -o cilcode.tmp/ex44.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex44.cil.c --verbose cilcode.tmp/ex44.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex44.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex44.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.049 s BUILDSTDERR: parse 0.010 s BUILDSTDERR: convert to CIL 0.033 s BUILDSTDERR: printCIL 0.005 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.38MB, max=3.93MB, minor=2.35MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex44.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex44.cil.c -o cilcode.tmp/ex44.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex44.cil.i into cilcode.tmp/ex44.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex44.o cilcode.tmp/ex44.cil.i BUILDSTDERR: ***Found CIL code at line 3213 BUILDSTDERR: Preprocessing cilcode.tmp/ex45.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex45.c -o cilcode.tmp/ex45.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex45.cil.c --verbose cilcode.tmp/ex45.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex45.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: REDOREDOcilcode.tmp/ex45.c:12: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex45.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.047 s BUILDSTDERR: parse 0.011 s BUILDSTDERR: convert to CIL 0.032 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.38MB, max=3.93MB, minor=2.35MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex45.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex45.cil.c -o cilcode.tmp/ex45.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex45.cil.i into cilcode.tmp/ex45.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex45.o cilcode.tmp/ex45.cil.i BUILDSTDERR: ***Found CIL code at line 3231 BUILDSTDERR: Preprocessing cilcode.tmp/ex46.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex46.c -o cilcode.tmp/ex46.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex46.cil.c --verbose cilcode.tmp/ex46.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex46.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex46.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.019 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.016 s BUILDSTDERR: printCIL 0.002 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.29MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex46.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex46.cil.c -o cilcode.tmp/ex46.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex46.cil.i into cilcode.tmp/ex46.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex46.o cilcode.tmp/ex46.cil.i BUILDSTDERR: ***Found CIL code at line 3242 BUILDSTDERR: Preprocessing cilcode.tmp/ex47.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex47.c -o cilcode.tmp/ex47.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex47.cil.c --verbose cilcode.tmp/ex47.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex47.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex47.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.058 s BUILDSTDERR: parse 0.009 s BUILDSTDERR: convert to CIL 0.036 s BUILDSTDERR: printCIL 0.014 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.35MB, max=3.93MB, minor=2.31MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex47.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex47.cil.c -o cilcode.tmp/ex47.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex47.cil.i into cilcode.tmp/ex47.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex47.o cilcode.tmp/ex47.cil.i BUILDSTDERR: ***Found CIL code at line 3271 BUILDSTDERR: Preprocessing cilcode.tmp/ex48.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex48.c -o cilcode.tmp/ex48.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex48.cil.c --verbose cilcode.tmp/ex48.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex48.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex48.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.042 s BUILDSTDERR: parse 0.011 s BUILDSTDERR: convert to CIL 0.028 s BUILDSTDERR: printCIL 0.002 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex48.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex48.cil.c -o cilcode.tmp/ex48.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex48.cil.i into cilcode.tmp/ex48.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex48.o cilcode.tmp/ex48.cil.i BUILDSTDERR: Exclude comment 'comment' BUILDSTDERR: ../../cilpp.tex:83: Warning: No title given BUILDSTDERR: ../../cilpp.tex:83: Warning: No author given BUILDSTDERR: ../../cilpp.tex:106: Warning: Undefined label: 'sec-simplec' BUILDSTDERR: ../../cilpp.tex:114: Warning: Undefined label: 'sec-cabs2cil' BUILDSTDERR: ../../cilpp.tex:128: Warning: Undefined label: 'sec-Extension' BUILDSTDERR: ../../cilpp.tex:150: Warning: Undefined label: 'sec-ugly-gcc' BUILDSTDERR: ../../cilpp.tex:175: Warning: Undefined label: 'sec-Extension' BUILDSTDERR: ../../cilpp.tex:211: Warning: Undefined label: 'sec-changes' BUILDSTDERR: ../../cilpp.tex:386: Warning: Undefined label: 'sec-cil' BUILDSTDERR: ../../cilpp.tex:736: Warning: Undefined label: 'sec-Extension' BUILDSTDERR: ../../cilpp.tex:767: Warning: Undefined label: 'sec-merger' BUILDSTDERR: ../../cilpp.tex:838: Warning: Undefined label: 'sec-driver' BUILDSTDERR: ../../cilpp.tex:1634: Warning: Undefined label: 'sec-merger' BUILDSTDERR: ../../cilpp.tex:1657: Warning: Undefined label: 'sec-patcher' BUILDSTDERR: ../../cilpp.tex:1688: Warning: Undefined label: 'sec-merger' BUILDSTDERR: ../../cilpp.tex:1695: Warning: Undefined label: 'sec-patcher' BUILDSTDERR: ../../cilpp.tex:1762: Warning: Undefined label: 'sec-cilmachine' BUILDSTDERR: ../../cilpp.tex:1788: Warning: Undefined label: 'sec-Extension' BUILDSTDERR: ../../cilpp.tex:1970: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2191: Warning: Undefined label: 'enum:partial-empty-proc' BUILDSTDERR: ../../cilpp.tex:2192: Warning: Undefined label: 'enum:partial-const-func' BUILDSTDERR: ../../cilpp.tex:2248: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2287: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2321: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2358: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2521: Warning: Undefined label: 'sec-attrib' BUILDSTDERR: HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. BUILDSTDERR: Exclude comment 'comment' BUILDSTDERR: ../../cilpp.tex:83: Warning: No title given BUILDSTDERR: ../../cilpp.tex:83: Warning: No author given BUILDSTDERR: ../../cilpp.tex:211: Warning: Undefined label: 'sec-changes' BUILDSTDERR: cil.html:165: Warning, cannot find anchor: sec-changes BUILDSTDERR: kpathsea: Running mktexfmt pdflatex.fmt BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): BUILDSTDERR: mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: BUILDSTDERR: mktexfmt: /builddir/.texlive2018/texmf-config/web2c/fmtutil.cnf BUILDSTDERR: mktexfmt [INFO]: writing formats under /builddir/.texlive2018/texmf-var/web2c BUILDSTDERR: mktexfmt [INFO]: --- remaking pdflatex with pdftex BUILDSTDERR: mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... BUILDSTDERR: This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (INITEX) BUILDSTDERR: restricted \write18 enabled. BUILDSTDERR: (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) BUILDSTDERR: entering extended mode BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) BUILDSTDERR: ./texsys.aux found BUILDSTDERR: \@currdir set to: ./. BUILDSTDERR: Assuming \openin and \input BUILDSTDERR: have the same search path. BUILDSTDERR: Defining UNIX/DOS style filename parser. BUILDSTDERR: catcodes, registers, parameters, BUILDSTDERR: LaTeX2e <2018-04-01> patch level 5 BUILDSTDERR: hacks, control, par, spacing, files, font encodings, lengths, BUILDSTDERR: ==================================== BUILDSTDERR: Local config file fonttext.cfg used BUILDSTDERR: ==================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx BUILDSTDERR: === Don't modify this file, use a .cfg file instead === BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) BUILDSTDERR: ==================================== BUILDSTDERR: Local config file fontmath.cfg used BUILDSTDERR: ==================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx BUILDSTDERR: === Don't modify this file, use a .cfg file instead === BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) BUILDSTDERR: ==================================== BUILDSTDERR: Local config file preload.cfg used BUILDSTDERR: ===================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, BUILDSTDERR: environments, center, verbatim, math definitions, boxes, title, sectioning, BUILDSTDERR: contents, floats, footnotes, index, bibliography, output, BUILDSTDERR: =========================================== BUILDSTDERR: Local configuration file hyphen.cfg used BUILDSTDERR: =========================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu)) BUILDSTDERR: ) ) BUILDSTDERR: Beginning to dump on file pdflatex.fmt BUILDSTDERR: (preloaded format=pdflatex 2019.7.24) BUILDSTDERR: 5414 strings of total length 72244 BUILDSTDERR: 50402 memory locations dumped; current usage is 144&50156 BUILDSTDERR: 3742 multiletter control sequences BUILDSTDERR: \font\nullfont=nullfont BUILDSTDERR: \font\OMX/cmex/m/n/10=cmex10 BUILDSTDERR: \font\tenln=line10 BUILDSTDERR: \font\tenlnw=linew10 BUILDSTDERR: \font\tencirc=lcircle10 BUILDSTDERR: \font\tencircw=lcirclew10 BUILDSTDERR: \font\OT1/cmr/m/n/5=cmr5 BUILDSTDERR: \font\OT1/cmr/m/n/7=cmr7 BUILDSTDERR: \font\OT1/cmr/m/n/10=cmr10 BUILDSTDERR: \font\OML/cmm/m/it/5=cmmi5 BUILDSTDERR: \font\OML/cmm/m/it/7=cmmi7 BUILDSTDERR: \font\OML/cmm/m/it/10=cmmi10 BUILDSTDERR: \font\OMS/cmsy/m/n/5=cmsy5 BUILDSTDERR: \font\OMS/cmsy/m/n/7=cmsy7 BUILDSTDERR: \font\OMS/cmsy/m/n/10=cmsy10 BUILDSTDERR: 3633 words of font info for 14 preloaded fonts BUILDSTDERR: 14 hyphenation exceptions BUILDSTDERR: Hyphenation trie of length 6081 has 183 ops out of 35111 BUILDSTDERR: 2 for language 1 BUILDSTDERR: 181 for language 0 BUILDSTDERR: 0 words of pdfTeX memory BUILDSTDERR: 0 indirect objects BUILDSTDERR: No pages of output. BUILDSTDERR: Transcript written on pdflatex.log. BUILDSTDERR: mktexfmt [INFO]: /builddir/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt installed. BUILDSTDERR: mktexfmt [INFO]: Successfully rebuilt formats: 1 BUILDSTDERR: mktexfmt [INFO]: Not selected formats: 13 BUILDSTDERR: mktexfmt [INFO]: Total formats: 14 BUILDSTDERR: mktexfmt [INFO]: exiting with status 0 mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ fi cd lib; perl Makefile.PL Checking if your kit is complete... Looks good Generating a Unix-style Makefile Writing Makefile for cilly make -C lib make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3/lib' cp App/Cilly/OutputFile.pm blib/lib/App/Cilly/OutputFile.pm cp App/Cilly/KeptFile.pm blib/lib/App/Cilly/KeptFile.pm cp App/Cilly/CilConfig.pm blib/lib/App/Cilly/CilConfig.pm cp App/Cilly/TempFile.pm blib/lib/App/Cilly/TempFile.pm cp App/Cilly.pm blib/lib/App/Cilly.pm cp ../bin/cilly blib/script/cilly "/usr/bin/perl" -MExtUtils::MY -e 'MY->fixin(shift)' -- blib/script/cilly make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3/lib' rm -rf doc/html/cil mkdir -p doc/html/cil mkdir -p doc/html/cil/examples cd doc; perl cilcode.pl cil.tex >cilpp.tex.tmp mv doc/cilpp.tex.tmp doc/cilpp.tex cd doc/html/cil; printf '\\def\\cilversion{1.7.3}\n' >cil.version.tex cd doc/html/cil; hevea -exec xxdate.exe ../../cilpp cd doc/html/cil; hevea -exec xxdate.exe ../../cilpp cd doc/html/cil; mv cilpp.html cil.html cd doc/html/cil; hacha -o ciltoc.html cil.html cp -f doc/index.html doc/html/cil/index.html cp -f doc/header.html doc/html/cil cd doc; printf '\\def\\cilversion{1.7.3}\n' >cil.version.tex cd doc; pdflatex cilpp.tex; pdflatex cilpp.tex This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./cilpp.tex LaTeX2e <2018-04-01> patch level 5 Babel <3.17> and hyphenation patterns for 3 language(s) loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty (./comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (./fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty) \@input{cil.version.aux} (./cil.version.tex) (./cilpp.aux) LaTeX Warning: No \author given. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [1{/usr/share/texlive/ texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] LaTeX Warning: Reference `sec-changes' on page 2 undefined on input line 211. Overfull \hbox (134.497pt too wide) in paragraph at lines 207--212 []\OT1/cmr/m/n/10 Download the CIL dis-tri-bu-tion (lat-est ver-sion is \OT1/cm tt/m/n/10 http://sourceforge.net/projects/cil/files/cil/cil-1.7.3.tar.gz\OT1/cm r/m/n/10 ). Underfull \hbox (badness 10000) in paragraph at lines 230--237 [2] [3] [4] [5] [6] [7] [8] [9] [10] Overfull \hbox (18.31773pt too wide) in paragraph at lines 846--852 \OT1/cmr/m/n/10 CIL can also be built as a li-brary that is called from your st and-alone ap-pli-ca-tion. Add \OT1/cmtt/m/n/10 cil/src\OT1/cmr/m/n/10 , \OT1/cm tt/m/n/10 cil/src/frontc\OT1/cmr/m/n/10 , [11] Overfull \hbox (0.28816pt too wide) in paragraph at lines 853--863 \OT1/cmr/m/n/10 tain-ing the out-put of the C pre-pro-ces-sor. The \OT1/cmtt/m/ n/10 Mergecil.merge: Cil.file list -> string -> Cil.file Overfull \hbox (13.26088pt too wide) in paragraph at lines 853--863 \OT1/cmtt/m/n/10 Cil.file -> unit \OT1/cmr/m/n/10 to print the file to a given out-put chan-nel. A good \OT1/cmtt/m/n/10 cilPrinter \OT1/cmr/m/n/10 to use is \OT1/cmtt/m/n/10 defaultCilPrinter\OT1/cmr/m/n/10 . [12] [13] [14] [15] [16] [17] [18] [19] [20] Overfull \hbox (38.69044pt too wide) in paragraph at lines 1465--1468 []\OT1/cmr/m/n/10 section, con-struc-tor, de-struc-tor, un-used, weak, no[]inst rument[]function, nore-turn, alias, no[]check[]memory[]usage, [21] [22] [23] [24] Overfull \hbox (42.61479pt too wide) in paragraph at lines 1800--1802 []\OT1/cmtt/m/n/10 --dopartial\OT1/cmr/m/n/10 . Do in-ter-pro-ce-du-ral par-tia l eval-u-a-tion and con-stant fold-ing. Im-ple-mented in \OT1/cmtt/m/n/10 src/e xt/partial.ml\OT1/cmr/m/n/10 . [25] [26] [27] [28] Overfull \hbox (0.68095pt too wide) in paragraph at lines 2051--2055 []\OT1/cmtt/m/n/10 Ptranal.conservative[]undefineds: bool ref\OT1/cmr/m/n/10 . Make the most pes-simistic as-sump-tions about glob- [29] [30] [31] Overfull \hbox (15.966pt too wide) in paragraph at lines 2301--2304 []\OT1/cmtt/m/n/10 AvailableExps.stmtStartData \OT1/cmr/m/n/10 -- Con-tains ava il-able ex-pres-sions data for each state-ment af-ter \OT1/cmtt/m/n/10 computeA Es [32] [33] [34] [35] [36] Overfull \hbox (24.20659pt too wide) in paragraph at lines 2673--2683 []\OT1/cmr/m/n/10 By de-fault, CIL fol-lows the cur-rent gcc be-hav-ior for ex- tern in-line. How-ever, if you set \OT1/cmtt/m/n/10 oldstyleExternInline [37] Overfull \hbox (11.99518pt too wide) in paragraph at lines 2782--2787 []\OT1/cmr/m/n/10 File-scope names (\OT1/cmtt/m/n/10 static \OT1/cmr/m/n/10 glo b-als, names of types de-fined with \OT1/cmtt/m/n/10 typedef\OT1/cmr/m/n/10 , a nd struc-ture/union/enumeration [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] (./cilpp.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information)< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb> Output written on cilpp.pdf (48 pages, 259091 bytes). Transcript written on cilpp.log. This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./cilpp.tex LaTeX2e <2018-04-01> patch level 5 Babel <3.17> and hyphenation patterns for 3 language(s) loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty (./comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (./fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty) \@input{cil.version.aux} (./cil.version.tex) (./cilpp.aux) LaTeX Warning: No \author given. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [1{/usr/share/texlive/ texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] LaTeX Warning: Reference `sec-changes' on page 2 undefined on input line 211. Overfull \hbox (134.497pt too wide) in paragraph at lines 207--212 []\OT1/cmr/m/n/10 Download the CIL dis-tri-bu-tion (lat-est ver-sion is \OT1/cm tt/m/n/10 http://sourceforge.net/projects/cil/files/cil/cil-1.7.3.tar.gz\OT1/cm r/m/n/10 ). Underfull \hbox (badness 10000) in paragraph at lines 230--237 [2] [3] [4] [5] [6] [7] [8] [9] [10] Overfull \hbox (18.31773pt too wide) in paragraph at lines 846--852 \OT1/cmr/m/n/10 CIL can also be built as a li-brary that is called from your st and-alone ap-pli-ca-tion. Add \OT1/cmtt/m/n/10 cil/src\OT1/cmr/m/n/10 , \OT1/cm tt/m/n/10 cil/src/frontc\OT1/cmr/m/n/10 , [11] Overfull \hbox (0.28816pt too wide) in paragraph at lines 853--863 \OT1/cmr/m/n/10 tain-ing the out-put of the C pre-pro-ces-sor. The \OT1/cmtt/m/ n/10 Mergecil.merge: Cil.file list -> string -> Cil.file Overfull \hbox (13.26088pt too wide) in paragraph at lines 853--863 \OT1/cmtt/m/n/10 Cil.file -> unit \OT1/cmr/m/n/10 to print the file to a given out-put chan-nel. A good \OT1/cmtt/m/n/10 cilPrinter \OT1/cmr/m/n/10 to use is \OT1/cmtt/m/n/10 defaultCilPrinter\OT1/cmr/m/n/10 . [12] [13] [14] [15] [16] [17] [18] [19] [20] Overfull \hbox (38.69044pt too wide) in paragraph at lines 1465--1468 []\OT1/cmr/m/n/10 section, con-struc-tor, de-struc-tor, un-used, weak, no[]inst rument[]function, nore-turn, alias, no[]check[]memory[]usage, [21] [22] [23] [24] Overfull \hbox (42.61479pt too wide) in paragraph at lines 1800--1802 []\OT1/cmtt/m/n/10 --dopartial\OT1/cmr/m/n/10 . Do in-ter-pro-ce-du-ral par-tia l eval-u-a-tion and con-stant fold-ing. Im-ple-mented in \OT1/cmtt/m/n/10 src/e xt/partial.ml\OT1/cmr/m/n/10 . [25] [26] [27] [28] Overfull \hbox (0.68095pt too wide) in paragraph at lines 2051--2055 []\OT1/cmtt/m/n/10 Ptranal.conservative[]undefineds: bool ref\OT1/cmr/m/n/10 . Make the most pes-simistic as-sump-tions about glob- [29] [30] [31] Overfull \hbox (15.966pt too wide) in paragraph at lines 2301--2304 []\OT1/cmtt/m/n/10 AvailableExps.stmtStartData \OT1/cmr/m/n/10 -- Con-tains ava il-able ex-pres-sions data for each state-ment af-ter \OT1/cmtt/m/n/10 computeA Es [32] [33] [34] [35] [36] Overfull \hbox (24.20659pt too wide) in paragraph at lines 2673--2683 []\OT1/cmr/m/n/10 By de-fault, CIL fol-lows the cur-rent gcc be-hav-ior for ex- tern in-line. How-ever, if you set \OT1/cmtt/m/n/10 oldstyleExternInline [37] Overfull \hbox (11.99518pt too wide) in paragraph at lines 2782--2787 []\OT1/cmr/m/n/10 File-scope names (\OT1/cmtt/m/n/10 static \OT1/cmr/m/n/10 glo b-als, names of types de-fined with \OT1/cmtt/m/n/10 typedef\OT1/cmr/m/n/10 , a nd struc-ture/union/enumeration [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] (./cilpp.aux) LaTeX Warning: There were undefined references. ) (see the transcript file for additional information)< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb> Output written on cilpp.pdf (48 pages, 259091 bytes). Transcript written on cilpp.log. cd doc; mv cilpp.pdf html/cil/CIL.pdf CIL_VERSION=1.7.3 ocamlbuild -build-dir _build -no-links -classic-display doc/cil.docdir/index.html /usr/bin/ocamldoc.opt -dump ocamlutil/alpha.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/alpha.mli + /usr/bin/ocamldoc.opt -dump ocamlutil/alpha.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/alpha.mli Warning: Element Cil.currentLoc not found /usr/bin/ocamldoc.opt -dump src/ext/cfg.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta src/ext/cfg.mli + /usr/bin/ocamldoc.opt -dump src/ext/cfg.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta src/ext/cfg.mli Warning: Element Cil.stmt not found Warning: Element Dataflow not found /usr/bin/ocamldoc.opt -dump src/cil.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta src/cil.mli + /usr/bin/ocamldoc.opt -dump src/cil.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta src/cil.mli Warning: Element Rmtmps.removeUnusedTemps not found Warning: Element Cfg.computeFileCFG not found Warning: Element Cfg.computeFileCFG not found Warning: Element CaseRange not found Warning: Element Case not found Warning: Element Errormsg.Error not found Warning: Element Pretty.doc not found BUILDSTDERR: Wa+ make OCAMLBEST= bin/cilly.byte + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 rning: Element Errormsg.error not found Warning: Element Pretty.doc not found Warning: Element Errormsg.bug not found Warning: Element Errormsg.unimp not found Warning: Element Errormsg.bug not found Warning: Element Errormsg.unimp not found Warning: Element Errormsg.error not found Warning: Element Errormsg.warn not found Warning: Element Errormsg.warnOpt not found Warning: Element Errormsg.warnFlag not found Warning: Element Errormsg.warn not found Warning: Element Errormsg.warn not found Warning: Element Errormsg.warnFlag not found /usr/bin/ocamldoc.opt -dump src/cillower.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta src/cillower.mli /usr/bin/ocamldoc.opt -dump ocamlutil/clist.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/clist.mli /usr/bin/ocamldoc.opt -dump src/ext/dataflow.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta src/ext/dataflow.mli + /usr/bin/ocamldoc.opt -dump src/ext/dataflow.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta src/ext/dataflow.mli Warning: Element Cfg.computeFileCFG not found Warning: Element Cil.currentLoc not found Warning: Element Cil.currentLoc not found Warning: Element Cil.currentLoc not found Warning: Element Cil.currentLoc not found /usr/bin/ocamldoc.opt -dump src/ext/dominators.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I ocamlutil -I src -I src/frontc -I src/ext/pta src/ext/dominators.mli /usr/bin/ocamldoc.opt -dump ocamlutil/errormsg.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/errormsg.mli /usr/bin/ocamldoc.opt -dump src/formatcil.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta src/formatcil.mli /usr/bin/ocamldoc.opt -dump ocamlutil/pretty.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/pretty.mli /usr/bin/ocamldoc.opt -dump ocamlutil/stats.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/stats.mli rm -rf doc/cil.docdir mkdir -p doc/cil.docdir /usr/bin/ocamldoc.opt -load ocamlutil/alpha.odoc -load src/ext/cfg.odoc -load src/cil.odoc -load src/cillower.odoc -load ocamlutil/clist.odoc -load src/ext/dataflow.odoc -load src/ext/dominators.odoc -load ocamlutil/errormsg.odoc -load src/formatcil.odoc -load ocamlutil/pretty.odoc -load ocamlutil/stats.odoc -html -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -d doc/cil.docdir + /usr/bin/ocamldoc.opt -load ocamlutil/alpha.odoc -load src/ext/cfg.odoc -load src/cil.odoc -load src/cillower.odoc -load ocamlutil/clist.odoc -load src/ext/dataflow.odoc -load src/ext/dominators.odoc -load ocamlutil/errormsg.odoc -load src/formatcil.odoc -load ocamlutil/pretty.odoc -load ocamlutil/stats.odoc -html -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -d doc/cil.docdir Warning: Element Rmtmps.removeUnusedTemps not found Warning: Element CaseRange not found Warning: Element Case not found rm -rf doc/html/cil/api mkdir -p doc/html/cil/ cp -r _build/doc/cil.docdir/ doc/html/cil/api ocamlbuild -build-dir _build -no-links -classic-display src/main.byte /usr/bin/ocamlc.opt unix.cma str.cma nums.cma -I src src/cil.cma src/main.cmo -o src/main.byte cp _build/src/main.byte bin/cilly.byte Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.mbl5la + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 + cd cil-1.7.3 + export DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 + DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 + export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml + OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml + mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml + make DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 install BUILDSTDERR: ocamlfind: [WARNING] No such file: /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/META BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/whitetrack.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/whitetrack.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/whitetrack.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/util.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/util.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/util.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/usedef.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/usedef.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/usedef.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/uref.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/uref.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/uref.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/trace.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/trace.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/trace.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/stats.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/stats.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/stats.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ssa.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ssa.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ssa.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/simplify.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/simplify.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/simplify.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/simplemem.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/simplemem.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/simplemem.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/sfi.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/sfi.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/sfi.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/setp.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/setp.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/setp.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/rmtmps.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/rmtmps.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/rmtmps.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/reachingdefs.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/reachingdefs.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/reachingdefs.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ptranal.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ptranal.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ptranal.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/pretty.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/pretty.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/pretty.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/predabst.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/predabst.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/predabst.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/patch.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/patch.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/patch.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/partial.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/partial.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/partial.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/oneret.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/oneret.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/oneret.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/olf.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/olf.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/olf.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/mergecil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/mergecil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/mergecil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/machdepenv.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/machdepenv.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/machdepenv.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/machdep.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/machdep.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/machdep.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/longarray.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/longarray.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/longarray.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/logwrites.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/logwrites.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/logwrites.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/logcalls.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/logcalls.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/logcalls.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmutils.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmutils.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmutils.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmssa.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmssa.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmssa.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmgen.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmgen.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvmgen.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvm.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvm.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/llvm.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/liveness.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/liveness.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/liveness.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/lexerhack.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/lexerhack.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/lexerhack.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/inthash.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/inthash.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/inthash.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/heapify.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/heapify.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/heapify.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/heap.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/heap.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/heap.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/growArray.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/growArray.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/growArray.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/frontc.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/frontc.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/frontc.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatparse.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatparse.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatparse.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatlex.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatlex.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatlex.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatcil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatcil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/formatcil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/feature_config.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/feature_config.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/feature_config.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/expcompare.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/expcompare.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/expcompare.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/escape.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/escape.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/escape.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/errormsg.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/errormsg.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/errormsg.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/epicenter.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/epicenter.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/epicenter.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dominators.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dominators.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dominators.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/deadcodeelim.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/deadcodeelim.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/deadcodeelim.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dataslicing.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dataslicing.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dataslicing.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dataflow.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dataflow.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/dataflow.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cprint.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cprint.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cprint.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cparser.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cparser.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cparser.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/clist.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/clist.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/clist.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/clexer.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/clexer.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/clexer.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilversion.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilversion.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilversion.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilutil.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilutil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilutil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ciltools.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ciltools.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ciltools.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ciloptions.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ciloptions.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/ciloptions.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cillower.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cillower.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cillower.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilint.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilint.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cilint.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/check.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/check.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/check.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cfg.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cfg.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cfg.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/canonicalize.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/canonicalize.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/canonicalize.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/callgraph.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/callgraph.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/callgraph.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabsvisit.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabsvisit.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabsvisit.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabshelper.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabshelper.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabshelper.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabs2cil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabs2cil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabs2cil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabs.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabs.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cabs.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/bitmap.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/bitmap.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/bitmap.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/availexpslv.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/availexpslv.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/availexpslv.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/availexps.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/availexps.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/availexps.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/alpha.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/alpha.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/alpha.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cil.a BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cil.cmxa BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/cil.cma BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/lib64/ocaml/cil/META + find /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 -name .packlist -type f -exec rm -f '{}' ';' + mkdir -p doc/ocaml-cil/html + cp -r doc/html/cil/api doc/ocaml-cil/html + cp -r doc/html/cil/examples doc/ocaml-cil/html + cp doc/html/cil/attributes.html doc/html/cil/cil.html doc/html/cil/cil001.html doc/html/cil/cil002.html doc/html/cil/cil003.html doc/html/cil/cil004.html doc/html/cil/cil007.html doc/html/cil/cil009.html doc/html/cil/cil010.html doc/html/cil/cil011.html doc/html/cil/cil012.html doc/html/cil/cil015.html doc/html/cil/cil016.html doc/html/cil/cil017.html doc/html/cil/cil018.html doc/html/cil/cil019.html doc/html/cil/cilly.html doc/html/cil/ciltoc.html doc/html/cil/ext.html doc/html/cil/header.html doc/html/cil/index.html doc/html/cil/merger.html doc/html/cil/patcher.html doc/ocaml-cil/html/ + cp doc/html/cil/cil.css doc/ocaml-cil/html/ + cp doc/html/cil/contents_motif.svg doc/html/cil/next_motif.svg doc/html/cil/previous_motif.svg doc/ocaml-cil/html/ + cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 1.7.3-49.fc31 --unique-debug-suffix -1.7.3-49.fc31.riscv64 --unique-debug-src-base ocaml-cil-1.7.3-49.fc31.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cil-1.7.3 BUILDSTDERR: cpio: _build/big_int.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/buffer.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/bytes.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/hashtbl.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/int64.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/lexing.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/list.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/parsing.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/printf.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/queue.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/set.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/stack.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/stdlib.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/str.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/string.ml: Cannot stat: No such file or directory BUILDSTDERR: 3302 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs ocamlbuild -build-dir _build -no-links -classic-display src/main.native make -C lib make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3/lib' make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3/lib' ocamlbuild -build-dir _build -no-links -classic-display src/cil.cma ocamlbuild -build-dir _build -no-links -classic-display 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 remove cil ocamlfind install -patch-version 1.7.3 cil META _build/src/cil.cma _build/src/cil.cmxa _build/src/cil.a `cat _build/src/cil.libfiles` make -C lib pure_install make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3/lib' Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/perl5/vendor_perl/App/Cilly.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/perl5/vendor_perl/App/Cilly/CilConfig.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/perl5/vendor_perl/App/Cilly/TempFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/perl5/vendor_perl/App/Cilly/OutputFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/perl5/vendor_perl/App/Cilly/KeptFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/bin/cilly make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3/lib' /usr/bin/install -c -m 0755 bin/cilly.* /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/bin explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/bin/cilly.native extracting debug info from /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/bin/cilly.native original debug info size: 2952kB, size after compression: 2956kB /usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.nCNYKa Processing files: ocaml-cil-1.7.3-49.fc31.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Jae2Yc + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: ocaml(Alpha) = 000aca51fc66d31d4b88373d2bd21a4a ocaml(Availexps) = c6379a14f0a795a836343b4e22c69325 ocaml(Availexpslv) = d74561c40d65ec1e751305493b6c0b7f ocaml(Bitmap) = 9c0d5357fe09b9586e799b47e1eb21d0 ocaml(Cabs) = 3f51d70f52f1a20fccda1e18e9f482c1 ocaml(Cabs2cil) = 8dd4038fb1fe5ff15dbfa5d61a9f02a5 ocaml(Cabshelper) = 4c64e391cc59d008c77db66b4431324a ocaml(Cabsvisit) = 4018ea3854377b7047f61b3b4f4f2ebc ocaml(Callgraph) = d0e3a198b45ab63ea9626d353c65ce02 ocaml(Canonicalize) = 863fcb9c8ba185133de3a16de5e5e6b2 ocaml(Cfg) = 8f86fb396e862dcfd1b91f3143793a7b ocaml(Check) = 956cab163077d01fc0c074007ce17e84 ocaml(Cil) = 637ebbfd9af4c85458f277b8a8d7f34a ocaml(Cilint) = 8c72fdc04cbb38380a14280eb83d8f43 ocaml(Cillower) = d0a6327fd943f10c069aa64d514ef180 ocaml(Ciloptions) = d92f0747ca40cf01bc7b60c2d7d749ac ocaml(Ciltools) = 4df16f4bf94b2f3f8309cfbf2739d529 ocaml(Cilutil) = ba2da1ac981f55170b3806d803d0becc ocaml(Cilversion) = 7d67ea35d8d337a9426ee6d4564cd1ba ocaml(Clexer) = b12695416f91dd38c8e159ce877a8bb6 ocaml(Clist) = a335f5c4a1072ddbce64db3ad3b37820 ocaml(Cparser) = 5dc8257bb1357dcd5bbb3e3fdb98e7cb ocaml(Cprint) = e3f9cbf943f15a14ef85d9ec37921aef ocaml(Dataflow) = 905c70c05a513a4df96b5c6cea9d579d ocaml(Dataslicing) = f0056e013115a34f9eb6091c56d5ff18 ocaml(Deadcodeelim) = 282d13bba32f3e24b767e949c27d0cc8 ocaml(Dominators) = 40476a5c2c3c2c4fa31d5999674baf0e ocaml(Epicenter) = 430557496a541e7e9fa4ae77045f1dda ocaml(Errormsg) = 2d390fbc113ff675cbafbc20b81a9d6f ocaml(Escape) = 36e3c37f1bf8fd1867b924d0ee24e8c1 ocaml(Expcompare) = 87704a4ac0e565df1ae8b8df32583a58 ocaml(Feature_config) = 501270053bea4c456c89c5c21d4d18b7 ocaml(Formatcil) = 375830c2da4537f3efe242928e4ae72a ocaml(Formatlex) = 7b1705a91a144ea68301bf4ef384ec0d ocaml(Formatparse) = 5ab6cb0c50976869663b5af2417715a3 ocaml(Frontc) = 52ff5cde880e7aba41b7262b2356ae1e ocaml(GrowArray) = cac8c7e8ded229bec2d323866afd87ff ocaml(Heap) = 4e55af3421e35098e440dffa435659d8 ocaml(Heapify) = 6ff2d92f61e03e612c622709031442f6 ocaml(Inthash) = fbcde9b4292dea4b0fcbc400c5e7d041 ocaml(Lexerhack) = 8cf86ba7b492a23a52e8be3a5612d56a ocaml(Liveness) = 6990360e5b7b5536aa632463a63eacd2 ocaml(Llvm) = d88de914c53edc7a06cf5c2850aefce6 ocaml(Llvmgen) = 676f03c5cdbfeb71d97fa6d1d731a5ac ocaml(Llvmssa) = d5ea7616906e2eb4854373a7178fdbdd ocaml(Llvmutils) = 4fcf169ec3d188da37a9329cfeb5180e ocaml(Logcalls) = 09f27c269183e9f36b0d52954b451943 ocaml(Logwrites) = 66ceb426d1ca030dad08b5f8e52b84c5 ocaml(Longarray) = 316a64e61758fcb8058ffd40b53cbbb8 ocaml(Machdep) = 2e0848981079b6daad5b9418820ae116 ocaml(Machdepenv) = 30f5ad328df8949ca8fe2af73f5f131e ocaml(Mergecil) = 2666af5bfffc308808f721206c54a0b7 ocaml(Olf) = 62c0dc684de90dd109a9883e8f6f87f4 ocaml(Oneret) = a4ca655faae84e6eb00f41f7a1c23338 ocaml(Partial) = 3f35d6737278d1530dc467d32f8d7ea7 ocaml(Patch) = 96bb0f3999537671dfadf51313bf2d67 ocaml(Predabst) = 9ccb11e1a3c52608c7ad73f2edce511a ocaml(Pretty) = 91c39cc44637d4209613f216c70440bc ocaml(Ptranal) = 7efb7290a0be3337a8fe887131ce6e9c ocaml(Reachingdefs) = 24474d47f6c72b95d5754bae6ec7ba99 ocaml(Rmtmps) = 0614fcf60720469553787edb7c22f74b ocaml(Setp) = b1b22e45d6f6956476367d3e0bb08226 ocaml(Sfi) = 8a9a2f575a6f2dd80c177623bfb8449e ocaml(Simplemem) = 69df99408e6e77e0dd860bf0e5a4143c ocaml(Simplify) = 92aa082ad9bcd8c60f20ce09f9560299 ocaml(Ssa) = f4558992812ca55763bd0db5775fe59b ocaml(Stats) = ec77aac0ccbd84a551d9ad9d27e38f23 ocaml(Trace) = 37c57f92e094dbcc8b3b9c785d441691 ocaml(Uref) = df128b8912746fbeff3ae4890ebcb3d6 ocaml(Usedef) = 397550b7f40cf9ac69f8b69d46d834b9 ocaml(Util) = dbdddaf64ebd93adeaf80557ba86f79d ocaml(Whitetrack) = 861222673586353e47761deb563f02b8 ocaml-cil = 1.7.3-49.fc31 ocaml-cil(riscv-64) = 1.7.3-49.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Big_int) = ef98a40185395a8404538aef56b9280c ocaml(Cabs) = 3f51d70f52f1a20fccda1e18e9f482c1 ocaml(Callgraph) = d0e3a198b45ab63ea9626d353c65ce02 ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94 ocaml(CamlinternalOO) = d36e44265a1abc6fe38b4d90a9e29d76 ocaml(Cfg) = 8f86fb396e862dcfd1b91f3143793a7b ocaml(Cil) = 637ebbfd9af4c85458f277b8a8d7f34a ocaml(Cilint) = 8c72fdc04cbb38380a14280eb83d8f43 ocaml(Ciltools) = 4df16f4bf94b2f3f8309cfbf2739d529 ocaml(Cilutil) = ba2da1ac981f55170b3806d803d0becc ocaml(Cparser) = 5dc8257bb1357dcd5bbb3e3fdb98e7cb ocaml(Dataflow) = 905c70c05a513a4df96b5c6cea9d579d ocaml(Errormsg) = 2d390fbc113ff675cbafbc20b81a9d6f ocaml(Escape) = 36e3c37f1bf8fd1867b924d0ee24e8c1 ocaml(Expcompare) = 87704a4ac0e565df1ae8b8df32583a58 ocaml(Formatparse) = 5ab6cb0c50976869663b5af2417715a3 ocaml(GrowArray) = cac8c7e8ded229bec2d323866afd87ff ocaml(Heap) = 4e55af3421e35098e440dffa435659d8 ocaml(Inthash) = fbcde9b4292dea4b0fcbc400c5e7d041 ocaml(Lexerhack) = 8cf86ba7b492a23a52e8be3a5612d56a ocaml(Liveness) = 6990360e5b7b5536aa632463a63eacd2 ocaml(Llvmgen) = 676f03c5cdbfeb71d97fa6d1d731a5ac ocaml(Llvmssa) = d5ea7616906e2eb4854373a7178fdbdd ocaml(Llvmutils) = 4fcf169ec3d188da37a9329cfeb5180e ocaml(Machdep) = 2e0848981079b6daad5b9418820ae116 ocaml(Nat) = 3b5a98c5ad682c732c4b9bccc063982a ocaml(Pretty) = 91c39cc44637d4209613f216c70440bc ocaml(Ptranal) = 7efb7290a0be3337a8fe887131ce6e9c ocaml(Reachingdefs) = 24474d47f6c72b95d5754bae6ec7ba99 ocaml(Rmtmps) = 0614fcf60720469553787edb7c22f74b ocaml(Stats) = ec77aac0ccbd84a551d9ad9d27e38f23 ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8 ocaml(Stdlib__arg) = 5946cffdb65af107c239a1dd5b0b22b7 ocaml(Stdlib__array) = 8412db19ee2dd682a114d363bf147818 ocaml(Stdlib__bigarray) = 56b39f6e9e6ff25dbcda6766a61888e0 ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6 ocaml(Stdlib__bytes) = 6b7074af78d2fce4ff8323a7d4e5ea0d ocaml(Stdlib__char) = 1f7aaa002e7504e2fcb18665bf17141d ocaml(Stdlib__complex) = 3e86422b431ff5c172197d51a2afdd52 ocaml(Stdlib__filename) = 1397f563ad5dcc9cd4b936dcc7f40e4c ocaml(Stdlib__gc) = 970a1de1bd727bfd42430520e49734ec ocaml(Stdlib__hashtbl) = 8a0f9b54a9d30b1aeff83f4bae88dfde ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e ocaml(Stdlib__int64) = 131e92719192bf020f99efe1afb0007c ocaml(Stdlib__lexing) = cf953e945260781e23991e3991f9d5b0 ocaml(Stdlib__list) = cdcc178ba2d8de0d62892e1a68bd0cfe ocaml(Stdlib__map) = 24753f5ffed358ea157f8ab4f298d015 ocaml(Stdlib__marshal) = 9bb0b41541bcb3287f866eecd2bb119e ocaml(Stdlib__nativeint) = 1299f64d64f7c776695f30edab0d4d78 ocaml(Stdlib__obj) = 9f725e74fc3209d50af4a35f74f18b53 ocaml(Stdlib__parsing) = f6f0e3b8fd70ad0e13eaee95a6d4003b ocaml(Stdlib__pervasives) = ffb0eefbca3d14a1a48cbcb24e4eb181 ocaml(Stdlib__printexc) = 0385c022af1089101c5830e076b89d37 ocaml(Stdlib__printf) = b72a44ed259e7034497028c0b31e9fa1 ocaml(Stdlib__queue) = 0e53521dd09e6bd3fb5bff6dbaa5b840 ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136 ocaml(Stdlib__set) = 579516330b5c99c94e9cea433159c1ef ocaml(Stdlib__stack) = 607d26d00f135f62976f5b252e211e79 ocaml(Stdlib__string) = 89dc8c0e4f92ce704437ae3fafad684f ocaml(Stdlib__sys) = 13aa7b95294684724e198467fb7c3467 ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526 ocaml(Str) = 8f606ab43354811d8e27aa499347d0bb ocaml(Trace) = 37c57f92e094dbcc8b3b9c785d441691 ocaml(Unix) = 323356c8c72d73e9e59421c988efd3aa ocaml(Usedef) = 397550b7f40cf9ac69f8b69d46d834b9 ocaml(Util) = dbdddaf64ebd93adeaf80557ba86f79d ocaml(Whitetrack) = 861222673586353e47761deb563f02b8 ocaml(runtime) = 4.08.0 Processing files: ocaml-cil-devel-1.7.3-49.fc31.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.BwD2Ac + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-devel + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-devel + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-devel + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-devel + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: ocaml-cil-devel = 1.7.3-49.fc31 ocaml-cil-devel(riscv-64) = 1.7.3-49.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-cil-doc-1.7.3-49.fc31.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.4joIcc + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-doc + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-doc + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-doc + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-doc + cp -pr doc/ocaml-cil/cil-manual.pdf doc/ocaml-cil/html /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-doc + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: ocaml-cil-doc = 1.7.3-49.fc31 ocaml-cil-doc(riscv-64) = 1.7.3-49.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-cil-cilly-1.7.3-49.fc31.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.mLeMUa + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-cilly + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-cilly + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-cilly + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64/usr/share/doc/ocaml-cil-cilly + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: ocaml-cil-cilly = 1.7.3-49.fc31 ocaml-cil-cilly(riscv-64) = 1.7.3-49.fc31 perl(App::Cilly) = 1.7.3 perl(App::Cilly::CilConfig) perl(App::Cilly::KeptFile) perl(App::Cilly::OutputFile) perl(App::Cilly::TempFile) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/ocamlrun /usr/bin/perl ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.27)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) perl(App::Cilly) perl(App::Cilly::CilConfig) perl(App::Cilly::KeptFile) perl(App::Cilly::OutputFile) perl(App::Cilly::TempFile) perl(Carp) perl(Data::Dumper) perl(File::Basename) perl(File::Copy) perl(File::Spec) perl(File::Temp) perl(FindBin) perl(Text::ParseWords) perl(lib) perl(strict) rtld(GNU_HASH) Processing files: ocaml-cil-debugsource-1.7.3-49.fc31.riscv64 Provides: ocaml-cil-debugsource = 1.7.3-49.fc31 ocaml-cil-debugsource(riscv-64) = 1.7.3-49.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-cil-cilly-debuginfo-1.7.3-49.fc31.riscv64 Provides: debuginfo(build-id) = d2d5279cea7678e8d9768850ffa600e1d01fb83c ocaml-cil-cilly-debuginfo = 1.7.3-49.fc31 ocaml-cil-cilly-debuginfo(riscv-64) = 1.7.3-49.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: ocaml-cil-debugsource(riscv-64) = 1.7.3-49.fc31 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 Wrote: /builddir/build/RPMS/ocaml-cil-doc-1.7.3-49.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-cil-debugsource-1.7.3-49.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-cil-cilly-1.7.3-49.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-cil-cilly-debuginfo-1.7.3-49.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-cil-1.7.3-49.fc31.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-cil-devel-1.7.3-49.fc31.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.AXNURb + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-49.fc31.riscv64 + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Child return code was: 0