Mock Version: 1.4.21 Mock Version: 1.4.21 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'], chrootPath='/var/lib/mock/f33-build-597368-66909/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=432000uid=987gid=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 sh: /usr/bin/perl: No such file or directory Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1619308800 Wrote: /builddir/build/SRPMS/ocaml-cil-1.7.3-65.fc33.1.rvre0.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'], chrootPath='/var/lib/mock/f33-build-597368-66909/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=432000uid=987gid=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=1619308800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Hs0wdr + 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 . Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch): + echo 'Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file test/small1/arrsize.c patching file test/testcil.pl Patch #1 (0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch): + echo 'Patch #1 (0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file test/testcil.pl + echo 'Patch #2 (cil-1.7.3-enable-ocamlopt-g.patch):' Patch #2 (cil-1.7.3-enable-ocamlopt-g.patch): + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file _tags + echo 'Patch #3 (cil-1.7.3-add-package-cilconfig.patch):' Patch #3 (cil-1.7.3-add-package-cilconfig.patch): + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file lib/App/Cilly/CilConfig.pm.in + echo 'Patch #4 (ocaml-4.02.0.patch):' Patch #4 (ocaml-4.02.0.patch): + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file ocamlutil/pretty.ml + echo 'Patch #6 (cil-1.7.3-gcc-7.patch):' Patch #6 (cil-1.7.3-gcc-7.patch): + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file lib/App/Cilly.pm.in Patch #7 (cil-1.7.3-Fix-unescaped-left-brace-in-regex.patch): + echo 'Patch #7 (cil-1.7.3-Fix-unescaped-left-brace-in-regex.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file doc/cilcode.pl Patch #8 (cil-1.7.3-safe-string.patch): + echo 'Patch #8 (cil-1.7.3-safe-string.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file ocamlutil/errormsg.ml patching file ocamlutil/pretty.ml patching file src/cil.ml patching file src/formatlex.mll + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.PpLh9r + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + export PERL_MM_OPT=INSTALLDIRS=vendor + PERL_MM_OPT=INSTALLDIRS=vendor + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -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 + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']' ++ find . -type f -name configure -print + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure + diff -u ./configure.backup ./configure --- ./configure.backup 2013-07-24 11:07:11.000000000 -0400 +++ ./configure 2021-04-25 03:52:31.037108736 -0400 @@ -1811,7 +1811,7 @@ #ifdef __cplusplus extern "C" #endif -char $2 (); +__attribute__ ((used)) char $2 (); /* The GNU C library defines this for functions which it implements to always fail with ENOSYS. Some functions are actually named something starting with __ and the normal name is an alias. */ + /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) ++ basename ./config.sub + '[' -f /usr/lib/rpm/redhat/config.sub ']' + /usr/bin/rm -f ./config.sub ++ basename ./config.sub + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config.sub '/usr/lib/rpm/redhat/config.sub' -> './config.sub' + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) ++ basename ./config.guess + '[' -f /usr/lib/rpm/redhat/config.guess ']' + /usr/bin/rm -f ./config.guess ++ basename ./config.guess + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config.guess '/usr/lib/rpm/redhat/config.guess' -> './config.guess' + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' ++ find . -name ltmain.sh + ./configure --build=riscv64-redhat-linux-gnu --host=riscv64-redhat-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 configure: WARNING: unrecognized options: --disable-dependency-tracking checking for riscv64-redhat-linux-gnu-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-redhat-linux-gnu checking host system type... riscv64-redhat-linux-gnu checking target system type... riscv64-redhat-linux-gnu checking for msvc cl.exe (optional)... not found checking for riscv64-redhat-linux-gnu-ocamlc... no checking for ocamlc... ocamlc OCaml version is 4.11.1 OCaml library path is /usr/lib64/ocaml checking for riscv64-redhat-linux-gnu-ocamlopt... no checking for ocamlopt... ocamlopt checking for riscv64-redhat-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking for riscv64-redhat-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking for riscv64-redhat-linux-gnu-ocaml... no checking for ocaml... ocaml checking for riscv64-redhat-linux-gnu-ocamldep... no checking for ocamldep... ocamldep checking for riscv64-redhat-linux-gnu-ocamlmktop... no checking for ocamlmktop... ocamlmktop checking for riscv64-redhat-linux-gnu-ocamlmklib... no checking for ocamlmklib... ocamlmklib checking for riscv64-redhat-linux-gnu-ocamldoc... no checking for ocamldoc... ocamldoc checking for riscv64-redhat-linux-gnu-ocamlbuild... no checking for ocamlbuild... ocamlbuild checking for riscv64-redhat-linux-gnu-ocamllex... no checking for ocamllex... ocamllex checking for riscv64-redhat-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... ocamllex.opt checking for riscv64-redhat-linux-gnu-ocamlyacc... no checking for ocamlyacc... ocamlyacc checking for riscv64-redhat-linux-gnu-ocamlfind... no checking for ocamlfind... ocamlfind checking for riscv64-redhat-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 config.status: creating doc/header.html config.status: creating src/machdep-ml.c config.status: creating config.h configure: WARNING: unrecognized options: --disable-dependency-tracking 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 + unset MAKEFLAGS + make all doc 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 -g -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 -g -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 -g -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 -g -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 src -I ocamlutil -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 -g -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 -g -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 -g -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 -g -I src/ext -I src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmo src/ext/expcompare.ml /usr/bin/ocamlc.opt -c -g -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 src -I ocamlutil -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 -g -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 src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs.cmo src/frontc/cabs.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -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 -g -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 -g -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 -g -I src/frontc -I src -I ocamlutil -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 src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmo src/frontc/cabshelper.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -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 src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cprint.cmo src/frontc/cprint.ml /usr/bin/ocamlc.opt -c -g -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 -g -I src/ext -I src -I ocamlutil -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 -g -I src/ext -I src -I ocamlutil -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 -g -I src/ext -I src -I ocamlutil -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 -g -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 src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o cilversion.cmo cilversion.ml /usr/bin/ocamlc.opt -c -g -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 -g -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 -g -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 -g -I src/frontc -I src -I ocamlutil -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 -g -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 -g -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 -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cparser.cmi src/frontc/cparser.mli /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -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 src -I ocamlutil -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 -g -I src/ext -I src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/liveness.cmo src/ext/liveness.ml File "src/ext/liveness.ml", line 197, characters 21-25: 197 | with Failure "hd" -> ^^^^ Warning 52: 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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmo src/ext/reachingdefs.ml File "src/ext/reachingdefs.ml", line 44, characters 21-39: 44 | Some i1, Some i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/reachingdefs.ml", line 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 -g -I src/ext -I src -I ocamlutil -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 -g -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 -g -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 -g -I src/frontc -I src -I ocamlutil -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 -g -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 -g -I src/ext -I src -I ocamlutil -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 -g -I src/ext/pta -I src -I ocamlutil -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 -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/setp.cmi src/ext/pta/setp.mli /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -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 -g -I src/ext -I src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heap.cmo src/ext/heap.ml File "src/ext/heap.ml", line 12, characters 13-25: 12 | elements = Array.create (size+1) (max_int,None) ; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamldep.opt -modules src/ext/pta/ptranal.mli > src/ext/pta/ptranal.mli.depends /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -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 -g -I src/ext -I src -I ocamlutil -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 -g -I src/ext -I src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexps.cmo src/ext/availexps.ml File "src/ext/availexps.ml", line 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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmo src/ext/availexpslv.ml File "src/ext/availexpslv.ml", line 362, characters 15-19: 362 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52: 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 src -I ocamlutil -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 src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmo src/frontc/cabs2cil.ml File "src/frontc/cabs2cil.ml", line 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmo src/frontc/clexer.ml File "src/frontc/clexer.mll", line 615, characters 30-47: Warning 52: 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmo src/ext/dominators.ml File "src/ext/dominators.ml", line 53, characters 44-62: 53 | let compare v1 v2 = Pervasives.compare v1.sid v2.sid ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/dominators.ml", line 285, characters 15-19: 285 | with Failure "hd" -> idomData, (None, treeData) ^^^^ Warning 52: 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/predabst.cmo src/ext/predabst.ml File "src/ext/predabst.ml", line 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 src -I ocamlutil -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 src -I ocamlutil -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", lines 626-629, characters 8-39: 626 | ........If(_,_,({bstmts=[{skind=Goto(gref,_);labels=[]}]; 627 | battrs=[]} as b),_) 628 | | If(_,({bstmts=[{skind=Goto(gref,_);labels=[]}]; 629 | battrs=[]} as b),_,_) Warning 57: Ambiguous 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmo src/ext/ssa.ml File "src/ext/ssa.ml", line 86, characters 17-29: 86 | let ndfs = Array.create nnodes 0 in (* mapping from depth-first ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmx src/frontc/cabs2cil.ml File "src/frontc/cabs2cil.ml", line 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmx src/frontc/clexer.ml File "src/frontc/clexer.mll", line 615, characters 30-47: Warning 52: 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 src -I ocamlutil -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 src -I ocamlutil -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", lines 626-629, characters 8-39: 626 | ........If(_,_,({bstmts=[{skind=Goto(gref,_);labels=[]}]; 627 | battrs=[]} as b),_) 628 | | If(_,({bstmts=[{skind=Goto(gref,_);labels=[]}]; 629 | battrs=[]} as b),_,_) Warning 57: Ambiguous 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/liveness.cmx src/ext/liveness.ml File "src/ext/liveness.ml", line 197, characters 21-25: 197 | with Failure "hd" -> ^^^^ Warning 52: 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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmx src/ext/reachingdefs.ml File "src/ext/reachingdefs.ml", line 44, characters 21-39: 44 | Some i1, Some i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/reachingdefs.ml", line 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heap.cmx src/ext/heap.ml File "src/ext/heap.ml", line 12, characters 13-25: 12 | elements = Array.create (size+1) (max_int,None) ; ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexps.cmx src/ext/availexps.ml File "src/ext/availexps.ml", line 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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmx src/ext/availexpslv.ml File "src/ext/availexpslv.ml", line 362, characters 15-19: 362 | with Failure "hd" -> if !debug then ignore(E.log "fn w/ no stmts?\n") ^^^^ Warning 52: 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmx src/ext/dominators.ml File "src/ext/dominators.ml", line 53, characters 44-62: 53 | let compare v1 v2 = Pervasives.compare v1.sid v2.sid ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/ext/dominators.ml", line 285, characters 15-19: 285 | with Failure "hd" -> idomData, (None, treeData) ^^^^ Warning 52: 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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmx src/ext/epicenter.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/predabst.cmx src/ext/predabst.ml File "src/ext/predabst.ml", line 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmx src/ext/ssa.ml File "src/ext/ssa.ml", line 86, characters 17-29: 86 | let ndfs = Array.create nnodes 0 in (* mapping from depth-first ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i cilversion.ml > cilversion.inferred.mli /usr/bin/ocamlc.opt -I src/frontc -I src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/expcompare.ml > src/ext/expcompare.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/llvmutils.ml > src/ext/llvmutils.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/logwrites.ml > src/ext/logwrites.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 -g -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 gcc: error: unrecognized command-line option '-m32' 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; \ mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ fi gcc: error: unrecognized command-line option '-m64' 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/TempFile.pm blib/lib/App/Cilly/TempFile.pm cp App/Cilly/CilConfig.pm blib/lib/App/Cilly/CilConfig.pm cp App/Cilly.pm blib/lib/App/Cilly.pm cp App/Cilly/OutputFile.pm blib/lib/App/Cilly/OutputFile.pm cp App/Cilly/KeptFile.pm blib/lib/App/Cilly/KeptFile.pm cp ../bin/cilly blib/script/cilly "/usr/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 ***Found CIL code at line 408 Preprocessing cilcode.tmp/ex1.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex1.c -o cilcode.tmp/ex1.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex1.cil.c --verbose cilcode.tmp/ex1.i Frontc is parsing cilcode.tmp/ex1.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex1.cil.c Timings: TOTAL 0.055 s parse 0.012 s convert to CIL 0.035 s printCIL 0.009 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex1.cil.c gcc -D_GNUCC -E cilcode.tmp/ex1.cil.c -o cilcode.tmp/ex1.cil.i Compiling cilcode.tmp/ex1.cil.i into cilcode.tmp/ex1.o gcc -D_GNUCC -c -o cilcode.tmp/ex1.o cilcode.tmp/ex1.cil.i ***Found CIL code at line 418 Preprocessing cilcode.tmp/ex2.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex2.c -o cilcode.tmp/ex2.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex2.cil.c --verbose cilcode.tmp/ex2.i Frontc is parsing cilcode.tmp/ex2.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex2.cil.c Timings: TOTAL 0.024 s parse 0.002 s convert to CIL 0.018 s printCIL 0.004 s Timing used Memory statistics: total=2.37MB, max=1.02MB, minor=2.34MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex2.cil.c gcc -D_GNUCC -E cilcode.tmp/ex2.cil.c -o cilcode.tmp/ex2.cil.i Compiling cilcode.tmp/ex2.cil.i into cilcode.tmp/ex2.o gcc -D_GNUCC -c -o cilcode.tmp/ex2.o cilcode.tmp/ex2.cil.i ***Found CIL code at line 425 Preprocessing cilcode.tmp/ex3.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex3.c -o cilcode.tmp/ex3.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex3.cil.c --verbose cilcode.tmp/ex3.i Frontc is parsing cilcode.tmp/ex3.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex3.cil.c Timings: TOTAL 0.028 s parse 0.006 s convert to CIL 0.018 s printCIL 0.004 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex3.cil.c gcc -D_GNUCC -E cilcode.tmp/ex3.cil.c -o cilcode.tmp/ex3.cil.i Compiling cilcode.tmp/ex3.cil.i into cilcode.tmp/ex3.o gcc -D_GNUCC -c -o cilcode.tmp/ex3.o cilcode.tmp/ex3.cil.i ***Found CIL code at line 442 Preprocessing cilcode.tmp/ex4.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex4.c -o cilcode.tmp/ex4.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex4.cil.c --verbose cilcode.tmp/ex4.i Frontc is parsing cilcode.tmp/ex4.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex4.cil.c Timings: TOTAL 0.021 s parse 0.000 s convert to CIL 0.019 s printCIL 0.003 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex4.cil.c gcc -D_GNUCC -E cilcode.tmp/ex4.cil.c -o cilcode.tmp/ex4.cil.i Compiling cilcode.tmp/ex4.cil.i into cilcode.tmp/ex4.o gcc -D_GNUCC -c -o cilcode.tmp/ex4.o cilcode.tmp/ex4.cil.i ***Found CIL code at line 459 Preprocessing cilcode.tmp/ex5.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex5.c -o cilcode.tmp/ex5.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex5.cil.c --verbose cilcode.tmp/ex5.i Frontc is parsing cilcode.tmp/ex5.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex5.cil.c Timings: TOTAL 0.030 s parse 0.007 s convert to CIL 0.013 s printCIL 0.009 s Timing used Memory statistics: total=2.44MB, max=1.02MB, minor=2.41MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex5.cil.c gcc -D_GNUCC -E cilcode.tmp/ex5.cil.c -o cilcode.tmp/ex5.cil.i Compiling cilcode.tmp/ex5.cil.i into cilcode.tmp/ex5.o gcc -D_GNUCC -c -o cilcode.tmp/ex5.o cilcode.tmp/ex5.cil.i ***Found CIL code at line 471 Preprocessing cilcode.tmp/ex6.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex6.c -o cilcode.tmp/ex6.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex6.cil.c --verbose cilcode.tmp/ex6.i Frontc is parsing cilcode.tmp/ex6.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex6.cil.c Timings: TOTAL 0.029 s parse 0.006 s convert to CIL 0.018 s printCIL 0.004 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.37MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex6.cil.c gcc -D_GNUCC -E cilcode.tmp/ex6.cil.c -o cilcode.tmp/ex6.cil.i Compiling cilcode.tmp/ex6.cil.i into cilcode.tmp/ex6.o gcc -D_GNUCC -c -o cilcode.tmp/ex6.o cilcode.tmp/ex6.cil.i ***Found CIL code at line 477 Preprocessing cilcode.tmp/ex7.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex7.c -o cilcode.tmp/ex7.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex7.cil.c --verbose cilcode.tmp/ex7.i Frontc is parsing cilcode.tmp/ex7.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex7.cil.c Timings: TOTAL 0.025 s parse 0.000 s convert to CIL 0.019 s printCIL 0.006 s Timing used Memory statistics: total=2.42MB, max=1.02MB, minor=2.39MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex7.cil.c gcc -D_GNUCC -E cilcode.tmp/ex7.cil.c -o cilcode.tmp/ex7.cil.i Compiling cilcode.tmp/ex7.cil.i into cilcode.tmp/ex7.o gcc -D_GNUCC -c -o cilcode.tmp/ex7.o cilcode.tmp/ex7.cil.i ***Found CIL code at line 492 Preprocessing cilcode.tmp/ex8.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex8.c -o cilcode.tmp/ex8.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex8.cil.c --verbose cilcode.tmp/ex8.i Frontc is parsing cilcode.tmp/ex8.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex8.cil.c Timings: TOTAL 0.023 s parse 0.007 s convert to CIL 0.011 s printCIL 0.005 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex8.cil.c gcc -D_GNUCC -E cilcode.tmp/ex8.cil.c -o cilcode.tmp/ex8.cil.i Compiling cilcode.tmp/ex8.cil.i into cilcode.tmp/ex8.o gcc -D_GNUCC -c -o cilcode.tmp/ex8.o cilcode.tmp/ex8.cil.i ***Found CIL code at line 501 Preprocessing cilcode.tmp/ex9.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex9.c -o cilcode.tmp/ex9.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex9.cil.c --verbose cilcode.tmp/ex9.i Frontc is parsing cilcode.tmp/ex9.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex9.cil.c Timings: TOTAL 0.030 s parse 0.004 s convert to CIL 0.021 s printCIL 0.005 s Timing used Memory statistics: total=2.44MB, max=1.02MB, minor=2.41MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex9.cil.c gcc -D_GNUCC -E cilcode.tmp/ex9.cil.c -o cilcode.tmp/ex9.cil.i Compiling cilcode.tmp/ex9.cil.i into cilcode.tmp/ex9.o gcc -D_GNUCC -c -o cilcode.tmp/ex9.o cilcode.tmp/ex9.cil.i ***Found CIL code at line 513 Preprocessing cilcode.tmp/ex10.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex10.c -o cilcode.tmp/ex10.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex10.cil.c --verbose cilcode.tmp/ex10.i Frontc is parsing cilcode.tmp/ex10.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex10.cil.c Timings: TOTAL 0.021 s parse 0.003 s convert to CIL 0.014 s printCIL 0.005 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex10.cil.c gcc -D_GNUCC -E cilcode.tmp/ex10.cil.c -o cilcode.tmp/ex10.cil.i Compiling cilcode.tmp/ex10.cil.i into cilcode.tmp/ex10.o gcc -D_GNUCC -c -o cilcode.tmp/ex10.o cilcode.tmp/ex10.cil.i ***Found CIL code at line 519 Preprocessing cilcode.tmp/ex11.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex11.c -o cilcode.tmp/ex11.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex11.cil.c --verbose cilcode.tmp/ex11.i Frontc is parsing cilcode.tmp/ex11.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex11.cil.c Timings: TOTAL 0.019 s parse 0.003 s convert to CIL 0.014 s printCIL 0.002 s Timing used Memory statistics: total=2.37MB, max=1.02MB, minor=2.34MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex11.cil.c gcc -D_GNUCC -E cilcode.tmp/ex11.cil.c -o cilcode.tmp/ex11.cil.i Compiling cilcode.tmp/ex11.cil.i into cilcode.tmp/ex11.o gcc -D_GNUCC -c -o cilcode.tmp/ex11.o cilcode.tmp/ex11.cil.i ***Found CIL code at line 528 Preprocessing cilcode.tmp/ex12.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex12.c -o cilcode.tmp/ex12.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex12.cil.c --verbose cilcode.tmp/ex12.i Frontc is parsing cilcode.tmp/ex12.i Converting CABS->CIL cilcode.tmp/ex12.c:2: Warning: Body of function main falls-through. Adding a return statement Removing unused temporaries printing file cilcode.tmp/ex12.cil.c Timings: TOTAL 0.054 s parse 0.009 s convert to CIL 0.036 s printCIL 0.009 s Timing used Memory statistics: total=2.46MB, max=1.02MB, minor=2.43MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex12.cil.c gcc -D_GNUCC -E cilcode.tmp/ex12.cil.c -o cilcode.tmp/ex12.cil.i Compiling cilcode.tmp/ex12.cil.i into cilcode.tmp/ex12.o gcc -D_GNUCC -c -o cilcode.tmp/ex12.o cilcode.tmp/ex12.cil.i ***Found CIL code at line 537 Preprocessing cilcode.tmp/ex13.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex13.c -o cilcode.tmp/ex13.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex13.cil.c --verbose cilcode.tmp/ex13.i Frontc is parsing cilcode.tmp/ex13.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex13.cil.c Timings: TOTAL 0.037 s parse 0.007 s convert to CIL 0.025 s printCIL 0.005 s Timing used Memory statistics: total=2.42MB, max=1.02MB, minor=2.39MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex13.cil.c gcc -D_GNUCC -E cilcode.tmp/ex13.cil.c -o cilcode.tmp/ex13.cil.i Compiling cilcode.tmp/ex13.cil.i into cilcode.tmp/ex13.o gcc -D_GNUCC -c -o cilcode.tmp/ex13.o cilcode.tmp/ex13.cil.i ***Found CIL code at line 550 Preprocessing cilcode.tmp/ex14.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex14.c -o cilcode.tmp/ex14.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex14.cil.c --verbose cilcode.tmp/ex14.i Frontc is parsing cilcode.tmp/ex14.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex14.cil.c Timings: TOTAL 0.034 s parse 0.010 s convert to CIL 0.024 s printCIL 0.000 s Timing used Memory statistics: total=2.43MB, max=1.02MB, minor=2.40MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex14.cil.c gcc -D_GNUCC -E cilcode.tmp/ex14.cil.c -o cilcode.tmp/ex14.cil.i Compiling cilcode.tmp/ex14.cil.i into cilcode.tmp/ex14.o gcc -D_GNUCC -c -o cilcode.tmp/ex14.o cilcode.tmp/ex14.cil.i ***Found CIL code at line 567 Preprocessing cilcode.tmp/ex15.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex15.c -o cilcode.tmp/ex15.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex15.cil.c --verbose cilcode.tmp/ex15.i Frontc is parsing cilcode.tmp/ex15.i Converting CABS->CIL cilcode.tmp/ex15.c:2: Warning: Body of function foo falls-through. Adding a return statement Removing unused temporaries printing file cilcode.tmp/ex15.cil.c Timings: TOTAL 0.032 s parse 0.008 s convert to CIL 0.024 s printCIL 0.000 s Timing used Memory statistics: total=2.38MB, max=1.02MB, minor=2.35MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex15.cil.c gcc -D_GNUCC -E cilcode.tmp/ex15.cil.c -o cilcode.tmp/ex15.cil.i Compiling cilcode.tmp/ex15.cil.i into cilcode.tmp/ex15.o gcc -D_GNUCC -c -o cilcode.tmp/ex15.o cilcode.tmp/ex15.cil.i ***Found CIL code at line 576 Preprocessing cilcode.tmp/ex16.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex16.c -o cilcode.tmp/ex16.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex16.cil.c --verbose cilcode.tmp/ex16.i Frontc is parsing cilcode.tmp/ex16.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex16.cil.c Timings: TOTAL 0.030 s parse 0.000 s convert to CIL 0.027 s printCIL 0.003 s Timing used Memory statistics: total=2.43MB, max=1.02MB, minor=2.39MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex16.cil.c gcc -D_GNUCC -E cilcode.tmp/ex16.cil.c -o cilcode.tmp/ex16.cil.i Compiling cilcode.tmp/ex16.cil.i into cilcode.tmp/ex16.o gcc -D_GNUCC -c -o cilcode.tmp/ex16.o cilcode.tmp/ex16.cil.i ***Found CIL code at line 587 Preprocessing cilcode.tmp/ex17.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex17.c -o cilcode.tmp/ex17.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex17.cil.c --verbose cilcode.tmp/ex17.i Frontc is parsing cilcode.tmp/ex17.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex17.cil.c Timings: TOTAL 0.047 s parse 0.012 s convert to CIL 0.031 s printCIL 0.005 s Timing used Memory statistics: total=2.55MB, max=1.02MB, minor=2.52MB, major=0.39MB, promoted=0.36MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex17.cil.c gcc -D_GNUCC -E cilcode.tmp/ex17.cil.c -o cilcode.tmp/ex17.cil.i Compiling cilcode.tmp/ex17.cil.i into cilcode.tmp/ex17.o gcc -D_GNUCC -c -o cilcode.tmp/ex17.o cilcode.tmp/ex17.cil.i ***Found CIL code at line 600 Preprocessing cilcode.tmp/ex18.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex18.c -o cilcode.tmp/ex18.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex18.cil.c --verbose cilcode.tmp/ex18.i Frontc is parsing cilcode.tmp/ex18.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex18.cil.c Timings: TOTAL 0.040 s parse 0.007 s convert to CIL 0.026 s printCIL 0.007 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex18.cil.c gcc -D_GNUCC -E cilcode.tmp/ex18.cil.c -o cilcode.tmp/ex18.cil.i Compiling cilcode.tmp/ex18.cil.i into cilcode.tmp/ex18.o gcc -D_GNUCC -c -o cilcode.tmp/ex18.o cilcode.tmp/ex18.cil.i ***Found CIL code at line 609 Preprocessing cilcode.tmp/ex19.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex19.c -o cilcode.tmp/ex19.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex19.cil.c --verbose cilcode.tmp/ex19.i Frontc is parsing cilcode.tmp/ex19.i Converting CABS->CIL cilcode.tmp/ex19.c:7: Warning: Body of function main falls-through. Adding a return statement Removing unused temporaries printing file cilcode.tmp/ex19.cil.c Timings: TOTAL 0.042 s parse 0.009 s convert to CIL 0.028 s printCIL 0.005 s Timing used Memory statistics: total=2.50MB, max=1.02MB, minor=2.47MB, major=0.39MB, promoted=0.36MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex19.cil.c gcc -D_GNUCC -E cilcode.tmp/ex19.cil.c -o cilcode.tmp/ex19.cil.i Compiling cilcode.tmp/ex19.cil.i into cilcode.tmp/ex19.o gcc -D_GNUCC -c -o cilcode.tmp/ex19.o cilcode.tmp/ex19.cil.i ***Found CIL code at line 625 Preprocessing cilcode.tmp/ex20.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex20.c -o cilcode.tmp/ex20.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex20.cil.c --verbose cilcode.tmp/ex20.i Frontc is parsing cilcode.tmp/ex20.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex20.cil.c Timings: TOTAL 0.052 s parse 0.008 s convert to CIL 0.041 s printCIL 0.003 s Timing used Memory statistics: total=2.44MB, max=1.02MB, minor=2.41MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex20.cil.c gcc -D_GNUCC -E cilcode.tmp/ex20.cil.c -o cilcode.tmp/ex20.cil.i Compiling cilcode.tmp/ex20.cil.i into cilcode.tmp/ex20.o gcc -D_GNUCC -c -o cilcode.tmp/ex20.o cilcode.tmp/ex20.cil.i ***Found CIL code at line 637 Preprocessing cilcode.tmp/ex21.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex21.c -o cilcode.tmp/ex21.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex21.cil.c --verbose cilcode.tmp/ex21.i Frontc is parsing cilcode.tmp/ex21.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex21.cil.c Timings: TOTAL 0.034 s parse 0.009 s convert to CIL 0.016 s printCIL 0.010 s Timing used Memory statistics: total=2.43MB, max=1.02MB, minor=2.40MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex21.cil.c gcc -D_GNUCC -E cilcode.tmp/ex21.cil.c -o cilcode.tmp/ex21.cil.i Compiling cilcode.tmp/ex21.cil.i into cilcode.tmp/ex21.o gcc -D_GNUCC -c -o cilcode.tmp/ex21.o cilcode.tmp/ex21.cil.i ***Found CIL code at line 658 Preprocessing cilcode.tmp/ex22.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex22.c -o cilcode.tmp/ex22.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex22.cil.c --verbose cilcode.tmp/ex22.i Frontc is parsing cilcode.tmp/ex22.i Converting CABS->CIL cilcode.tmp/ex22.c:9: Warning: Body of function main falls-through. Adding a return statement Removing unused temporaries printing file cilcode.tmp/ex22.cil.c Timings: TOTAL 0.145 s parse 0.075 s convert to CIL 0.061 s printCIL 0.009 s Timing used Memory statistics: total=6.09MB, max=1.02MB, minor=6.05MB, major=0.63MB, promoted=0.60MB minor collections=2 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex22.cil.c gcc -D_GNUCC -E cilcode.tmp/ex22.cil.c -o cilcode.tmp/ex22.cil.i Compiling cilcode.tmp/ex22.cil.i into cilcode.tmp/ex22.o gcc -D_GNUCC -c -o cilcode.tmp/ex22.o cilcode.tmp/ex22.cil.i ***Found CIL code at line 1905 Preprocessing cilcode.tmp/ex23.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex23.c -o cilcode.tmp/ex23.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex23.cil.c --verbose --domakeCFG cilcode.tmp/ex23.i Frontc is parsing cilcode.tmp/ex23.i Converting CABS->CIL Removing unused temporaries Running CIL feature makeCFG (make the program look more like a CFG) printing file cilcode.tmp/ex23.cil.c Timings: TOTAL 0.047 s parse 0.008 s convert to CIL 0.028 s makeCFG 0.004 s printCIL 0.006 s Timing used Memory statistics: total=2.51MB, max=1.02MB, minor=2.48MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex23.cil.c gcc -D_GNUCC -E cilcode.tmp/ex23.cil.c -o cilcode.tmp/ex23.cil.i Compiling cilcode.tmp/ex23.cil.i into cilcode.tmp/ex23.o gcc -D_GNUCC -c -o cilcode.tmp/ex23.o cilcode.tmp/ex23.cil.i ***Found CIL code at line 2068 Preprocessing cilcode.tmp/ex24.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex24.c -o cilcode.tmp/ex24.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex24.cil.c --verbose --dostackGuard cilcode.tmp/ex24.i Frontc is parsing cilcode.tmp/ex24.i Converting CABS->CIL cilcode.tmp/ex24.c:3: Warning: Body of function dangerous falls-through. Adding a return statement Removing unused temporaries Running CIL feature stackGuard (instrument function calls and returns to maintain a separate stack for return addresses) printing file cilcode.tmp/ex24.cil.c Timings: TOTAL 0.053 s parse 0.014 s convert to CIL 0.030 s stackGuard 0.001 s printCIL 0.008 s Timing used Memory statistics: total=2.47MB, max=1.02MB, minor=2.44MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex24.cil.c gcc -D_GNUCC -E cilcode.tmp/ex24.cil.c -o cilcode.tmp/ex24.cil.i Compiling cilcode.tmp/ex24.cil.i into cilcode.tmp/ex24.o gcc -D_GNUCC -c -o cilcode.tmp/ex24.o cilcode.tmp/ex24.cil.i cilcode.tmp/ex24.cil.c: In function 'stackguard_push': cilcode.tmp/ex24.cil.c:17:5: warning: implicit declaration of function 'malloc' [-Wimplicit-function-declaration] 17 | malloc(sizeof(stackguard_stack)); | ^~~~~~ cilcode.tmp/ex24.cil.c:17:5: warning: incompatible implicit declaration of built-in function 'malloc' cilcode.tmp/ex24.cil.c:1:1: note: include '' or provide a declaration of 'malloc' +++ |+#include 1 | /* Generated by CIL v. 1.7.3 */ cilcode.tmp/ex24.cil.c: In function 'stackguard_pop': cilcode.tmp/ex24.cil.c:25:3: warning: implicit declaration of function 'free' [-Wimplicit-function-declaration] 25 | free(stackguard_stack); | ^~~~ cilcode.tmp/ex24.cil.c:25:3: warning: incompatible implicit declaration of built-in function 'free' cilcode.tmp/ex24.cil.c:25:3: note: include '' or provide a declaration of 'free' cilcode.tmp/ex24.c: At top level: cilcode.tmp/ex24.c:3:14: warning: conflicting types for built-in function 'scanf'; expected 'int(const char *, ...)' [-Wbuiltin-declaration-mismatch] 3 | scanf("%s",array); // possible buffer overrun! | ^~~~~ cilcode.tmp/ex24.c:3:1: note: 'scanf' is declared in header '' 2 | char array[10]; +++ |+#include 3 | scanf("%s",array); // possible buffer overrun! ***Found CIL code at line 2089 Preprocessing cilcode.tmp/ex25.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex25.c -o cilcode.tmp/ex25.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex25.cil.c --verbose --doheapify cilcode.tmp/ex25.i Frontc is parsing cilcode.tmp/ex25.i Converting CABS->CIL cilcode.tmp/ex25.c:3: Warning: Body of function dangerous falls-through. Adding a return statement Removing unused temporaries Running CIL feature heapify (move stack-allocated arrays to the heap) printing file cilcode.tmp/ex25.cil.c Timings: TOTAL 0.047 s parse 0.008 s convert to CIL 0.029 s heapify 0.002 s printCIL 0.008 s Timing used Memory statistics: total=2.46MB, max=1.02MB, minor=2.43MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex25.cil.c gcc -D_GNUCC -E cilcode.tmp/ex25.cil.c -o cilcode.tmp/ex25.cil.i Compiling cilcode.tmp/ex25.cil.i into cilcode.tmp/ex25.o gcc -D_GNUCC -c -o cilcode.tmp/ex25.o cilcode.tmp/ex25.cil.i cilcode.tmp/ex25.c:3:14: warning: conflicting types for built-in function 'scanf'; expected 'int(const char *, ...)' [-Wbuiltin-declaration-mismatch] 3 | scanf("%s",array); // possible buffer overrun! | ^~~~~ cilcode.tmp/ex25.c:3:1: note: 'scanf' is declared in header '' 2 | char array[10]; +++ |+#include 3 | scanf("%s",array); // possible buffer overrun! cilcode.tmp/ex25.c: In function 'dangerous': cilcode.tmp/ex25.c:1:51: warning: implicit declaration of function 'malloc' [-Wimplicit-function-declaration] 1 | int dangerous() { | ^ cilcode.tmp/ex25.c:1:51: warning: incompatible implicit declaration of built-in function 'malloc' cilcode.tmp/ex25.c:1:1: note: include '' or provide a declaration of 'malloc' +++ |+#include 1 | int dangerous() { cilcode.tmp/ex25.c:4:3: warning: implicit declaration of function 'free' [-Wimplicit-function-declaration] 4 | } | ^ cilcode.tmp/ex25.c:4:3: warning: incompatible implicit declaration of built-in function 'free' cilcode.tmp/ex25.c:4:1: note: include '' or provide a declaration of 'free' 3 | scanf("%s",array); // possible buffer overrun! +++ |+#include 4 | } ***Found CIL code at line 2109 Preprocessing cilcode.tmp/ex26.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex26.c -o cilcode.tmp/ex26.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex26.cil.c --verbose --dooneRet cilcode.tmp/ex26.i Frontc is parsing cilcode.tmp/ex26.i Converting CABS->CIL Removing unused temporaries Running CIL feature oneRet (make each function have at most one 'return') printing file cilcode.tmp/ex26.cil.c Timings: TOTAL 0.045 s parse 0.008 s convert to CIL 0.022 s oneRet 0.002 s printCIL 0.013 s Timing used Memory statistics: total=2.43MB, max=1.02MB, minor=2.40MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex26.cil.c gcc -D_GNUCC -E cilcode.tmp/ex26.cil.c -o cilcode.tmp/ex26.cil.i Compiling cilcode.tmp/ex26.cil.i into cilcode.tmp/ex26.o gcc -D_GNUCC -c -o cilcode.tmp/ex26.o cilcode.tmp/ex26.cil.i ***Found CIL code at line 2166 Preprocessing cilcode.tmp/ex27.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex27.c -o cilcode.tmp/ex27.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex27.cil.c --verbose --domakeCFG --dopartial cilcode.tmp/ex27.i Frontc is parsing cilcode.tmp/ex27.i Converting CABS->CIL Removing unused temporaries Running CIL feature makeCFG (make the program look more like a CFG) Running CIL feature partial (interprocedural partial evaluation and constant folding) printing file cilcode.tmp/ex27.cil.c Timings: TOTAL 0.047 s parse 0.009 s convert to CIL 0.022 s makeCFG 0.002 s partial 0.006 s printCIL 0.009 s Timing used Memory statistics: total=2.70MB, max=1.02MB, minor=2.67MB, major=0.40MB, promoted=0.36MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex27.cil.c gcc -D_GNUCC -E cilcode.tmp/ex27.cil.c -o cilcode.tmp/ex27.cil.i Compiling cilcode.tmp/ex27.cil.i into cilcode.tmp/ex27.o gcc -D_GNUCC -c -o cilcode.tmp/ex27.o cilcode.tmp/ex27.cil.i ***Found CIL code at line 2320 Preprocessing cilcode.tmp/ex28.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex28.c -o cilcode.tmp/ex28.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex28.cil.c --verbose --dosimpleMem cilcode.tmp/ex28.i Frontc is parsing cilcode.tmp/ex28.i Converting CABS->CIL cilcode.tmp/ex28.c:4: Warning: Body of function main falls-through. Adding a return statement Removing unused temporaries Running CIL feature simpleMem (simplify all memory expressions) printing file cilcode.tmp/ex28.cil.c Timings: TOTAL 0.024 s parse 0.008 s convert to CIL 0.016 s simpleMem 0.001 s printCIL 0.000 s Timing used Memory statistics: total=2.42MB, max=1.02MB, minor=2.39MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex28.cil.c gcc -D_GNUCC -E cilcode.tmp/ex28.cil.c -o cilcode.tmp/ex28.cil.i Compiling cilcode.tmp/ex28.cil.i into cilcode.tmp/ex28.o gcc -D_GNUCC -c -o cilcode.tmp/ex28.o cilcode.tmp/ex28.cil.i ***Found CIL code at line 2361 Preprocessing cilcode.tmp/ex29.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex29.c -o cilcode.tmp/ex29.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex29.cil.c --verbose --dosimplify cilcode.tmp/ex29.i Frontc is parsing cilcode.tmp/ex29.i Converting CABS->CIL Removing unused temporaries Running CIL feature simplify (compiles CIL to 3-address code) printing file cilcode.tmp/ex29.cil.c Timings: TOTAL 0.045 s parse 0.009 s convert to CIL 0.028 s simplify 0.007 s printCIL 0.002 s Timing used Memory statistics: total=2.53MB, max=1.02MB, minor=2.50MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex29.cil.c gcc -D_GNUCC -E cilcode.tmp/ex29.cil.c -o cilcode.tmp/ex29.cil.i Compiling cilcode.tmp/ex29.cil.i into cilcode.tmp/ex29.o gcc -D_GNUCC -c -o cilcode.tmp/ex29.o cilcode.tmp/ex29.cil.i ***Found CIL code at line 2997 Preprocessing cilcode.tmp/ex30.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex30.c -o cilcode.tmp/ex30.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex30.cil.c --verbose cilcode.tmp/ex30.i Frontc is parsing cilcode.tmp/ex30.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex30.cil.c Timings: TOTAL 0.033 s parse 0.010 s convert to CIL 0.019 s printCIL 0.004 s Timing used Memory statistics: total=2.39MB, max=1.02MB, minor=2.36MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex30.cil.c gcc -D_GNUCC -E cilcode.tmp/ex30.cil.c -o cilcode.tmp/ex30.cil.i Compiling cilcode.tmp/ex30.cil.i into cilcode.tmp/ex30.o gcc -D_GNUCC -c -o cilcode.tmp/ex30.o cilcode.tmp/ex30.cil.i ***Found CIL code at line 3006 Preprocessing cilcode.tmp/ex31.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex31.c -o cilcode.tmp/ex31.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex31.cil.c --verbose cilcode.tmp/ex31.i Frontc is parsing cilcode.tmp/ex31.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex31.cil.c Timings: TOTAL 0.028 s parse 0.007 s convert to CIL 0.019 s printCIL 0.003 s Timing used Memory statistics: total=2.40MB, max=1.02MB, minor=2.36MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex31.cil.c gcc -D_GNUCC -E cilcode.tmp/ex31.cil.c -o cilcode.tmp/ex31.cil.i Compiling cilcode.tmp/ex31.cil.i into cilcode.tmp/ex31.o gcc -D_GNUCC -c -o cilcode.tmp/ex31.o cilcode.tmp/ex31.cil.i ***Found CIL code at line 3012 Preprocessing cilcode.tmp/ex32.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex32.c -o cilcode.tmp/ex32.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex32.cil.c --verbose cilcode.tmp/ex32.i Frontc is parsing cilcode.tmp/ex32.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex32.cil.c Timings: TOTAL 0.036 s parse 0.007 s convert to CIL 0.026 s printCIL 0.003 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.37MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex32.cil.c gcc -D_GNUCC -E cilcode.tmp/ex32.cil.c -o cilcode.tmp/ex32.cil.i Compiling cilcode.tmp/ex32.cil.i into cilcode.tmp/ex32.o gcc -D_GNUCC -c -o cilcode.tmp/ex32.o cilcode.tmp/ex32.cil.i ***Found CIL code at line 3025 Preprocessing cilcode.tmp/ex33.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex33.c -o cilcode.tmp/ex33.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex33.cil.c --verbose cilcode.tmp/ex33.i Frontc is parsing cilcode.tmp/ex33.i Converting CABS->CIL cilcode.tmp/ex33.c:8: Warning: Body of function f falls-through. Adding a return statement Removing unused temporaries printing file cilcode.tmp/ex33.cil.c Timings: TOTAL 0.044 s parse 0.008 s convert to CIL 0.030 s printCIL 0.006 s Timing used Memory statistics: total=2.44MB, max=1.02MB, minor=2.41MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex33.cil.c gcc -D_GNUCC -E cilcode.tmp/ex33.cil.c -o cilcode.tmp/ex33.cil.i Compiling cilcode.tmp/ex33.cil.i into cilcode.tmp/ex33.o gcc -D_GNUCC -c -o cilcode.tmp/ex33.o cilcode.tmp/ex33.cil.i ***Found CIL code at line 3042 Preprocessing cilcode.tmp/ex34.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex34.c -o cilcode.tmp/ex34.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex34.cil.c --verbose cilcode.tmp/ex34.i Frontc is parsing cilcode.tmp/ex34.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex34.cil.c Timings: TOTAL 0.039 s parse 0.006 s convert to CIL 0.027 s printCIL 0.005 s Timing used Memory statistics: total=2.42MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex34.cil.c gcc -D_GNUCC -E cilcode.tmp/ex34.cil.c -o cilcode.tmp/ex34.cil.i Compiling cilcode.tmp/ex34.cil.i into cilcode.tmp/ex34.o gcc -D_GNUCC -c -o cilcode.tmp/ex34.o cilcode.tmp/ex34.cil.i ***Found CIL code at line 3053 Preprocessing cilcode.tmp/ex35.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex35.c -o cilcode.tmp/ex35.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex35.cil.c --verbose cilcode.tmp/ex35.i Frontc is parsing cilcode.tmp/ex35.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex35.cil.c Timings: TOTAL 0.046 s parse 0.010 s convert to CIL 0.029 s printCIL 0.007 s Timing used Memory statistics: total=2.53MB, max=1.02MB, minor=2.50MB, major=0.39MB, promoted=0.36MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex35.cil.c gcc -D_GNUCC -E cilcode.tmp/ex35.cil.c -o cilcode.tmp/ex35.cil.i Compiling cilcode.tmp/ex35.cil.i into cilcode.tmp/ex35.o gcc -D_GNUCC -c -o cilcode.tmp/ex35.o cilcode.tmp/ex35.cil.i cilcode.tmp/ex35.c: In function 'main': cilcode.tmp/ex35.c:22:11: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 22 | return pt3->value; | ^ ***Found CIL code at line 3083 Preprocessing cilcode.tmp/ex36.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex36.c -o cilcode.tmp/ex36.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex36.cil.c --verbose cilcode.tmp/ex36.i Frontc is parsing cilcode.tmp/ex36.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex36.cil.c Timings: TOTAL 0.040 s parse 0.007 s convert to CIL 0.029 s printCIL 0.003 s Timing used Memory statistics: total=2.42MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex36.cil.c gcc -D_GNUCC -E cilcode.tmp/ex36.cil.c -o cilcode.tmp/ex36.cil.i Compiling cilcode.tmp/ex36.cil.i into cilcode.tmp/ex36.o gcc -D_GNUCC -c -o cilcode.tmp/ex36.o cilcode.tmp/ex36.cil.i ***Found CIL code at line 3091 Preprocessing cilcode.tmp/ex37.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex37.c -o cilcode.tmp/ex37.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex37.cil.c --verbose cilcode.tmp/ex37.i Frontc is parsing cilcode.tmp/ex37.i Converting CABS->CIL cilcode.tmp/ex37.c:3: Warning: Body of function foo falls-through. Adding a return statement Removing unused temporaries printing file cilcode.tmp/ex37.cil.c Timings: TOTAL 0.041 s parse 0.007 s convert to CIL 0.031 s printCIL 0.003 s Timing used Memory statistics: total=2.43MB, max=1.02MB, minor=2.40MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex37.cil.c gcc -D_GNUCC -E cilcode.tmp/ex37.cil.c -o cilcode.tmp/ex37.cil.i Compiling cilcode.tmp/ex37.cil.i into cilcode.tmp/ex37.o gcc -D_GNUCC -c -o cilcode.tmp/ex37.o cilcode.tmp/ex37.cil.i ***Found CIL code at line 3109 Preprocessing cilcode.tmp/ex38.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex38.c -o cilcode.tmp/ex38.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex38.cil.c --verbose cilcode.tmp/ex38.i Frontc is parsing cilcode.tmp/ex38.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex38.cil.c Timings: TOTAL 0.040 s parse 0.008 s convert to CIL 0.029 s printCIL 0.003 s Timing used Memory statistics: total=2.39MB, max=1.02MB, minor=2.35MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex38.cil.c gcc -D_GNUCC -E cilcode.tmp/ex38.cil.c -o cilcode.tmp/ex38.cil.i Compiling cilcode.tmp/ex38.cil.i into cilcode.tmp/ex38.o gcc -D_GNUCC -c -o cilcode.tmp/ex38.o cilcode.tmp/ex38.cil.i ***Found CIL code at line 3120 Preprocessing cilcode.tmp/ex39.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex39.c -o cilcode.tmp/ex39.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex39.cil.c --verbose cilcode.tmp/ex39.i Frontc is parsing cilcode.tmp/ex39.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex39.cil.c Timings: TOTAL 0.036 s parse 0.008 s convert to CIL 0.024 s printCIL 0.004 s Timing used Memory statistics: total=2.44MB, max=1.02MB, minor=2.41MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex39.cil.c gcc -D_GNUCC -E cilcode.tmp/ex39.cil.c -o cilcode.tmp/ex39.cil.i Compiling cilcode.tmp/ex39.cil.i into cilcode.tmp/ex39.o gcc -D_GNUCC -c -o cilcode.tmp/ex39.o cilcode.tmp/ex39.cil.i ***Found CIL code at line 3142 Preprocessing cilcode.tmp/ex40.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex40.c -o cilcode.tmp/ex40.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex40.cil.c --verbose cilcode.tmp/ex40.i Frontc is parsing cilcode.tmp/ex40.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex40.cil.c Timings: TOTAL 0.043 s parse 0.004 s convert to CIL 0.029 s printCIL 0.010 s Timing used Memory statistics: total=2.43MB, max=1.02MB, minor=2.40MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex40.cil.c gcc -D_GNUCC -E cilcode.tmp/ex40.cil.c -o cilcode.tmp/ex40.cil.i Compiling cilcode.tmp/ex40.cil.i into cilcode.tmp/ex40.o gcc -D_GNUCC -c -o cilcode.tmp/ex40.o cilcode.tmp/ex40.cil.i ***Found CIL code at line 3149 Preprocessing cilcode.tmp/ex41.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex41.c -o cilcode.tmp/ex41.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex41.cil.c --verbose cilcode.tmp/ex41.i Frontc is parsing cilcode.tmp/ex41.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex41.cil.c Timings: TOTAL 0.041 s parse 0.007 s convert to CIL 0.028 s printCIL 0.006 s Timing used Memory statistics: total=2.41MB, max=1.02MB, minor=2.38MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex41.cil.c gcc -D_GNUCC -E cilcode.tmp/ex41.cil.c -o cilcode.tmp/ex41.cil.i Compiling cilcode.tmp/ex41.cil.i into cilcode.tmp/ex41.o gcc -D_GNUCC -c -o cilcode.tmp/ex41.o cilcode.tmp/ex41.cil.i ***Found CIL code at line 3157 Preprocessing cilcode.tmp/ex42.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex42.c -o cilcode.tmp/ex42.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex42.cil.c --verbose cilcode.tmp/ex42.i Frontc is parsing cilcode.tmp/ex42.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex42.cil.c Timings: TOTAL 0.057 s parse 0.011 s convert to CIL 0.036 s printCIL 0.010 s Timing used Memory statistics: total=2.62MB, max=1.02MB, minor=2.58MB, major=0.39MB, promoted=0.36MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex42.cil.c gcc -D_GNUCC -E cilcode.tmp/ex42.cil.c -o cilcode.tmp/ex42.cil.i Compiling cilcode.tmp/ex42.cil.i into cilcode.tmp/ex42.o gcc -D_GNUCC -c -o cilcode.tmp/ex42.o cilcode.tmp/ex42.cil.i cilcode.tmp/ex42.c: In function 'doit': cilcode.tmp/ex42.c:10:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 10 | goto *jtab[x]; // Jump through the table | ^ cilcode.tmp/ex42.c: At top level: cilcode.tmp/ex42.c:18:14: warning: conflicting types for built-in function 'exit'; expected 'void(int)' [-Wbuiltin-declaration-mismatch] 18 | if (doit(0) != 0) exit(1); | ^~~~ cilcode.tmp/ex42.c:18:1: note: 'exit' is declared in header '' 17 | int main(void){ +++ |+#include 18 | if (doit(0) != 0) exit(1); ***Found CIL code at line 3184 Preprocessing cilcode.tmp/ex43.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex43.c -o cilcode.tmp/ex43.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex43.cil.c --verbose cilcode.tmp/ex43.i Frontc is parsing cilcode.tmp/ex43.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex43.cil.c Timings: TOTAL 0.038 s parse 0.007 s convert to CIL 0.023 s printCIL 0.008 s Timing used Memory statistics: total=2.40MB, max=1.02MB, minor=2.37MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex43.cil.c gcc -D_GNUCC -E cilcode.tmp/ex43.cil.c -o cilcode.tmp/ex43.cil.i Compiling cilcode.tmp/ex43.cil.i into cilcode.tmp/ex43.o gcc -D_GNUCC -c -o cilcode.tmp/ex43.o cilcode.tmp/ex43.cil.i ***Found CIL code at line 3191 Preprocessing cilcode.tmp/ex44.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex44.c -o cilcode.tmp/ex44.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex44.cil.c --verbose cilcode.tmp/ex44.i Frontc is parsing cilcode.tmp/ex44.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex44.cil.c Timings: TOTAL 0.052 s parse 0.008 s convert to CIL 0.038 s printCIL 0.006 s Timing used Memory statistics: total=2.48MB, max=1.02MB, minor=2.45MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex44.cil.c gcc -D_GNUCC -E cilcode.tmp/ex44.cil.c -o cilcode.tmp/ex44.cil.i Compiling cilcode.tmp/ex44.cil.i into cilcode.tmp/ex44.o gcc -D_GNUCC -c -o cilcode.tmp/ex44.o cilcode.tmp/ex44.cil.i ***Found CIL code at line 3213 Preprocessing cilcode.tmp/ex45.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex45.c -o cilcode.tmp/ex45.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex45.cil.c --verbose cilcode.tmp/ex45.i Frontc is parsing cilcode.tmp/ex45.i Converting CABS->CIL REDOREDOcilcode.tmp/ex45.c:12: Warning: Body of function main falls-through. Adding a return statement Removing unused temporaries printing file cilcode.tmp/ex45.cil.c Timings: TOTAL 0.047 s parse 0.010 s convert to CIL 0.028 s printCIL 0.008 s Timing used Memory statistics: total=2.48MB, max=1.02MB, minor=2.45MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex45.cil.c gcc -D_GNUCC -E cilcode.tmp/ex45.cil.c -o cilcode.tmp/ex45.cil.i Compiling cilcode.tmp/ex45.cil.i into cilcode.tmp/ex45.o gcc -D_GNUCC -c -o cilcode.tmp/ex45.o cilcode.tmp/ex45.cil.i ***Found CIL code at line 3231 Preprocessing cilcode.tmp/ex46.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex46.c -o cilcode.tmp/ex46.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex46.cil.c --verbose cilcode.tmp/ex46.i Frontc is parsing cilcode.tmp/ex46.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex46.cil.c Timings: TOTAL 0.018 s parse 0.006 s convert to CIL 0.009 s printCIL 0.003 s Timing used Memory statistics: total=2.42MB, max=1.02MB, minor=2.39MB, major=0.38MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex46.cil.c gcc -D_GNUCC -E cilcode.tmp/ex46.cil.c -o cilcode.tmp/ex46.cil.i Compiling cilcode.tmp/ex46.cil.i into cilcode.tmp/ex46.o gcc -D_GNUCC -c -o cilcode.tmp/ex46.o cilcode.tmp/ex46.cil.i ***Found CIL code at line 3242 Preprocessing cilcode.tmp/ex47.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex47.c -o cilcode.tmp/ex47.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex47.cil.c --verbose cilcode.tmp/ex47.i Frontc is parsing cilcode.tmp/ex47.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex47.cil.c Timings: TOTAL 0.055 s parse 0.011 s convert to CIL 0.033 s printCIL 0.011 s Timing used Memory statistics: total=2.44MB, max=1.02MB, minor=2.41MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex47.cil.c gcc -D_GNUCC -E cilcode.tmp/ex47.cil.c -o cilcode.tmp/ex47.cil.i Compiling cilcode.tmp/ex47.cil.i into cilcode.tmp/ex47.o gcc -D_GNUCC -c -o cilcode.tmp/ex47.o cilcode.tmp/ex47.cil.i ***Found CIL code at line 3271 Preprocessing cilcode.tmp/ex48.c gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex48.c -o cilcode.tmp/ex48.i /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex48.cil.c --verbose cilcode.tmp/ex48.i Frontc is parsing cilcode.tmp/ex48.i Converting CABS->CIL Removing unused temporaries printing file cilcode.tmp/ex48.cil.c Timings: TOTAL 0.041 s parse 0.010 s convert to CIL 0.025 s printCIL 0.005 s Timing used Memory statistics: total=2.47MB, max=1.02MB, minor=2.44MB, major=0.39MB, promoted=0.35MB minor collections=1 major collections=0 compactions=0 Preprocessing cilcode.tmp/ex48.cil.c gcc -D_GNUCC -E cilcode.tmp/ex48.cil.c -o cilcode.tmp/ex48.cil.i Compiling cilcode.tmp/ex48.cil.i into cilcode.tmp/ex48.o gcc -D_GNUCC -c -o cilcode.tmp/ex48.o cilcode.tmp/ex48.cil.i 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 Exclude comment 'comment' ../../cilpp.tex:83: Warning: No title given ../../cilpp.tex:83: Warning: No author given ../../cilpp.tex:106: Warning: Undefined label: 'sec-simplec' ../../cilpp.tex:114: Warning: Undefined label: 'sec-cabs2cil' ../../cilpp.tex:128: Warning: Undefined label: 'sec-Extension' ../../cilpp.tex:150: Warning: Undefined label: 'sec-ugly-gcc' ../../cilpp.tex:175: Warning: Undefined label: 'sec-Extension' ../../cilpp.tex:211: Warning: Undefined label: 'sec-changes' ../../cilpp.tex:386: Warning: Undefined label: 'sec-cil' ../../cilpp.tex:736: Warning: Undefined label: 'sec-Extension' ../../cilpp.tex:767: Warning: Undefined label: 'sec-merger' ../../cilpp.tex:838: Warning: Undefined label: 'sec-driver' ../../cilpp.tex:1634: Warning: Undefined label: 'sec-merger' ../../cilpp.tex:1657: Warning: Undefined label: 'sec-patcher' ../../cilpp.tex:1688: Warning: Undefined label: 'sec-merger' ../../cilpp.tex:1695: Warning: Undefined label: 'sec-patcher' ../../cilpp.tex:1762: Warning: Undefined label: 'sec-cilmachine' ../../cilpp.tex:1788: Warning: Undefined label: 'sec-Extension' ../../cilpp.tex:1970: Warning: Undefined label: 'sec-cfg' ../../cilpp.tex:2191: Warning: Undefined label: 'enum:partial-empty-proc' ../../cilpp.tex:2192: Warning: Undefined label: 'enum:partial-const-func' ../../cilpp.tex:2248: Warning: Undefined label: 'sec-cfg' ../../cilpp.tex:2287: Warning: Undefined label: 'sec-cfg' ../../cilpp.tex:2321: Warning: Undefined label: 'sec-cfg' ../../cilpp.tex:2358: Warning: Undefined label: 'sec-cfg' ../../cilpp.tex:2521: Warning: Undefined label: 'sec-attrib' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. cd doc/html/cil; hevea -exec xxdate.exe ../../cilpp Exclude comment 'comment' ../../cilpp.tex:83: Warning: No title given ../../cilpp.tex:83: Warning: No author given ../../cilpp.tex:211: Warning: Undefined label: 'sec-changes' cd doc/html/cil; mv cilpp.html cil.html cd doc/html/cil; hacha -o ciltoc.html cil.html cil.html:165: Warning, cannot find anchor: sec-changes 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.21 (TeX Live 2020) (preloaded format=pdflatex) restricted \write18 enabled. kpathsea: Running mktexfmt pdflatex.fmt mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2020/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2020/texmf-var/web2c mktexfmt [INFO]: --- remaking pdflatex with pdftex mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) (INITEX) restricted \write18 enabled. (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) entering extended mode (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) ./texsys.aux found \@currdir set to: ./. Assuming \openin and \input have the same search path. Defining UNIX/DOS style filename parser. catcodes, registers, parameters, LaTeX2e <2020-02-02> patch level 5 hacks, control, par, spacing, files, font encodings, lengths, ==================================== Local config file fonttext.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) ==================================== Local config file fontmath.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) ==================================== Local config file preload.cfg used ===================================== (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, environments, center, verbatim, math definitions, boxes, title, sectioning, contents, floats, footnotes, index, bibliography, output, =========================================== Local configuration file hyphen.cfg used =========================================== (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu)) (/usr/share/texlive/texmf-dist/tex/latex/base/ltexpl.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3-code.tex (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/l3deprecation.def)))) ) ) Beginning to dump on file pdflatex.fmt (preloaded format=pdflatex 2021.4.25) 17445 strings of total length 297855 233798 memory locations dumped; current usage is 165&226831 15747 multiletter control sequences \font\nullfont=nullfont \font\OMX/cmex/m/n/10=cmex10 \font\tenln=line10 \font\tenlnw=linew10 \font\tencirc=lcircle10 \font\tencircw=lcirclew10 \font\OT1/cmr/m/n/5=cmr5 \font\OT1/cmr/m/n/7=cmr7 \font\OT1/cmr/m/n/10=cmr10 \font\OML/cmm/m/it/5=cmmi5 \font\OML/cmm/m/it/7=cmmi7 \font\OML/cmm/m/it/10=cmmi10 \font\OMS/cmsy/m/n/5=cmsy5 \font\OMS/cmsy/m/n/7=cmsy7 \font\OMS/cmsy/m/n/10=cmsy10 \font\c__fp_exp_intarray=cmr10 at 0.00002pt \font\c__fp_trig_intarray=cmr10 at 0.00003pt \font\g__regex_charcode_intarray=cmr10 at 0.00005pt \font\g__regex_catcode_intarray=cmr10 at 0.00006pt \font\g__regex_balance_intarray=cmr10 at 0.00008pt \font\g__regex_state_active_intarray=cmr10 at 0.00009pt \font\g__regex_thread_state_intarray=cmr10 at 0.0001pt \font\g__regex_submatch_prev_intarray=cmr10 at 0.00012pt \font\g__regex_submatch_begin_intarray=cmr10 at 0.00014pt \font\g__regex_submatch_end_intarray=cmr10 at 0.00015pt 532331 words of font info for 24 preloaded fonts 14 hyphenation exceptions Hyphenation trie of length 6081 has 183 ops out of 35111 2 for language 1 181 for language 0 0 words of pdfTeX memory 0 indirect objects No pages of output. Transcript written on pdflatex.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2020/texmf-var/web2c/pdftex/pdflatex.log mktexfmt [INFO]: /builddir/.texlive2020/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 20 mktexfmt [INFO]: total formats: 21 mktexfmt [INFO]: exiting with status 0 entering extended mode (./cilpp.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-04-06> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2019/12/20 v1.4l 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) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def) (./cilpp.aux) LaTeX Warning: No \author given. [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] (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [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-d ist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb> Output written on cilpp.pdf (48 pages, 264473 bytes). Transcript written on cilpp.log. This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./cilpp.tex LaTeX2e <2020-02-02> patch level 5 L3 programming layer <2020-04-06> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2019/12/20 v1.4l 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) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def) (./cilpp.aux) LaTeX Warning: No \author given. [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] (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [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-d ist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb> Output written on cilpp.pdf (48 pages, 264473 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 src -I ocamlutil -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 src -I ocamlutil -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 Warning: 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 src -I ocamlutil -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 src -I ocamlutil -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 src -I ocamlutil -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 + make OCAMLBEST= bin/cilly.byte ocamlbuild -build-dir _build -no-links -classic-display src/main.byte /usr/bin/ocamlc.opt unix.cma str.cma nums.cma -g -I src src/cil.cma src/main.cmo -o src/main.byte cp _build/src/main.byte bin/cilly.byte + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.IOSCNt + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 ++ dirname /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 + cd cil-1.7.3 + export DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 + DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 + export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml + OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml + mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml + make DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 install 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: [WARNING] No such file: /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/META 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` Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/whitetrack.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/whitetrack.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/whitetrack.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/util.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/util.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/util.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/usedef.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/usedef.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/usedef.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/uref.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/uref.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/uref.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/trace.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/trace.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/trace.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/stats.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/stats.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/stats.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ssa.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ssa.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ssa.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/simplify.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/simplify.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/simplify.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/simplemem.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/simplemem.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/simplemem.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/sfi.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/sfi.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/sfi.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/setp.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/setp.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/setp.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/rmtmps.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/rmtmps.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/rmtmps.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/reachingdefs.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/reachingdefs.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/reachingdefs.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ptranal.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ptranal.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ptranal.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/pretty.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/pretty.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/pretty.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/predabst.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/predabst.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/predabst.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/patch.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/patch.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/patch.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/partial.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/partial.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/partial.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/oneret.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/oneret.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/oneret.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/olf.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/olf.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/olf.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/mergecil.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/mergecil.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/mergecil.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/machdepenv.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/machdepenv.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/machdepenv.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/machdep.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/machdep.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/machdep.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/longarray.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/longarray.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/longarray.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/logwrites.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/logwrites.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/logwrites.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/logcalls.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/logcalls.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/logcalls.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmutils.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmutils.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmutils.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmssa.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmssa.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmssa.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmgen.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmgen.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvmgen.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvm.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvm.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/llvm.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/liveness.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/liveness.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/liveness.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/lexerhack.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/lexerhack.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/lexerhack.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/inthash.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/inthash.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/inthash.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/heapify.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/heapify.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/heapify.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/heap.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/heap.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/heap.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/growArray.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/growArray.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/growArray.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/frontc.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/frontc.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/frontc.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatparse.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatparse.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatparse.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatlex.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatlex.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatlex.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatcil.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatcil.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/formatcil.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/feature_config.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/feature_config.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/feature_config.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/expcompare.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/expcompare.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/expcompare.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/escape.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/escape.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/escape.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/errormsg.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/errormsg.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/errormsg.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/epicenter.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/epicenter.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/epicenter.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dominators.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dominators.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dominators.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/deadcodeelim.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/deadcodeelim.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/deadcodeelim.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dataslicing.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dataslicing.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dataslicing.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dataflow.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dataflow.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/dataflow.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cprint.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cprint.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cprint.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cparser.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cparser.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cparser.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/clist.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/clist.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/clist.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/clexer.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/clexer.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/clexer.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilversion.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilversion.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilversion.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilutil.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilutil.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilutil.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ciltools.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ciltools.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ciltools.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ciloptions.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ciloptions.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/ciloptions.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cillower.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cillower.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cillower.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilint.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilint.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cilint.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cil.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cil.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cil.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/check.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/check.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/check.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cfg.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cfg.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cfg.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/canonicalize.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/canonicalize.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/canonicalize.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/callgraph.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/callgraph.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/callgraph.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabsvisit.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabsvisit.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabsvisit.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabshelper.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabshelper.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabshelper.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabs2cil.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabs2cil.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabs2cil.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabs.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabs.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cabs.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/bitmap.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/bitmap.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/bitmap.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/availexpslv.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/availexpslv.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/availexpslv.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/availexps.inferred.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/availexps.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/availexps.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/alpha.mli Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/alpha.cmx Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/alpha.cmi Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cil.a Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cil.cmxa Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/cil.cma Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/lib64/ocaml/cil/META 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-65.fc33.1.rvre0.riscv64/usr/share/perl5/vendor_perl/App/Cilly.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/perl5/vendor_perl/App/Cilly/KeptFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/perl5/vendor_perl/App/Cilly/OutputFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/perl5/vendor_perl/App/Cilly/TempFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/perl5/vendor_perl/App/Cilly/CilConfig.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.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-65.fc33.1.rvre0.riscv64/usr/bin + find /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.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/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.0ZGw3s + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + make test cd test; ./testcil -r --regrtest Can't locate RegTest.pm in @INC (you may need to install the RegTest module) (@INC contains: /usr/local/lib64/perl5/5.32 /usr/local/share/perl5/5.32 /usr/lib64/perl5/vendor_perl /usr/share/perl5/vendor_perl /usr/lib64/perl5 /usr/share/perl5) at ./testcil.pl line 15. BEGIN failed--compilation aborted at ./testcil.pl line 15. make: *** [Makefile:288: test] Error 2 + : + RPM_EC=0 ++ jobs -p + exit 0 Processing files: ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.yMEUnr + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.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-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(Alpha) = df15700f7494eb5ae35e11a32a4f8e3a ocaml(Availexps) = f999b20c1398388511c42834b5f7675e ocaml(Availexpslv) = 68039c0ccd73d41a374f254611e4bbbf ocaml(Bitmap) = 7f39de54cfc0e95ecaee2bb488d441d8 ocaml(Cabs) = cf383ca701c90e5d48f3dd722150cde3 ocaml(Cabs2cil) = 73d924963e2f4a9c934e01447b208474 ocaml(Cabshelper) = 4487b15dfa72ac2382440dd05e7fee09 ocaml(Cabsvisit) = c6772ba2c513455942a78f65b5502ec1 ocaml(Callgraph) = c966200cc5bbbe21dbd6627ada621959 ocaml(Canonicalize) = 926217a0d8c1bc9c903a9aa8c44c0202 ocaml(Cfg) = 06d5d1466f1566f3aa72f7b4711564af ocaml(Check) = cd5c3c028865f1d4a608a9f434ae66c0 ocaml(Cil) = 33c2edfc6b9c0d358b2bd80b0d8f57e3 ocaml(Cilint) = 9a745ed915633b56350eacb33d5b5f4b ocaml(Cillower) = 93aff5d64e39baed79e85d3de5424b1a ocaml(Ciloptions) = 19a82a0de540f9ad03b951e2a37cd672 ocaml(Ciltools) = 1030759195598971b8b2bd4e733a74e2 ocaml(Cilutil) = c2a788854774cc5f93d08ca46271a43e ocaml(Cilversion) = b34ccafbddcf42b052165b856da32cec ocaml(Clexer) = 80387ad43bb1bb991b444c6d65637902 ocaml(Clist) = f181fcf6ca71f0e12df957ff5fb869f9 ocaml(Cparser) = 81c666ba23ca4b991a741eeaaa38faa0 ocaml(Cprint) = da05afeae6e3b119b5c2c36218465d72 ocaml(Dataflow) = 91c84d72d9a908ac35689466a2c67f08 ocaml(Dataslicing) = 704d80c88fc0a927bff85aa524b000b0 ocaml(Deadcodeelim) = 7d371fb2090fee4355e998178862173e ocaml(Dominators) = dab071a6e4b422b0b8feea2cc7d38c3c ocaml(Epicenter) = e64ba2154a8feb12c3b3d508b2647131 ocaml(Errormsg) = 07baf304d21f9b4d0f3527f929f9329f ocaml(Escape) = fb2f039462803fb6b41016c82ee3c212 ocaml(Expcompare) = 2475a49dc8af9c10c2c926201da78eef ocaml(Feature_config) = 4ae9e78c3c563dbb3daa5a99ae76da85 ocaml(Formatcil) = 84a85615d1f25d4e37c5694f1f073bb8 ocaml(Formatlex) = 0fb2d2d17c86479b902ad472589aa738 ocaml(Formatparse) = 16ab84575bc1ca1481541fc62ecd6bd4 ocaml(Frontc) = 36256e4a3242422f2ddf60464653f4cf ocaml(GrowArray) = 5f200ab5ce4190ca50a92496cbe0edf4 ocaml(Heap) = f3312d277b681b0adb8702bd614dab29 ocaml(Heapify) = a8242d1aaa82fc96190ec4a161aeea47 ocaml(Inthash) = abdf389be3819d822f76d66214f2fae6 ocaml(Lexerhack) = a7b5a4acb5c31e12e2e0798b16bdc9b4 ocaml(Liveness) = 6c02c4520c0b19254aecc2382e8ea6c3 ocaml(Llvm) = 2e943a03f37d3198dc0bcd609773a38a ocaml(Llvmgen) = 167883b59fc63370ab8ccef159eb51f0 ocaml(Llvmssa) = 2f546c001210dc7653a867fdb7eed224 ocaml(Llvmutils) = ea962336d044e6f820be20f725c5ebec ocaml(Logcalls) = 2c8862dabb5285bfdc2d482a9cd33952 ocaml(Logwrites) = 299b74c00604830c31b12f296d9113de ocaml(Longarray) = bf0cce26c78a9fac6941d03b27e5c164 ocaml(Machdep) = d885452db1a112aa42ad0764f1416c4b ocaml(Machdepenv) = e53c2dee562bb038ca14c3de1e0e17a4 ocaml(Mergecil) = d6734493f07643f8c2cd358f867f8d68 ocaml(Olf) = f367dc08fa219dfcba0f26450bf43f5d ocaml(Oneret) = 1ce4306c27cc2ad01adf549bf28fe9d9 ocaml(Partial) = 06954b81927d6766a67e67c9e174a37c ocaml(Patch) = 7cb7588a0d47bcf5a1d967cda755d0c7 ocaml(Predabst) = 5d6b06e8671e7e80a55db368b3b04c8c ocaml(Pretty) = a9ddb0d9a4cccbc2b0a5e35ebc43bd12 ocaml(Ptranal) = c317a8992117188d5fadcf675b34bca7 ocaml(Reachingdefs) = 3bb151787d510dc50772379bb2b417e9 ocaml(Rmtmps) = 97c1a45d6a539951497b759f4ba735ae ocaml(Setp) = 573aa9311fe5adb7f9935f536a93be82 ocaml(Sfi) = 6604dc31abd81760ae814b2a5b1f87cd ocaml(Simplemem) = 2b58f52686e14c1090e970df6de09799 ocaml(Simplify) = 29131c3465ffbe952aafe7243aaee957 ocaml(Ssa) = 1fee3d209f541a5f0695d7fd2f7f881e ocaml(Stats) = 3133f5c11b36948337bd8ca7a2161bc2 ocaml(Trace) = 3b8116ae45b4040c7d448d6ab21ab19f ocaml(Uref) = 287fa54cfef840e47e5d5272cf556b92 ocaml(Usedef) = b08f03d77a9618b773a59b7c6a1f8696 ocaml(Util) = 5a5fb353947dddf24593e942d2f2c93b ocaml(Whitetrack) = 7c270bc800dc38a299193915da5b84ca ocaml-cil = 1.7.3-65.fc33.1.rvre0 ocaml-cil(riscv-64) = 1.7.3-65.fc33.1.rvre0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Alpha) = df15700f7494eb5ae35e11a32a4f8e3a ocaml(Big_int) = dc25ad7b2afd2f71d443df3e2841f7da ocaml(Bitmap) = 7f39de54cfc0e95ecaee2bb488d441d8 ocaml(Cabs) = cf383ca701c90e5d48f3dd722150cde3 ocaml(Cabs2cil) = 73d924963e2f4a9c934e01447b208474 ocaml(Cabshelper) = 4487b15dfa72ac2382440dd05e7fee09 ocaml(Cabsvisit) = c6772ba2c513455942a78f65b5502ec1 ocaml(Callgraph) = c966200cc5bbbe21dbd6627ada621959 ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(CamlinternalOO) = 9b49ddd063bfe999887d47e83d281c15 ocaml(Cfg) = 06d5d1466f1566f3aa72f7b4711564af ocaml(Cil) = 33c2edfc6b9c0d358b2bd80b0d8f57e3 ocaml(Cilint) = 9a745ed915633b56350eacb33d5b5f4b ocaml(Ciltools) = 1030759195598971b8b2bd4e733a74e2 ocaml(Cilutil) = c2a788854774cc5f93d08ca46271a43e ocaml(Cilversion) = b34ccafbddcf42b052165b856da32cec ocaml(Clexer) = 80387ad43bb1bb991b444c6d65637902 ocaml(Clist) = f181fcf6ca71f0e12df957ff5fb869f9 ocaml(Cparser) = 81c666ba23ca4b991a741eeaaa38faa0 ocaml(Cprint) = da05afeae6e3b119b5c2c36218465d72 ocaml(Dataflow) = 91c84d72d9a908ac35689466a2c67f08 ocaml(Errormsg) = 07baf304d21f9b4d0f3527f929f9329f ocaml(Escape) = fb2f039462803fb6b41016c82ee3c212 ocaml(Expcompare) = 2475a49dc8af9c10c2c926201da78eef ocaml(Formatlex) = 0fb2d2d17c86479b902ad472589aa738 ocaml(Formatparse) = 16ab84575bc1ca1481541fc62ecd6bd4 ocaml(Frontc) = 36256e4a3242422f2ddf60464653f4cf ocaml(GrowArray) = 5f200ab5ce4190ca50a92496cbe0edf4 ocaml(Heap) = f3312d277b681b0adb8702bd614dab29 ocaml(Inthash) = abdf389be3819d822f76d66214f2fae6 ocaml(Lexerhack) = a7b5a4acb5c31e12e2e0798b16bdc9b4 ocaml(Liveness) = 6c02c4520c0b19254aecc2382e8ea6c3 ocaml(Llvmgen) = 167883b59fc63370ab8ccef159eb51f0 ocaml(Llvmssa) = 2f546c001210dc7653a867fdb7eed224 ocaml(Llvmutils) = ea962336d044e6f820be20f725c5ebec ocaml(Longarray) = bf0cce26c78a9fac6941d03b27e5c164 ocaml(Machdep) = d885452db1a112aa42ad0764f1416c4b ocaml(Machdepenv) = e53c2dee562bb038ca14c3de1e0e17a4 ocaml(Mergecil) = d6734493f07643f8c2cd358f867f8d68 ocaml(Nat) = dfdbe60a61f9c757582fa2a9237dc807 ocaml(Olf) = f367dc08fa219dfcba0f26450bf43f5d ocaml(Patch) = 7cb7588a0d47bcf5a1d967cda755d0c7 ocaml(Pretty) = a9ddb0d9a4cccbc2b0a5e35ebc43bd12 ocaml(Ptranal) = c317a8992117188d5fadcf675b34bca7 ocaml(Reachingdefs) = 3bb151787d510dc50772379bb2b417e9 ocaml(Rmtmps) = 97c1a45d6a539951497b759f4ba735ae ocaml(Setp) = 573aa9311fe5adb7f9935f536a93be82 ocaml(Stats) = 3133f5c11b36948337bd8ca7a2161bc2 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__arg) = 93dbd397d18f68dd62193d6ee65a2b5a ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__bytes) = 6f90f1d35d75f513a9ee53cebf3fbc27 ocaml(Stdlib__char) = cdee48235b2dbc08f40a0e2ec3824bc5 ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10 ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977 ocaml(Stdlib__gc) = 5d6d09a276553c0d0c8ab63795fdc11d ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15 ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__marshal) = f10cafdc69861beae3d2842ec2be689c ocaml(Stdlib__nativeint) = 27bfaa776a5a329557cb5cebde7d21e0 ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__parsing) = a1e21d363ae8b31ddf44cea20971b7de ocaml(Stdlib__pervasives) = 76119ce30941328f65713c9e5efa6ead ocaml(Stdlib__printexc) = 6e03ab07ea296513ab6af44b09129348 ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2 ocaml(Stdlib__queue) = dba3e985c9c4016dae4b6f6d2b228c73 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e ocaml(Stdlib__stack) = 3162780e8eebf1e37f8a42417fa1fe4b ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocaml(Str) = 69ca4b460c685490ba2f5d32f57b1172 ocaml(Trace) = 3b8116ae45b4040c7d448d6ab21ab19f ocaml(Unix) = e6d191b089c68976347fa6524bb28048 ocaml(Uref) = 287fa54cfef840e47e5d5272cf556b92 ocaml(Usedef) = b08f03d77a9618b773a59b7c6a1f8696 ocaml(Util) = 5a5fb353947dddf24593e942d2f2c93b ocaml(Whitetrack) = 7c270bc800dc38a299193915da5b84ca Processing files: ocaml-cil-devel-1.7.3-65.fc33.1.rvre0.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.kgDlas + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.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-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-devel + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-devel + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-devel + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(Alpha) = df15700f7494eb5ae35e11a32a4f8e3a ocaml(Availexps) = f999b20c1398388511c42834b5f7675e ocaml(Availexpslv) = 68039c0ccd73d41a374f254611e4bbbf ocaml(Bitmap) = 7f39de54cfc0e95ecaee2bb488d441d8 ocaml(Cabs) = cf383ca701c90e5d48f3dd722150cde3 ocaml(Cabs2cil) = 73d924963e2f4a9c934e01447b208474 ocaml(Cabshelper) = 4487b15dfa72ac2382440dd05e7fee09 ocaml(Cabsvisit) = c6772ba2c513455942a78f65b5502ec1 ocaml(Callgraph) = c966200cc5bbbe21dbd6627ada621959 ocaml(Canonicalize) = 926217a0d8c1bc9c903a9aa8c44c0202 ocaml(Cfg) = 06d5d1466f1566f3aa72f7b4711564af ocaml(Check) = cd5c3c028865f1d4a608a9f434ae66c0 ocaml(Cil) = 33c2edfc6b9c0d358b2bd80b0d8f57e3 ocaml(Cilint) = 9a745ed915633b56350eacb33d5b5f4b ocaml(Cillower) = 93aff5d64e39baed79e85d3de5424b1a ocaml(Ciloptions) = 19a82a0de540f9ad03b951e2a37cd672 ocaml(Ciltools) = 1030759195598971b8b2bd4e733a74e2 ocaml(Cilutil) = c2a788854774cc5f93d08ca46271a43e ocaml(Cilversion) = b34ccafbddcf42b052165b856da32cec ocaml(Clexer) = 80387ad43bb1bb991b444c6d65637902 ocaml(Clist) = f181fcf6ca71f0e12df957ff5fb869f9 ocaml(Cparser) = 81c666ba23ca4b991a741eeaaa38faa0 ocaml(Cprint) = da05afeae6e3b119b5c2c36218465d72 ocaml(Dataflow) = 91c84d72d9a908ac35689466a2c67f08 ocaml(Dataslicing) = 704d80c88fc0a927bff85aa524b000b0 ocaml(Deadcodeelim) = 7d371fb2090fee4355e998178862173e ocaml(Dominators) = dab071a6e4b422b0b8feea2cc7d38c3c ocaml(Epicenter) = e64ba2154a8feb12c3b3d508b2647131 ocaml(Errormsg) = 07baf304d21f9b4d0f3527f929f9329f ocaml(Escape) = fb2f039462803fb6b41016c82ee3c212 ocaml(Expcompare) = 2475a49dc8af9c10c2c926201da78eef ocaml(Feature_config) = 4ae9e78c3c563dbb3daa5a99ae76da85 ocaml(Formatcil) = 84a85615d1f25d4e37c5694f1f073bb8 ocaml(Formatlex) = 0fb2d2d17c86479b902ad472589aa738 ocaml(Formatparse) = 16ab84575bc1ca1481541fc62ecd6bd4 ocaml(Frontc) = 36256e4a3242422f2ddf60464653f4cf ocaml(GrowArray) = 5f200ab5ce4190ca50a92496cbe0edf4 ocaml(Heap) = f3312d277b681b0adb8702bd614dab29 ocaml(Heapify) = a8242d1aaa82fc96190ec4a161aeea47 ocaml(Inthash) = abdf389be3819d822f76d66214f2fae6 ocaml(Lexerhack) = a7b5a4acb5c31e12e2e0798b16bdc9b4 ocaml(Liveness) = 6c02c4520c0b19254aecc2382e8ea6c3 ocaml(Llvm) = 2e943a03f37d3198dc0bcd609773a38a ocaml(Llvmgen) = 167883b59fc63370ab8ccef159eb51f0 ocaml(Llvmssa) = 2f546c001210dc7653a867fdb7eed224 ocaml(Llvmutils) = ea962336d044e6f820be20f725c5ebec ocaml(Logcalls) = 2c8862dabb5285bfdc2d482a9cd33952 ocaml(Logwrites) = 299b74c00604830c31b12f296d9113de ocaml(Longarray) = bf0cce26c78a9fac6941d03b27e5c164 ocaml(Machdep) = d885452db1a112aa42ad0764f1416c4b ocaml(Machdepenv) = e53c2dee562bb038ca14c3de1e0e17a4 ocaml(Mergecil) = d6734493f07643f8c2cd358f867f8d68 ocaml(Olf) = f367dc08fa219dfcba0f26450bf43f5d ocaml(Oneret) = 1ce4306c27cc2ad01adf549bf28fe9d9 ocaml(Partial) = 06954b81927d6766a67e67c9e174a37c ocaml(Patch) = 7cb7588a0d47bcf5a1d967cda755d0c7 ocaml(Predabst) = 5d6b06e8671e7e80a55db368b3b04c8c ocaml(Pretty) = a9ddb0d9a4cccbc2b0a5e35ebc43bd12 ocaml(Ptranal) = c317a8992117188d5fadcf675b34bca7 ocaml(Reachingdefs) = 3bb151787d510dc50772379bb2b417e9 ocaml(Rmtmps) = 97c1a45d6a539951497b759f4ba735ae ocaml(Setp) = 573aa9311fe5adb7f9935f536a93be82 ocaml(Sfi) = 6604dc31abd81760ae814b2a5b1f87cd ocaml(Simplemem) = 2b58f52686e14c1090e970df6de09799 ocaml(Simplify) = 29131c3465ffbe952aafe7243aaee957 ocaml(Ssa) = 1fee3d209f541a5f0695d7fd2f7f881e ocaml(Stats) = 3133f5c11b36948337bd8ca7a2161bc2 ocaml(Trace) = 3b8116ae45b4040c7d448d6ab21ab19f ocaml(Uref) = 287fa54cfef840e47e5d5272cf556b92 ocaml(Usedef) = b08f03d77a9618b773a59b7c6a1f8696 ocaml(Util) = 5a5fb353947dddf24593e942d2f2c93b ocaml(Whitetrack) = 7c270bc800dc38a299193915da5b84ca ocaml-cil-devel = 1.7.3-65.fc33.1.rvre0 ocaml-cil-devel(riscv-64) = 1.7.3-65.fc33.1.rvre0 ocamlx(Alpha) = 2679c5ce48def1f975f52c182e37436e ocamlx(Availexps) = c7c889c410ae5563e07ebbda47c77e0c ocamlx(Availexpslv) = 4dcbd9ea854476b8da363e871ecf4445 ocamlx(Bitmap) = 483ef5ecbc03864821eef0017245ef60 ocamlx(Cabs) = 68f2501d18c58204365ee73eb3adc4e2 ocamlx(Cabs2cil) = e736553c0a9d33cd93ab87c36047b184 ocamlx(Cabshelper) = 61a1352b49afa89ec7e42c6a152a18fc ocamlx(Cabsvisit) = ad3f050e76cc5b15bfa39361996e9352 ocamlx(Callgraph) = d2331552f1339c3d63b927c53083763e ocamlx(Canonicalize) = 77fdc2bfbee1e8505db93ba3cb29c2f2 ocamlx(Cfg) = 316fa1727ed9954d20953aacb569f918 ocamlx(Check) = 4524fa22168ce93007a4c69fbcb77970 ocamlx(Cil) = 9e0911aee89ba83601c7aab461a3e2f2 ocamlx(Cilint) = 498934b8afea63a999f723c2f0c21b26 ocamlx(Cillower) = 6abfc902d6497057f5b81090147a40a2 ocamlx(Ciloptions) = f85a0a246a07f2f03a1f62ec62188143 ocamlx(Ciltools) = 38d3a0f0dcc5a41cbef84f9c55ea23ce ocamlx(Cilutil) = 9f8eebca31c3296d8ce52c8e67645c1e ocamlx(Cilversion) = a6a735c7496191958dbaa5e773c6da13 ocamlx(Clexer) = cb199a5eda7fc6f2ede6d125e7be3c5b ocamlx(Clist) = a9bb6a75d27f023590fff90b51b5df04 ocamlx(Cparser) = b20cdc74c3740b3cc5e9e2a7d336b05e ocamlx(Cprint) = 8f747d1d92c14e2114ba8b90402bdf07 ocamlx(Dataflow) = 1d5994021431b625e23511c8be68a3ea ocamlx(Dataslicing) = 17d85876168efe92fe0d3c358ee2016d ocamlx(Deadcodeelim) = a11d3226ed81310dc4673a8176d54c5f ocamlx(Dominators) = 6e6263fbbfad7480627d28694ecf5cb8 ocamlx(Epicenter) = bdecdbc4e28e0b492b05f2536f40a96f ocamlx(Errormsg) = 0bcb9a275a5f963bfa9b0a2b4cf6174a ocamlx(Escape) = 71fc39c4d69665d81863c24099017df9 ocamlx(Expcompare) = 46ce0d3c7f1280be380b7d601d0e989b ocamlx(Feature_config) = 6af0799d59fe4fea779920c6489545be ocamlx(Formatcil) = 03b32396624f1306d92bc203d233abb7 ocamlx(Formatlex) = 42fca4834926113cd59aa612690e9362 ocamlx(Formatparse) = 10eabcf546ad8fdb8808afddd1968628 ocamlx(Frontc) = 6c4b83089b0224c66805292699503351 ocamlx(GrowArray) = 10c2a8bbdfeae1c40303638a5f66041e ocamlx(Heap) = 9c546712b0ed3d7609e5b110fbfbd45d ocamlx(Heapify) = a511860e4d2d41f5f682737d3305703d ocamlx(Inthash) = bbc41d13b3d106abac42ee326a0880bb ocamlx(Lexerhack) = c3255cd0e02fda9a85a1bc9f4228e959 ocamlx(Liveness) = 3dc1f9fa2d99d8c763d19d85e15ff777 ocamlx(Llvm) = 555d80d855c4d3586ec86bf05aeb5796 ocamlx(Llvmgen) = 853f28abad2ed63eea73d8022b633ac1 ocamlx(Llvmssa) = 871d02d3a1b5190e2715898ee50e0c59 ocamlx(Llvmutils) = a9c7ac18b7eac967b1c515fdf3658937 ocamlx(Logcalls) = 657f6b0260da845dcac2013ab042ebb4 ocamlx(Logwrites) = 28d3f0dd578de398d70e6a1ff7877bb2 ocamlx(Longarray) = 31eb616a1b6ae1a256894a954f7aa62b ocamlx(Machdep) = 02e208a9a7589ea5315fe7c64f2d1ad8 ocamlx(Machdepenv) = 9c0c5848711bee76b1b291413c34575f ocamlx(Mergecil) = d8168dff3a745cb31a6ceeef7919ab5b ocamlx(Olf) = 26fcb19524fb6804d52890526aa95697 ocamlx(Oneret) = ce5a84a6b6e3df34cd6a3c4ee48242cc ocamlx(Partial) = 2943abe6487574a4db8910784a389860 ocamlx(Patch) = 5df34d6d2c77eef24fe6f00ccae83777 ocamlx(Predabst) = 36a11b9f9af07142edb9a7b4a5cf3b1e ocamlx(Pretty) = d46ee9a5fe180f5f4427ba044b50e665 ocamlx(Ptranal) = a777881837143c9c6a2ac348d4f4182c ocamlx(Reachingdefs) = 96817ba344fa040cbf49a03f15828cd7 ocamlx(Rmtmps) = da7fff689fb6554800713ad012d5e3e2 ocamlx(Setp) = 0e656528ef5bfbba1f2c7f61f9af6569 ocamlx(Sfi) = 61024b93cce348d9d38ab9edfd646c6a ocamlx(Simplemem) = f1043fb6bdc9b1ed56b207744554151c ocamlx(Simplify) = 99dfa126134c7b0797d8189ebd7ad590 ocamlx(Ssa) = 142ba2a254d2e682a2468f3a39168e66 ocamlx(Stats) = 524390ead899ec6340cfe09f43cafacb ocamlx(Trace) = 1685d5109aea07b43ac48bc8c47cbf27 ocamlx(Uref) = a8e5e37213738815981d4110f8ab6a42 ocamlx(Usedef) = 34f5a5903fe0d6fecf25a4773e14a29f ocamlx(Util) = d14c86d5da0dcd9e893830128198ff15 ocamlx(Whitetrack) = 1d3e5aae91df6b70d032c7e830798901 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Alpha) = df15700f7494eb5ae35e11a32a4f8e3a ocaml(Big_int) = dc25ad7b2afd2f71d443df3e2841f7da ocaml(Bitmap) = 7f39de54cfc0e95ecaee2bb488d441d8 ocaml(Cabs) = cf383ca701c90e5d48f3dd722150cde3 ocaml(Cabs2cil) = 73d924963e2f4a9c934e01447b208474 ocaml(Cabshelper) = 4487b15dfa72ac2382440dd05e7fee09 ocaml(Cabsvisit) = c6772ba2c513455942a78f65b5502ec1 ocaml(Callgraph) = c966200cc5bbbe21dbd6627ada621959 ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1 ocaml(CamlinternalOO) = 9b49ddd063bfe999887d47e83d281c15 ocaml(Cfg) = 06d5d1466f1566f3aa72f7b4711564af ocaml(Cil) = 33c2edfc6b9c0d358b2bd80b0d8f57e3 ocaml(Cilint) = 9a745ed915633b56350eacb33d5b5f4b ocaml(Ciltools) = 1030759195598971b8b2bd4e733a74e2 ocaml(Cilutil) = c2a788854774cc5f93d08ca46271a43e ocaml(Cilversion) = b34ccafbddcf42b052165b856da32cec ocaml(Clexer) = 80387ad43bb1bb991b444c6d65637902 ocaml(Clist) = f181fcf6ca71f0e12df957ff5fb869f9 ocaml(Cparser) = 81c666ba23ca4b991a741eeaaa38faa0 ocaml(Cprint) = da05afeae6e3b119b5c2c36218465d72 ocaml(Dataflow) = 91c84d72d9a908ac35689466a2c67f08 ocaml(Errormsg) = 07baf304d21f9b4d0f3527f929f9329f ocaml(Escape) = fb2f039462803fb6b41016c82ee3c212 ocaml(Expcompare) = 2475a49dc8af9c10c2c926201da78eef ocaml(Formatlex) = 0fb2d2d17c86479b902ad472589aa738 ocaml(Formatparse) = 16ab84575bc1ca1481541fc62ecd6bd4 ocaml(Frontc) = 36256e4a3242422f2ddf60464653f4cf ocaml(GrowArray) = 5f200ab5ce4190ca50a92496cbe0edf4 ocaml(Heap) = f3312d277b681b0adb8702bd614dab29 ocaml(Inthash) = abdf389be3819d822f76d66214f2fae6 ocaml(Lexerhack) = a7b5a4acb5c31e12e2e0798b16bdc9b4 ocaml(Liveness) = 6c02c4520c0b19254aecc2382e8ea6c3 ocaml(Llvmgen) = 167883b59fc63370ab8ccef159eb51f0 ocaml(Llvmssa) = 2f546c001210dc7653a867fdb7eed224 ocaml(Llvmutils) = ea962336d044e6f820be20f725c5ebec ocaml(Longarray) = bf0cce26c78a9fac6941d03b27e5c164 ocaml(Machdep) = d885452db1a112aa42ad0764f1416c4b ocaml(Machdepenv) = e53c2dee562bb038ca14c3de1e0e17a4 ocaml(Mergecil) = d6734493f07643f8c2cd358f867f8d68 ocaml(Nat) = dfdbe60a61f9c757582fa2a9237dc807 ocaml(Olf) = f367dc08fa219dfcba0f26450bf43f5d ocaml(Patch) = 7cb7588a0d47bcf5a1d967cda755d0c7 ocaml(Pretty) = a9ddb0d9a4cccbc2b0a5e35ebc43bd12 ocaml(Ptranal) = c317a8992117188d5fadcf675b34bca7 ocaml(Reachingdefs) = 3bb151787d510dc50772379bb2b417e9 ocaml(Rmtmps) = 97c1a45d6a539951497b759f4ba735ae ocaml(Setp) = 573aa9311fe5adb7f9935f536a93be82 ocaml(Stats) = 3133f5c11b36948337bd8ca7a2161bc2 ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d ocaml(Stdlib__arg) = 93dbd397d18f68dd62193d6ee65a2b5a ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac ocaml(Stdlib__bigarray) = 8f51e488a7f2bd0c6137bb9ba75b530e ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481 ocaml(Stdlib__bytes) = 6f90f1d35d75f513a9ee53cebf3fbc27 ocaml(Stdlib__char) = cdee48235b2dbc08f40a0e2ec3824bc5 ocaml(Stdlib__complex) = 2221dce26021209ffd747f2125bf7f10 ocaml(Stdlib__filename) = b88c1b2c331fb92c75f13ee6d0d91977 ocaml(Stdlib__gc) = 5d6d09a276553c0d0c8ab63795fdc11d ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68 ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15 ocaml(Stdlib__lexing) = c57f9c5debbcb9d656c70b1e7385c4f9 ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea ocaml(Stdlib__map) = 9d421c1da8aa330b734c69f7a2083439 ocaml(Stdlib__marshal) = f10cafdc69861beae3d2842ec2be689c ocaml(Stdlib__nativeint) = 27bfaa776a5a329557cb5cebde7d21e0 ocaml(Stdlib__obj) = 387c3c41dccbee81a28b3728d6386b48 ocaml(Stdlib__parsing) = a1e21d363ae8b31ddf44cea20971b7de ocaml(Stdlib__pervasives) = 76119ce30941328f65713c9e5efa6ead ocaml(Stdlib__printexc) = 6e03ab07ea296513ab6af44b09129348 ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2 ocaml(Stdlib__queue) = dba3e985c9c4016dae4b6f6d2b228c73 ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88 ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e ocaml(Stdlib__stack) = 3162780e8eebf1e37f8a42417fa1fe4b ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9 ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520 ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96 ocaml(Str) = 69ca4b460c685490ba2f5d32f57b1172 ocaml(Trace) = 3b8116ae45b4040c7d448d6ab21ab19f ocaml(Unix) = e6d191b089c68976347fa6524bb28048 ocaml(Uref) = 287fa54cfef840e47e5d5272cf556b92 ocaml(Usedef) = b08f03d77a9618b773a59b7c6a1f8696 ocaml(Util) = 5a5fb353947dddf24593e942d2f2c93b ocaml(Whitetrack) = 7c270bc800dc38a299193915da5b84ca ocamlx(Alpha) = 2679c5ce48def1f975f52c182e37436e ocamlx(Big_int) = 85645abbce2e56fbf5c11dd604dbfdaa ocamlx(Bitmap) = 483ef5ecbc03864821eef0017245ef60 ocamlx(Cabs) = 68f2501d18c58204365ee73eb3adc4e2 ocamlx(Cabs2cil) = e736553c0a9d33cd93ab87c36047b184 ocamlx(Cabshelper) = 61a1352b49afa89ec7e42c6a152a18fc ocamlx(Cabsvisit) = ad3f050e76cc5b15bfa39361996e9352 ocamlx(Callgraph) = d2331552f1339c3d63b927c53083763e ocamlx(CamlinternalOO) = 818e6c46ab4a8443ac6ca85a8f7a759e ocamlx(Cfg) = 316fa1727ed9954d20953aacb569f918 ocamlx(Cil) = 9e0911aee89ba83601c7aab461a3e2f2 ocamlx(Cilint) = 498934b8afea63a999f723c2f0c21b26 ocamlx(Ciltools) = 38d3a0f0dcc5a41cbef84f9c55ea23ce ocamlx(Cilutil) = 9f8eebca31c3296d8ce52c8e67645c1e ocamlx(Cilversion) = a6a735c7496191958dbaa5e773c6da13 ocamlx(Clexer) = cb199a5eda7fc6f2ede6d125e7be3c5b ocamlx(Clist) = a9bb6a75d27f023590fff90b51b5df04 ocamlx(Cparser) = b20cdc74c3740b3cc5e9e2a7d336b05e ocamlx(Cprint) = 8f747d1d92c14e2114ba8b90402bdf07 ocamlx(Dataflow) = 1d5994021431b625e23511c8be68a3ea ocamlx(Errormsg) = 0bcb9a275a5f963bfa9b0a2b4cf6174a ocamlx(Escape) = 71fc39c4d69665d81863c24099017df9 ocamlx(Expcompare) = 46ce0d3c7f1280be380b7d601d0e989b ocamlx(Formatlex) = 42fca4834926113cd59aa612690e9362 ocamlx(Formatparse) = 10eabcf546ad8fdb8808afddd1968628 ocamlx(Frontc) = 6c4b83089b0224c66805292699503351 ocamlx(GrowArray) = 10c2a8bbdfeae1c40303638a5f66041e ocamlx(Heap) = 9c546712b0ed3d7609e5b110fbfbd45d ocamlx(Inthash) = bbc41d13b3d106abac42ee326a0880bb ocamlx(Lexerhack) = c3255cd0e02fda9a85a1bc9f4228e959 ocamlx(Liveness) = 3dc1f9fa2d99d8c763d19d85e15ff777 ocamlx(Llvmgen) = 853f28abad2ed63eea73d8022b633ac1 ocamlx(Llvmssa) = 871d02d3a1b5190e2715898ee50e0c59 ocamlx(Llvmutils) = a9c7ac18b7eac967b1c515fdf3658937 ocamlx(Longarray) = 31eb616a1b6ae1a256894a954f7aa62b ocamlx(Machdep) = 02e208a9a7589ea5315fe7c64f2d1ad8 ocamlx(Machdepenv) = 9c0c5848711bee76b1b291413c34575f ocamlx(Mergecil) = d8168dff3a745cb31a6ceeef7919ab5b ocamlx(Olf) = 26fcb19524fb6804d52890526aa95697 ocamlx(Patch) = 5df34d6d2c77eef24fe6f00ccae83777 ocamlx(Pretty) = d46ee9a5fe180f5f4427ba044b50e665 ocamlx(Ptranal) = a777881837143c9c6a2ac348d4f4182c ocamlx(Reachingdefs) = 96817ba344fa040cbf49a03f15828cd7 ocamlx(Rmtmps) = da7fff689fb6554800713ad012d5e3e2 ocamlx(Setp) = 0e656528ef5bfbba1f2c7f61f9af6569 ocamlx(Stats) = 524390ead899ec6340cfe09f43cafacb ocamlx(Stdlib) = 5b1118fc938423037933e63643e9f671 ocamlx(Stdlib__arg) = 25ea00640d703884b8b4589c74ebdbf5 ocamlx(Stdlib__array) = 0dbd6c995df0b55845288210130d2cf1 ocamlx(Stdlib__buffer) = f22873239984f2016980d0036e303f3b ocamlx(Stdlib__bytes) = 09fe099de18a854118ae424d323d647d ocamlx(Stdlib__char) = 7b7186d6c98477a903c0419b05d039b1 ocamlx(Stdlib__filename) = 5f6f0871c1d979b738f1c05ca925ab1f ocamlx(Stdlib__gc) = 29b6100ccd5259222943bb7893c32328 ocamlx(Stdlib__hashtbl) = 3a70d43892d6822a86672d0da0646fa3 ocamlx(Stdlib__int32) = 65ea537b9e025c26276d03df060a65f2 ocamlx(Stdlib__int64) = 02b7b393268ee7df12138125730d59dc ocamlx(Stdlib__lexing) = 9e7aedf0363f47c6cd9aa60c674f1166 ocamlx(Stdlib__list) = 1f9660a314f1e6cb5f40359d9d3b2f29 ocamlx(Stdlib__map) = c699e5cde8326fd8cd09a489d07a608c ocamlx(Stdlib__marshal) = c0b310cf9c343ec981764a8ee6e15de4 ocamlx(Stdlib__nativeint) = 2311a6c109c284364db1552a0383222b ocamlx(Stdlib__parsing) = 613ba5ae27ea1f8c16b43e33844f8210 ocamlx(Stdlib__printexc) = cf5bb09deb1af3adf7022500e65bbdeb ocamlx(Stdlib__printf) = ed32309c6fdb9909e2ec1cda5118b14c ocamlx(Stdlib__queue) = 432c45a2f2ee53c628fda5204d77ea19 ocamlx(Stdlib__set) = 01d0584203a512f960682dd911d9ba1f ocamlx(Stdlib__stack) = 09366d1a093d5b06c46fe6a7e2f65625 ocamlx(Stdlib__string) = 9693062f8b4045a04e0d3ae8d45a36af ocamlx(Stdlib__sys) = 82cfd264b7875618ee810e8d1f8fa532 ocamlx(Str) = e3cf254b9d6b10e0d30744d8875e4d29 ocamlx(Trace) = 1685d5109aea07b43ac48bc8c47cbf27 ocamlx(Unix) = 6ae341e93ce7dc9d984cb474111ecd75 ocamlx(Uref) = a8e5e37213738815981d4110f8ab6a42 ocamlx(Usedef) = 34f5a5903fe0d6fecf25a4773e14a29f ocamlx(Util) = d14c86d5da0dcd9e893830128198ff15 ocamlx(Whitetrack) = 1d3e5aae91df6b70d032c7e830798901 Processing files: ocaml-cil-doc-1.7.3-65.fc33.1.rvre0.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.9WFjRp + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.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-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-doc + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-doc + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.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-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml-cil-doc = 1.7.3-65.fc33.1.rvre0 ocaml-cil-doc(riscv-64) = 1.7.3-65.fc33.1.rvre0 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-65.fc33.1.rvre0.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.a2h7Ns + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.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-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-cilly + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-cilly + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64/usr/share/doc/ocaml-cil-cilly + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml-cil-cilly = 1.7.3-65.fc33.1.rvre0 ocaml-cil-cilly(riscv-64) = 1.7.3-65.fc33.1.rvre0 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) Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 Wrote: /builddir/build/RPMS/ocaml-cil-doc-1.7.3-65.fc33.1.rvre0.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-cil-devel-1.7.3-65.fc33.1.rvre0.riscv64.rpm Wrote: /builddir/build/RPMS/ocaml-cil-cilly-1.7.3-65.fc33.1.rvre0.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.PEwINp + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-65.fc33.1.rvre0.riscv64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0