Mock Version: 1.4.9 Mock Version: 1.4.9 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'], chrootPath='/var/lib/mock/f29-build-7866-1949/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False BUILDSTDERR: sh: /usr/bin/perl: No such file or directory BUILDSTDERR: sh: /usr/bin/perl: No such file or directory BUILDSTDERR: sh: /usr/bin/perl: No such file or directory BUILDSTDERR: sh: /usr/bin/perl: No such file or directory Building target platforms: riscv64 Building for target riscv64 Wrote: /builddir/build/SRPMS/ocaml-cil-1.7.3-40.fc29.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'], chrootPath='/var/lib/mock/f29-build-7866-1949/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}shell=Falselogger=timeout=345600uid=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False Building target platforms: riscv64 Building for target riscv64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.1KLq1r + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cil-1.7.3 + /usr/bin/gzip -dc /builddir/build/SOURCES/cil-1.7.3.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd cil-1.7.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch): + echo 'Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file test/small1/arrsize.c patching file test/testcil.pl Patch #1 (0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch): + echo 'Patch #1 (0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file test/testcil.pl 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 + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.oThX1v + 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,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' BUILDSTDERR: +++ dirname ./configure BUILDSTDERR: ++ find . -name config.guess -o -name config.sub + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) BUILDSTDERR: ++ basename ./config.sub + '[' -f /usr/lib/rpm/redhat/config.sub ']' + /usr/bin/rm -f ./config.sub BUILDSTDERR: ++ basename ./config.sub + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config.sub '/usr/lib/rpm/redhat/config.sub' -> './config.sub' + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) BUILDSTDERR: ++ basename ./config.guess + '[' -f /usr/lib/rpm/redhat/config.guess ']' + /usr/bin/rm -f ./config.guess BUILDSTDERR: ++ basename ./config.guess + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config.guess '/usr/lib/rpm/redhat/config.guess' -> './config.guess' + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' BUILDSTDERR: ++ find . -name ltmain.sh + ./configure --build=riscv64-koji-linux-gnu --host=riscv64-koji-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info BUILDSTDERR: configure: WARNING: unrecognized options: --disable-dependency-tracking checking for riscv64-koji-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking build system type... riscv64-koji-linux-gnu checking host system type... riscv64-koji-linux-gnu checking target system type... riscv64-koji-linux-gnu checking for msvc cl.exe (optional)... not found checking for riscv64-koji-linux-gnu-ocamlc... no checking for ocamlc... ocamlc OCaml version is 4.06.0 OCaml library path is /usr/lib64/ocaml checking for riscv64-koji-linux-gnu-ocamlopt... no checking for ocamlopt... ocamlopt checking for riscv64-koji-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking for riscv64-koji-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking for riscv64-koji-linux-gnu-ocaml... no checking for ocaml... ocaml checking for riscv64-koji-linux-gnu-ocamldep... no checking for ocamldep... ocamldep checking for riscv64-koji-linux-gnu-ocamlmktop... no checking for ocamlmktop... ocamlmktop checking for riscv64-koji-linux-gnu-ocamlmklib... no checking for ocamlmklib... ocamlmklib checking for riscv64-koji-linux-gnu-ocamldoc... no checking for ocamldoc... ocamldoc checking for riscv64-koji-linux-gnu-ocamlbuild... no checking for ocamlbuild... ocamlbuild checking for riscv64-koji-linux-gnu-ocamllex... no checking for ocamllex... ocamllex checking for riscv64-koji-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... ocamllex.opt checking for riscv64-koji-linux-gnu-ocamlyacc... no checking for ocamlyacc... ocamlyacc checking for riscv64-koji-linux-gnu-ocamlfind... no checking for ocamlfind... ocamlfind checking for riscv64-koji-linux-gnu-perl... no checking for perl... perl checking for gcc version... checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for __builtin_va_list... yes checking if __thread is a keyword... true checking if gcc adds underscores to assembly labels.... false checking for ANSI C header files... (cached) yes checking for stdlib.h... (cached) yes checking for strings.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking wchar.h usability... yes checking wchar.h presence... yes checking for wchar.h... yes checking stdbool.h usability... yes checking stdbool.h presence... yes checking for stdbool.h... yes checking for an ANSI C-conforming const... yes checking for inline... inline checking whether time.h and sys/time.h may both be included... yes checking for working memcmp... yes checking for mkdir... yes checking for select... yes checking for socket... yes checking for __sysv_signal... yes checking for real definition of size_t... unsigned long checking for real definition of wchar_t... int checking whether to use CIL feature blockinggraph... no checking whether to use CIL feature zrapp... no checking whether to use CIL feature llvm... no configure: creating ./config.status config.status: creating stamp-h config.status: creating Makefile config.status: creating config.mk config.status: creating lib/App/Cilly/CilConfig.pm config.status: creating doc/index.html config.status: creating doc/header.html config.status: creating src/machdep-ml.c config.status: creating config.h BUILDSTDERR: 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/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmi ocamlutil/pretty.mli /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/alpha.cmi ocamlutil/alpha.mli /usr/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/frontc -I src/ext -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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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/frontc -I src/ext -I src/ext/pta -o src/cilint.cmi src/cilint.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -I src/ext/pta -o cilversion.cmo cilversion.ml /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmi ocamlutil/clist.mli /usr/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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -I src/ext/pta -o src/machdepenv.cmo src/machdepenv.ml /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmi src/mergecil.mli /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmi src/rmtmps.mli /usr/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: 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 8.5) File "src/ext/liveness.ml", line 276, characters 21-25: 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 8.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 470, characters 15-19: 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 8.5) File "src/ext/reachingdefs.ml", line 556, characters 17-21: 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 8.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/frontc -I src/ext -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/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmi src/formatparse.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatlex.cmo src/formatlex.ml /usr/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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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: Warning 3: deprecated: 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/frontc -I src/ext -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/frontc -I src/ext -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: 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 8.5) File "src/ext/availexps.ml", line 381, characters 17-21: 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 8.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: 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 8.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 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 8.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmo ocamlutil/bitmap.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmo ocamlutil/bitmap.ml File "ocamlutil/bitmap.ml", line 13, characters 14-26: Warning 3: deprecated: 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: Warning 3: deprecated: Array.create Use Array.make instead. File "src/frontc/cabs2cil.ml", line 3377, characters 27-43: Warning 3: deprecated: String.uppercase Use String.uppercase_ascii instead. File "src/frontc/cabs2cil.ml", line 4992, characters 28-30: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/frontc/cabs2cil.ml", line 5054, characters 28-30: Warning 3: deprecated: Pervasives.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/frontc -I src/ext -I src/ext/pta -o src/check.cmo src/check.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmo src/cil.ml + /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmo src/cil.ml File "src/cil.ml", line 2742, characters 21-37: Warning 3: deprecated: String.uppercase Use String.uppercase_ascii instead. /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilint.cmo src/cilint.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cillower.cmo src/cillower.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/ciloptions.cmo src/ciloptions.ml /usr/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 8.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmo ocamlutil/clist.ml /usr/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 285, characters 15-19: 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 8.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/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmo ocamlutil/errormsg.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/escape.cmo src/escape.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o feature_config.cmo feature_config.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatcil.cmo src/formatcil.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmo src/formatparse.ml /usr/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/frontc -I src/ext -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/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmo ocamlutil/inthash.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmo ocamlutil/inthash.ml File "ocamlutil/inthash.ml", line 37, characters 16-28: Warning 3: deprecated: 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/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmo ocamlutil/longarray.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmo ocamlutil/longarray.ml File "ocamlutil/longarray.ml", line 27, characters 3-15: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmo src/mergecil.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/olf.cmo src/ext/pta/olf.ml /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: 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 8.5) File "src/ext/predabst.ml", line 912, characters 14-18: 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 8.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmo ocamlutil/pretty.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml + /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml File "src/ext/pta/ptranal.ml", line 287, characters 38-39: Warning 3: deprecated: Pervasives.& Use (&&) instead. /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml + /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml File "src/rmtmps.ml", line 626, characters 8-191: Warning 57: Ambiguous or-pattern variables under guard; variable gref may match different arguments. (See manual section 8.5) /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/setp.cmo src/ext/pta/setp.ml /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: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 90, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 96, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 108, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 109, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 110, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 111, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 211, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 220, characters 11-23: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 273, characters 19-31: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 274, characters 13-25: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 302, characters 15-27: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 324, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 673, characters 21-33: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/stats.cmo ocamlutil/stats.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/trace.cmo ocamlutil/trace.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/uref.cmo src/ext/pta/uref.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/util.cmo ocamlutil/util.ml /usr/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/frontc -I src/ext -I src/ext/pta -o ocamlutil/pretty.cmx ocamlutil/pretty.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/errormsg.cmx ocamlutil/errormsg.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/alpha.cmx ocamlutil/alpha.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cilint.cmx src/cilint.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o cilversion.cmx cilversion.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/clist.cmx ocamlutil/clist.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/escape.cmx src/escape.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmx ocamlutil/inthash.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/inthash.cmx ocamlutil/inthash.ml File "ocamlutil/inthash.ml", line 37, characters 16-28: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o machdep.cmx machdep.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/util.cmx ocamlutil/util.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmx src/cil.ml + /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cil.cmx src/cil.ml File "src/cil.ml", line 2742, characters 21-37: Warning 3: deprecated: 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/frontc -I src/ext -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/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmx ocamlutil/longarray.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/longarray.cmx ocamlutil/longarray.ml File "ocamlutil/longarray.ml", line 27, characters 3-15: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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: Warning 3: deprecated: Array.create Use Array.make instead. File "src/frontc/cabs2cil.ml", line 3377, characters 27-43: Warning 3: deprecated: String.uppercase Use String.uppercase_ascii instead. File "src/frontc/cabs2cil.ml", line 4992, characters 28-30: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/frontc/cabs2cil.ml", line 5054, characters 28-30: Warning 3: deprecated: Pervasives.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 8.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/frontc -I src/ext -I src/ext/pta -o src/machdepenv.cmx src/machdepenv.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/mergecil.cmx src/mergecil.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml + /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml File "src/rmtmps.ml", line 626, characters 8-191: Warning 57: Ambiguous or-pattern variables under guard; variable gref may match different arguments. (See manual section 8.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: 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 8.5) File "src/ext/liveness.ml", line 276, characters 21-25: 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 8.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 470, characters 15-19: 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 8.5) File "src/ext/reachingdefs.ml", line 556, characters 17-21: 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 8.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/frontc -I src/ext -I src/ext/pta -o src/formatparse.cmx src/formatparse.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/olf.cmx src/ext/pta/olf.ml /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/frontc -I src/ext -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml File "src/ext/pta/ptranal.ml", line 287, characters 38-39: Warning 3: deprecated: Pervasives.& Use (&&) instead. /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmx ocamlutil/bitmap.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o ocamlutil/bitmap.cmx ocamlutil/bitmap.ml File "ocamlutil/bitmap.ml", line 13, characters 14-26: Warning 3: deprecated: 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: 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 8.5) File "src/ext/availexps.ml", line 381, characters 17-21: 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 8.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: 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 8.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 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 8.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/frontc -I src/ext -I src/ext/pta -o src/check.cmx src/check.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -o src/cillower.cmx src/cillower.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -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 285, characters 15-19: 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 8.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/frontc -I src/ext -I src/ext/pta -o feature_config.cmx feature_config.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -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: 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 8.5) File "src/ext/predabst.ml", line 912, characters 14-18: 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 8.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: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 90, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 96, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 108, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 109, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 110, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 111, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 211, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 220, characters 11-23: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 273, characters 19-31: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 274, characters 13-25: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 302, characters 15-27: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 324, characters 17-29: Warning 3: deprecated: Array.create Use Array.make instead. File "src/ext/ssa.ml", line 673, characters 21-33: Warning 3: deprecated: 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: 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 8.5) File "src/ext/availexps.ml", line 381, characters 17-21: 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 8.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: 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 8.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: 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 8.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/frontc -I src/ext -I src/ext/pta -i src/cilutil.ml > src/cilutil.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/frontc -I src/ext -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/frontc -I src/ext -I src/ext/pta -i feature_config.ml > feature_config.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i src/formatlex.ml > src/formatlex.inferred.mli /usr/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: Warning 3: deprecated: 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: 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 8.5) File "src/ext/liveness.ml", line 276, characters 21-25: 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 8.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/frontc -I src/ext -I src/ext/pta -i machdep.ml > machdep.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/frontc -I src/ext -I src/ext/pta -i src/machdepenv.ml > src/machdepenv.inferred.mli /usr/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: 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 8.5) File "src/ext/predabst.ml", line 912, characters 14-18: 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 8.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 470, characters 15-19: 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 8.5) File "src/ext/reachingdefs.ml", line 556, characters 17-21: 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 8.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/frontc -I src/ext -I src/ext/pta -o src/main.cmo src/main.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/frontc -I src/ext -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 BUILDSTDERR: 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 BUILDSTDERR: 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/KeptFile.pm blib/lib/App/Cilly/KeptFile.pm cp App/Cilly.pm blib/lib/App/Cilly.pm cp App/Cilly/TempFile.pm blib/lib/App/Cilly/TempFile.pm cp App/Cilly/CilConfig.pm blib/lib/App/Cilly/CilConfig.pm cp App/Cilly/OutputFile.pm blib/lib/App/Cilly/OutputFile.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 BUILDSTDERR: ***Found CIL code at line 408 BUILDSTDERR: Preprocessing cilcode.tmp/ex1.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex1.c -o cilcode.tmp/ex1.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex1.cil.c --verbose cilcode.tmp/ex1.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex1.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex1.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.081 s BUILDSTDERR: parse 0.010 s BUILDSTDERR: convert to CIL 0.032 s BUILDSTDERR: printCIL 0.039 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.36MB, max=3.93MB, minor=2.33MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex1.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex1.cil.c -o cilcode.tmp/ex1.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex1.cil.i into cilcode.tmp/ex1.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex1.o cilcode.tmp/ex1.cil.i BUILDSTDERR: ***Found CIL code at line 418 BUILDSTDERR: Preprocessing cilcode.tmp/ex2.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex2.c -o cilcode.tmp/ex2.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex2.cil.c --verbose cilcode.tmp/ex2.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex2.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex2.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.013 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.004 s BUILDSTDERR: printCIL 0.009 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.33MB, max=3.93MB, minor=2.29MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex2.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex2.cil.c -o cilcode.tmp/ex2.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex2.cil.i into cilcode.tmp/ex2.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex2.o cilcode.tmp/ex2.cil.i BUILDSTDERR: ***Found CIL code at line 425 BUILDSTDERR: Preprocessing cilcode.tmp/ex3.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex3.c -o cilcode.tmp/ex3.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex3.cil.c --verbose cilcode.tmp/ex3.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex3.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex3.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.020 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.015 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex3.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex3.cil.c -o cilcode.tmp/ex3.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex3.cil.i into cilcode.tmp/ex3.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex3.o cilcode.tmp/ex3.cil.i BUILDSTDERR: ***Found CIL code at line 442 BUILDSTDERR: Preprocessing cilcode.tmp/ex4.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex4.c -o cilcode.tmp/ex4.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex4.cil.c --verbose cilcode.tmp/ex4.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex4.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex4.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.012 s BUILDSTDERR: parse 0.006 s BUILDSTDERR: convert to CIL 0.006 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.36MB, max=3.93MB, minor=2.33MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex4.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex4.cil.c -o cilcode.tmp/ex4.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex4.cil.i into cilcode.tmp/ex4.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex4.o cilcode.tmp/ex4.cil.i BUILDSTDERR: ***Found CIL code at line 459 BUILDSTDERR: Preprocessing cilcode.tmp/ex5.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex5.c -o cilcode.tmp/ex5.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex5.cil.c --verbose cilcode.tmp/ex5.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex5.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex5.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.005 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.004 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.40MB, max=3.93MB, minor=2.37MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex5.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex5.cil.c -o cilcode.tmp/ex5.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex5.cil.i into cilcode.tmp/ex5.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex5.o cilcode.tmp/ex5.cil.i BUILDSTDERR: ***Found CIL code at line 471 BUILDSTDERR: Preprocessing cilcode.tmp/ex6.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex6.c -o cilcode.tmp/ex6.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex6.cil.c --verbose cilcode.tmp/ex6.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex6.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex6.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.020 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.012 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.36MB, max=3.93MB, minor=2.33MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex6.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex6.cil.c -o cilcode.tmp/ex6.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex6.cil.i into cilcode.tmp/ex6.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex6.o cilcode.tmp/ex6.cil.i BUILDSTDERR: ***Found CIL code at line 477 BUILDSTDERR: Preprocessing cilcode.tmp/ex7.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex7.c -o cilcode.tmp/ex7.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex7.cil.c --verbose cilcode.tmp/ex7.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex7.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex7.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.019 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.013 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex7.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex7.cil.c -o cilcode.tmp/ex7.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex7.cil.i into cilcode.tmp/ex7.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex7.o cilcode.tmp/ex7.cil.i BUILDSTDERR: ***Found CIL code at line 492 BUILDSTDERR: Preprocessing cilcode.tmp/ex8.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex8.c -o cilcode.tmp/ex8.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex8.cil.c --verbose cilcode.tmp/ex8.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex8.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex8.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.000 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex8.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex8.cil.c -o cilcode.tmp/ex8.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex8.cil.i into cilcode.tmp/ex8.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex8.o cilcode.tmp/ex8.cil.i BUILDSTDERR: ***Found CIL code at line 501 BUILDSTDERR: Preprocessing cilcode.tmp/ex9.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex9.c -o cilcode.tmp/ex9.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex9.cil.c --verbose cilcode.tmp/ex9.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex9.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex9.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.006 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.005 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.40MB, max=3.93MB, minor=2.37MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex9.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex9.cil.c -o cilcode.tmp/ex9.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex9.cil.i into cilcode.tmp/ex9.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex9.o cilcode.tmp/ex9.cil.i BUILDSTDERR: ***Found CIL code at line 513 BUILDSTDERR: Preprocessing cilcode.tmp/ex10.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex10.c -o cilcode.tmp/ex10.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex10.cil.c --verbose cilcode.tmp/ex10.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex10.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex10.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.017 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.009 s BUILDSTDERR: printCIL 0.008 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex10.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex10.cil.c -o cilcode.tmp/ex10.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex10.cil.i into cilcode.tmp/ex10.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex10.o cilcode.tmp/ex10.cil.i BUILDSTDERR: ***Found CIL code at line 519 BUILDSTDERR: Preprocessing cilcode.tmp/ex11.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex11.c -o cilcode.tmp/ex11.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex11.cil.c --verbose cilcode.tmp/ex11.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex11.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex11.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.012 s BUILDSTDERR: parse 0.008 s BUILDSTDERR: convert to CIL 0.004 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.32MB, max=3.93MB, minor=2.29MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex11.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex11.cil.c -o cilcode.tmp/ex11.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex11.cil.i into cilcode.tmp/ex11.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex11.o cilcode.tmp/ex11.cil.i BUILDSTDERR: ***Found CIL code at line 528 BUILDSTDERR: Preprocessing cilcode.tmp/ex12.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex12.c -o cilcode.tmp/ex12.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex12.cil.c --verbose cilcode.tmp/ex12.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex12.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex12.c:2: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex12.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.008 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.004 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.42MB, max=3.93MB, minor=2.38MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex12.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex12.cil.c -o cilcode.tmp/ex12.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex12.cil.i into cilcode.tmp/ex12.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex12.o cilcode.tmp/ex12.cil.i BUILDSTDERR: ***Found CIL code at line 537 BUILDSTDERR: Preprocessing cilcode.tmp/ex13.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex13.c -o cilcode.tmp/ex13.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex13.cil.c --verbose cilcode.tmp/ex13.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex13.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex13.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.004 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.38MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex13.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex13.cil.c -o cilcode.tmp/ex13.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex13.cil.i into cilcode.tmp/ex13.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex13.o cilcode.tmp/ex13.cil.i BUILDSTDERR: ***Found CIL code at line 550 BUILDSTDERR: Preprocessing cilcode.tmp/ex14.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex14.c -o cilcode.tmp/ex14.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex14.cil.c --verbose cilcode.tmp/ex14.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex14.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex14.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.012 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.011 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.39MB, max=3.93MB, minor=2.35MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex14.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex14.cil.c -o cilcode.tmp/ex14.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex14.cil.i into cilcode.tmp/ex14.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex14.o cilcode.tmp/ex14.cil.i BUILDSTDERR: ***Found CIL code at line 567 BUILDSTDERR: Preprocessing cilcode.tmp/ex15.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex15.c -o cilcode.tmp/ex15.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex15.cil.c --verbose cilcode.tmp/ex15.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex15.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex15.c:2: Warning: Body of function foo falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex15.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.004 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.003 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.34MB, max=3.93MB, minor=2.31MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex15.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex15.cil.c -o cilcode.tmp/ex15.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex15.cil.i into cilcode.tmp/ex15.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex15.o cilcode.tmp/ex15.cil.i BUILDSTDERR: ***Found CIL code at line 576 BUILDSTDERR: Preprocessing cilcode.tmp/ex16.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex16.c -o cilcode.tmp/ex16.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex16.cil.c --verbose cilcode.tmp/ex16.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex16.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex16.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.031 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.020 s BUILDSTDERR: printCIL 0.007 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.38MB, max=3.93MB, minor=2.35MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex16.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex16.cil.c -o cilcode.tmp/ex16.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex16.cil.i into cilcode.tmp/ex16.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex16.o cilcode.tmp/ex16.cil.i BUILDSTDERR: ***Found CIL code at line 587 BUILDSTDERR: Preprocessing cilcode.tmp/ex17.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex17.c -o cilcode.tmp/ex17.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex17.cil.c --verbose cilcode.tmp/ex17.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex17.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex17.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.055 s BUILDSTDERR: parse 0.007 s BUILDSTDERR: convert to CIL 0.028 s BUILDSTDERR: printCIL 0.020 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.51MB, max=3.93MB, minor=2.48MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex17.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex17.cil.c -o cilcode.tmp/ex17.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex17.cil.i into cilcode.tmp/ex17.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex17.o cilcode.tmp/ex17.cil.i BUILDSTDERR: ***Found CIL code at line 600 BUILDSTDERR: Preprocessing cilcode.tmp/ex18.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex18.c -o cilcode.tmp/ex18.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex18.cil.c --verbose cilcode.tmp/ex18.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex18.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex18.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.004 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.004 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex18.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex18.cil.c -o cilcode.tmp/ex18.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex18.cil.i into cilcode.tmp/ex18.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex18.o cilcode.tmp/ex18.cil.i BUILDSTDERR: ***Found CIL code at line 609 BUILDSTDERR: Preprocessing cilcode.tmp/ex19.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex19.c -o cilcode.tmp/ex19.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex19.cil.c --verbose cilcode.tmp/ex19.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex19.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex19.c:7: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex19.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.061 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.036 s BUILDSTDERR: printCIL 0.024 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.46MB, max=3.93MB, minor=2.43MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex19.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex19.cil.c -o cilcode.tmp/ex19.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex19.cil.i into cilcode.tmp/ex19.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex19.o cilcode.tmp/ex19.cil.i BUILDSTDERR: ***Found CIL code at line 625 BUILDSTDERR: Preprocessing cilcode.tmp/ex20.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex20.c -o cilcode.tmp/ex20.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex20.cil.c --verbose cilcode.tmp/ex20.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex20.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex20.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.005 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.40MB, max=3.93MB, minor=2.37MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex20.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex20.cil.c -o cilcode.tmp/ex20.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex20.cil.i into cilcode.tmp/ex20.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex20.o cilcode.tmp/ex20.cil.i BUILDSTDERR: ***Found CIL code at line 637 BUILDSTDERR: Preprocessing cilcode.tmp/ex21.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex21.c -o cilcode.tmp/ex21.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex21.cil.c --verbose cilcode.tmp/ex21.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex21.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex21.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.019 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.008 s BUILDSTDERR: printCIL 0.007 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.39MB, max=3.93MB, minor=2.36MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex21.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex21.cil.c -o cilcode.tmp/ex21.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex21.cil.i into cilcode.tmp/ex21.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex21.o cilcode.tmp/ex21.cil.i BUILDSTDERR: ***Found CIL code at line 658 BUILDSTDERR: Preprocessing cilcode.tmp/ex22.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex22.c -o cilcode.tmp/ex22.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex22.cil.c --verbose cilcode.tmp/ex22.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex22.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex22.c:9: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex22.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.184 s BUILDSTDERR: parse 0.108 s BUILDSTDERR: convert to CIL 0.075 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=6.04MB, max=3.93MB, minor=6.01MB, major=0.63MB, promoted=0.60MB BUILDSTDERR: minor collections=2 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex22.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex22.cil.c -o cilcode.tmp/ex22.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex22.cil.i into cilcode.tmp/ex22.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex22.o cilcode.tmp/ex22.cil.i BUILDSTDERR: ***Found CIL code at line 1905 BUILDSTDERR: Preprocessing cilcode.tmp/ex23.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex23.c -o cilcode.tmp/ex23.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex23.cil.c --verbose --domakeCFG cilcode.tmp/ex23.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex23.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature makeCFG (make the program look more like a CFG) BUILDSTDERR: printing file cilcode.tmp/ex23.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.044 s BUILDSTDERR: parse 0.011 s BUILDSTDERR: convert to CIL 0.021 s BUILDSTDERR: makeCFG 0.012 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.47MB, max=3.93MB, minor=2.44MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex23.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex23.cil.c -o cilcode.tmp/ex23.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex23.cil.i into cilcode.tmp/ex23.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex23.o cilcode.tmp/ex23.cil.i BUILDSTDERR: ***Found CIL code at line 2068 BUILDSTDERR: Preprocessing cilcode.tmp/ex24.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex24.c -o cilcode.tmp/ex24.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex24.cil.c --verbose --dostackGuard cilcode.tmp/ex24.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex24.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex24.c:3: Warning: Body of function dangerous falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature stackGuard (instrument function calls and returns to maintain a BUILDSTDERR: separate stack for return addresses) BUILDSTDERR: printing file cilcode.tmp/ex24.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.033 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.028 s BUILDSTDERR: stackGuard 0.003 s BUILDSTDERR: printCIL 0.002 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.43MB, max=3.93MB, minor=2.40MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex24.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex24.cil.c -o cilcode.tmp/ex24.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex24.cil.i into cilcode.tmp/ex24.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex24.o cilcode.tmp/ex24.cil.i BUILDSTDERR: cilcode.tmp/ex24.cil.c: In function 'stackguard_push': BUILDSTDERR: cilcode.tmp/ex24.cil.c:17:5: warning: implicit declaration of function 'malloc' [-Wimplicit-function-declaration] BUILDSTDERR: malloc(sizeof(stackguard_stack)); BUILDSTDERR: ^~~~~~ BUILDSTDERR: cilcode.tmp/ex24.cil.c:17:5: warning: incompatible implicit declaration of built-in function 'malloc' BUILDSTDERR: cilcode.tmp/ex24.cil.c:17:5: note: include '' or provide a declaration of 'malloc' BUILDSTDERR: cilcode.tmp/ex24.cil.c:1:1: BUILDSTDERR: +#include BUILDSTDERR: /* Generated by CIL v. 1.7.3 */ BUILDSTDERR: cilcode.tmp/ex24.cil.c:17:5: BUILDSTDERR: malloc(sizeof(stackguard_stack)); BUILDSTDERR: ^~~~~~ BUILDSTDERR: cilcode.tmp/ex24.cil.c: In function 'stackguard_pop': BUILDSTDERR: cilcode.tmp/ex24.cil.c:25:3: warning: implicit declaration of function 'free' [-Wimplicit-function-declaration] BUILDSTDERR: free(stackguard_stack); BUILDSTDERR: ^~~~ BUILDSTDERR: cilcode.tmp/ex24.cil.c:25:3: warning: incompatible implicit declaration of built-in function 'free' BUILDSTDERR: cilcode.tmp/ex24.cil.c:25:3: note: include '' or provide a declaration of 'free' BUILDSTDERR: cilcode.tmp/ex24.c: At top level: BUILDSTDERR: cilcode.tmp/ex24.c:3:14: warning: conflicting types for built-in function 'scanf' [-Wbuiltin-declaration-mismatch] BUILDSTDERR: scanf("%s",array); // possible buffer overrun! BUILDSTDERR: ^~~~~ BUILDSTDERR: ***Found CIL code at line 2089 BUILDSTDERR: Preprocessing cilcode.tmp/ex25.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex25.c -o cilcode.tmp/ex25.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex25.cil.c --verbose --doheapify cilcode.tmp/ex25.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex25.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex25.c:3: Warning: Body of function dangerous falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature heapify (move stack-allocated arrays to the heap) BUILDSTDERR: printing file cilcode.tmp/ex25.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.019 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.005 s BUILDSTDERR: heapify 0.008 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.42MB, max=3.93MB, minor=2.39MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex25.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex25.cil.c -o cilcode.tmp/ex25.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex25.cil.i into cilcode.tmp/ex25.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex25.o cilcode.tmp/ex25.cil.i BUILDSTDERR: cilcode.tmp/ex25.c:3:14: warning: conflicting types for built-in function 'scanf' [-Wbuiltin-declaration-mismatch] BUILDSTDERR: scanf("%s",array); // possible buffer overrun! BUILDSTDERR: ^~~~~ BUILDSTDERR: cilcode.tmp/ex25.c: In function 'dangerous': BUILDSTDERR: cilcode.tmp/ex25.c:1:51: warning: implicit declaration of function 'malloc' [-Wimplicit-function-declaration] BUILDSTDERR: int dangerous() { BUILDSTDERR: ^ BUILDSTDERR: cilcode.tmp/ex25.c:1:51: warning: incompatible implicit declaration of built-in function 'malloc' BUILDSTDERR: cilcode.tmp/ex25.c:1:51: note: include '' or provide a declaration of 'malloc' BUILDSTDERR: +#include BUILDSTDERR: int dangerous() { BUILDSTDERR: ^ BUILDSTDERR: cilcode.tmp/ex25.c:4:3: warning: implicit declaration of function 'free' [-Wimplicit-function-declaration] BUILDSTDERR: } BUILDSTDERR: ^ BUILDSTDERR: cilcode.tmp/ex25.c:4:3: warning: incompatible implicit declaration of built-in function 'free' BUILDSTDERR: cilcode.tmp/ex25.c:4:3: note: include '' or provide a declaration of 'free' BUILDSTDERR: +#include BUILDSTDERR: } BUILDSTDERR: ^ BUILDSTDERR: ***Found CIL code at line 2109 BUILDSTDERR: Preprocessing cilcode.tmp/ex26.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex26.c -o cilcode.tmp/ex26.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex26.cil.c --verbose --dooneRet cilcode.tmp/ex26.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex26.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature oneRet (make each function have at most one 'return') BUILDSTDERR: printing file cilcode.tmp/ex26.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.008 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.003 s BUILDSTDERR: oneRet 0.003 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.39MB, max=3.93MB, minor=2.35MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex26.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex26.cil.c -o cilcode.tmp/ex26.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex26.cil.i into cilcode.tmp/ex26.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex26.o cilcode.tmp/ex26.cil.i BUILDSTDERR: ***Found CIL code at line 2166 BUILDSTDERR: Preprocessing cilcode.tmp/ex27.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex27.c -o cilcode.tmp/ex27.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex27.cil.c --verbose --domakeCFG --dopartial cilcode.tmp/ex27.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex27.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature makeCFG (make the program look more like a CFG) BUILDSTDERR: Running CIL feature partial (interprocedural partial evaluation and constant folding) BUILDSTDERR: printing file cilcode.tmp/ex27.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.070 s BUILDSTDERR: parse 0.020 s BUILDSTDERR: convert to CIL 0.016 s BUILDSTDERR: makeCFG 0.004 s BUILDSTDERR: partial 0.019 s BUILDSTDERR: printCIL 0.011 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.67MB, max=3.93MB, minor=2.63MB, major=0.39MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex27.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex27.cil.c -o cilcode.tmp/ex27.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex27.cil.i into cilcode.tmp/ex27.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex27.o cilcode.tmp/ex27.cil.i BUILDSTDERR: ***Found CIL code at line 2320 BUILDSTDERR: Preprocessing cilcode.tmp/ex28.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex28.c -o cilcode.tmp/ex28.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex28.cil.c --verbose --dosimpleMem cilcode.tmp/ex28.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex28.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex28.c:4: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature simpleMem (simplify all memory expressions) BUILDSTDERR: printing file cilcode.tmp/ex28.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.006 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: simpleMem 0.000 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.38MB, max=3.93MB, minor=2.35MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex28.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex28.cil.c -o cilcode.tmp/ex28.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex28.cil.i into cilcode.tmp/ex28.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex28.o cilcode.tmp/ex28.cil.i BUILDSTDERR: ***Found CIL code at line 2361 BUILDSTDERR: Preprocessing cilcode.tmp/ex29.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex29.c -o cilcode.tmp/ex29.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex29.cil.c --verbose --dosimplify cilcode.tmp/ex29.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex29.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: Running CIL feature simplify (compiles CIL to 3-address code) BUILDSTDERR: printing file cilcode.tmp/ex29.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.024 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.009 s BUILDSTDERR: simplify 0.008 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.49MB, max=3.93MB, minor=2.46MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex29.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex29.cil.c -o cilcode.tmp/ex29.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex29.cil.i into cilcode.tmp/ex29.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex29.o cilcode.tmp/ex29.cil.i BUILDSTDERR: ***Found CIL code at line 2997 BUILDSTDERR: Preprocessing cilcode.tmp/ex30.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex30.c -o cilcode.tmp/ex30.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex30.cil.c --verbose cilcode.tmp/ex30.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex30.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex30.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.008 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: printCIL 0.007 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.34MB, max=3.93MB, minor=2.31MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex30.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex30.cil.c -o cilcode.tmp/ex30.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex30.cil.i into cilcode.tmp/ex30.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex30.o cilcode.tmp/ex30.cil.i BUILDSTDERR: ***Found CIL code at line 3006 BUILDSTDERR: Preprocessing cilcode.tmp/ex31.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex31.c -o cilcode.tmp/ex31.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex31.cil.c --verbose cilcode.tmp/ex31.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex31.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex31.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.012 s BUILDSTDERR: parse 0.002 s BUILDSTDERR: convert to CIL 0.009 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.35MB, max=3.93MB, minor=2.32MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex31.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex31.cil.c -o cilcode.tmp/ex31.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex31.cil.i into cilcode.tmp/ex31.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex31.o cilcode.tmp/ex31.cil.i BUILDSTDERR: ***Found CIL code at line 3012 BUILDSTDERR: Preprocessing cilcode.tmp/ex32.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex32.c -o cilcode.tmp/ex32.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex32.cil.c --verbose cilcode.tmp/ex32.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex32.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex32.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.040 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.032 s BUILDSTDERR: printCIL 0.007 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.36MB, max=3.93MB, minor=2.33MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex32.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex32.cil.c -o cilcode.tmp/ex32.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex32.cil.i into cilcode.tmp/ex32.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex32.o cilcode.tmp/ex32.cil.i BUILDSTDERR: ***Found CIL code at line 3025 BUILDSTDERR: Preprocessing cilcode.tmp/ex33.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex33.c -o cilcode.tmp/ex33.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex33.cil.c --verbose cilcode.tmp/ex33.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex33.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex33.c:8: Warning: Body of function f falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex33.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.020 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.007 s BUILDSTDERR: printCIL 0.012 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.40MB, max=3.93MB, minor=2.37MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex33.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex33.cil.c -o cilcode.tmp/ex33.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex33.cil.i into cilcode.tmp/ex33.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex33.o cilcode.tmp/ex33.cil.i BUILDSTDERR: ***Found CIL code at line 3042 BUILDSTDERR: Preprocessing cilcode.tmp/ex34.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex34.c -o cilcode.tmp/ex34.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex34.cil.c --verbose cilcode.tmp/ex34.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex34.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex34.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.004 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.003 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex34.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex34.cil.c -o cilcode.tmp/ex34.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex34.cil.i into cilcode.tmp/ex34.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex34.o cilcode.tmp/ex34.cil.i BUILDSTDERR: ***Found CIL code at line 3053 BUILDSTDERR: Preprocessing cilcode.tmp/ex35.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex35.c -o cilcode.tmp/ex35.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex35.cil.c --verbose cilcode.tmp/ex35.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex35.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex35.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.012 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.008 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.49MB, max=3.93MB, minor=2.46MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex35.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex35.cil.c -o cilcode.tmp/ex35.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex35.cil.i into cilcode.tmp/ex35.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex35.o cilcode.tmp/ex35.cil.i BUILDSTDERR: cilcode.tmp/ex35.c: In function 'main': BUILDSTDERR: cilcode.tmp/ex35.c:22:11: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] BUILDSTDERR: return pt3->value; BUILDSTDERR: ^ BUILDSTDERR: ***Found CIL code at line 3083 BUILDSTDERR: Preprocessing cilcode.tmp/ex36.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex36.c -o cilcode.tmp/ex36.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex36.cil.c --verbose cilcode.tmp/ex36.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex36.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex36.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.024 s BUILDSTDERR: parse 0.010 s BUILDSTDERR: convert to CIL 0.010 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex36.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex36.cil.c -o cilcode.tmp/ex36.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex36.cil.i into cilcode.tmp/ex36.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex36.o cilcode.tmp/ex36.cil.i BUILDSTDERR: ***Found CIL code at line 3091 BUILDSTDERR: Preprocessing cilcode.tmp/ex37.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex37.c -o cilcode.tmp/ex37.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex37.cil.c --verbose cilcode.tmp/ex37.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex37.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: cilcode.tmp/ex37.c:3: Warning: Body of function foo falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex37.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.029 s BUILDSTDERR: parse 0.020 s BUILDSTDERR: convert to CIL 0.008 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.39MB, max=3.93MB, minor=2.35MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex37.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex37.cil.c -o cilcode.tmp/ex37.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex37.cil.i into cilcode.tmp/ex37.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex37.o cilcode.tmp/ex37.cil.i BUILDSTDERR: ***Found CIL code at line 3109 BUILDSTDERR: Preprocessing cilcode.tmp/ex38.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex38.c -o cilcode.tmp/ex38.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex38.cil.c --verbose cilcode.tmp/ex38.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex38.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex38.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.026 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.025 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.34MB, max=3.93MB, minor=2.31MB, major=0.37MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex38.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex38.cil.c -o cilcode.tmp/ex38.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex38.cil.i into cilcode.tmp/ex38.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex38.o cilcode.tmp/ex38.cil.i BUILDSTDERR: ***Found CIL code at line 3120 BUILDSTDERR: Preprocessing cilcode.tmp/ex39.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex39.c -o cilcode.tmp/ex39.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex39.cil.c --verbose cilcode.tmp/ex39.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex39.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex39.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.017 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.012 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.40MB, max=3.93MB, minor=2.36MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex39.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex39.cil.c -o cilcode.tmp/ex39.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex39.cil.i into cilcode.tmp/ex39.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex39.o cilcode.tmp/ex39.cil.i BUILDSTDERR: ***Found CIL code at line 3142 BUILDSTDERR: Preprocessing cilcode.tmp/ex40.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex40.c -o cilcode.tmp/ex40.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex40.cil.c --verbose cilcode.tmp/ex40.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex40.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex40.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.015 s BUILDSTDERR: parse 0.005 s BUILDSTDERR: convert to CIL 0.006 s BUILDSTDERR: printCIL 0.004 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.39MB, max=3.93MB, minor=2.36MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex40.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex40.cil.c -o cilcode.tmp/ex40.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex40.cil.i into cilcode.tmp/ex40.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex40.o cilcode.tmp/ex40.cil.i BUILDSTDERR: ***Found CIL code at line 3149 BUILDSTDERR: Preprocessing cilcode.tmp/ex41.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex41.c -o cilcode.tmp/ex41.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex41.cil.c --verbose cilcode.tmp/ex41.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex41.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex41.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.012 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.008 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex41.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex41.cil.c -o cilcode.tmp/ex41.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex41.cil.i into cilcode.tmp/ex41.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex41.o cilcode.tmp/ex41.cil.i BUILDSTDERR: ***Found CIL code at line 3157 BUILDSTDERR: Preprocessing cilcode.tmp/ex42.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex42.c -o cilcode.tmp/ex42.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex42.cil.c --verbose cilcode.tmp/ex42.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex42.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex42.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.026 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.017 s BUILDSTDERR: printCIL 0.005 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.58MB, max=3.93MB, minor=2.55MB, major=0.39MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex42.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex42.cil.c -o cilcode.tmp/ex42.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex42.cil.i into cilcode.tmp/ex42.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex42.o cilcode.tmp/ex42.cil.i BUILDSTDERR: cilcode.tmp/ex42.c: In function 'doit': BUILDSTDERR: cilcode.tmp/ex42.c:10:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] BUILDSTDERR: goto *jtab[x]; // Jump through the table BUILDSTDERR: ^ BUILDSTDERR: cilcode.tmp/ex42.c: At top level: BUILDSTDERR: cilcode.tmp/ex42.c:18:14: warning: conflicting types for built-in function 'exit' [-Wbuiltin-declaration-mismatch] BUILDSTDERR: if (doit(0) != 0) exit(1); BUILDSTDERR: ^~~~ BUILDSTDERR: ***Found CIL code at line 3184 BUILDSTDERR: Preprocessing cilcode.tmp/ex43.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex43.c -o cilcode.tmp/ex43.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex43.cil.c --verbose cilcode.tmp/ex43.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex43.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex43.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.008 s BUILDSTDERR: parse 0.001 s BUILDSTDERR: convert to CIL 0.006 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.36MB, max=3.93MB, minor=2.33MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex43.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex43.cil.c -o cilcode.tmp/ex43.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex43.cil.i into cilcode.tmp/ex43.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex43.o cilcode.tmp/ex43.cil.i BUILDSTDERR: ***Found CIL code at line 3191 BUILDSTDERR: Preprocessing cilcode.tmp/ex44.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex44.c -o cilcode.tmp/ex44.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex44.cil.c --verbose cilcode.tmp/ex44.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex44.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex44.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.016 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.012 s BUILDSTDERR: printCIL 0.001 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.44MB, max=3.93MB, minor=2.40MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex44.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex44.cil.c -o cilcode.tmp/ex44.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex44.cil.i into cilcode.tmp/ex44.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex44.o cilcode.tmp/ex44.cil.i BUILDSTDERR: ***Found CIL code at line 3213 BUILDSTDERR: Preprocessing cilcode.tmp/ex45.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex45.c -o cilcode.tmp/ex45.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex45.cil.c --verbose cilcode.tmp/ex45.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex45.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: REDOREDOcilcode.tmp/ex45.c:12: Warning: Body of function main falls-through. Adding a return statement BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex45.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.019 s BUILDSTDERR: parse 0.008 s BUILDSTDERR: convert to CIL 0.008 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.43MB, max=3.93MB, minor=2.40MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex45.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex45.cil.c -o cilcode.tmp/ex45.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex45.cil.i into cilcode.tmp/ex45.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex45.o cilcode.tmp/ex45.cil.i BUILDSTDERR: ***Found CIL code at line 3231 BUILDSTDERR: Preprocessing cilcode.tmp/ex46.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex46.c -o cilcode.tmp/ex46.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex46.cil.c --verbose cilcode.tmp/ex46.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex46.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex46.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.011 s BUILDSTDERR: parse 0.003 s BUILDSTDERR: convert to CIL 0.007 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.37MB, max=3.93MB, minor=2.34MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex46.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex46.cil.c -o cilcode.tmp/ex46.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex46.cil.i into cilcode.tmp/ex46.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex46.o cilcode.tmp/ex46.cil.i BUILDSTDERR: ***Found CIL code at line 3242 BUILDSTDERR: Preprocessing cilcode.tmp/ex47.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex47.c -o cilcode.tmp/ex47.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex47.cil.c --verbose cilcode.tmp/ex47.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex47.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex47.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.032 s BUILDSTDERR: parse 0.007 s BUILDSTDERR: convert to CIL 0.025 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.40MB, max=3.93MB, minor=2.37MB, major=0.38MB, promoted=0.34MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex47.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex47.cil.c -o cilcode.tmp/ex47.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex47.cil.i into cilcode.tmp/ex47.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex47.o cilcode.tmp/ex47.cil.i BUILDSTDERR: ***Found CIL code at line 3271 BUILDSTDERR: Preprocessing cilcode.tmp/ex48.c BUILDSTDERR: gcc -D_GNUCC -E -DCIL=1 cilcode.tmp/ex48.c -o cilcode.tmp/ex48.i BUILDSTDERR: /builddir/build/BUILD/cil-1.7.3/bin/cilly.native --out cilcode.tmp/ex48.cil.c --verbose cilcode.tmp/ex48.i BUILDSTDERR: Frontc is parsing cilcode.tmp/ex48.i BUILDSTDERR: Converting CABS->CIL BUILDSTDERR: Removing unused temporaries BUILDSTDERR: printing file cilcode.tmp/ex48.cil.c BUILDSTDERR: Timings: BUILDSTDERR: TOTAL 0.015 s BUILDSTDERR: parse 0.004 s BUILDSTDERR: convert to CIL 0.008 s BUILDSTDERR: printCIL 0.003 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=2.43MB, max=3.93MB, minor=2.39MB, major=0.38MB, promoted=0.35MB BUILDSTDERR: minor collections=1 major collections=0 compactions=0 BUILDSTDERR: Preprocessing cilcode.tmp/ex48.cil.c BUILDSTDERR: gcc -D_GNUCC -E cilcode.tmp/ex48.cil.c -o cilcode.tmp/ex48.cil.i BUILDSTDERR: Compiling cilcode.tmp/ex48.cil.i into cilcode.tmp/ex48.o BUILDSTDERR: gcc -D_GNUCC -c -o cilcode.tmp/ex48.o cilcode.tmp/ex48.cil.i 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 BUILDSTDERR: Exclude comment 'comment' BUILDSTDERR: ../../cilpp.tex:83: Warning: No title given BUILDSTDERR: ../../cilpp.tex:83: Warning: No author given BUILDSTDERR: ../../cilpp.tex:106: Warning: Undefined label: 'sec-simplec' BUILDSTDERR: ../../cilpp.tex:114: Warning: Undefined label: 'sec-cabs2cil' BUILDSTDERR: ../../cilpp.tex:128: Warning: Undefined label: 'sec-Extension' BUILDSTDERR: ../../cilpp.tex:150: Warning: Undefined label: 'sec-ugly-gcc' BUILDSTDERR: ../../cilpp.tex:175: Warning: Undefined label: 'sec-Extension' BUILDSTDERR: ../../cilpp.tex:211: Warning: Undefined label: 'sec-changes' BUILDSTDERR: ../../cilpp.tex:386: Warning: Undefined label: 'sec-cil' BUILDSTDERR: ../../cilpp.tex:736: Warning: Undefined label: 'sec-Extension' BUILDSTDERR: ../../cilpp.tex:767: Warning: Undefined label: 'sec-merger' BUILDSTDERR: ../../cilpp.tex:838: Warning: Undefined label: 'sec-driver' BUILDSTDERR: ../../cilpp.tex:1634: Warning: Undefined label: 'sec-merger' BUILDSTDERR: ../../cilpp.tex:1657: Warning: Undefined label: 'sec-patcher' BUILDSTDERR: ../../cilpp.tex:1688: Warning: Undefined label: 'sec-merger' BUILDSTDERR: ../../cilpp.tex:1695: Warning: Undefined label: 'sec-patcher' BUILDSTDERR: ../../cilpp.tex:1762: Warning: Undefined label: 'sec-cilmachine' BUILDSTDERR: ../../cilpp.tex:1788: Warning: Undefined label: 'sec-Extension' BUILDSTDERR: ../../cilpp.tex:1970: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2191: Warning: Undefined label: 'enum:partial-empty-proc' BUILDSTDERR: ../../cilpp.tex:2192: Warning: Undefined label: 'enum:partial-const-func' BUILDSTDERR: ../../cilpp.tex:2248: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2287: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2321: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2358: Warning: Undefined label: 'sec-cfg' BUILDSTDERR: ../../cilpp.tex:2521: Warning: Undefined label: 'sec-attrib' BUILDSTDERR: HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. cd doc/html/cil; hevea -exec xxdate.exe ../../cilpp BUILDSTDERR: Exclude comment 'comment' BUILDSTDERR: ../../cilpp.tex:83: Warning: No title given BUILDSTDERR: ../../cilpp.tex:83: Warning: No author given BUILDSTDERR: ../../cilpp.tex:211: Warning: Undefined label: 'sec-changes' cd doc/html/cil; mv cilpp.html cil.html cd doc/html/cil; hacha -o ciltoc.html cil.html BUILDSTDERR: 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.17 (TeX Live 2016) (preloaded format=pdflatex) restricted \write18 enabled. BUILDSTDERR: kpathsea: Running mktexfmt pdflatex.fmt BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): BUILDSTDERR: mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf BUILDSTDERR: mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: BUILDSTDERR: mktexfmt: /builddir/.cache/texlive/texmf-config/web2c/fmtutil.cnf BUILDSTDERR: mktexfmt [WARNING]: double mention of mf/mf-nowin in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf BUILDSTDERR: mktexfmt [WARNING]: double mention of tex/tex in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf BUILDSTDERR: mktexfmt [INFO]: writing formats under /builddir/.cache/texlive/texmf-var/web2c BUILDSTDERR: mktexfmt [INFO]: --- remaking pdflatex with pdftex BUILDSTDERR: mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... BUILDSTDERR: This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (INITEX) BUILDSTDERR: restricted \write18 enabled. BUILDSTDERR: (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) BUILDSTDERR: entering extended mode BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) BUILDSTDERR: ./texsys.aux found BUILDSTDERR: \@currdir set to: ./. BUILDSTDERR: Assuming \openin and \input BUILDSTDERR: have the same search path. BUILDSTDERR: Defining UNIX/DOS style filename parser. BUILDSTDERR: catcodes, registers, compatibility for TeX 2, parameters, BUILDSTDERR: LaTeX2e <2016/03/31> BUILDSTDERR: hacks, control, par, spacing, files, font encodings, lengths, BUILDSTDERR: ==================================== BUILDSTDERR: Local config file fonttext.cfg used BUILDSTDERR: ==================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx BUILDSTDERR: === Don't modify this file, use a .cfg file instead === BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) BUILDSTDERR: ==================================== BUILDSTDERR: Local config file fontmath.cfg used BUILDSTDERR: ==================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx BUILDSTDERR: === Don't modify this file, use a .cfg file instead === BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) BUILDSTDERR: ==================================== BUILDSTDERR: Local config file preload.cfg used BUILDSTDERR: ===================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, BUILDSTDERR: environments, center, verbatim, math definitions, boxes, title, sectioning, BUILDSTDERR: contents, floats, footnotes, index, bibliography, output, BUILDSTDERR: =========================================== BUILDSTDERR: Local configuration file hyphen.cfg used BUILDSTDERR: =========================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) BUILDSTDERR: ) ) BUILDSTDERR: Beginning to dump on file pdflatex.fmt BUILDSTDERR: (preloaded format=pdflatex 2018.6.5) BUILDSTDERR: 5054 strings of total length 69018 BUILDSTDERR: 44351 memory locations dumped; current usage is 144&43759 BUILDSTDERR: 3399 multiletter control sequences BUILDSTDERR: \font\nullfont=nullfont BUILDSTDERR: \font\OMX/cmex/m/n/10=cmex10 BUILDSTDERR: \font\tenln=line10 BUILDSTDERR: \font\tenlnw=linew10 BUILDSTDERR: \font\tencirc=lcircle10 BUILDSTDERR: \font\tencircw=lcirclew10 BUILDSTDERR: \font\OT1/cmr/m/n/5=cmr5 BUILDSTDERR: \font\OT1/cmr/m/n/7=cmr7 BUILDSTDERR: \font\OT1/cmr/m/n/10=cmr10 BUILDSTDERR: \font\OML/cmm/m/it/5=cmmi5 BUILDSTDERR: \font\OML/cmm/m/it/7=cmmi7 BUILDSTDERR: \font\OML/cmm/m/it/10=cmmi10 BUILDSTDERR: \font\OMS/cmsy/m/n/5=cmsy5 BUILDSTDERR: \font\OMS/cmsy/m/n/7=cmsy7 BUILDSTDERR: \font\OMS/cmsy/m/n/10=cmsy10 BUILDSTDERR: 3633 words of font info for 14 preloaded fonts BUILDSTDERR: 14 hyphenation exceptions BUILDSTDERR: Hyphenation trie of length 6081 has 183 ops out of 35111 BUILDSTDERR: 2 for language 1 BUILDSTDERR: 181 for language 0 BUILDSTDERR: 0 words of pdfTeX memory BUILDSTDERR: 0 indirect objects BUILDSTDERR: No pages of output. BUILDSTDERR: Transcript written on pdflatex.log. BUILDSTDERR: mktexfmt [INFO]: /builddir/.cache/texlive/texmf-var/web2c/pdftex/pdflatex.fmt installed. BUILDSTDERR: mktexfmt [INFO]: Disabled formats: 32 BUILDSTDERR: mktexfmt [INFO]: Successfully rebuilt formats: 1 BUILDSTDERR: mktexfmt [INFO]: Not selected formats: 15 BUILDSTDERR: mktexfmt [INFO]: Total formats: 48 BUILDSTDERR: mktexfmt [INFO]: exiting with status 0 entering extended mode (./cilpp.tex LaTeX2e <2016/03/31> Babel <3.9r> and hyphenation patterns for 3 language(s) loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty (./comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (./fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty) \@input{cil.version.aux} (./cil.version.tex) (./cilpp.aux) LaTeX Warning: No \author given. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [1{/usr/share/texlive/ texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] LaTeX Warning: Reference `sec-changes' on page 2 undefined on input line 211. Overfull \hbox (134.497pt too wide) in paragraph at lines 207--212 []\OT1/cmr/m/n/10 Download the CIL dis-tri-bu-tion (lat-est ver-sion is \OT1/cm tt/m/n/10 http://sourceforge.net/projects/cil/files/cil/cil-1.7.3.tar.gz\OT1/cm r/m/n/10 ). Underfull \hbox (badness 10000) in paragraph at lines 230--237 [2] [3] [4] [5] [6] [7] [8] [9] [10] Overfull \hbox (18.31773pt too wide) in paragraph at lines 846--852 \OT1/cmr/m/n/10 CIL can also be built as a li-brary that is called from your st and-alone ap-pli-ca-tion. Add \OT1/cmtt/m/n/10 cil/src\OT1/cmr/m/n/10 , \OT1/cm tt/m/n/10 cil/src/frontc\OT1/cmr/m/n/10 , [11] Overfull \hbox (0.28816pt too wide) in paragraph at lines 853--863 \OT1/cmr/m/n/10 tain-ing the out-put of the C pre-pro-ces-sor. The \OT1/cmtt/m/ n/10 Mergecil.merge: Cil.file list -> string -> Cil.file Overfull \hbox (13.26088pt too wide) in paragraph at lines 853--863 \OT1/cmtt/m/n/10 Cil.file -> unit \OT1/cmr/m/n/10 to print the file to a given out-put chan-nel. A good \OT1/cmtt/m/n/10 cilPrinter \OT1/cmr/m/n/10 to use is \OT1/cmtt/m/n/10 defaultCilPrinter\OT1/cmr/m/n/10 . [12] [13] [14] [15] [16] [17] [18] [19] [20] Overfull \hbox (38.69044pt too wide) in paragraph at lines 1465--1468 []\OT1/cmr/m/n/10 section, con-struc-tor, de-struc-tor, un-used, weak, no[]inst rument[]function, nore-turn, alias, no[]check[]memory[]usage, [21] [22] [23] [24] Overfull \hbox (42.61479pt too wide) in paragraph at lines 1800--1802 []\OT1/cmtt/m/n/10 --dopartial\OT1/cmr/m/n/10 . Do in-ter-pro-ce-du-ral par-tia l eval-u-a-tion and con-stant fold-ing. Im-ple-mented in \OT1/cmtt/m/n/10 src/e xt/partial.ml\OT1/cmr/m/n/10 . [25] [26] [27] [28] Overfull \hbox (0.68095pt too wide) in paragraph at lines 2051--2055 []\OT1/cmtt/m/n/10 Ptranal.conservative[]undefineds: bool ref\OT1/cmr/m/n/10 . Make the most pes-simistic as-sump-tions about glob- [29] [30] [31] Overfull \hbox (15.966pt too wide) in paragraph at lines 2301--2304 []\OT1/cmtt/m/n/10 AvailableExps.stmtStartData \OT1/cmr/m/n/10 -- Con-tains ava il-able ex-pres-sions data for each state-ment af-ter \OT1/cmtt/m/n/10 computeA Es [32] [33] [34] [35] [36] Overfull \hbox (24.20659pt too wide) in paragraph at lines 2673--2683 []\OT1/cmr/m/n/10 By de-fault, CIL fol-lows the cur-rent gcc be-hav-ior for ex- tern in-line. How-ever, if you set \OT1/cmtt/m/n/10 oldstyleExternInline [37] Overfull \hbox (11.99518pt too wide) in paragraph at lines 2782--2787 []\OT1/cmr/m/n/10 File-scope names (\OT1/cmtt/m/n/10 static \OT1/cmr/m/n/10 glo b-als, names of types de-fined with \OT1/cmtt/m/n/10 typedef\OT1/cmr/m/n/10 , a nd struc-ture/union/enumeration [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] (./cilpp.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information)< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb> Output written on cilpp.pdf (48 pages, 259144 bytes). Transcript written on cilpp.log. This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./cilpp.tex LaTeX2e <2016/03/31> Babel <3.9r> and hyphenation patterns for 3 language(s) loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty (./comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (./fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty) \@input{cil.version.aux} (./cil.version.tex) (./cilpp.aux) LaTeX Warning: No \author given. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [1{/usr/share/texlive/ texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] LaTeX Warning: Reference `sec-changes' on page 2 undefined on input line 211. Overfull \hbox (134.497pt too wide) in paragraph at lines 207--212 []\OT1/cmr/m/n/10 Download the CIL dis-tri-bu-tion (lat-est ver-sion is \OT1/cm tt/m/n/10 http://sourceforge.net/projects/cil/files/cil/cil-1.7.3.tar.gz\OT1/cm r/m/n/10 ). Underfull \hbox (badness 10000) in paragraph at lines 230--237 [2] [3] [4] [5] [6] [7] [8] [9] [10] Overfull \hbox (18.31773pt too wide) in paragraph at lines 846--852 \OT1/cmr/m/n/10 CIL can also be built as a li-brary that is called from your st and-alone ap-pli-ca-tion. Add \OT1/cmtt/m/n/10 cil/src\OT1/cmr/m/n/10 , \OT1/cm tt/m/n/10 cil/src/frontc\OT1/cmr/m/n/10 , [11] Overfull \hbox (0.28816pt too wide) in paragraph at lines 853--863 \OT1/cmr/m/n/10 tain-ing the out-put of the C pre-pro-ces-sor. The \OT1/cmtt/m/ n/10 Mergecil.merge: Cil.file list -> string -> Cil.file Overfull \hbox (13.26088pt too wide) in paragraph at lines 853--863 \OT1/cmtt/m/n/10 Cil.file -> unit \OT1/cmr/m/n/10 to print the file to a given out-put chan-nel. A good \OT1/cmtt/m/n/10 cilPrinter \OT1/cmr/m/n/10 to use is \OT1/cmtt/m/n/10 defaultCilPrinter\OT1/cmr/m/n/10 . [12] [13] [14] [15] [16] [17] [18] [19] [20] Overfull \hbox (38.69044pt too wide) in paragraph at lines 1465--1468 []\OT1/cmr/m/n/10 section, con-struc-tor, de-struc-tor, un-used, weak, no[]inst rument[]function, nore-turn, alias, no[]check[]memory[]usage, [21] [22] [23] [24] Overfull \hbox (42.61479pt too wide) in paragraph at lines 1800--1802 []\OT1/cmtt/m/n/10 --dopartial\OT1/cmr/m/n/10 . Do in-ter-pro-ce-du-ral par-tia l eval-u-a-tion and con-stant fold-ing. Im-ple-mented in \OT1/cmtt/m/n/10 src/e xt/partial.ml\OT1/cmr/m/n/10 . [25] [26] [27] [28] Overfull \hbox (0.68095pt too wide) in paragraph at lines 2051--2055 []\OT1/cmtt/m/n/10 Ptranal.conservative[]undefineds: bool ref\OT1/cmr/m/n/10 . Make the most pes-simistic as-sump-tions about glob- [29] [30] [31] Overfull \hbox (15.966pt too wide) in paragraph at lines 2301--2304 []\OT1/cmtt/m/n/10 AvailableExps.stmtStartData \OT1/cmr/m/n/10 -- Con-tains ava il-able ex-pres-sions data for each state-ment af-ter \OT1/cmtt/m/n/10 computeA Es [32] [33] [34] [35] [36] Overfull \hbox (24.20659pt too wide) in paragraph at lines 2673--2683 []\OT1/cmr/m/n/10 By de-fault, CIL fol-lows the cur-rent gcc be-hav-ior for ex- tern in-line. How-ever, if you set \OT1/cmtt/m/n/10 oldstyleExternInline [37] Overfull \hbox (11.99518pt too wide) in paragraph at lines 2782--2787 []\OT1/cmr/m/n/10 File-scope names (\OT1/cmtt/m/n/10 static \OT1/cmr/m/n/10 glo b-als, names of types de-fined with \OT1/cmtt/m/n/10 typedef\OT1/cmr/m/n/10 , a nd struc-ture/union/enumeration [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] (./cilpp.aux) LaTeX Warning: There were undefined references. ) (see the transcript file for additional information)< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb> Output written on cilpp.pdf (48 pages, 259144 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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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/frontc -I src/ext -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 + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.HcuDVO + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64 + cd cil-1.7.3 + export DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64 + DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64 + export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml + OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml + mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml + make DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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 BUILDSTDERR: ocamlfind: [WARNING] No such file: /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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` BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/whitetrack.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/whitetrack.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/whitetrack.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/util.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/util.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/util.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/usedef.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/usedef.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/usedef.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/uref.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/uref.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/uref.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/trace.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/trace.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/trace.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/stats.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/stats.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/stats.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ssa.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ssa.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ssa.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/simplify.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/simplify.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/simplify.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/simplemem.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/simplemem.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/simplemem.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/sfi.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/sfi.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/sfi.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/setp.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/setp.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/setp.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/rmtmps.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/rmtmps.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/rmtmps.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/reachingdefs.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/reachingdefs.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/reachingdefs.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ptranal.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ptranal.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ptranal.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/pretty.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/pretty.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/pretty.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/predabst.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/predabst.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/predabst.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/patch.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/patch.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/patch.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/partial.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/partial.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/partial.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/oneret.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/oneret.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/oneret.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/olf.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/olf.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/olf.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/mergecil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/mergecil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/mergecil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/machdepenv.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/machdepenv.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/machdepenv.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/machdep.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/machdep.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/machdep.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/longarray.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/longarray.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/longarray.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/logwrites.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/logwrites.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/logwrites.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/logcalls.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/logcalls.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/logcalls.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmutils.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmutils.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmutils.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmssa.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmssa.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmssa.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmgen.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmgen.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvmgen.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvm.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvm.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/llvm.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/liveness.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/liveness.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/liveness.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/lexerhack.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/lexerhack.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/lexerhack.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/inthash.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/inthash.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/inthash.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/heapify.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/heapify.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/heapify.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/heap.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/heap.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/heap.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/growArray.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/growArray.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/growArray.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/frontc.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/frontc.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/frontc.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatparse.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatparse.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatparse.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatlex.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatlex.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatlex.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatcil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatcil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/formatcil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/feature_config.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/feature_config.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/feature_config.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/expcompare.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/expcompare.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/expcompare.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/escape.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/escape.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/escape.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/errormsg.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/errormsg.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/errormsg.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/epicenter.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/epicenter.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/epicenter.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dominators.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dominators.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dominators.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/deadcodeelim.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/deadcodeelim.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/deadcodeelim.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dataslicing.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dataslicing.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dataslicing.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dataflow.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dataflow.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/dataflow.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cprint.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cprint.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cprint.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cparser.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cparser.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cparser.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/clist.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/clist.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/clist.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/clexer.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/clexer.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/clexer.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilversion.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilversion.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilversion.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilutil.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilutil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilutil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ciltools.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ciltools.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ciltools.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ciloptions.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ciloptions.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/ciloptions.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cillower.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cillower.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cillower.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilint.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilint.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cilint.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/check.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/check.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/check.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cfg.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cfg.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cfg.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/canonicalize.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/canonicalize.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/canonicalize.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/callgraph.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/callgraph.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/callgraph.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabsvisit.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabsvisit.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabsvisit.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabshelper.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabshelper.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabshelper.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabs2cil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabs2cil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabs2cil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabs.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabs.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cabs.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/bitmap.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/bitmap.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/bitmap.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/availexpslv.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/availexpslv.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/availexpslv.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/availexps.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/availexps.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/availexps.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/alpha.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/alpha.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/alpha.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cil.a BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cil.cmxa BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/lib64/ocaml/cil/cil.cma BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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-40.fc29.riscv64/usr/share/perl5/vendor_perl/App/Cilly.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/perl5/vendor_perl/App/Cilly/TempFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/perl5/vendor_perl/App/Cilly/CilConfig.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/perl5/vendor_perl/App/Cilly/OutputFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/perl5/vendor_perl/App/Cilly/KeptFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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-40.fc29.riscv64/usr/bin + find /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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/contents_motif.gif doc/html/cil/next_motif.gif doc/html/cil/previous_motif.gif 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/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-40.fc29 --unique-debug-suffix -1.7.3-40.fc29.riscv64 --unique-debug-src-base ocaml-cil-1.7.3-40.fc29.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cil-1.7.3 extracting debug info from /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/bin/cilly.native BUILDSTDERR: gdb-add-index: No index was created for /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/bin/cilly.native BUILDSTDERR: gdb-add-index: [Was there no debuginfo? Was there already an index?] /usr/lib/rpm/sepdebugcrcfix: Updated 0 CRC32s, 1 CRC32s did match. + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig BUILDSTDERR: /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.KfjtzD Processing files: ocaml-cil-1.7.3-40.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.WKbVFL + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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-40.fc29.riscv64/usr/share/doc/ocaml-cil + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/doc/ocaml-cil + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/doc/ocaml-cil + exit 0 Provides: ocaml(Alpha) = 58a373623f9157bc92bb20ae40570105 ocaml(Availexps) = 1bf3f454a7d79c5403fbfd9a4d21ade9 ocaml(Availexpslv) = b76321ebbe74646763227e0a33f32aa5 ocaml(Bitmap) = 5392c20293967609ea13b7491781c174 ocaml(Cabs) = b1639ab096fd6d6d59762896e3f564bb ocaml(Cabs2cil) = 37d22f118ea5e26f838bece939f6cbd9 ocaml(Cabshelper) = cadeecd4c64ad512db666d273cfc452e ocaml(Cabsvisit) = 9bbb72a58a2b13fcbc602f5ab142ce95 ocaml(Callgraph) = 7760652e2c4edec144e4e4b3a99734a9 ocaml(Canonicalize) = efb2b6c4afeb7832a39784c27186b179 ocaml(Cfg) = 0b6b34bade63bb25ff57c1c9b1a950f0 ocaml(Check) = fe5c8faa838214030b200a1b20d1a591 ocaml(Cil) = db9cd91c1309c62cfa6459ae29439539 ocaml(Cilint) = d5cf8342d29493bd7770e0f45caf36b9 ocaml(Cillower) = d7bc77ed93cc97c7bd2522055f3857ab ocaml(Ciloptions) = 027656dc5495c77a2edcdfe0ad1f4a4c ocaml(Ciltools) = d00286a7e42c45046ab455d992341bb0 ocaml(Cilutil) = b432716568c97d1e82ad7c0a6c194197 ocaml(Cilversion) = 7e7c30f7ae0ed6e7a7f413d8ffd49615 ocaml(Clexer) = 5550a5e04d0815ed64507c463190552b ocaml(Clist) = a0f2e2e929a2b4e20fb6497b5acf2572 ocaml(Cparser) = 04df586bd3d7437f2206d77915e60ec5 ocaml(Cprint) = 29cb3b7b369782a4bdd18588c9798433 ocaml(Dataflow) = 5e1c2a556e8a47a0dccd6ff88ec8bb6d ocaml(Dataslicing) = 085e7246e8de054f45a9a16cf8db0b0d ocaml(Deadcodeelim) = fb8b1302ec4372e0ec0f195f17733238 ocaml(Dominators) = 613d9efbc19a226ae401102a722d24dc ocaml(Epicenter) = 942ed53e7ca0bcab0e63f43c2164f0f7 ocaml(Errormsg) = 89fc333b006f623a88c335044699b6fc ocaml(Escape) = 94250bbe56b88e1f0c2714b0edca1545 ocaml(Expcompare) = fea484441e9c950d8c5315a096392167 ocaml(Feature_config) = d7ec3ee4002502a10665f6e02282e51b ocaml(Formatcil) = f54847983371268300d3c32bf0b2c22d ocaml(Formatlex) = 53d8b2c2b783a1f6bfa05fcb09bbcb72 ocaml(Formatparse) = d1c4a3c15f337ce5ace2f1c09b5b7862 ocaml(Frontc) = cff71fcd2145b3e686b4a44fa97dbb02 ocaml(GrowArray) = 85fac7bceb008e1de13b8ed2af6a6b03 ocaml(Heap) = d998f7ecf104c04314da68f947265cfa ocaml(Heapify) = f322989c11ad03fc3261603b1fac74ee ocaml(Inthash) = f6545d16f73e28c476cd4741dda0c524 ocaml(Lexerhack) = 8ef0a3e998923f15cb35540c7361fefe ocaml(Liveness) = 24dc8374e6c607df1500a8c717bb548b ocaml(Llvm) = 12ef954742b04eb8b6637be84233b8ec ocaml(Llvmgen) = 14b6c5e3b6c522b66925488df60a85f5 ocaml(Llvmssa) = 930430d0f06c56252a830fb902369ce8 ocaml(Llvmutils) = b9ca898cde179c4e8fc6ab675dc74160 ocaml(Logcalls) = c3ab42e464838dad2d35b6bff4689305 ocaml(Logwrites) = 7551579e5fb5c3059ed90e4f5a6e7552 ocaml(Longarray) = 091b1269cc6100bd483ab272428428d7 ocaml(Machdep) = eac8e60e61aeb223e48f415a60b867c0 ocaml(Machdepenv) = ab465c5a9998a8eb4a23f0311e65d2fc ocaml(Mergecil) = 0bf8d87e484428842f793a14cbe2c2fa ocaml(Olf) = 6c6b8edeb68049edb477e892da5d5764 ocaml(Oneret) = fb1877701ed443d6af5480c2c8deedeb ocaml(Partial) = df42925ee355b9a57cd3f6b54f7ce4e7 ocaml(Patch) = b8aa39aadb3737b0f6d3ec2959e01f17 ocaml(Predabst) = 179139d54b597fb1c9fd09ecf3347575 ocaml(Pretty) = b71fba82fb2d4c5c2ee7b1fcbc44c283 ocaml(Ptranal) = ce02f1b246fef61e40f2b3f5dd16648b ocaml(Reachingdefs) = db1dc72d4cd41c99dae65b78e979a5a3 ocaml(Rmtmps) = 946b1af6ee312eb06be62af5b5eac6a2 ocaml(Setp) = 9bf223e0dec368878da51a1fea0cafa0 ocaml(Sfi) = 1c777957f08579c712e606a5cea709b5 ocaml(Simplemem) = 946956fa5ebca3fafcb2aadb4ed3fe15 ocaml(Simplify) = a2bf3d7f485ff75518fd14c2e65cfef2 ocaml(Ssa) = 6b66de4e60a08f68db019dd7b6786694 ocaml(Stats) = 420ac6c4699d9d9606850fa9ddddc2bb ocaml(Trace) = fdc2fb8ee04be110faefe3693f6c3e06 ocaml(Uref) = e0f87e56ba0a3be26d0d31cf8677da95 ocaml(Usedef) = 634d20ef5c12f5f2bcc190a5f5691c2b ocaml(Util) = c027537620c49fade60402282a37f6ae ocaml(Whitetrack) = 86f6e2b1e67a8764f955c7ec5619c249 ocaml-cil = 1.7.3-40.fc29 ocaml-cil(riscv-64) = 1.7.3-40.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Arg) = 8a984750e16559fb57a4021121f21559 ocaml(Array) = 0fba23558da789bd0ef7ad786bdc90e6 ocaml(Big_int) = 03222e74eff85e83058e8aa59ebd0a1b ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29 ocaml(Bytes) = b0d8deb18827702df0887113ba3c0110 ocaml(Cabs) = b1639ab096fd6d6d59762896e3f564bb ocaml(Callgraph) = 7760652e2c4edec144e4e4b3a99734a9 ocaml(CamlinternalBigarray) = 4ff98b0650eef9c38ee9c9930e0c3e9b ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b ocaml(CamlinternalOO) = 69dec6b14920fcc456f3cbd10764333e ocaml(Cfg) = 0b6b34bade63bb25ff57c1c9b1a950f0 ocaml(Char) = 4918635b8796d0ab0d5c593b942f8df7 ocaml(Cil) = db9cd91c1309c62cfa6459ae29439539 ocaml(Cilint) = d5cf8342d29493bd7770e0f45caf36b9 ocaml(Ciltools) = d00286a7e42c45046ab455d992341bb0 ocaml(Cilutil) = b432716568c97d1e82ad7c0a6c194197 ocaml(Complex) = cd4856c93f21942683ce190142e88396 ocaml(Cparser) = 04df586bd3d7437f2206d77915e60ec5 ocaml(Dataflow) = 5e1c2a556e8a47a0dccd6ff88ec8bb6d ocaml(Errormsg) = 89fc333b006f623a88c335044699b6fc ocaml(Escape) = 94250bbe56b88e1f0c2714b0edca1545 ocaml(Expcompare) = fea484441e9c950d8c5315a096392167 ocaml(Filename) = 4c2454d1aec88f5851f077478f232f2f ocaml(Formatparse) = d1c4a3c15f337ce5ace2f1c09b5b7862 ocaml(Gc) = 710a8e8b6b15999f36e8242e2a0ef75d ocaml(GrowArray) = 85fac7bceb008e1de13b8ed2af6a6b03 ocaml(Hashtbl) = 0a88e320f172d3413ba0d5e0f9c70ccd ocaml(Heap) = d998f7ecf104c04314da68f947265cfa ocaml(Int32) = dbc028028ad4d59759d36dd6c0796919 ocaml(Int64) = f1c602b12ea723a45bbe6143f116a991 ocaml(Inthash) = f6545d16f73e28c476cd4741dda0c524 ocaml(Lexerhack) = 8ef0a3e998923f15cb35540c7361fefe ocaml(Lexing) = 0971650cdf1fa8e506e733e9a5da2628 ocaml(List) = 7a6b1f92720df765cf38d67f920844fe ocaml(Liveness) = 24dc8374e6c607df1500a8c717bb548b ocaml(Llvmgen) = 14b6c5e3b6c522b66925488df60a85f5 ocaml(Llvmssa) = 930430d0f06c56252a830fb902369ce8 ocaml(Llvmutils) = b9ca898cde179c4e8fc6ab675dc74160 ocaml(Machdep) = eac8e60e61aeb223e48f415a60b867c0 ocaml(Map) = 8b8de381501aa7862270c15619322ee7 ocaml(Marshal) = 9dbb48cebd784fc6219ed0e9514fc7df ocaml(Nat) = fef727f1ecfe9365db096949ceee1ea1 ocaml(Nativeint) = 7b210723c1ccafec90ff1578ad7e5996 ocaml(Obj) = 8a1a1ebb4979c1cf4966cc2e706bd0f9 ocaml(Parsing) = a75b4b148ac8febe8bba7d4528048ecb ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2 ocaml(Pretty) = b71fba82fb2d4c5c2ee7b1fcbc44c283 ocaml(Printexc) = 1b461321ebcc8e419f24eb531c5ac7ac ocaml(Printf) = e5dfd0ca6436c8abad976fc9e914999a ocaml(Ptranal) = ce02f1b246fef61e40f2b3f5dd16648b ocaml(Queue) = 63b55df0e31ad91e82a1c6659c8dca09 ocaml(Reachingdefs) = db1dc72d4cd41c99dae65b78e979a5a3 ocaml(Rmtmps) = 946b1af6ee312eb06be62af5b5eac6a2 ocaml(Set) = 28a12def19edf36c317c30fafcc03d6d ocaml(Stack) = a3c26bdec0c0211d9b444bd0da56bd1e ocaml(Stats) = 420ac6c4699d9d9606850fa9ddddc2bb ocaml(Str) = 702cbdf6aef59ea727e6090656cefc94 ocaml(String) = e6a69bfe22781c3a43e5dc04b6d1728a ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a ocaml(Trace) = fdc2fb8ee04be110faefe3693f6c3e06 ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1 ocaml(Unix) = 053326e853ce10e1fadf8d891f08f891 ocaml(Usedef) = 634d20ef5c12f5f2bcc190a5f5691c2b ocaml(Util) = c027537620c49fade60402282a37f6ae ocaml(Whitetrack) = 86f6e2b1e67a8764f955c7ec5619c249 ocaml(runtime) = 4.06.0 Processing files: ocaml-cil-devel-1.7.3-40.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.3dAbZp + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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-40.fc29.riscv64/usr/share/doc/ocaml-cil-devel + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/doc/ocaml-cil-devel + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/doc/ocaml-cil-devel + exit 0 Provides: ocaml-cil-devel = 1.7.3-40.fc29 ocaml-cil-devel(riscv-64) = 1.7.3-40.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ocaml-cil-doc-1.7.3-40.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ePlCoa + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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-40.fc29.riscv64/usr/share/doc/ocaml-cil-doc + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/doc/ocaml-cil-doc + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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-40.fc29.riscv64/usr/share/doc/ocaml-cil-doc + exit 0 Provides: ocaml-cil-doc = 1.7.3-40.fc29 ocaml-cil-doc(riscv-64) = 1.7.3-40.fc29 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-40.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.503zx9 + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.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-40.fc29.riscv64/usr/share/doc/ocaml-cil-cilly + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/doc/ocaml-cil-cilly + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-40.fc29.riscv64/usr/share/doc/ocaml-cil-cilly + exit 0 Provides: ocaml-cil-cilly = 1.7.3-40.fc29 ocaml-cil-cilly(riscv-64) = 1.7.3-40.fc29 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 libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(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-40.fc29.riscv64 RPM build errors: BUILDSTDERR: error: Empty %files file /builddir/build/BUILD/cil-1.7.3/debugsourcefiles.list BUILDSTDERR: Empty %files file /builddir/build/BUILD/cil-1.7.3/debugsourcefiles.list Child return code was: 1 EXCEPTION: [Error()] Traceback (most recent call last): File "/usr/lib/python3.6/site-packages/mockbuild/trace_decorator.py", line 96, in trace result = func(*args, **kw) File "/usr/lib/python3.6/site-packages/mockbuild/util.py", line 626, in do raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode) mockbuild.exception.Error: Command failed: # bash --login -c /usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/ocaml-cil.spec