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-191950-46457/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fdf464700>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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\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=1587427200
Wrote: /builddir/build/SRPMS/ocaml-cil-1.7.3-59.fc33.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-191950-46457/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3fdf464700>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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1587427200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.75eJ3D
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf cil-1.7.3
+ /usr/bin/gzip -dc /builddir/build/SOURCES/cil-1.7.3.tar.gz
+ /usr/bin/tar -xof -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd cil-1.7.3
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ echo 'Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch):'
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
Patch #2 (cil-1.7.3-enable-ocamlopt-g.patch):
+ echo 'Patch #2 (cil-1.7.3-enable-ocamlopt-g.patch):'
+ /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0
patching file _tags
Patch #3 (cil-1.7.3-add-package-cilconfig.patch):
+ echo '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
Patch #4 (ocaml-4.02.0.patch):
+ echo 'Patch #4 (ocaml-4.02.0.patch):'
+ /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0
patching file ocamlutil/pretty.ml
Patch #6 (cil-1.7.3-gcc-7.patch):
+ echo '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.rQUkaF
+ umask 022
+ cd /builddir/build/BUILD
+ cd cil-1.7.3
+ export PERL_MM_OPT=INSTALLDIRS=vendor
+ PERL_MM_OPT=INSTALLDIRS=vendor
+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CFLAGS
+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection'
+ export CXXFLAGS
+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FFLAGS
+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules'
+ export FCFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ '[' 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... no
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking for a BSD-compatible install... /usr/bin/install -c
checking build system type... riscv64-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.0+dev0-2019-10-18
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 -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/pretty.cmi ocamlutil/pretty.mli
/usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/alpha.cmi ocamlutil/alpha.mli
/usr/bin/ocamldep.opt -modules ocamlutil/alpha.ml > ocamlutil/alpha.ml.depends
/usr/bin/ocamldep.opt -modules ocamlutil/errormsg.mli > ocamlutil/errormsg.mli.depends
/usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/errormsg.cmi ocamlutil/errormsg.mli
/usr/bin/ocamldep.opt -modules src/ext/availexps.ml > src/ext/availexps.ml.depends
/usr/bin/ocamldep.opt -modules src/cil.mli > src/cil.mli.depends
/usr/bin/ocamldep.opt -modules src/cilint.mli > src/cilint.mli.depends
make -C .. _build/machdep.ml
+ make -C .. _build/machdep.ml
make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3'
src/machdep-ml.c: In function 'main':
src/machdep-ml.c:106:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  106 |     alignof_short = (int)(&((struct shortstruct*)0)->s);
      |                     ^
src/machdep-ml.c:115:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  115 |     alignof_int = (int)(&((struct intstruct*)0)->i);
      |                   ^
src/machdep-ml.c:124:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  124 |     alignof_bool = (int)(&((struct boolstruct*)0)->b);
      |                    ^
src/machdep-ml.c:133:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  133 |     alignof_long = (int)(&((struct longstruct*)0)->l);
      |                    ^
src/machdep-ml.c:142:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  142 |     alignof_longlong = (int)(&((struct longlong*)0)->ll);
      |                        ^
src/machdep-ml.c:151:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  151 |     alignof_ptr = (int)(&((struct ptrstruct*)0)->p);
      |                   ^
src/machdep-ml.c:160:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  160 |     alignof_enum = (int)(&((struct enumstruct*)0)->e);
      |                    ^
src/machdep-ml.c:169:21: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  169 |     alignof_float = (int)(&((struct floatstruct*)0)->f);
      |                     ^
src/machdep-ml.c:178:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  178 |     alignof_double = (int)(&((struct s1*)0)->d);
      |                      ^
src/machdep-ml.c:187:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  187 |     alignof_longdouble = (int)(&((struct s1*)0)->ld);
      |                          ^
machdep-ml.exe created succesfully.
Generating machine dependency information for CIL
/bin/sh: cl: command not found
make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3'
/usr/bin/ocamldep.opt -modules machdep.ml > machdep.ml.depends
/usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilint.cmi src/cilint.mli
/usr/bin/ocamlc.opt -c -g -I 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 -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmi src/cil.mli
/usr/bin/ocamldep.opt -modules ocamlutil/inthash.mli > ocamlutil/inthash.mli.depends
/usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmi ocamlutil/inthash.mli
/usr/bin/ocamldep.opt -modules src/ext/expcompare.ml > src/ext/expcompare.ml.depends
/usr/bin/ocamldep.opt -modules ocamlutil/util.mli > ocamlutil/util.mli.depends
/usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/util.cmi ocamlutil/util.mli
/usr/bin/ocamldep.opt -modules ocamlutil/stats.mli > ocamlutil/stats.mli.depends
/usr/bin/ocamldep.opt -modules src/ext/usedef.ml > src/ext/usedef.ml.depends
/usr/bin/ocamlc.opt -c -I src/ext -I 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 -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 -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 -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 -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/growArray.cmi ocamlutil/growArray.mli
/usr/bin/ocamldep.opt -modules src/frontc/cabsvisit.mli > src/frontc/cabsvisit.mli.depends
/usr/bin/ocamldep.opt -modules src/cilutil.ml > src/cilutil.ml.depends
/usr/bin/ocamldep.opt -modules src/frontc/cprint.ml > src/frontc/cprint.ml.depends
/usr/bin/ocamldep.opt -modules src/escape.mli > src/escape.mli.depends
/usr/bin/ocamldep.opt -modules src/frontc/whitetrack.mli > src/frontc/whitetrack.mli.depends
/usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/escape.cmi src/escape.mli
/usr/bin/ocamlc.opt -c -I src/frontc -I 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 -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 -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/trace.cmi ocamlutil/trace.mli
/usr/bin/ocamldep.opt -modules src/frontc/cabsvisit.ml > src/frontc/cabsvisit.ml.depends
/usr/bin/ocamldep.opt -modules src/ext/callgraph.mli > src/ext/callgraph.mli.depends
/usr/bin/ocamlc.opt -c -I src/ext -I 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 -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 -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 -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 -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/clist.cmi ocamlutil/clist.mli
/usr/bin/ocamldep.opt -modules src/cilint.ml > src/cilint.ml.depends
/usr/bin/ocamldep.opt -modules src/cillower.mli > src/cillower.mli.depends
/usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cillower.cmi src/cillower.mli
/usr/bin/ocamldep.opt -modules src/cillower.ml > src/cillower.ml.depends
/usr/bin/ocamldep.opt -modules src/ciloptions.mli > src/ciloptions.mli.depends
/usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/ciloptions.cmi src/ciloptions.mli
/usr/bin/ocamldep.opt -modules src/ciloptions.ml > src/ciloptions.ml.depends
/usr/bin/ocamldep.opt -modules src/frontc/frontc.mli > src/frontc/frontc.mli.depends
/usr/bin/ocamldep.opt -modules src/machdepenv.ml > src/machdepenv.ml.depends
/usr/bin/ocamldep.opt -modules src/mergecil.mli > src/mergecil.mli.depends
/usr/bin/ocamldep.opt -modules src/rmtmps.mli > src/rmtmps.mli.depends
/usr/bin/ocamlc.opt -c -I src/frontc -I 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 -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/mergecil.cmi src/mergecil.mli
/usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmi src/rmtmps.mli
/usr/bin/ocamldep.opt -modules src/ext/ciltools.ml > src/ext/ciltools.ml.depends
/usr/bin/ocamldep.opt -modules src/frontc/clexer.mli > src/frontc/clexer.mli.depends
/usr/bin/ocamlyacc src/frontc/cparser.mly
+ /usr/bin/ocamlyacc src/frontc/cparser.mly
1 shift/reduce conflict.
/usr/bin/ocamldep.opt -modules src/frontc/cparser.mli > src/frontc/cparser.mli.depends
/usr/bin/ocamlc.opt -c -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cparser.cmi src/frontc/cparser.mli
/usr/bin/ocamlc.opt -c -I src/frontc -I 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 -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 -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 -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatcil.cmi src/formatcil.mli
/usr/bin/ocamldep.opt -modules src/formatcil.ml > src/formatcil.ml.depends
/usr/bin/ocamllex.opt -q src/formatlex.mll
/usr/bin/ocamldep.opt -modules src/formatlex.ml > src/formatlex.ml.depends
/usr/bin/ocamlyacc src/formatparse.mly
/usr/bin/ocamldep.opt -modules src/formatparse.mli > src/formatparse.mli.depends
/usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatparse.cmi src/formatparse.mli
/usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatlex.cmo src/formatlex.ml
/usr/bin/ocamldep.opt -modules src/formatparse.ml > src/formatparse.ml.depends
/usr/bin/ocamldep.opt -modules src/frontc/frontc.ml > src/frontc/frontc.ml.depends
/usr/bin/ocamldep.opt -modules src/frontc/patch.mli > src/frontc/patch.mli.depends
/usr/bin/ocamlc.opt -c -I src/frontc -I 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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/CilConfig.pm blib/lib/App/Cilly/CilConfig.pm
cp App/Cilly/TempFile.pm blib/lib/App/Cilly/TempFile.pm
cp App/Cilly/OutputFile.pm blib/lib/App/Cilly/OutputFile.pm
cp App/Cilly/KeptFile.pm blib/lib/App/Cilly/KeptFile.pm
cp App/Cilly.pm blib/lib/App/Cilly.pm
cp ../bin/cilly blib/script/cilly
"/usr/bin/perl" -MExtUtils::MY -e 'MY->fixin(shift)' -- blib/script/cilly
make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3/lib'
rm -rf doc/html/cil
mkdir -p doc/html/cil
mkdir -p doc/html/cil/examples
cd doc; perl cilcode.pl cil.tex >cilpp.tex.tmp
***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.037 s
  parse                           0.008 s
  convert to CIL                  0.024 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/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.017 s
  parse                           0.006 s
  convert to CIL                  0.007 s
  printCIL                        0.003 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.029 s
  parse                           0.008 s
  convert to CIL                  0.014 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/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.039 s
  parse                           0.008 s
  convert to CIL                  0.024 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/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.024 s
  parse                           0.007 s
  convert to CIL                  0.012 s
  printCIL                        0.005 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.025 s
  parse                           0.003 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.029 s
  parse                           0.000 s
  convert to CIL                  0.021 s
  printCIL                        0.008 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.024 s
  parse                           0.004 s
  convert to CIL                  0.018 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/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.031 s
  parse                           0.007 s
  convert to CIL                  0.019 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.028 s
  parse                           0.006 s
  convert to CIL                  0.017 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.021 s
  parse                           0.006 s
  convert to CIL                  0.012 s
  printCIL                        0.003 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.163 s
  parse                           0.133 s
  convert to CIL                  0.024 s
  printCIL                        0.006 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.020 s
  parse                           0.007 s
  convert to CIL                  0.011 s
  printCIL                        0.002 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.016 s
  parse                           0.004 s
  convert to CIL                  0.009 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/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.013 s
  parse                           0.006 s
  convert to CIL                  0.005 s
  printCIL                        0.002 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.014 s
  parse                           0.002 s
  convert to CIL                  0.010 s
  printCIL                        0.002 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.039 s
  parse                           0.009 s
  convert to CIL                  0.024 s
  printCIL                        0.006 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.011 s
  parse                           0.003 s
  convert to CIL                  0.009 s
  printCIL                        0.000 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.034 s
  parse                           0.008 s
  convert to CIL                  0.022 s
  printCIL                        0.004 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.035 s
  parse                           0.008 s
  convert to CIL                  0.022 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/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.025 s
  parse                           0.003 s
  convert to CIL                  0.019 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/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.122 s
  parse                           0.074 s
  convert to CIL                  0.048 s
  printCIL                        0.000 s
Timing used
Memory statistics: total=6.10MB, max=1.02MB, minor=6.07MB, 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.036 s
  parse                           0.008 s
  convert to CIL                  0.015 s
  makeCFG                         0.004 s
  printCIL                        0.009 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.031 s
  parse                           0.007 s
  convert to CIL                  0.011 s
  stackGuard                      0.001 s
  printCIL                        0.012 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 '<stdlib.h>' or provide a declaration of 'malloc'
  +++ |+#include <stdlib.h>
    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 '<stdlib.h>' 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 '<stdio.h>'
    2 |     char array[10];
  +++ |+#include <stdio.h>
    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.043 s
  parse                           0.000 s
  convert to CIL                  0.028 s
  heapify                         0.003 s
  printCIL                        0.013 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 '<stdio.h>'
    2 |     char array[10];
  +++ |+#include <stdio.h>
    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 '<stdlib.h>' or provide a declaration of 'malloc'
  +++ |+#include <stdlib.h>
    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 '<stdlib.h>' or provide a declaration of 'free'
    3 |     scanf("%s",array); // possible buffer overrun!
  +++ |+#include <stdlib.h>
    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.041 s
  parse                           0.009 s
  convert to CIL                  0.024 s
  oneRet                          0.001 s
  printCIL                        0.007 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.072 s
  parse                           0.011 s
  convert to CIL                  0.042 s
  makeCFG                         0.002 s
  partial                         0.005 s
  printCIL                        0.011 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.053 s
  parse                           0.009 s
  convert to CIL                  0.036 s
  simpleMem                       0.002 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/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.068 s
  parse                           0.011 s
  convert to CIL                  0.032 s
  simplify                        0.014 s
  printCIL                        0.011 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.029 s
  parse                           0.005 s
  convert to CIL                  0.024 s
  printCIL                        0.000 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.043 s
  parse                           0.008 s
  convert to CIL                  0.029 s
  printCIL                        0.006 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.018 s
  parse                           0.003 s
  convert to CIL                  0.010 s
  printCIL                        0.005 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.026 s
  parse                           0.004 s
  convert to CIL                  0.017 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.025 s
  parse                           0.002 s
  convert to CIL                  0.018 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.055 s
  parse                           0.012 s
  convert to CIL                  0.032 s
  printCIL                        0.010 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.034 s
  parse                           0.007 s
  convert to CIL                  0.021 s
  printCIL                        0.007 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.032 s
  parse                           0.008 s
  convert to CIL                  0.022 s
  printCIL                        0.003 s
Timing used
Memory statistics: total=2.43MB, max=1.02MB, minor=2.40MB, major=0.39MB, 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.021 s
  parse                           0.009 s
  convert to CIL                  0.008 s
  printCIL                        0.004 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.033 s
  parse                           0.008 s
  convert to CIL                  0.022 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/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.028 s
  parse                           0.004 s
  convert to CIL                  0.020 s
  printCIL                        0.004 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.030 s
  parse                           0.004 s
  convert to CIL                  0.020 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.059 s
  parse                           0.011 s
  convert to CIL                  0.037 s
  printCIL                        0.011 s
Timing used
Memory statistics: total=2.62MB, max=1.02MB, minor=2.58MB, major=0.40MB, 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 '<stdlib.h>'
   17 | int main(void){
  +++ |+#include <stdlib.h>
   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.040 s
  parse                           0.008 s
  convert to CIL                  0.024 s
  printCIL                        0.007 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.046 s
  parse                           0.010 s
  convert to CIL                  0.029 s
  printCIL                        0.007 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.049 s
  parse                           0.008 s
  convert to CIL                  0.036 s
  printCIL                        0.005 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.026 s
  parse                           0.008 s
  convert to CIL                  0.015 s
  printCIL                        0.004 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.030 s
  parse                           0.004 s
  convert to CIL                  0.017 s
  printCIL                        0.008 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.042 s
  parse                           0.009 s
  convert to CIL                  0.026 s
  printCIL                        0.007 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.20 (TeX Live 2019) (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/.texlive2019/texmf-config/web2c/fmtutil.cnf
mktexfmt [INFO]: writing formats under /builddir/.texlive2019/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.20 (TeX Live 2019) (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 <2018-12-01>
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/t1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def)
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def)
(/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/t1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu)
(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))
 ) )
Beginning to dump on file pdflatex.fmt
 (preloaded format=pdflatex 2020.4.30)
5447 strings of total length 72682
51327 memory locations dumped; current usage is 144&51153
3775 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
3633 words of font info for 14 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]: /builddir/.texlive2019/texmf-var/web2c/pdftex/pdflatex.fmt installed.
mktexfmt [INFO]: Successfully rebuilt formats: 1
mktexfmt [INFO]: Not selected formats: 15
mktexfmt [INFO]: Total formats: 16
mktexfmt [INFO]: exiting with status 0
entering extended mode
(./cilpp.tex
LaTeX2e <2018-12-01>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2018/09/03 v1.4i Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty
(./comment.sty Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly') (./fullpage.sty
Style Option FULLPAGE Version 2 as of 15 Dec 1988
) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty)
\@input{cil.version.aux}
(./cil.version.tex) (./cilpp.aux)
LaTeX Warning: No \author given.
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [1{/usr/share/texlive/
texmf-dist/fonts/map/pdftex/updmap/pdftex.map}]
LaTeX Warning: Reference `sec-changes' on page 2 undefined on input line 211.
Overfull \hbox (134.497pt too wide) in paragraph at lines 207--212
[]\OT1/cmr/m/n/10 Download the CIL dis-tri-bu-tion (lat-est ver-sion is \OT1/cm
tt/m/n/10 http://sourceforge.net/projects/cil/files/cil/cil-1.7.3.tar.gz\OT1/cm
r/m/n/10 ).
Underfull \hbox (badness 10000) in paragraph at lines 230--237
[2] [3] [4] [5] [6] [7] [8] [9] [10]
Overfull \hbox (18.31773pt too wide) in paragraph at lines 846--852
\OT1/cmr/m/n/10 CIL can also be built as a li-brary that is called from your st
and-alone ap-pli-ca-tion. Add \OT1/cmtt/m/n/10 cil/src\OT1/cmr/m/n/10 , \OT1/cm
tt/m/n/10 cil/src/frontc\OT1/cmr/m/n/10 ,
[11]
Overfull \hbox (0.28816pt too wide) in paragraph at lines 853--863
\OT1/cmr/m/n/10 tain-ing the out-put of the C pre-pro-ces-sor. The \OT1/cmtt/m/
n/10 Mergecil.merge: Cil.file list -> string -> Cil.file
Overfull \hbox (13.26088pt too wide) in paragraph at lines 853--863
\OT1/cmtt/m/n/10 Cil.file -> unit \OT1/cmr/m/n/10 to print the file to a given 
out-put chan-nel. A good \OT1/cmtt/m/n/10 cilPrinter \OT1/cmr/m/n/10 to use is 
\OT1/cmtt/m/n/10 defaultCilPrinter\OT1/cmr/m/n/10 . 
[12] [13] [14] [15] [16] [17] [18] [19] [20]
Overfull \hbox (38.69044pt too wide) in paragraph at lines 1465--1468
[]\OT1/cmr/m/n/10 section, con-struc-tor, de-struc-tor, un-used, weak, no[]inst
rument[]function, nore-turn, alias, no[]check[]memory[]usage,
[21] [22] [23] [24]
Overfull \hbox (42.61479pt too wide) in paragraph at lines 1800--1802
[]\OT1/cmtt/m/n/10 --dopartial\OT1/cmr/m/n/10 . Do in-ter-pro-ce-du-ral par-tia
l eval-u-a-tion and con-stant fold-ing. Im-ple-mented in \OT1/cmtt/m/n/10 src/e
xt/partial.ml\OT1/cmr/m/n/10 . 
[25] [26] [27] [28]
Overfull \hbox (0.68095pt too wide) in paragraph at lines 2051--2055
[]\OT1/cmtt/m/n/10 Ptranal.conservative[]undefineds: bool ref\OT1/cmr/m/n/10 . 
Make the most pes-simistic as-sump-tions about glob-
[29] [30] [31]
Overfull \hbox (15.966pt too wide) in paragraph at lines 2301--2304
[]\OT1/cmtt/m/n/10 AvailableExps.stmtStartData \OT1/cmr/m/n/10 -- Con-tains ava
il-able ex-pres-sions data for each state-ment af-ter \OT1/cmtt/m/n/10 computeA
Es
[32] [33] [34] [35] [36]
Overfull \hbox (24.20659pt too wide) in paragraph at lines 2673--2683
[]\OT1/cmr/m/n/10 By de-fault, CIL fol-lows the cur-rent gcc be-hav-ior for ex-
tern in-line. How-ever, if you set \OT1/cmtt/m/n/10 oldstyleExternInline
[37]
Overfull \hbox (11.99518pt too wide) in paragraph at lines 2782--2787
[]\OT1/cmr/m/n/10 File-scope names (\OT1/cmtt/m/n/10 static \OT1/cmr/m/n/10 glo
b-als, names of types de-fined with \OT1/cmtt/m/n/10 typedef\OT1/cmr/m/n/10 , a
nd struc-ture/union/enumeration
[38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] (./cilpp.aux)
LaTeX Warning: There were undefined references.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
 )
(see the transcript file for additional information)</usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/ams
fonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb>
Output written on cilpp.pdf (48 pages, 258999 bytes).
Transcript written on cilpp.log.
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./cilpp.tex
LaTeX2e <2018-12-01>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2018/09/03 v1.4i Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty
(./comment.sty Excluding comment 'comment') Excluding comment 'rawhtml'
Excluding comment 'htmlonly') (./fullpage.sty
Style Option FULLPAGE Version 2 as of 15 Dec 1988
) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty)
\@input{cil.version.aux}
(./cil.version.tex) (./cilpp.aux)
LaTeX Warning: No \author given.
(/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [1{/usr/share/texlive/
texmf-dist/fonts/map/pdftex/updmap/pdftex.map}]
LaTeX Warning: Reference `sec-changes' on page 2 undefined on input line 211.
Overfull \hbox (134.497pt too wide) in paragraph at lines 207--212
[]\OT1/cmr/m/n/10 Download the CIL dis-tri-bu-tion (lat-est ver-sion is \OT1/cm
tt/m/n/10 http://sourceforge.net/projects/cil/files/cil/cil-1.7.3.tar.gz\OT1/cm
r/m/n/10 ).
Underfull \hbox (badness 10000) in paragraph at lines 230--237
[2] [3] [4] [5] [6] [7] [8] [9] [10]
Overfull \hbox (18.31773pt too wide) in paragraph at lines 846--852
\OT1/cmr/m/n/10 CIL can also be built as a li-brary that is called from your st
and-alone ap-pli-ca-tion. Add \OT1/cmtt/m/n/10 cil/src\OT1/cmr/m/n/10 , \OT1/cm
tt/m/n/10 cil/src/frontc\OT1/cmr/m/n/10 ,
[11]
Overfull \hbox (0.28816pt too wide) in paragraph at lines 853--863
\OT1/cmr/m/n/10 tain-ing the out-put of the C pre-pro-ces-sor. The \OT1/cmtt/m/
n/10 Mergecil.merge: Cil.file list -> string -> Cil.file
Overfull \hbox (13.26088pt too wide) in paragraph at lines 853--863
\OT1/cmtt/m/n/10 Cil.file -> unit \OT1/cmr/m/n/10 to print the file to a given 
out-put chan-nel. A good \OT1/cmtt/m/n/10 cilPrinter \OT1/cmr/m/n/10 to use is 
\OT1/cmtt/m/n/10 defaultCilPrinter\OT1/cmr/m/n/10 . 
[12] [13] [14] [15] [16] [17] [18] [19] [20]
Overfull \hbox (38.69044pt too wide) in paragraph at lines 1465--1468
[]\OT1/cmr/m/n/10 section, con-struc-tor, de-struc-tor, un-used, weak, no[]inst
rument[]function, nore-turn, alias, no[]check[]memory[]usage,
[21] [22] [23] [24]
Overfull \hbox (42.61479pt too wide) in paragraph at lines 1800--1802
[]\OT1/cmtt/m/n/10 --dopartial\OT1/cmr/m/n/10 . Do in-ter-pro-ce-du-ral par-tia
l eval-u-a-tion and con-stant fold-ing. Im-ple-mented in \OT1/cmtt/m/n/10 src/e
xt/partial.ml\OT1/cmr/m/n/10 . 
[25] [26] [27] [28]
Overfull \hbox (0.68095pt too wide) in paragraph at lines 2051--2055
[]\OT1/cmtt/m/n/10 Ptranal.conservative[]undefineds: bool ref\OT1/cmr/m/n/10 . 
Make the most pes-simistic as-sump-tions about glob-
[29] [30] [31]
Overfull \hbox (15.966pt too wide) in paragraph at lines 2301--2304
[]\OT1/cmtt/m/n/10 AvailableExps.stmtStartData \OT1/cmr/m/n/10 -- Con-tains ava
il-able ex-pres-sions data for each state-ment af-ter \OT1/cmtt/m/n/10 computeA
Es
[32] [33] [34] [35] [36]
Overfull \hbox (24.20659pt too wide) in paragraph at lines 2673--2683
[]\OT1/cmr/m/n/10 By de-fault, CIL fol-lows the cur-rent gcc be-hav-ior for ex-
tern in-line. How-ever, if you set \OT1/cmtt/m/n/10 oldstyleExternInline
[37]
Overfull \hbox (11.99518pt too wide) in paragraph at lines 2782--2787
[]\OT1/cmr/m/n/10 File-scope names (\OT1/cmtt/m/n/10 static \OT1/cmr/m/n/10 glo
b-als, names of types de-fined with \OT1/cmtt/m/n/10 typedef\OT1/cmr/m/n/10 , a
nd struc-ture/union/enumeration
[38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] (./cilpp.aux)
LaTeX Warning: There were undefined references.
 )
(see the transcript file for additional information)</usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/ams
fonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/c
m/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb>
Output written on cilpp.pdf (48 pages, 258999 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 -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.JrJSeH
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64
++ dirname /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64
+ cd cil-1.7.3
+ export DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64
+ DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64
+ export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml
+ OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml
+ mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml
+ make DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.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-59.fc33.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-59.fc33.riscv64/usr/lib64/ocaml/cil/whitetrack.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/whitetrack.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/whitetrack.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/util.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/util.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/util.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/usedef.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/usedef.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/usedef.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/uref.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/uref.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/uref.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/trace.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/trace.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/trace.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/stats.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/stats.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/stats.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ssa.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ssa.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ssa.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/simplify.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/simplify.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/simplify.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/simplemem.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/simplemem.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/simplemem.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/sfi.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/sfi.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/sfi.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/setp.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/setp.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/setp.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/rmtmps.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/rmtmps.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/rmtmps.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/reachingdefs.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/reachingdefs.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/reachingdefs.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ptranal.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ptranal.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ptranal.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/pretty.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/pretty.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/pretty.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/predabst.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/predabst.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/predabst.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/patch.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/patch.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/patch.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/partial.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/partial.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/partial.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/oneret.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/oneret.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/oneret.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/olf.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/olf.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/olf.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/mergecil.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/mergecil.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/mergecil.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/machdepenv.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/machdepenv.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/machdepenv.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/machdep.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/machdep.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/machdep.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/longarray.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/longarray.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/longarray.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/logwrites.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/logwrites.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/logwrites.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/logcalls.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/logcalls.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/logcalls.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmutils.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmutils.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmutils.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmssa.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmssa.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmssa.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmgen.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmgen.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvmgen.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvm.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvm.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/llvm.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/liveness.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/liveness.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/liveness.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/lexerhack.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/lexerhack.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/lexerhack.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/inthash.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/inthash.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/inthash.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/heapify.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/heapify.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/heapify.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/heap.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/heap.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/heap.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/growArray.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/growArray.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/growArray.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/frontc.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/frontc.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/frontc.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatparse.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatparse.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatparse.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatlex.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatlex.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatlex.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatcil.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatcil.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/formatcil.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/feature_config.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/feature_config.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/feature_config.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/expcompare.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/expcompare.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/expcompare.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/escape.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/escape.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/escape.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/errormsg.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/errormsg.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/errormsg.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/epicenter.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/epicenter.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/epicenter.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dominators.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dominators.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dominators.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/deadcodeelim.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/deadcodeelim.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/deadcodeelim.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dataslicing.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dataslicing.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dataslicing.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dataflow.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dataflow.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/dataflow.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cprint.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cprint.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cprint.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cparser.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cparser.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cparser.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/clist.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/clist.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/clist.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/clexer.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/clexer.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/clexer.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilversion.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilversion.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilversion.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilutil.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilutil.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilutil.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ciltools.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ciltools.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ciltools.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ciloptions.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ciloptions.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/ciloptions.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cillower.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cillower.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cillower.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilint.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilint.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cilint.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cil.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cil.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cil.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/check.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/check.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/check.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cfg.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cfg.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cfg.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/canonicalize.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/canonicalize.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/canonicalize.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/callgraph.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/callgraph.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/callgraph.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabsvisit.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabsvisit.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabsvisit.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabshelper.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabshelper.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabshelper.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabs2cil.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabs2cil.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabs2cil.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabs.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabs.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cabs.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/bitmap.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/bitmap.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/bitmap.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/availexpslv.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/availexpslv.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/availexpslv.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/availexps.inferred.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/availexps.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/availexps.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/alpha.mli
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/alpha.cmx
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/alpha.cmi
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cil.a
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cil.cmxa
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/lib64/ocaml/cil/cil.cma
Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.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-59.fc33.riscv64/usr/share/perl5/vendor_perl/App/Cilly.pm
Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/perl5/vendor_perl/App/Cilly/KeptFile.pm
Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/perl5/vendor_perl/App/Cilly/OutputFile.pm
Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/perl5/vendor_perl/App/Cilly/TempFile.pm
Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/perl5/vendor_perl/App/Cilly/CilConfig.pm
Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.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-59.fc33.riscv64/usr/bin
+ find /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64 -name .packlist -type f -exec rm -f '{}' ';'
+ mkdir -p doc/ocaml-cil/html
+ cp -r doc/html/cil/api doc/ocaml-cil/html
+ cp -r doc/html/cil/examples doc/ocaml-cil/html
+ cp doc/html/cil/attributes.html doc/html/cil/cil.html doc/html/cil/cil001.html doc/html/cil/cil002.html doc/html/cil/cil003.html doc/html/cil/cil004.html doc/html/cil/cil007.html doc/html/cil/cil009.html doc/html/cil/cil010.html doc/html/cil/cil011.html doc/html/cil/cil012.html doc/html/cil/cil015.html doc/html/cil/cil016.html doc/html/cil/cil017.html doc/html/cil/cil018.html doc/html/cil/cil019.html doc/html/cil/cilly.html doc/html/cil/ciltoc.html doc/html/cil/ext.html doc/html/cil/header.html doc/html/cil/index.html doc/html/cil/merger.html doc/html/cil/patcher.html doc/ocaml-cil/html/
+ cp doc/html/cil/cil.css doc/ocaml-cil/html/
+ cp doc/html/cil/contents_motif.svg doc/html/cil/next_motif.svg doc/html/cil/previous_motif.svg doc/ocaml-cil/html/
+ cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf
+ /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 1.7.3-59.fc33 --unique-debug-suffix -1.7.3-59.fc33.riscv64 --unique-debug-src-base ocaml-cil-1.7.3-59.fc33.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cil-1.7.3
explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/bin/cilly.native
extracting debug info from /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/bin/cilly.native
original debug info size: 1296kB, size after compression: 1300kB
/usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
cpio: _build/big_int.ml: Cannot stat: No such file or directory
cpio: _build/buffer.ml: Cannot stat: No such file or directory
cpio: _build/bytes.ml: Cannot stat: No such file or directory
cpio: _build/hashtbl.ml: Cannot stat: No such file or directory
cpio: _build/int64.ml: Cannot stat: No such file or directory
cpio: _build/lexing.ml: Cannot stat: No such file or directory
cpio: _build/list.ml: Cannot stat: No such file or directory
cpio: _build/parsing.ml: Cannot stat: No such file or directory
cpio: _build/printexc.ml: Cannot stat: No such file or directory
cpio: _build/printf.ml: Cannot stat: No such file or directory
cpio: _build/queue.ml: Cannot stat: No such file or directory
cpio: _build/set.ml: Cannot stat: No such file or directory
cpio: _build/stack.ml: Cannot stat: No such file or directory
cpio: _build/stdlib.ml: Cannot stat: No such file or directory
cpio: _build/str.ml: Cannot stat: No such file or directory
cpio: _build/string.ml: Cannot stat: No such file or directory
3302 blocks
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /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 /usr/bin/python 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.jTAdZF
+ 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.30 /usr/local/share/perl5/5.30 /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-59.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.FOaI9G
+ umask 022
+ cd /builddir/build/BUILD
+ cd cil-1.7.3
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.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-59.fc33.riscv64/usr/share/doc/ocaml-cil
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/doc/ocaml-cil
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/doc/ocaml-cil
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Alpha) = 1005887ae49bfcaf4c960c54fc1066ca ocaml(Availexps) = bbc105f010a5e51afc6890c7bc4e4765 ocaml(Availexpslv) = 1a7d869a241655546addac889a096d3a ocaml(Bitmap) = 5ea7dd911ed9eb357d87b3293e467cbe ocaml(Cabs) = 60db5f947a175fb30bd6b556632dfbe7 ocaml(Cabs2cil) = 691ab6429e248d4a52381576ddb08f6d ocaml(Cabshelper) = 32eb16f6a76106a6d03933febe8d7505 ocaml(Cabsvisit) = 4cada80c0e609b770466084fb0b583fb ocaml(Callgraph) = ced3bcf92ce1972e841953dad006467a ocaml(Canonicalize) = 503fb0aa98430aeb1ee9e7a7eeb82b0e ocaml(Cfg) = c0136a5b9e3d3dbcc84c4b233fdda902 ocaml(Check) = 961308ae9a4447624844ba3bc4e39701 ocaml(Cil) = 9d2677e95ad4a12ef919b99c706ab9b4 ocaml(Cilint) = 84584221647b1d0217346628323a5334 ocaml(Cillower) = 12366093a6a4022b01f34ab8396b88f8 ocaml(Ciloptions) = 3bf074aa91e462b5fb011a86f2b4a2df ocaml(Ciltools) = 23a394bb5d89bc0d4b1ef1c0e03bddd1 ocaml(Cilutil) = 3d6a0c2afe1bc3b46cb28da3c1be9f12 ocaml(Cilversion) = 4a81ddaab6b3b9ea8d212ca00dcdb8d1 ocaml(Clexer) = c755a3cfe14d4f052eac1bf49629abb9 ocaml(Clist) = 7f61230b82aa8fae62b5d86f9058a248 ocaml(Cparser) = 56540e0465cd4ddc1973108ad89f593f ocaml(Cprint) = 2a19c2317814bc86a385d631873442ba ocaml(Dataflow) = 17cb5ba05029a163b1681e7a5aca5746 ocaml(Dataslicing) = bffccae8a9ff2d6fa27242b2c6dfcae0 ocaml(Deadcodeelim) = a121a81611df39b8478b5bdb99236ae5 ocaml(Dominators) = 4c42b6ec38fec011afa1e3784d228814 ocaml(Epicenter) = 689addff80cc5bdb30d94705ef970f2b ocaml(Errormsg) = 6e9e178b7595d902e543caab06d09c0e ocaml(Escape) = 6d02e0c802699078018eadcd761c205a ocaml(Expcompare) = 9a49b8d1da85218220a0a714e85484fc ocaml(Feature_config) = f7b03e84289dbb7883003ed5dd191b19 ocaml(Formatcil) = 769d9414be391dc90b626a9e0c1f9543 ocaml(Formatlex) = 8a0bbf70dc62020163027abec851531e ocaml(Formatparse) = 5248d06bcb004062978bfc123a8f4d6c ocaml(Frontc) = d0182326b590c012575670bbfae67842 ocaml(GrowArray) = 0c00dce687ba9ca4a3b49b06ae79ba02 ocaml(Heap) = 3467832fd887093ddce7a4d3a15bb0be ocaml(Heapify) = bd53b86c4f7732feac58c508769752c5 ocaml(Inthash) = d8147359291cd58abe1f2e33120183ab ocaml(Lexerhack) = 571762d34a4ef51bdc367fe5df30545c ocaml(Liveness) = db1ee910006717b60c42d18d0e8969e5 ocaml(Llvm) = c2a8ffa5305780614cfe9a6b2c26d6f1 ocaml(Llvmgen) = 973fe3df6700baedc73ae79ace32c13d ocaml(Llvmssa) = 0a9a0090ce8badd2d1aca1d0845065e1 ocaml(Llvmutils) = 96f5a37201ccd16419be41a570da05a9 ocaml(Logcalls) = a570f910411571a74e4fc1eaec9fb9de ocaml(Logwrites) = 404d87b110e8b2e39ba0291df385ebd1 ocaml(Longarray) = df723f787e5cbe66919d165c54a6c196 ocaml(Machdep) = 7c9eb45f94c8ca64252a4719113f35b7 ocaml(Machdepenv) = 135a341da2b9e7ac60ab0d54bc00ae6b ocaml(Mergecil) = 5cbdaf1aafdbd8f6e178c676ae71fab9 ocaml(Olf) = d9b6241a510e22ad395ac696219c9213 ocaml(Oneret) = 116f121afdd67271782387c6fd27a9b9 ocaml(Partial) = 6b04551010eebe9f4ecc9da0136cc5ea ocaml(Patch) = b07a0749deac57d34748b0a9531e76f9 ocaml(Predabst) = b58167110a09e64f2c365f5eba957450 ocaml(Pretty) = 730c2499073f5daec4654efbe9819f82 ocaml(Ptranal) = 24033755d79ab46510cebbcec480aa41 ocaml(Reachingdefs) = b5ed0335293d9b46a133007bbc6543d2 ocaml(Rmtmps) = 1b8ed92e96245a231c6b7f2771947d47 ocaml(Setp) = 9b984b44c494c66f2c87e0f14e2fd7af ocaml(Sfi) = 66beb7ddb5d0553c55a36398b2dce167 ocaml(Simplemem) = 61cd73729cd159a8ebfbec920123d116 ocaml(Simplify) = 7be41781ad9c0752d7b4278b0c08441a ocaml(Ssa) = 52008bb557ce59ca99c747e25890f8e1 ocaml(Stats) = 978d36f26c8196a0ea8649cbb8aabdf3 ocaml(Trace) = db328f4893a0013cb3963ee1ae0f6eff ocaml(Uref) = 2ae7dac663953e60c8eeefa768a60b88 ocaml(Usedef) = 2414aacd37685dcbdb1230d9695d4825 ocaml(Util) = 1b81593e6c490fad274a3ad3478f3d5b ocaml(Whitetrack) = 2f58f423a5d13e9c5bf966749bd954f9 ocaml-cil = 1.7.3-59.fc33 ocaml-cil(riscv-64) = 1.7.3-59.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(Alpha) = 1005887ae49bfcaf4c960c54fc1066ca ocaml(Big_int) = 0cb2ea5303aa244f2471f63cbc66c94f ocaml(Bitmap) = 5ea7dd911ed9eb357d87b3293e467cbe ocaml(Cabs) = 60db5f947a175fb30bd6b556632dfbe7 ocaml(Cabs2cil) = 691ab6429e248d4a52381576ddb08f6d ocaml(Cabshelper) = 32eb16f6a76106a6d03933febe8d7505 ocaml(Cabsvisit) = 4cada80c0e609b770466084fb0b583fb ocaml(Callgraph) = ced3bcf92ce1972e841953dad006467a ocaml(CamlinternalFormatBasics) = abb6a3e103af15618334f607881d2f6e ocaml(CamlinternalOO) = bd43ee5a773c045a4486aec00852e0bf ocaml(Cfg) = c0136a5b9e3d3dbcc84c4b233fdda902 ocaml(Cil) = 9d2677e95ad4a12ef919b99c706ab9b4 ocaml(Cilint) = 84584221647b1d0217346628323a5334 ocaml(Ciltools) = 23a394bb5d89bc0d4b1ef1c0e03bddd1 ocaml(Cilutil) = 3d6a0c2afe1bc3b46cb28da3c1be9f12 ocaml(Cilversion) = 4a81ddaab6b3b9ea8d212ca00dcdb8d1 ocaml(Clexer) = c755a3cfe14d4f052eac1bf49629abb9 ocaml(Clist) = 7f61230b82aa8fae62b5d86f9058a248 ocaml(Cparser) = 56540e0465cd4ddc1973108ad89f593f ocaml(Cprint) = 2a19c2317814bc86a385d631873442ba ocaml(Dataflow) = 17cb5ba05029a163b1681e7a5aca5746 ocaml(Errormsg) = 6e9e178b7595d902e543caab06d09c0e ocaml(Escape) = 6d02e0c802699078018eadcd761c205a ocaml(Expcompare) = 9a49b8d1da85218220a0a714e85484fc ocaml(Formatlex) = 8a0bbf70dc62020163027abec851531e ocaml(Formatparse) = 5248d06bcb004062978bfc123a8f4d6c ocaml(Frontc) = d0182326b590c012575670bbfae67842 ocaml(GrowArray) = 0c00dce687ba9ca4a3b49b06ae79ba02 ocaml(Heap) = 3467832fd887093ddce7a4d3a15bb0be ocaml(Inthash) = d8147359291cd58abe1f2e33120183ab ocaml(Lexerhack) = 571762d34a4ef51bdc367fe5df30545c ocaml(Liveness) = db1ee910006717b60c42d18d0e8969e5 ocaml(Llvmgen) = 973fe3df6700baedc73ae79ace32c13d ocaml(Llvmssa) = 0a9a0090ce8badd2d1aca1d0845065e1 ocaml(Llvmutils) = 96f5a37201ccd16419be41a570da05a9 ocaml(Longarray) = df723f787e5cbe66919d165c54a6c196 ocaml(Machdep) = 7c9eb45f94c8ca64252a4719113f35b7 ocaml(Machdepenv) = 135a341da2b9e7ac60ab0d54bc00ae6b ocaml(Mergecil) = 5cbdaf1aafdbd8f6e178c676ae71fab9 ocaml(Nat) = 822b570f3ea216e8437df32d7794bcc0 ocaml(Olf) = d9b6241a510e22ad395ac696219c9213 ocaml(Patch) = b07a0749deac57d34748b0a9531e76f9 ocaml(Pretty) = 730c2499073f5daec4654efbe9819f82 ocaml(Ptranal) = 24033755d79ab46510cebbcec480aa41 ocaml(Reachingdefs) = b5ed0335293d9b46a133007bbc6543d2 ocaml(Rmtmps) = 1b8ed92e96245a231c6b7f2771947d47 ocaml(Setp) = 9b984b44c494c66f2c87e0f14e2fd7af ocaml(Stats) = 978d36f26c8196a0ea8649cbb8aabdf3 ocaml(Stdlib) = 758bb07a9fe47ce2726d308103d8c6ac ocaml(Stdlib__arg) = 7a4d6815d9d409379c3df24b7cee9adf ocaml(Stdlib__array) = 8bbff66dc4743569bd90a35312172b33 ocaml(Stdlib__bigarray) = 6753964e3fa1b4a43d82aa25d8b470f7 ocaml(Stdlib__buffer) = 62274dc59b2be3a60aa8ac3225e14d26 ocaml(Stdlib__bytes) = 8a4d804cf862eb9fcbbc77bc74d8d60d ocaml(Stdlib__char) = e880cec0c71000a6af4116f0f30b8ec6 ocaml(Stdlib__complex) = 1bb63213f3e1f7d8188b2c4de5d4112f ocaml(Stdlib__filename) = e9d9d7b66e2dd876461f26739efcbaea ocaml(Stdlib__gc) = 8a0f2526684d77b838987b2889998014 ocaml(Stdlib__hashtbl) = 6ba415b3504985a4f465c58f988c3d82 ocaml(Stdlib__int32) = 9084c02abc6ad1f2aec73b083db3921e ocaml(Stdlib__int64) = ed002463159e157ea3e45d12f5048981 ocaml(Stdlib__lexing) = 14e0df52f231ec459c096819e4a2ae34 ocaml(Stdlib__list) = 3a95348c023b83cf26ac8e0229a3caef ocaml(Stdlib__map) = a9fd645d93c1483f6c676174cc50cebb ocaml(Stdlib__marshal) = b8a50712f181e79edac54038142655e6 ocaml(Stdlib__nativeint) = 3dfc3f10bf88570f7c6bc2ebfbc0f376 ocaml(Stdlib__obj) = edb3590617df751c36eda305ea5a8df7 ocaml(Stdlib__parsing) = 8d78e7cab8b6186ca5cbb5dcaf53d6fd ocaml(Stdlib__pervasives) = 5c561b71c495f928b9d9e972da260962 ocaml(Stdlib__printexc) = eecbabfd567bf3f483781b6b45b9bda7 ocaml(Stdlib__printf) = 62e84bf0bef05cc9269eeeabae7fceb4 ocaml(Stdlib__queue) = c4d4900e920e325c90917ce7a18dc8ef ocaml(Stdlib__seq) = aa29410d95f3c0bcbe4b1dc2a2661ed3 ocaml(Stdlib__set) = bef88bbfd0cd2c203ca0f106f12ef88a ocaml(Stdlib__stack) = 260fb71477eea659a9f98b5a75478568 ocaml(Stdlib__string) = 0d19388e50e8e106b36c2865d3eda89a ocaml(Stdlib__sys) = 93b335947bb5110380711c8d8866e892 ocaml(Stdlib__uchar) = af48317d91d50bcd76019fb3dc0a0a7e ocaml(Str) = 5827ff4924817489463d0479044d6102 ocaml(Trace) = db328f4893a0013cb3963ee1ae0f6eff ocaml(Unix) = b2e90099b3b7ea80d565f58cd4840d0a ocaml(Uref) = 2ae7dac663953e60c8eeefa768a60b88 ocaml(Usedef) = 2414aacd37685dcbdb1230d9695d4825 ocaml(Util) = 1b81593e6c490fad274a3ad3478f3d5b ocaml(Whitetrack) = 2f58f423a5d13e9c5bf966749bd954f9
Processing files: ocaml-cil-devel-1.7.3-59.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ZU1zXE
+ umask 022
+ cd /builddir/build/BUILD
+ cd cil-1.7.3
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.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-59.fc33.riscv64/usr/share/doc/ocaml-cil-devel
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/doc/ocaml-cil-devel
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/doc/ocaml-cil-devel
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml(Alpha) = 1005887ae49bfcaf4c960c54fc1066ca ocaml(Availexps) = bbc105f010a5e51afc6890c7bc4e4765 ocaml(Availexpslv) = 1a7d869a241655546addac889a096d3a ocaml(Bitmap) = 5ea7dd911ed9eb357d87b3293e467cbe ocaml(Cabs) = 60db5f947a175fb30bd6b556632dfbe7 ocaml(Cabs2cil) = 691ab6429e248d4a52381576ddb08f6d ocaml(Cabshelper) = 32eb16f6a76106a6d03933febe8d7505 ocaml(Cabsvisit) = 4cada80c0e609b770466084fb0b583fb ocaml(Callgraph) = ced3bcf92ce1972e841953dad006467a ocaml(Canonicalize) = 503fb0aa98430aeb1ee9e7a7eeb82b0e ocaml(Cfg) = c0136a5b9e3d3dbcc84c4b233fdda902 ocaml(Check) = 961308ae9a4447624844ba3bc4e39701 ocaml(Cil) = 9d2677e95ad4a12ef919b99c706ab9b4 ocaml(Cilint) = 84584221647b1d0217346628323a5334 ocaml(Cillower) = 12366093a6a4022b01f34ab8396b88f8 ocaml(Ciloptions) = 3bf074aa91e462b5fb011a86f2b4a2df ocaml(Ciltools) = 23a394bb5d89bc0d4b1ef1c0e03bddd1 ocaml(Cilutil) = 3d6a0c2afe1bc3b46cb28da3c1be9f12 ocaml(Cilversion) = 4a81ddaab6b3b9ea8d212ca00dcdb8d1 ocaml(Clexer) = c755a3cfe14d4f052eac1bf49629abb9 ocaml(Clist) = 7f61230b82aa8fae62b5d86f9058a248 ocaml(Cparser) = 56540e0465cd4ddc1973108ad89f593f ocaml(Cprint) = 2a19c2317814bc86a385d631873442ba ocaml(Dataflow) = 17cb5ba05029a163b1681e7a5aca5746 ocaml(Dataslicing) = bffccae8a9ff2d6fa27242b2c6dfcae0 ocaml(Deadcodeelim) = a121a81611df39b8478b5bdb99236ae5 ocaml(Dominators) = 4c42b6ec38fec011afa1e3784d228814 ocaml(Epicenter) = 689addff80cc5bdb30d94705ef970f2b ocaml(Errormsg) = 6e9e178b7595d902e543caab06d09c0e ocaml(Escape) = 6d02e0c802699078018eadcd761c205a ocaml(Expcompare) = 9a49b8d1da85218220a0a714e85484fc ocaml(Feature_config) = f7b03e84289dbb7883003ed5dd191b19 ocaml(Formatcil) = 769d9414be391dc90b626a9e0c1f9543 ocaml(Formatlex) = 8a0bbf70dc62020163027abec851531e ocaml(Formatparse) = 5248d06bcb004062978bfc123a8f4d6c ocaml(Frontc) = d0182326b590c012575670bbfae67842 ocaml(GrowArray) = 0c00dce687ba9ca4a3b49b06ae79ba02 ocaml(Heap) = 3467832fd887093ddce7a4d3a15bb0be ocaml(Heapify) = bd53b86c4f7732feac58c508769752c5 ocaml(Inthash) = d8147359291cd58abe1f2e33120183ab ocaml(Lexerhack) = 571762d34a4ef51bdc367fe5df30545c ocaml(Liveness) = db1ee910006717b60c42d18d0e8969e5 ocaml(Llvm) = c2a8ffa5305780614cfe9a6b2c26d6f1 ocaml(Llvmgen) = 973fe3df6700baedc73ae79ace32c13d ocaml(Llvmssa) = 0a9a0090ce8badd2d1aca1d0845065e1 ocaml(Llvmutils) = 96f5a37201ccd16419be41a570da05a9 ocaml(Logcalls) = a570f910411571a74e4fc1eaec9fb9de ocaml(Logwrites) = 404d87b110e8b2e39ba0291df385ebd1 ocaml(Longarray) = df723f787e5cbe66919d165c54a6c196 ocaml(Machdep) = 7c9eb45f94c8ca64252a4719113f35b7 ocaml(Machdepenv) = 135a341da2b9e7ac60ab0d54bc00ae6b ocaml(Mergecil) = 5cbdaf1aafdbd8f6e178c676ae71fab9 ocaml(Olf) = d9b6241a510e22ad395ac696219c9213 ocaml(Oneret) = 116f121afdd67271782387c6fd27a9b9 ocaml(Partial) = 6b04551010eebe9f4ecc9da0136cc5ea ocaml(Patch) = b07a0749deac57d34748b0a9531e76f9 ocaml(Predabst) = b58167110a09e64f2c365f5eba957450 ocaml(Pretty) = 730c2499073f5daec4654efbe9819f82 ocaml(Ptranal) = 24033755d79ab46510cebbcec480aa41 ocaml(Reachingdefs) = b5ed0335293d9b46a133007bbc6543d2 ocaml(Rmtmps) = 1b8ed92e96245a231c6b7f2771947d47 ocaml(Setp) = 9b984b44c494c66f2c87e0f14e2fd7af ocaml(Sfi) = 66beb7ddb5d0553c55a36398b2dce167 ocaml(Simplemem) = 61cd73729cd159a8ebfbec920123d116 ocaml(Simplify) = 7be41781ad9c0752d7b4278b0c08441a ocaml(Ssa) = 52008bb557ce59ca99c747e25890f8e1 ocaml(Stats) = 978d36f26c8196a0ea8649cbb8aabdf3 ocaml(Trace) = db328f4893a0013cb3963ee1ae0f6eff ocaml(Uref) = 2ae7dac663953e60c8eeefa768a60b88 ocaml(Usedef) = 2414aacd37685dcbdb1230d9695d4825 ocaml(Util) = 1b81593e6c490fad274a3ad3478f3d5b ocaml(Whitetrack) = 2f58f423a5d13e9c5bf966749bd954f9 ocaml-cil-devel = 1.7.3-59.fc33 ocaml-cil-devel(riscv-64) = 1.7.3-59.fc33 ocamlx(Alpha) = 84f1fac434d85f1e37e64dd35a66b292 ocamlx(Availexps) = 0ebe227c2631cced2203796d1ce2650c ocamlx(Availexpslv) = 0527e360aff24f0d77584a3ffe8d0e5c ocamlx(Bitmap) = 56968036f9fa77b3ba610fc4067e9e69 ocamlx(Cabs) = b403ddd70f99da08a3d2c5067cb92e0b ocamlx(Cabs2cil) = ba526b5c60b7b1898ad67c869a1b4699 ocamlx(Cabshelper) = 42339c048a1e1f97ddf001a13fe3018e ocamlx(Cabsvisit) = 0affd7e92a3b6811985111eafbbbc200 ocamlx(Callgraph) = ecca3850e98f4280b1580f33e788bc16 ocamlx(Canonicalize) = c25b8873f60767f316554aa7b36c3d1a ocamlx(Cfg) = 1547f501317de8d9b2dbb38dff4529fa ocamlx(Check) = 66f7db29f1cfe8e1671ccea75a2a15cf ocamlx(Cil) = aa7aeab628b24fc42c73aa5fe2705827 ocamlx(Cilint) = 551826b2940f0a4eb80bcb92c18f3ddf ocamlx(Cillower) = 7f26aaaecfb3d8d1c898c22f0520d02d ocamlx(Ciloptions) = 193a8ab14e1ab5bdc740b2e5a58c3026 ocamlx(Ciltools) = c94e25eeca02becfcedc6387cc203d3f ocamlx(Cilutil) = 1a9ced4601448bd6886657c750751ee2 ocamlx(Cilversion) = 83991f76b356b01e17e1fc96b5987853 ocamlx(Clexer) = ffb91c70bceb589281d9a13ac6af3282 ocamlx(Clist) = ceda91636d2a29147ecb3bfcd53445be ocamlx(Cparser) = b72d829e45219475200df33dc73be691 ocamlx(Cprint) = ffb6ddd408735b339fc45ce636c3800e ocamlx(Dataflow) = 604eb3c3e071451682a45985b246232b ocamlx(Dataslicing) = 7702b7941710504cb0276bd72240d07d ocamlx(Deadcodeelim) = fd1a4b0a26b81751f144054641e6c481 ocamlx(Dominators) = 890b84b0e8611139ec9546c38dd7d94e ocamlx(Epicenter) = 0ae612d20b413ae8f91ec622fe8024bd ocamlx(Errormsg) = 9c6866c1ab1ca37377334064f13bd408 ocamlx(Escape) = 91db48fe7df57f06db5ed21d73fdc77d ocamlx(Expcompare) = 9f2b0630c4a6c664a641080a3eb000d0 ocamlx(Feature_config) = 1d0a10704945f50700ae3679f0fcec9b ocamlx(Formatcil) = 2158cfd419d7924176ffe28399cd30cb ocamlx(Formatlex) = 2de61b287648e2acd9371888287778d8 ocamlx(Formatparse) = 8033ff376c8ac97e3972aee32d55c1f0 ocamlx(Frontc) = 5a4f36a0cf7b5f33d2bd0b7a360c0cec ocamlx(GrowArray) = f170dd4f75ade178a92dca5baa58ce3c ocamlx(Heap) = f71888c1ccc32e4bff3b4ade186206b3 ocamlx(Heapify) = 7107554696be93ca42872f7cda69611c ocamlx(Inthash) = 5347ed591f6efabf6666bf0c5e79d168 ocamlx(Lexerhack) = 411be2293da4b650005d78b93ee64112 ocamlx(Liveness) = f3f6112d09500359a55ddbaf6d37e1cf ocamlx(Llvm) = 88d1dcaeafa5b6581d87e210ef2064f4 ocamlx(Llvmgen) = ebe887639700e82326250b325fc21e62 ocamlx(Llvmssa) = 8f395eb1f2eabe22abf8bf1b6a9367b1 ocamlx(Llvmutils) = 80e811e9b48db03e3f8c3187f1a15830 ocamlx(Logcalls) = 688028707329bc311593652ff7c57d6f ocamlx(Logwrites) = a7cda381aedcff2636e2f343ee5f9302 ocamlx(Longarray) = f3ab5bde2dbe1417236c49d5ed107f9f ocamlx(Machdep) = f00d471265a2acf924fe05076655353f ocamlx(Machdepenv) = a9af3ca5406876137aadb303c21829b2 ocamlx(Mergecil) = 8f4ec56c89a76d87bb0114fd9c06b999 ocamlx(Olf) = a4da3b2b1c4725c21102bc6f7287e31a ocamlx(Oneret) = a39923b4896fbc1746ec9e5926cdb842 ocamlx(Partial) = 9c74baeaad193d41011d77b985860cb3 ocamlx(Patch) = 6379f8fe5b296c274e09de1b64294a27 ocamlx(Predabst) = 3fcef1789816f722d43d6885a9e19c72 ocamlx(Pretty) = a582b731f05ca85f4a1710712a50455c ocamlx(Ptranal) = f1936d8ac9cfb7e5240221f49f913a8e ocamlx(Reachingdefs) = 178b041fa40f3c5ce2844968960bd855 ocamlx(Rmtmps) = 737656951574f1feef1238ed5fc7e659 ocamlx(Setp) = 5f4c1f170d8a77c757a16c274fc5b51b ocamlx(Sfi) = d8ecf12b8e9f4de504a463cc84f33f95 ocamlx(Simplemem) = 5fa52b3accb39d4f98692bb7bf4a63b4 ocamlx(Simplify) = 63b0b5f5668733365bf8013a7872376f ocamlx(Ssa) = 912d3ab32747addc71dd4c42638af3ba ocamlx(Stats) = 50a011616d2232f52a55c6fc988ebd32 ocamlx(Trace) = af9772bfaacd27104051fa48e7fed3e3 ocamlx(Uref) = 974d399345943d6dde6645bec722e61d ocamlx(Usedef) = f4ff5f4175a328758ee290dd6c199865 ocamlx(Util) = b6de2d376d3c3945d40a966686bef341 ocamlx(Whitetrack) = b958b0dba9cdf82c6d7f8169c4bcd6b2
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ocaml(Alpha) = 1005887ae49bfcaf4c960c54fc1066ca ocaml(Big_int) = 0cb2ea5303aa244f2471f63cbc66c94f ocaml(Bitmap) = 5ea7dd911ed9eb357d87b3293e467cbe ocaml(Cabs) = 60db5f947a175fb30bd6b556632dfbe7 ocaml(Cabs2cil) = 691ab6429e248d4a52381576ddb08f6d ocaml(Cabshelper) = 32eb16f6a76106a6d03933febe8d7505 ocaml(Cabsvisit) = 4cada80c0e609b770466084fb0b583fb ocaml(Callgraph) = ced3bcf92ce1972e841953dad006467a ocaml(CamlinternalFormatBasics) = abb6a3e103af15618334f607881d2f6e ocaml(CamlinternalOO) = bd43ee5a773c045a4486aec00852e0bf ocaml(Cfg) = c0136a5b9e3d3dbcc84c4b233fdda902 ocaml(Cil) = 9d2677e95ad4a12ef919b99c706ab9b4 ocaml(Cilint) = 84584221647b1d0217346628323a5334 ocaml(Ciltools) = 23a394bb5d89bc0d4b1ef1c0e03bddd1 ocaml(Cilutil) = 3d6a0c2afe1bc3b46cb28da3c1be9f12 ocaml(Cilversion) = 4a81ddaab6b3b9ea8d212ca00dcdb8d1 ocaml(Clexer) = c755a3cfe14d4f052eac1bf49629abb9 ocaml(Clist) = 7f61230b82aa8fae62b5d86f9058a248 ocaml(Cparser) = 56540e0465cd4ddc1973108ad89f593f ocaml(Cprint) = 2a19c2317814bc86a385d631873442ba ocaml(Dataflow) = 17cb5ba05029a163b1681e7a5aca5746 ocaml(Errormsg) = 6e9e178b7595d902e543caab06d09c0e ocaml(Escape) = 6d02e0c802699078018eadcd761c205a ocaml(Expcompare) = 9a49b8d1da85218220a0a714e85484fc ocaml(Formatlex) = 8a0bbf70dc62020163027abec851531e ocaml(Formatparse) = 5248d06bcb004062978bfc123a8f4d6c ocaml(Frontc) = d0182326b590c012575670bbfae67842 ocaml(GrowArray) = 0c00dce687ba9ca4a3b49b06ae79ba02 ocaml(Heap) = 3467832fd887093ddce7a4d3a15bb0be ocaml(Inthash) = d8147359291cd58abe1f2e33120183ab ocaml(Lexerhack) = 571762d34a4ef51bdc367fe5df30545c ocaml(Liveness) = db1ee910006717b60c42d18d0e8969e5 ocaml(Llvmgen) = 973fe3df6700baedc73ae79ace32c13d ocaml(Llvmssa) = 0a9a0090ce8badd2d1aca1d0845065e1 ocaml(Llvmutils) = 96f5a37201ccd16419be41a570da05a9 ocaml(Longarray) = df723f787e5cbe66919d165c54a6c196 ocaml(Machdep) = 7c9eb45f94c8ca64252a4719113f35b7 ocaml(Machdepenv) = 135a341da2b9e7ac60ab0d54bc00ae6b ocaml(Mergecil) = 5cbdaf1aafdbd8f6e178c676ae71fab9 ocaml(Nat) = 822b570f3ea216e8437df32d7794bcc0 ocaml(Olf) = d9b6241a510e22ad395ac696219c9213 ocaml(Patch) = b07a0749deac57d34748b0a9531e76f9 ocaml(Pretty) = 730c2499073f5daec4654efbe9819f82 ocaml(Ptranal) = 24033755d79ab46510cebbcec480aa41 ocaml(Reachingdefs) = b5ed0335293d9b46a133007bbc6543d2 ocaml(Rmtmps) = 1b8ed92e96245a231c6b7f2771947d47 ocaml(Setp) = 9b984b44c494c66f2c87e0f14e2fd7af ocaml(Stats) = 978d36f26c8196a0ea8649cbb8aabdf3 ocaml(Stdlib) = 758bb07a9fe47ce2726d308103d8c6ac ocaml(Stdlib__arg) = 7a4d6815d9d409379c3df24b7cee9adf ocaml(Stdlib__array) = 8bbff66dc4743569bd90a35312172b33 ocaml(Stdlib__bigarray) = 6753964e3fa1b4a43d82aa25d8b470f7 ocaml(Stdlib__buffer) = 62274dc59b2be3a60aa8ac3225e14d26 ocaml(Stdlib__bytes) = 8a4d804cf862eb9fcbbc77bc74d8d60d ocaml(Stdlib__char) = e880cec0c71000a6af4116f0f30b8ec6 ocaml(Stdlib__complex) = 1bb63213f3e1f7d8188b2c4de5d4112f ocaml(Stdlib__filename) = e9d9d7b66e2dd876461f26739efcbaea ocaml(Stdlib__gc) = 8a0f2526684d77b838987b2889998014 ocaml(Stdlib__hashtbl) = 6ba415b3504985a4f465c58f988c3d82 ocaml(Stdlib__int32) = 9084c02abc6ad1f2aec73b083db3921e ocaml(Stdlib__int64) = ed002463159e157ea3e45d12f5048981 ocaml(Stdlib__lexing) = 14e0df52f231ec459c096819e4a2ae34 ocaml(Stdlib__list) = 3a95348c023b83cf26ac8e0229a3caef ocaml(Stdlib__map) = a9fd645d93c1483f6c676174cc50cebb ocaml(Stdlib__marshal) = b8a50712f181e79edac54038142655e6 ocaml(Stdlib__nativeint) = 3dfc3f10bf88570f7c6bc2ebfbc0f376 ocaml(Stdlib__obj) = edb3590617df751c36eda305ea5a8df7 ocaml(Stdlib__parsing) = 8d78e7cab8b6186ca5cbb5dcaf53d6fd ocaml(Stdlib__pervasives) = 5c561b71c495f928b9d9e972da260962 ocaml(Stdlib__printexc) = eecbabfd567bf3f483781b6b45b9bda7 ocaml(Stdlib__printf) = 62e84bf0bef05cc9269eeeabae7fceb4 ocaml(Stdlib__queue) = c4d4900e920e325c90917ce7a18dc8ef ocaml(Stdlib__seq) = aa29410d95f3c0bcbe4b1dc2a2661ed3 ocaml(Stdlib__set) = bef88bbfd0cd2c203ca0f106f12ef88a ocaml(Stdlib__stack) = 260fb71477eea659a9f98b5a75478568 ocaml(Stdlib__string) = 0d19388e50e8e106b36c2865d3eda89a ocaml(Stdlib__sys) = 93b335947bb5110380711c8d8866e892 ocaml(Stdlib__uchar) = af48317d91d50bcd76019fb3dc0a0a7e ocaml(Str) = 5827ff4924817489463d0479044d6102 ocaml(Trace) = db328f4893a0013cb3963ee1ae0f6eff ocaml(Unix) = b2e90099b3b7ea80d565f58cd4840d0a ocaml(Uref) = 2ae7dac663953e60c8eeefa768a60b88 ocaml(Usedef) = 2414aacd37685dcbdb1230d9695d4825 ocaml(Util) = 1b81593e6c490fad274a3ad3478f3d5b ocaml(Whitetrack) = 2f58f423a5d13e9c5bf966749bd954f9 ocamlx(Alpha) = 84f1fac434d85f1e37e64dd35a66b292 ocamlx(Big_int) = 87e24e189b72f570277cd16fb4d3a484 ocamlx(Bitmap) = 56968036f9fa77b3ba610fc4067e9e69 ocamlx(Cabs) = b403ddd70f99da08a3d2c5067cb92e0b ocamlx(Cabs2cil) = ba526b5c60b7b1898ad67c869a1b4699 ocamlx(Cabshelper) = 42339c048a1e1f97ddf001a13fe3018e ocamlx(Cabsvisit) = 0affd7e92a3b6811985111eafbbbc200 ocamlx(Callgraph) = ecca3850e98f4280b1580f33e788bc16 ocamlx(CamlinternalOO) = 4ecd53b70360614572d93e19849bb431 ocamlx(Cfg) = 1547f501317de8d9b2dbb38dff4529fa ocamlx(Cil) = aa7aeab628b24fc42c73aa5fe2705827 ocamlx(Cilint) = 551826b2940f0a4eb80bcb92c18f3ddf ocamlx(Ciltools) = c94e25eeca02becfcedc6387cc203d3f ocamlx(Cilutil) = 1a9ced4601448bd6886657c750751ee2 ocamlx(Cilversion) = 83991f76b356b01e17e1fc96b5987853 ocamlx(Clexer) = ffb91c70bceb589281d9a13ac6af3282 ocamlx(Clist) = ceda91636d2a29147ecb3bfcd53445be ocamlx(Cparser) = b72d829e45219475200df33dc73be691 ocamlx(Cprint) = ffb6ddd408735b339fc45ce636c3800e ocamlx(Dataflow) = 604eb3c3e071451682a45985b246232b ocamlx(Errormsg) = 9c6866c1ab1ca37377334064f13bd408 ocamlx(Escape) = 91db48fe7df57f06db5ed21d73fdc77d ocamlx(Expcompare) = 9f2b0630c4a6c664a641080a3eb000d0 ocamlx(Formatlex) = 2de61b287648e2acd9371888287778d8 ocamlx(Formatparse) = 8033ff376c8ac97e3972aee32d55c1f0 ocamlx(Frontc) = 5a4f36a0cf7b5f33d2bd0b7a360c0cec ocamlx(GrowArray) = f170dd4f75ade178a92dca5baa58ce3c ocamlx(Heap) = f71888c1ccc32e4bff3b4ade186206b3 ocamlx(Inthash) = 5347ed591f6efabf6666bf0c5e79d168 ocamlx(Lexerhack) = 411be2293da4b650005d78b93ee64112 ocamlx(Liveness) = f3f6112d09500359a55ddbaf6d37e1cf ocamlx(Llvmgen) = ebe887639700e82326250b325fc21e62 ocamlx(Llvmssa) = 8f395eb1f2eabe22abf8bf1b6a9367b1 ocamlx(Llvmutils) = 80e811e9b48db03e3f8c3187f1a15830 ocamlx(Longarray) = f3ab5bde2dbe1417236c49d5ed107f9f ocamlx(Machdep) = f00d471265a2acf924fe05076655353f ocamlx(Machdepenv) = a9af3ca5406876137aadb303c21829b2 ocamlx(Mergecil) = 8f4ec56c89a76d87bb0114fd9c06b999 ocamlx(Olf) = a4da3b2b1c4725c21102bc6f7287e31a ocamlx(Patch) = 6379f8fe5b296c274e09de1b64294a27 ocamlx(Pretty) = a582b731f05ca85f4a1710712a50455c ocamlx(Ptranal) = f1936d8ac9cfb7e5240221f49f913a8e ocamlx(Reachingdefs) = 178b041fa40f3c5ce2844968960bd855 ocamlx(Rmtmps) = 737656951574f1feef1238ed5fc7e659 ocamlx(Setp) = 5f4c1f170d8a77c757a16c274fc5b51b ocamlx(Stats) = 50a011616d2232f52a55c6fc988ebd32 ocamlx(Stdlib) = f35fed20d6a434bdcdc787ab8d2e7090 ocamlx(Stdlib__arg) = 7427bb4c4246d2c0617adbf7491b53e3 ocamlx(Stdlib__array) = 5b097f9dfd1b58250cb9efdcd44e557d ocamlx(Stdlib__buffer) = 8ff0f755edf0b237651abe9b04ca422a ocamlx(Stdlib__bytes) = 8771d692ff7204e1d5643910b61fa349 ocamlx(Stdlib__char) = 0dfbba3ed4cc82c24b5c761c43289e12 ocamlx(Stdlib__filename) = 55576fd1286c4bd244f852233e2a929e ocamlx(Stdlib__gc) = 99433a45917169be636061fe537cde13 ocamlx(Stdlib__hashtbl) = 930441fd4392dbe304bd79542e643636 ocamlx(Stdlib__int32) = 15d78d9b242a53ec4b31dafe70ce1ab8 ocamlx(Stdlib__int64) = 1299b9b69976d1c9d60003f894a32b06 ocamlx(Stdlib__lexing) = 9e2cf4c0d3cd5a099533caf8b8feeb45 ocamlx(Stdlib__list) = 00f0b803021241f2da62a3ac5db4e0a4 ocamlx(Stdlib__map) = 42a3df0ea69532a68fea2c9f7ea745f0 ocamlx(Stdlib__marshal) = 14e655dd7dbc4a33c83a3e3b3890fb7e ocamlx(Stdlib__nativeint) = 3d6e0bdc1afb2cceab2abf48467a8a1f ocamlx(Stdlib__parsing) = a7a3a91094f05c12269394a5902e7dea ocamlx(Stdlib__printexc) = 236e60cf32875b3d1ebbd9df76c873de ocamlx(Stdlib__printf) = 80c38d46eaab96a59c130d985aa18edf ocamlx(Stdlib__queue) = 08c6b63f635146bbdea298509100fb2b ocamlx(Stdlib__set) = 29861643026ce8ecc72ee15127ec4fe1 ocamlx(Stdlib__stack) = 2484364f741612b3ac9fe1f047b51366 ocamlx(Stdlib__string) = d50927574e9143235cb5aed9bc83f8e7 ocamlx(Stdlib__sys) = 412d0d0165356a092d2d01789aa342e0 ocamlx(Str) = a7cf31776055b789519985bab3d4c547 ocamlx(Trace) = af9772bfaacd27104051fa48e7fed3e3 ocamlx(Unix) = 84639ec8aa7ff37e0384f6051183baea ocamlx(Uref) = 974d399345943d6dde6645bec722e61d ocamlx(Usedef) = f4ff5f4175a328758ee290dd6c199865 ocamlx(Util) = b6de2d376d3c3945d40a966686bef341 ocamlx(Whitetrack) = b958b0dba9cdf82c6d7f8169c4bcd6b2
Processing files: ocaml-cil-doc-1.7.3-59.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.gK3AFE
+ umask 022
+ cd /builddir/build/BUILD
+ cd cil-1.7.3
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.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-59.fc33.riscv64/usr/share/doc/ocaml-cil-doc
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/doc/ocaml-cil-doc
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.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-59.fc33.riscv64/usr/share/doc/ocaml-cil-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml-cil-doc = 1.7.3-59.fc33 ocaml-cil-doc(riscv-64) = 1.7.3-59.fc33
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-59.fc33.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.YmHjOE
+ umask 022
+ cd /builddir/build/BUILD
+ cd cil-1.7.3
+ DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.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-59.fc33.riscv64/usr/share/doc/ocaml-cil-cilly
+ cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/doc/ocaml-cil-cilly
+ cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64/usr/share/doc/ocaml-cil-cilly
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: ocaml-cil-cilly = 1.7.3-59.fc33 ocaml-cil-cilly(riscv-64) = 1.7.3-59.fc33 perl(App::Cilly) = 1.7.3 perl(App::Cilly::CilConfig) perl(App::Cilly::KeptFile) perl(App::Cilly::OutputFile) perl(App::Cilly::TempFile)
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: /usr/bin/ocamlrun /usr/bin/perl ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.27)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) perl(App::Cilly) perl(App::Cilly::CilConfig) perl(App::Cilly::KeptFile) perl(App::Cilly::OutputFile) perl(App::Cilly::TempFile) perl(Carp) perl(Data::Dumper) perl(File::Basename) perl(File::Copy) perl(File::Spec) perl(File::Temp) perl(FindBin) perl(Text::ParseWords) perl(lib) perl(strict) rtld(GNU_HASH)
Processing files: ocaml-cil-debugsource-1.7.3-59.fc33.riscv64
Provides: ocaml-cil-debugsource = 1.7.3-59.fc33 ocaml-cil-debugsource(riscv-64) = 1.7.3-59.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: ocaml-cil-cilly-debuginfo-1.7.3-59.fc33.riscv64
Provides: debuginfo(build-id) = f3b7f5a9464374ad8b550326935d86fa406a7694 ocaml-cil-cilly-debuginfo = 1.7.3-59.fc33 ocaml-cil-cilly-debuginfo(riscv-64) = 1.7.3-59.fc33
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: ocaml-cil-debugsource(riscv-64) = 1.7.3-59.fc33
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64
Wrote: /builddir/build/RPMS/ocaml-cil-doc-1.7.3-59.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-cil-debugsource-1.7.3-59.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-cil-cilly-1.7.3-59.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-cil-cilly-debuginfo-1.7.3-59.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-cil-1.7.3-59.fc33.riscv64.rpm
Wrote: /builddir/build/RPMS/ocaml-cil-devel-1.7.3-59.fc33.riscv64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.yh4TbF
+ umask 022
+ cd /builddir/build/BUILD
+ cd cil-1.7.3
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-59.fc33.riscv64
+ RPM_EC=0
++ jobs -p
+ exit 0
Child return code was: 0