Mock Version: 1.4.13 Mock Version: 1.4.13 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/ocaml-cil.spec'], chrootPath='/var/lib/mock/f29-build-14847401-1055902/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/ocaml-cil.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False BUILDSTDERR: sh: /usr/bin/perl: No such file or directory 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: armv7hl Building for target armv7hl Wrote: /builddir/build/SRPMS/ocaml-cil-1.7.3-45.fc29.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/ocaml-cil.spec'], chrootPath='/var/lib/mock/f29-build-14847401-1055902/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/ocaml-cil.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: armv7hl Building for target armv7hl Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.7DMD2V + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cil-1.7.3 + /usr/bin/gzip -dc /builddir/build/SOURCES/cil-1.7.3.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd cil-1.7.3 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch):' Patch #0 (0001-Fix-testsuite-on-32-bit-machines.patch): + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file test/small1/arrsize.c patching file test/testcil.pl Patch #1 (0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch): + echo 'Patch #1 (0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file test/testcil.pl Patch #2 (cil-1.7.3-enable-ocamlopt-g.patch): + echo 'Patch #2 (cil-1.7.3-enable-ocamlopt-g.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file _tags + echo 'Patch #3 (cil-1.7.3-add-package-cilconfig.patch):' Patch #3 (cil-1.7.3-add-package-cilconfig.patch): + /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0 patching file lib/App/Cilly/CilConfig.pm.in 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.Cv6jP2 + 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 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard' + 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 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard' + 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 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -I/usr/lib/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 -march=armv7-a -mfpu=vfpv3-d16 -mtune=generic-armv7-a -mabi=aapcs-linux -mfloat-abi=hard -I/usr/lib/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=armv7hl-redhat-linux-gnu --host=armv7hl-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --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 armv7hl-redhat-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking build system type... armv7hl-redhat-linux-gnu checking host system type... armv7hl-redhat-linux-gnu checking target system type... armv7hl-redhat-linux-gnu checking for msvc cl.exe (optional)... not found checking for armv7hl-redhat-linux-gnu-ocamlc... no checking for ocamlc... ocamlc OCaml version is 4.07.0 OCaml library path is /usr/lib/ocaml checking for armv7hl-redhat-linux-gnu-ocamlopt... no checking for ocamlopt... ocamlopt checking for armv7hl-redhat-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking for armv7hl-redhat-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking for armv7hl-redhat-linux-gnu-ocaml... no checking for ocaml... ocaml checking for armv7hl-redhat-linux-gnu-ocamldep... no checking for ocamldep... ocamldep checking for armv7hl-redhat-linux-gnu-ocamlmktop... no checking for ocamlmktop... ocamlmktop checking for armv7hl-redhat-linux-gnu-ocamlmklib... no checking for ocamlmklib... ocamlmklib checking for armv7hl-redhat-linux-gnu-ocamldoc... no checking for ocamldoc... ocamldoc checking for armv7hl-redhat-linux-gnu-ocamlbuild... no checking for ocamlbuild... ocamlbuild checking for armv7hl-redhat-linux-gnu-ocamllex... no checking for ocamllex... ocamllex checking for armv7hl-redhat-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... ocamllex.opt checking for armv7hl-redhat-linux-gnu-ocamlyacc... no checking for ocamlyacc... ocamlyacc checking for armv7hl-redhat-linux-gnu-ocamlfind... no checking for ocamlfind... ocamlfind checking for armv7hl-redhat-linux-gnu-perl... no checking for perl... perl checking for gcc version... checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for __builtin_va_list... yes checking if __thread is a keyword... true checking if gcc adds underscores to assembly labels.... false checking for ANSI C header files... (cached) yes checking for stdlib.h... (cached) yes checking for strings.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking wchar.h usability... yes checking wchar.h presence... yes checking for wchar.h... yes checking stdbool.h usability... yes checking stdbool.h presence... yes checking for stdbool.h... yes checking for an ANSI C-conforming const... yes checking for inline... inline checking whether time.h and sys/time.h may both be included... yes checking for working memcmp... yes checking for mkdir... yes checking for select... yes checking for socket... yes checking for __sysv_signal... yes checking for real definition of size_t... unsigned int checking for real definition of wchar_t... unsigned 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/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cma myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmo -o myocamlbuild /usr/bin/ocamldep.opt -modules ocamlutil/alpha.mli > ocamlutil/alpha.mli.depends /usr/bin/ocamldep.opt -modules ocamlutil/pretty.mli > ocamlutil/pretty.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/pretty.cmi ocamlutil/pretty.mli /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/alpha.cmi ocamlutil/alpha.mli /usr/bin/ocamldep.opt -modules ocamlutil/alpha.ml > ocamlutil/alpha.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/errormsg.mli > ocamlutil/errormsg.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/errormsg.cmi ocamlutil/errormsg.mli /usr/bin/ocamldep.opt -modules src/ext/availexps.ml > src/ext/availexps.ml.depends /usr/bin/ocamldep.opt -modules src/cil.mli > src/cil.mli.depends /usr/bin/ocamldep.opt -modules src/cilint.mli > src/cilint.mli.depends make -C .. _build/machdep.ml + make -C .. _build/machdep.ml make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3' machdep-ml.exe created succesfully. Generating machine dependency information for CIL /bin/sh: cl: command not found make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3' /usr/bin/ocamldep.opt -modules machdep.ml > machdep.ml.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilint.cmi src/cilint.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o machdep.cmo machdep.ml /usr/bin/ocamldep.opt -modules src/ext/dataflow.mli > src/ext/dataflow.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmi src/cil.mli /usr/bin/ocamldep.opt -modules ocamlutil/inthash.mli > ocamlutil/inthash.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmi ocamlutil/inthash.mli /usr/bin/ocamldep.opt -modules src/ext/expcompare.ml > src/ext/expcompare.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/util.mli > ocamlutil/util.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/util.cmi ocamlutil/util.mli /usr/bin/ocamldep.opt -modules ocamlutil/stats.mli > ocamlutil/stats.mli.depends /usr/bin/ocamldep.opt -modules src/ext/usedef.ml > src/ext/usedef.ml.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmi src/ext/dataflow.mli /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmo src/ext/expcompare.ml /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/stats.cmi ocamlutil/stats.mli /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/usedef.cmo src/ext/usedef.ml /usr/bin/ocamldep.opt -modules src/ext/availexpslv.ml > src/ext/availexpslv.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/bitmap.mli > ocamlutil/bitmap.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/bitmap.cmi ocamlutil/bitmap.mli /usr/bin/ocamldep.opt -modules ocamlutil/bitmap.ml > ocamlutil/bitmap.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cabs.ml > src/frontc/cabs.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cabs2cil.mli > src/frontc/cabs2cil.mli.depends /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs.cmo src/frontc/cabs.ml /usr/bin/ocamlc.opt -c -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmi src/frontc/cabs2cil.mli /usr/bin/ocamldep.opt -modules src/frontc/cabs2cil.ml > src/frontc/cabs2cil.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cabshelper.ml > src/frontc/cabshelper.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/growArray.mli > ocamlutil/growArray.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/growArray.cmi ocamlutil/growArray.mli /usr/bin/ocamldep.opt -modules src/frontc/cabsvisit.mli > src/frontc/cabsvisit.mli.depends /usr/bin/ocamldep.opt -modules src/cilutil.ml > src/cilutil.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cprint.ml > src/frontc/cprint.ml.depends /usr/bin/ocamldep.opt -modules src/escape.mli > src/escape.mli.depends /usr/bin/ocamldep.opt -modules src/frontc/whitetrack.mli > src/frontc/whitetrack.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/escape.cmi src/escape.mli /usr/bin/ocamlc.opt -c -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmi src/frontc/whitetrack.mli /usr/bin/ocamldep.opt -modules ocamlutil/trace.mli > ocamlutil/trace.mli.depends /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmo src/frontc/cabshelper.ml /usr/bin/ocamlc.opt -c -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmi src/frontc/cabsvisit.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilutil.cmo src/cilutil.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cprint.cmo src/frontc/cprint.ml /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/trace.cmi ocamlutil/trace.mli /usr/bin/ocamldep.opt -modules src/frontc/cabsvisit.ml > src/frontc/cabsvisit.ml.depends /usr/bin/ocamldep.opt -modules src/ext/callgraph.mli > src/ext/callgraph.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmi src/ext/callgraph.mli /usr/bin/ocamldep.opt -modules src/ext/callgraph.ml > src/ext/callgraph.ml.depends /usr/bin/ocamldep.opt -modules src/ext/canonicalize.mli > src/ext/canonicalize.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmi src/ext/canonicalize.mli /usr/bin/ocamldep.opt -modules src/ext/canonicalize.ml > src/ext/canonicalize.ml.depends /usr/bin/ocamldep.opt -modules src/ext/cfg.mli > src/ext/cfg.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/cfg.cmi src/ext/cfg.mli /usr/bin/ocamldep.opt -modules src/ext/cfg.ml > src/ext/cfg.ml.depends /usr/bin/ocamldep.opt -modules src/check.mli > src/check.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/check.cmi src/check.mli /usr/bin/ocamldep.opt -modules src/check.ml > src/check.ml.depends /usr/bin/ocamldep.opt -modules src/cil.ml > src/cil.ml.depends make -C .. _build/cilversion.ml + make -C .. _build/cilversion.ml make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3' rm -f _build/cilversion.ml ./config.status --file=_build/cilversion.ml:src/cilversion.ml.in config.status: creating _build/cilversion.ml make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3' /usr/bin/ocamldep.opt -modules cilversion.ml > cilversion.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/clist.mli > ocamlutil/clist.mli.depends /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o cilversion.cmo cilversion.ml /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/clist.cmi ocamlutil/clist.mli /usr/bin/ocamldep.opt -modules src/cilint.ml > src/cilint.ml.depends /usr/bin/ocamldep.opt -modules src/cillower.mli > src/cillower.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cillower.cmi src/cillower.mli /usr/bin/ocamldep.opt -modules src/cillower.ml > src/cillower.ml.depends /usr/bin/ocamldep.opt -modules src/ciloptions.mli > src/ciloptions.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/ciloptions.cmi src/ciloptions.mli /usr/bin/ocamldep.opt -modules src/ciloptions.ml > src/ciloptions.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/frontc.mli > src/frontc/frontc.mli.depends /usr/bin/ocamldep.opt -modules src/machdepenv.ml > src/machdepenv.ml.depends /usr/bin/ocamldep.opt -modules src/mergecil.mli > src/mergecil.mli.depends /usr/bin/ocamldep.opt -modules src/rmtmps.mli > src/rmtmps.mli.depends /usr/bin/ocamlc.opt -c -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/frontc.cmi src/frontc/frontc.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/machdepenv.cmo src/machdepenv.ml /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/mergecil.cmi src/mergecil.mli /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmi src/rmtmps.mli /usr/bin/ocamldep.opt -modules src/ext/ciltools.ml > src/ext/ciltools.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/clexer.mli > src/frontc/clexer.mli.depends /usr/bin/ocamlyacc src/frontc/cparser.mly + /usr/bin/ocamlyacc src/frontc/cparser.mly 1 shift/reduce conflict. /usr/bin/ocamldep.opt -modules src/frontc/cparser.mli > src/frontc/cparser.mli.depends /usr/bin/ocamlc.opt -c -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cparser.cmi src/frontc/cparser.mli /usr/bin/ocamlc.opt -c -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmi src/frontc/clexer.mli /usr/bin/ocamllex.opt -q src/frontc/clexer.mll /usr/bin/ocamldep.opt -modules src/frontc/clexer.ml > src/frontc/clexer.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/lexerhack.ml > src/frontc/lexerhack.ml.depends /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/lexerhack.cmo src/frontc/lexerhack.ml /usr/bin/ocamldep.opt -modules ocamlutil/clist.ml > ocamlutil/clist.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/cparser.ml > src/frontc/cparser.ml.depends /usr/bin/ocamldep.opt -modules src/ext/dataflow.ml > src/ext/dataflow.ml.depends /usr/bin/ocamldep.opt -modules src/ext/dataslicing.mli > src/ext/dataslicing.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmi src/ext/dataslicing.mli /usr/bin/ocamldep.opt -modules src/ext/dataslicing.ml > src/ext/dataslicing.ml.depends /usr/bin/ocamldep.opt -modules src/ext/deadcodeelim.ml > src/ext/deadcodeelim.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ciltools.cmo src/ext/ciltools.ml /usr/bin/ocamldep.opt -modules src/ext/reachingdefs.ml > src/ext/reachingdefs.ml.depends /usr/bin/ocamldep.opt -modules src/ext/liveness.ml > src/ext/liveness.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/liveness.cmo src/ext/liveness.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/liveness.cmo src/ext/liveness.ml File "src/ext/liveness.ml", line 197, characters 21-25: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/liveness.ml", line 276, characters 21-25: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmo src/ext/reachingdefs.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmo src/ext/reachingdefs.ml File "src/ext/reachingdefs.ml", line 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 9.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 9.5) /usr/bin/ocamldep.opt -modules src/ext/dominators.mli > src/ext/dominators.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmi src/ext/dominators.mli /usr/bin/ocamldep.opt -modules src/ext/dominators.ml > src/ext/dominators.ml.depends /usr/bin/ocamldep.opt -modules src/ext/epicenter.ml > src/ext/epicenter.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/errormsg.ml > ocamlutil/errormsg.ml.depends /usr/bin/ocamldep.opt -modules src/escape.ml > src/escape.ml.depends make -C .. _build/feature_config.ml + make -C .. _build/feature_config.ml make[1]: Entering directory '/builddir/build/BUILD/cil-1.7.3' rm -f _build/feature_config.* echo "(* This module was generated automatically by code in Makefile.in *)" >_build/feature_config.ml echo "open Cil" >>_build/feature_config.ml echo "let features : featureDescr list = [" >> _build/feature_config.ml echo " (* EXTRAFEATURES: *)" >> _build/feature_config.ml echo \ \ | perl -pe 's/\\n/\n/g' >> _build/feature_config.ml echo "]" >>_build/feature_config.ml make[1]: Leaving directory '/builddir/build/BUILD/cil-1.7.3' /usr/bin/ocamldep.opt -modules feature_config.ml > feature_config.ml.depends /usr/bin/ocamldep.opt -modules src/formatcil.mli > src/formatcil.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatcil.cmi src/formatcil.mli /usr/bin/ocamldep.opt -modules src/formatcil.ml > src/formatcil.ml.depends /usr/bin/ocamllex.opt -q src/formatlex.mll /usr/bin/ocamldep.opt -modules src/formatlex.ml > src/formatlex.ml.depends /usr/bin/ocamlyacc src/formatparse.mly /usr/bin/ocamldep.opt -modules src/formatparse.mli > src/formatparse.mli.depends /usr/bin/ocamlc.opt -c -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatparse.cmi src/formatparse.mli /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatlex.cmo src/formatlex.ml /usr/bin/ocamldep.opt -modules src/formatparse.ml > src/formatparse.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/frontc.ml > src/frontc/frontc.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/patch.mli > src/frontc/patch.mli.depends /usr/bin/ocamlc.opt -c -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/patch.cmi src/frontc/patch.mli /usr/bin/ocamldep.opt -modules ocamlutil/growArray.ml > ocamlutil/growArray.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/longarray.mli > ocamlutil/longarray.mli.depends /usr/bin/ocamlc.opt -c -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/longarray.cmi ocamlutil/longarray.mli /usr/bin/ocamldep.opt -modules src/ext/heap.ml > src/ext/heap.ml.depends /usr/bin/ocamldep.opt -modules src/ext/heapify.ml > src/ext/heapify.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/inthash.ml > ocamlutil/inthash.ml.depends /usr/bin/ocamldep.opt -modules src/ext/llvm.ml > src/ext/llvm.ml.depends /usr/bin/ocamldep.opt -modules src/ext/llvmgen.ml > src/ext/llvmgen.ml.depends /usr/bin/ocamldep.opt -modules src/ext/llvmutils.ml > src/ext/llvmutils.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmutils.cmo src/ext/llvmutils.ml /usr/bin/ocamldep.opt -modules src/ext/llvmssa.ml > src/ext/llvmssa.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmgen.cmo src/ext/llvmgen.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmssa.cmo src/ext/llvmssa.ml /usr/bin/ocamldep.opt -modules src/ext/logcalls.mli > src/ext/logcalls.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmi src/ext/logcalls.mli /usr/bin/ocamldep.opt -modules src/ext/logcalls.ml > src/ext/logcalls.ml.depends /usr/bin/ocamldep.opt -modules src/ext/logwrites.ml > src/ext/logwrites.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/longarray.ml > ocamlutil/longarray.ml.depends /usr/bin/ocamldep.opt -modules src/mergecil.ml > src/mergecil.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/olf.mli > src/ext/pta/olf.mli.depends /usr/bin/ocamlc.opt -c -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/olf.cmi src/ext/pta/olf.mli /usr/bin/ocamldep.opt -modules src/ext/pta/olf.ml > src/ext/pta/olf.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/setp.mli > src/ext/pta/setp.mli.depends /usr/bin/ocamldep.opt -modules src/ext/pta/uref.mli > src/ext/pta/uref.mli.depends /usr/bin/ocamlc.opt -c -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/setp.cmi src/ext/pta/setp.mli /usr/bin/ocamlc.opt -c -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/uref.cmi src/ext/pta/uref.mli /usr/bin/ocamldep.opt -modules src/ext/oneret.mli > src/ext/oneret.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/oneret.cmi src/ext/oneret.mli /usr/bin/ocamldep.opt -modules src/ext/oneret.ml > src/ext/oneret.ml.depends /usr/bin/ocamldep.opt -modules src/ext/partial.ml > src/ext/partial.ml.depends /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heap.cmo src/ext/heap.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heap.cmo src/ext/heap.ml File "src/ext/heap.ml", line 12, characters 13-25: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamldep.opt -modules src/ext/pta/ptranal.mli > src/ext/pta/ptranal.mli.depends /usr/bin/ocamlc.opt -c -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmi src/ext/pta/ptranal.mli /usr/bin/ocamldep.opt -modules src/frontc/patch.ml > src/frontc/patch.ml.depends /usr/bin/ocamldep.opt -modules src/ext/predabst.ml > src/ext/predabst.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/pretty.ml > ocamlutil/pretty.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/ptranal.ml > src/ext/pta/ptranal.ml.depends /usr/bin/ocamldep.opt -modules src/rmtmps.ml > src/rmtmps.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/setp.ml > src/ext/pta/setp.ml.depends /usr/bin/ocamldep.opt -modules src/ext/sfi.ml > src/ext/sfi.ml.depends /usr/bin/ocamldep.opt -modules src/ext/simplemem.ml > src/ext/simplemem.ml.depends /usr/bin/ocamldep.opt -modules src/ext/simplify.mli > src/ext/simplify.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplify.cmi src/ext/simplify.mli /usr/bin/ocamldep.opt -modules src/ext/simplify.ml > src/ext/simplify.ml.depends /usr/bin/ocamldep.opt -modules src/ext/ssa.mli > src/ext/ssa.mli.depends /usr/bin/ocamlc.opt -c -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmi src/ext/ssa.mli /usr/bin/ocamldep.opt -modules src/ext/ssa.ml > src/ext/ssa.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/stats.ml > ocamlutil/stats.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/trace.ml > ocamlutil/trace.ml.depends /usr/bin/ocamldep.opt -modules src/ext/pta/uref.ml > src/ext/pta/uref.ml.depends /usr/bin/ocamldep.opt -modules ocamlutil/util.ml > ocamlutil/util.ml.depends /usr/bin/ocamldep.opt -modules src/frontc/whitetrack.ml > src/frontc/whitetrack.ml.depends /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/alpha.cmo ocamlutil/alpha.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexps.cmo src/ext/availexps.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexps.cmo src/ext/availexps.ml File "src/ext/availexps.ml", line 320, characters 15-19: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/availexps.ml", line 381, characters 17-21: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmo src/ext/availexpslv.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmo src/ext/availexpslv.ml File "src/ext/availexpslv.ml", line 362, characters 15-19: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/bitmap.cmo ocamlutil/bitmap.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/bitmap.cmo ocamlutil/bitmap.ml File "ocamlutil/bitmap.ml", line 13, characters 14-26: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmo src/frontc/cabs2cil.ml + /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmo src/frontc/cabs2cil.ml File "src/frontc/cabs2cil.ml", line 1890, characters 26-38: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/frontc/cabs2cil.ml", line 3377, characters 27-43: Warning 3: deprecated: Stdlib.String.uppercase Use String.uppercase_ascii instead. File "src/frontc/cabs2cil.ml", line 4992, characters 28-30: Warning 3: deprecated: Stdlib.or Use (||) instead. File "src/frontc/cabs2cil.ml", line 5054, characters 28-30: Warning 3: deprecated: Stdlib.or Use (||) instead. /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmo src/frontc/cabsvisit.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmo src/ext/callgraph.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmo src/ext/canonicalize.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/cfg.cmo src/ext/cfg.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/check.cmo src/check.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmo src/cil.ml + /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmo src/cil.ml File "src/cil.ml", line 2742, characters 21-37: Warning 3: deprecated: Stdlib.String.uppercase Use String.uppercase_ascii instead. /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilint.cmo src/cilint.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cillower.cmo src/cillower.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/ciloptions.cmo src/ciloptions.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmo src/frontc/clexer.ml + /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmo src/frontc/clexer.ml File "src/frontc/clexer.mll", line 615, characters 30-47: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/clist.cmo ocamlutil/clist.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cparser.cmo src/frontc/cparser.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmo src/ext/dataflow.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmo src/ext/dataslicing.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/deadcodeelim.cmo src/ext/deadcodeelim.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmo src/ext/dominators.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmo src/ext/dominators.ml File "src/ext/dominators.ml", line 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 9.5) /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmo src/ext/epicenter.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/errormsg.cmo ocamlutil/errormsg.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/escape.cmo src/escape.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o feature_config.cmo feature_config.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatcil.cmo src/formatcil.ml /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatparse.cmo src/formatparse.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/frontc.cmo src/frontc/frontc.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/growArray.cmo ocamlutil/growArray.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heapify.cmo src/ext/heapify.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmo ocamlutil/inthash.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmo ocamlutil/inthash.ml File "ocamlutil/inthash.ml", line 37, characters 16-28: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvm.cmo src/ext/llvm.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmo src/ext/logcalls.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmo src/ext/logwrites.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/longarray.cmo ocamlutil/longarray.ml + /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/longarray.cmo ocamlutil/longarray.ml File "ocamlutil/longarray.ml", line 27, characters 3-15: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/mergecil.cmo src/mergecil.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/olf.cmo src/ext/pta/olf.ml /usr/bin/ocamlc.opt -c -g -I src/ext -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 9.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 9.5) /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/pretty.cmo ocamlutil/pretty.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml + /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmo src/ext/pta/ptranal.ml File "src/ext/pta/ptranal.ml", line 287, characters 38-39: Warning 3: deprecated: Stdlib.& Use (&&) instead. /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml + /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmo src/rmtmps.ml File "src/rmtmps.ml", line 626, characters 8-191: Warning 57: Ambiguous or-pattern variables under guard; variable gref may match different arguments. (See manual section 9.5) /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/setp.cmo src/ext/pta/setp.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/sfi.cmo src/ext/sfi.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplemem.cmo src/ext/simplemem.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplify.cmo src/ext/simplify.ml /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmo src/ext/ssa.ml + /usr/bin/ocamlc.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmo src/ext/ssa.ml File "src/ext/ssa.ml", line 86, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 90, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 96, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 108, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 109, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 110, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 111, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 211, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 220, characters 11-23: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 273, characters 19-31: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 274, characters 13-25: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 302, characters 15-27: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 324, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 673, characters 21-33: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/stats.cmo ocamlutil/stats.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/trace.cmo ocamlutil/trace.ml /usr/bin/ocamlc.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/uref.cmo src/ext/pta/uref.ml /usr/bin/ocamlc.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/util.cmo ocamlutil/util.ml /usr/bin/ocamlc.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmo src/frontc/whitetrack.ml /usr/bin/ocamlc.opt -a -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/pretty.cmo ocamlutil/errormsg.cmo ocamlutil/alpha.cmo ocamlutil/inthash.cmo ocamlutil/stats.cmo ocamlutil/util.cmo cilversion.cmo machdep.cmo ocamlutil/clist.cmo src/cilint.cmo src/escape.cmo src/cil.cmo src/ext/dataflow.cmo src/ext/expcompare.cmo src/ext/usedef.cmo src/ext/availexps.cmo src/ext/availexpslv.cmo ocamlutil/bitmap.cmo src/frontc/cabs.cmo ocamlutil/trace.cmo src/cilutil.cmo ocamlutil/longarray.cmo ocamlutil/growArray.cmo src/frontc/cabshelper.cmo src/frontc/cabsvisit.cmo src/frontc/whitetrack.cmo src/frontc/cprint.cmo src/frontc/cabs2cil.cmo src/ext/callgraph.cmo src/ext/canonicalize.cmo src/ext/cfg.cmo src/check.cmo src/cillower.cmo src/frontc/lexerhack.cmo src/frontc/cparser.cmo src/frontc/clexer.cmo src/frontc/patch.cmo src/frontc/frontc.cmo src/machdepenv.cmo src/mergecil.cmo src/rmtmps.cmo src/ciloptions.cmo src/ext/ciltools.cmo src/ext/dataslicing.cmo src/ext/liveness.cmo src/ext/reachingdefs.cmo src/ext/deadcodeelim.cmo src/ext/dominators.cmo src/ext/epicenter.cmo feature_config.cmo src/formatparse.cmo src/formatlex.cmo src/formatcil.cmo src/ext/heap.cmo src/ext/heapify.cmo src/ext/llvmutils.cmo src/ext/llvmgen.cmo src/ext/llvmssa.cmo src/ext/llvm.cmo src/ext/logcalls.cmo src/ext/logwrites.cmo src/ext/pta/setp.cmo src/ext/pta/uref.cmo src/ext/pta/olf.cmo src/ext/oneret.cmo src/ext/pta/ptranal.cmo src/ext/partial.cmo src/ext/predabst.cmo src/ext/sfi.cmo src/ext/simplemem.cmo src/ext/simplify.cmo src/ext/ssa.cmo -o src/cil.cma ocamlbuild -build-dir _build -no-links -classic-display src/cil.cmxa /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/pretty.cmx ocamlutil/pretty.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/errormsg.cmx ocamlutil/errormsg.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/alpha.cmx ocamlutil/alpha.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilint.cmx src/cilint.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o cilversion.cmx cilversion.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/clist.cmx ocamlutil/clist.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/escape.cmx src/escape.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmx ocamlutil/inthash.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/inthash.cmx ocamlutil/inthash.ml File "ocamlutil/inthash.ml", line 37, characters 16-28: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o machdep.cmx machdep.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/util.cmx ocamlutil/util.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmx src/cil.ml + /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cil.cmx src/cil.ml File "src/cil.ml", line 2742, characters 21-37: Warning 3: deprecated: Stdlib.String.uppercase Use String.uppercase_ascii instead. /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataflow.cmx src/ext/dataflow.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/expcompare.cmx src/ext/expcompare.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/stats.cmx ocamlutil/stats.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/usedef.cmx src/ext/usedef.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs.cmx src/frontc/cabs.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/longarray.cmx ocamlutil/longarray.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/longarray.cmx ocamlutil/longarray.ml File "ocamlutil/longarray.ml", line 27, characters 3-15: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/growArray.cmx ocamlutil/growArray.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabshelper.cmx src/frontc/cabshelper.ml /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/trace.cmx ocamlutil/trace.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/whitetrack.cmx src/frontc/whitetrack.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabsvisit.cmx src/frontc/cabsvisit.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cilutil.cmx src/cilutil.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cprint.cmx src/frontc/cprint.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmx src/frontc/cabs2cil.ml + /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cabs2cil.cmx src/frontc/cabs2cil.ml File "src/frontc/cabs2cil.ml", line 1890, characters 26-38: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/frontc/cabs2cil.ml", line 3377, characters 27-43: Warning 3: deprecated: Stdlib.String.uppercase Use String.uppercase_ascii instead. File "src/frontc/cabs2cil.ml", line 4992, characters 28-30: Warning 3: deprecated: Stdlib.or Use (||) instead. File "src/frontc/cabs2cil.ml", line 5054, characters 28-30: Warning 3: deprecated: Stdlib.or Use (||) instead. /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/lexerhack.cmx src/frontc/lexerhack.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/cparser.cmx src/frontc/cparser.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmx src/frontc/clexer.ml + /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/clexer.cmx src/frontc/clexer.ml File "src/frontc/clexer.mll", line 615, characters 30-47: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/patch.cmx src/frontc/patch.ml /usr/bin/ocamlopt.opt -c -g -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -o src/frontc/frontc.cmx src/frontc/frontc.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/machdepenv.cmx src/machdepenv.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/mergecil.cmx src/mergecil.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml + /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/rmtmps.cmx src/rmtmps.ml File "src/rmtmps.ml", line 626, characters 8-191: Warning 57: Ambiguous or-pattern variables under guard; variable gref may match different arguments. (See manual section 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ciltools.cmx src/ext/ciltools.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/cfg.cmx src/ext/cfg.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/liveness.cmx src/ext/liveness.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/liveness.cmx src/ext/liveness.ml File "src/ext/liveness.ml", line 197, characters 21-25: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/liveness.ml", line 276, characters 21-25: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmx src/ext/reachingdefs.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/reachingdefs.cmx src/ext/reachingdefs.ml File "src/ext/reachingdefs.ml", line 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 9.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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/callgraph.cmx src/ext/callgraph.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatparse.cmx src/formatparse.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatlex.cmx src/formatlex.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmutils.cmx src/ext/llvmutils.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmgen.cmx src/ext/llvmgen.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvmssa.cmx src/ext/llvmssa.ml /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/setp.cmx src/ext/pta/setp.ml /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/uref.cmx src/ext/pta/uref.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heap.cmx src/ext/heap.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heap.cmx src/ext/heap.ml File "src/ext/heap.ml", line 12, characters 13-25: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/olf.cmx src/ext/pta/olf.ml /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext/pta -I src -I ocamlutil -I src/ext -I src/frontc -o src/ext/pta/ptranal.cmx src/ext/pta/ptranal.ml File "src/ext/pta/ptranal.ml", line 287, characters 38-39: Warning 3: deprecated: Stdlib.& Use (&&) instead. /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/bitmap.cmx ocamlutil/bitmap.ml + /usr/bin/ocamlopt.opt -c -g -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta -o ocamlutil/bitmap.cmx ocamlutil/bitmap.ml File "ocamlutil/bitmap.ml", line 13, characters 14-26: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexps.cmx src/ext/availexps.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexps.cmx src/ext/availexps.ml File "src/ext/availexps.ml", line 320, characters 15-19: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/availexps.ml", line 381, characters 17-21: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmx src/ext/availexpslv.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/availexpslv.cmx src/ext/availexpslv.ml File "src/ext/availexpslv.ml", line 362, characters 15-19: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/canonicalize.cmx src/ext/canonicalize.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/check.cmx src/check.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/cillower.cmx src/cillower.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/ciloptions.cmx src/ciloptions.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dataslicing.cmx src/ext/dataslicing.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/deadcodeelim.cmx src/ext/deadcodeelim.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmx src/ext/dominators.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/dominators.cmx src/ext/dominators.ml File "src/ext/dominators.ml", line 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 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/epicenter.cmx src/ext/epicenter.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o feature_config.cmx feature_config.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/formatcil.cmx src/formatcil.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/heapify.cmx src/ext/heapify.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/llvm.cmx src/ext/llvm.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logcalls.cmx src/ext/logcalls.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/logwrites.cmx src/ext/logwrites.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/oneret.cmx src/ext/oneret.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/partial.cmx src/ext/partial.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/predabst.cmx src/ext/predabst.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/predabst.cmx src/ext/predabst.ml File "src/ext/predabst.ml", line 869, characters 14-18: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/predabst.ml", line 912, characters 14-18: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/sfi.cmx src/ext/sfi.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplemem.cmx src/ext/simplemem.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/simplify.cmx src/ext/simplify.ml /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmx src/ext/ssa.ml + /usr/bin/ocamlopt.opt -c -g -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -o src/ext/ssa.cmx src/ext/ssa.ml File "src/ext/ssa.ml", line 86, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 90, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 96, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 108, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 109, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 110, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 111, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 211, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 220, characters 11-23: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 273, characters 19-31: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 274, characters 13-25: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 302, characters 15-27: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 324, characters 17-29: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. File "src/ext/ssa.ml", line 673, characters 21-33: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -a -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/pretty.cmx ocamlutil/errormsg.cmx ocamlutil/alpha.cmx cilversion.cmx machdep.cmx ocamlutil/clist.cmx ocamlutil/inthash.cmx ocamlutil/stats.cmx ocamlutil/util.cmx src/cilint.cmx src/escape.cmx src/cil.cmx src/ext/dataflow.cmx src/ext/expcompare.cmx src/ext/usedef.cmx src/ext/availexps.cmx src/ext/availexpslv.cmx ocamlutil/bitmap.cmx src/frontc/cabs.cmx ocamlutil/longarray.cmx ocamlutil/growArray.cmx ocamlutil/trace.cmx src/cilutil.cmx src/frontc/cabshelper.cmx src/frontc/cabsvisit.cmx src/frontc/whitetrack.cmx src/frontc/cprint.cmx src/frontc/cabs2cil.cmx src/ext/callgraph.cmx src/ext/canonicalize.cmx src/ext/cfg.cmx src/check.cmx src/cillower.cmx src/frontc/lexerhack.cmx src/frontc/cparser.cmx src/frontc/clexer.cmx src/frontc/patch.cmx src/frontc/frontc.cmx src/machdepenv.cmx src/mergecil.cmx src/rmtmps.cmx src/ciloptions.cmx src/ext/ciltools.cmx src/ext/dataslicing.cmx src/ext/liveness.cmx src/ext/reachingdefs.cmx src/ext/deadcodeelim.cmx src/ext/dominators.cmx src/ext/epicenter.cmx feature_config.cmx src/formatparse.cmx src/formatlex.cmx src/formatcil.cmx src/ext/heap.cmx src/ext/heapify.cmx src/ext/llvmutils.cmx src/ext/llvmgen.cmx src/ext/llvmssa.cmx src/ext/llvm.cmx src/ext/logcalls.cmx src/ext/logwrites.cmx src/ext/pta/setp.cmx src/ext/pta/uref.cmx src/ext/pta/olf.cmx src/ext/oneret.cmx src/ext/pta/ptranal.cmx src/ext/partial.cmx src/ext/predabst.cmx src/ext/sfi.cmx src/ext/simplemem.cmx src/ext/simplify.cmx src/ext/ssa.cmx -o src/cil.cmxa ocamlbuild -build-dir _build -no-links -classic-display src/cil.a ocamlbuild -build-dir _build -no-links -classic-display src/cil.libfiles /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/availexps.ml > src/ext/availexps.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/availexps.ml > src/ext/availexps.inferred.mli File "src/ext/availexps.ml", line 320, characters 15-19: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/availexps.ml", line 381, characters 17-21: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/availexpslv.ml > src/ext/availexpslv.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/availexpslv.ml > src/ext/availexpslv.inferred.mli File "src/ext/availexpslv.ml", line 362, characters 15-19: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/availexpslv.ml", line 424, characters 17-21: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlc.opt -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -i src/frontc/cabs.ml > src/frontc/cabs.inferred.mli /usr/bin/ocamlc.opt -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -i src/frontc/cabshelper.ml > src/frontc/cabshelper.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/ciltools.ml > src/ext/ciltools.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i src/cilutil.ml > src/cilutil.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i cilversion.ml > cilversion.inferred.mli /usr/bin/ocamlc.opt -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -i src/frontc/cprint.ml > src/frontc/cprint.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/deadcodeelim.ml > src/ext/deadcodeelim.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/epicenter.ml > src/ext/epicenter.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/expcompare.ml > src/ext/expcompare.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i feature_config.ml > feature_config.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i src/formatlex.ml > src/formatlex.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/heap.ml > src/ext/heap.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/heap.ml > src/ext/heap.inferred.mli File "src/ext/heap.ml", line 12, characters 13-25: Warning 3: deprecated: Stdlib.Array.create Use Array.make instead. /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/heapify.ml > src/ext/heapify.inferred.mli /usr/bin/ocamlc.opt -I src/frontc -I src -I ocamlutil -I src/ext -I src/ext/pta -i src/frontc/lexerhack.ml > src/frontc/lexerhack.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/liveness.ml > src/ext/liveness.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/liveness.ml > src/ext/liveness.inferred.mli File "src/ext/liveness.ml", line 197, characters 21-25: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/liveness.ml", line 276, characters 21-25: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/llvm.ml > src/ext/llvm.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/llvmgen.ml > src/ext/llvmgen.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/llvmssa.ml > src/ext/llvmssa.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/llvmutils.ml > src/ext/llvmutils.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/logwrites.ml > src/ext/logwrites.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i machdep.ml > machdep.inferred.mli /usr/bin/ocamlc.opt -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -i src/machdepenv.ml > src/machdepenv.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/partial.ml > src/ext/partial.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/predabst.ml > src/ext/predabst.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/predabst.ml > src/ext/predabst.inferred.mli File "src/ext/predabst.ml", line 869, characters 14-18: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) File "src/ext/predabst.ml", line 912, characters 14-18: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 9.5) /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/reachingdefs.ml > src/ext/reachingdefs.inferred.mli + /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/reachingdefs.ml > src/ext/reachingdefs.inferred.mli File "src/ext/reachingdefs.ml", line 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 9.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 9.5) /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/sfi.ml > src/ext/sfi.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/simplemem.ml > src/ext/simplemem.inferred.mli /usr/bin/ocamlc.opt -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta -i src/ext/usedef.ml > src/ext/usedef.inferred.mli ocamlbuild -build-dir _build -no-links -classic-display src/main.native /usr/bin/ocamldep.opt -modules src/main.ml > src/main.ml.depends /usr/bin/ocamlc.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/main.cmo src/main.ml /usr/bin/ocamlopt.opt -c -g -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta -o src/main.cmx src/main.ml /usr/bin/ocamlopt.opt unix.cmxa str.cmxa nums.cmxa -I src src/cil.cmxa src/main.cmx -o src/main.native cp _build/src/main.native bin/cilly.native cp lib/App/Cilly.pm.in lib/App/Cilly.pm sed -e "s|CIL_VERSION|1.7.3|" lib/App/Cilly.pm > lib/App/Cilly.pm.tmp; \ mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ if gcc -D_GNUCC -m32 src/machdep-ml.c -o _build/machdep-ml32.exe ;then \ sed -e "s|nogcc32model|` _build/machdep-ml32.exe --env`|" lib/App/Cilly.pm > lib/App/Cilly.pm.tmp; \ mv lib/App/Cilly.pm.tmp lib/App/Cilly.pm; \ fi BUILDSTDERR: gcc: error: unrecognized command line option '-m32'; did you mean '-mbe32'? 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.pm blib/lib/App/Cilly.pm cp App/Cilly/TempFile.pm blib/lib/App/Cilly/TempFile.pm cp App/Cilly/KeptFile.pm blib/lib/App/Cilly/KeptFile.pm cp App/Cilly/CilConfig.pm blib/lib/App/Cilly/CilConfig.pm cp App/Cilly/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.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=1.22MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.18MB 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.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=1.20MB, max=0.98MB, minor=1.19MB, major=0.19MB, promoted=0.17MB 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.001 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=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.18MB 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.001 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=1.22MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.17MB 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.001 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=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.22MB, max=0.98MB, minor=1.20MB, major=0.19MB, promoted=0.17MB 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.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=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.18MB 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.001 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=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.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=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.17MB 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.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=1.20MB, max=0.98MB, minor=1.19MB, major=0.19MB, promoted=0.17MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.25MB, max=0.98MB, minor=1.23MB, major=0.19MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.001 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=1.21MB, max=0.98MB, minor=1.19MB, major=0.19MB, promoted=0.17MB 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.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=1.23MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.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=1.30MB, max=0.98MB, minor=1.28MB, major=0.20MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.17MB 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.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=1.27MB, max=0.98MB, minor=1.26MB, major=0.19MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.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=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.17MB 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.010 s BUILDSTDERR: parse 0.006 s BUILDSTDERR: convert to CIL 0.004 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=3.20MB, max=0.98MB, minor=3.15MB, major=0.37MB, promoted=0.32MB BUILDSTDERR: minor collections=3 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.000 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: makeCFG 0.000 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.28MB, max=0.98MB, minor=1.26MB, major=0.19MB, promoted=0.18MB 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.000 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: stackGuard 0.000 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.26MB, max=0.98MB, minor=1.24MB, major=0.19MB, promoted=0.18MB 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.000 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: heapify 0.000 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.25MB, max=0.98MB, minor=1.23MB, major=0.19MB, promoted=0.18MB 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.000 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: oneRet 0.000 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.23MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.000 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: makeCFG 0.000 s BUILDSTDERR: partial 0.000 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.38MB, max=0.98MB, minor=1.36MB, major=0.20MB, promoted=0.18MB 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.000 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: simpleMem 0.000 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.17MB 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.000 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.000 s BUILDSTDERR: simplify 0.000 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.29MB, max=0.98MB, minor=1.27MB, major=0.19MB, promoted=0.18MB 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.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=1.21MB, max=0.98MB, minor=1.20MB, major=0.19MB, promoted=0.17MB 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.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=1.22MB, max=0.98MB, minor=1.20MB, major=0.19MB, promoted=0.17MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.22MB, max=0.98MB, minor=1.20MB, major=0.19MB, promoted=0.17MB 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.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=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.001 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=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.29MB, max=0.98MB, minor=1.27MB, major=0.20MB, promoted=0.18MB 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: ***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.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=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.17MB 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.001 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=1.23MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.001 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=1.21MB, max=0.98MB, minor=1.19MB, major=0.19MB, promoted=0.17MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.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=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.17MB 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.001 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=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.17MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.33MB, max=0.98MB, minor=1.32MB, major=0.20MB, promoted=0.18MB 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: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.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=1.22MB, max=0.98MB, minor=1.20MB, major=0.19MB, promoted=0.17MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.26MB, max=0.98MB, minor=1.24MB, major=0.19MB, promoted=0.18MB 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.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=1.26MB, max=0.98MB, minor=1.24MB, major=0.19MB, promoted=0.18MB 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.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=1.23MB, max=0.98MB, minor=1.21MB, major=0.19MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.24MB, max=0.98MB, minor=1.22MB, major=0.19MB, promoted=0.18MB 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.001 s BUILDSTDERR: parse 0.000 s BUILDSTDERR: convert to CIL 0.001 s BUILDSTDERR: printCIL 0.000 s BUILDSTDERR: Timing used BUILDSTDERR: Memory statistics: total=1.26MB, max=0.98MB, minor=1.24MB, major=0.19MB, promoted=0.18MB 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.19 (TeX Live 2018) (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/.texlive2018/texmf-config/web2c/fmtutil.cnf BUILDSTDERR: mktexfmt [INFO]: writing formats under /builddir/.texlive2018/texmf-var/web2c BUILDSTDERR: mktexfmt [INFO]: --- remaking pdflatex with pdftex BUILDSTDERR: mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... BUILDSTDERR: This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (INITEX) BUILDSTDERR: restricted \write18 enabled. BUILDSTDERR: (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) BUILDSTDERR: entering extended mode BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) BUILDSTDERR: ./texsys.aux found BUILDSTDERR: \@currdir set to: ./. BUILDSTDERR: Assuming \openin and \input BUILDSTDERR: have the same search path. BUILDSTDERR: Defining UNIX/DOS style filename parser. BUILDSTDERR: catcodes, registers, parameters, BUILDSTDERR: LaTeX2e <2018-04-01> patch level 5 BUILDSTDERR: hacks, control, par, spacing, files, font encodings, lengths, BUILDSTDERR: ==================================== BUILDSTDERR: Local config file fonttext.cfg used BUILDSTDERR: ==================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx BUILDSTDERR: === Don't modify this file, use a .cfg file instead === BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) BUILDSTDERR: ==================================== BUILDSTDERR: Local config file fontmath.cfg used BUILDSTDERR: ==================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx BUILDSTDERR: === Don't modify this file, use a .cfg file instead === BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) BUILDSTDERR: ==================================== BUILDSTDERR: Local config file preload.cfg used BUILDSTDERR: ===================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, BUILDSTDERR: environments, center, verbatim, math definitions, boxes, title, sectioning, BUILDSTDERR: contents, floats, footnotes, index, bibliography, output, BUILDSTDERR: =========================================== BUILDSTDERR: Local configuration file hyphen.cfg used BUILDSTDERR: =========================================== BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) BUILDSTDERR: (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu)) BUILDSTDERR: ) ) BUILDSTDERR: Beginning to dump on file pdflatex.fmt BUILDSTDERR: (preloaded format=pdflatex 2019.1.8) BUILDSTDERR: 5413 strings of total length 72240 BUILDSTDERR: 50531 memory locations dumped; current usage is 144&50357 BUILDSTDERR: 3741 multiletter control sequences BUILDSTDERR: \font\nullfont=nullfont BUILDSTDERR: \font\OMX/cmex/m/n/10=cmex10 BUILDSTDERR: \font\tenln=line10 BUILDSTDERR: \font\tenlnw=linew10 BUILDSTDERR: \font\tencirc=lcircle10 BUILDSTDERR: \font\tencircw=lcirclew10 BUILDSTDERR: \font\OT1/cmr/m/n/5=cmr5 BUILDSTDERR: \font\OT1/cmr/m/n/7=cmr7 BUILDSTDERR: \font\OT1/cmr/m/n/10=cmr10 BUILDSTDERR: \font\OML/cmm/m/it/5=cmmi5 BUILDSTDERR: \font\OML/cmm/m/it/7=cmmi7 BUILDSTDERR: \font\OML/cmm/m/it/10=cmmi10 BUILDSTDERR: \font\OMS/cmsy/m/n/5=cmsy5 BUILDSTDERR: \font\OMS/cmsy/m/n/7=cmsy7 BUILDSTDERR: \font\OMS/cmsy/m/n/10=cmsy10 BUILDSTDERR: 3633 words of font info for 14 preloaded fonts BUILDSTDERR: 14 hyphenation exceptions BUILDSTDERR: Hyphenation trie of length 6081 has 183 ops out of 35111 BUILDSTDERR: 2 for language 1 BUILDSTDERR: 181 for language 0 BUILDSTDERR: 0 words of pdfTeX memory BUILDSTDERR: 0 indirect objects BUILDSTDERR: No pages of output. BUILDSTDERR: Transcript written on pdflatex.log. BUILDSTDERR: mktexfmt [INFO]: /builddir/.texlive2018/texmf-var/web2c/pdftex/pdflatex.fmt installed. BUILDSTDERR: mktexfmt [INFO]: Successfully rebuilt formats: 1 BUILDSTDERR: mktexfmt [INFO]: Not selected formats: 15 BUILDSTDERR: mktexfmt [INFO]: Total formats: 16 BUILDSTDERR: mktexfmt [INFO]: exiting with status 0 entering extended mode (./cilpp.tex LaTeX2e <2018-04-01> patch level 5 (/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, 259572 bytes). Transcript written on cilpp.log. This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./cilpp.tex LaTeX2e <2018-04-01> patch level 5 (/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, 259572 bytes). Transcript written on cilpp.log. cd doc; mv cilpp.pdf html/cil/CIL.pdf CIL_VERSION=1.7.3 ocamlbuild -build-dir _build -no-links -classic-display doc/cil.docdir/index.html /usr/bin/ocamldoc.opt -dump ocamlutil/alpha.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/alpha.mli + /usr/bin/ocamldoc.opt -dump ocamlutil/alpha.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/alpha.mli Warning: Element Cil.currentLoc not found /usr/bin/ocamldoc.opt -dump src/ext/cfg.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta src/ext/cfg.mli + /usr/bin/ocamldoc.opt -dump src/ext/cfg.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta src/ext/cfg.mli Warning: Element Cil.stmt not found Warning: Element Dataflow not found /usr/bin/ocamldoc.opt -dump src/cil.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta src/cil.mli + /usr/bin/ocamldoc.opt -dump src/cil.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta src/cil.mli Warning: Element Rmtmps.removeUnusedTemps not found Warning: Element Cfg.computeFileCFG not found Warning: Element Cfg.computeFileCFG not found Warning: Element CaseRange not found Warning: Element Case not found Warning: Element Errormsg.Error not found Warning: Element Pretty.doc not found Warning: Element Errormsg.error not found Warning: Element Pretty.doc not found Warning: Element Errormsg.bug not found Warning: Element Errormsg.unimp not found Warning: Element Errormsg.bug not found Warning: Element Errormsg.unimp not found Warning: Element Errormsg.error not found Warning: Element Errormsg.warn not found Warning: Element Errormsg.warnOpt not found Warning: Element Errormsg.warnFlag not found Warning: Element Errormsg.warn not found Warning: Element Errormsg.warn not found Warning: Element Errormsg.warnFlag not found /usr/bin/ocamldoc.opt -dump src/cillower.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta src/cillower.mli /usr/bin/ocamldoc.opt -dump ocamlutil/clist.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/clist.mli /usr/bin/ocamldoc.opt -dump src/ext/dataflow.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta src/ext/dataflow.mli + /usr/bin/ocamldoc.opt -dump src/ext/dataflow.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta src/ext/dataflow.mli Warning: Element Cfg.computeFileCFG not found Warning: Element Cil.currentLoc not found Warning: Element Cil.currentLoc not found Warning: Element Cil.currentLoc not found Warning: Element Cil.currentLoc not found /usr/bin/ocamldoc.opt -dump src/ext/dominators.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src/ext -I src -I ocamlutil -I src/frontc -I src/ext/pta src/ext/dominators.mli /usr/bin/ocamldoc.opt -dump ocamlutil/errormsg.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/errormsg.mli /usr/bin/ocamldoc.opt -dump src/formatcil.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I src -I ocamlutil -I src/ext -I src/frontc -I src/ext/pta src/formatcil.mli /usr/bin/ocamldoc.opt -dump ocamlutil/pretty.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/pretty.mli /usr/bin/ocamldoc.opt -dump ocamlutil/stats.odoc -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -I ocamlutil -I src -I src/ext -I src/frontc -I src/ext/pta ocamlutil/stats.mli rm -rf doc/cil.docdir mkdir -p doc/cil.docdir /usr/bin/ocamldoc.opt -load ocamlutil/alpha.odoc -load src/ext/cfg.odoc -load src/cil.odoc -load src/cillower.odoc -load ocamlutil/clist.odoc -load src/ext/dataflow.odoc -load src/ext/dominators.odoc -load ocamlutil/errormsg.odoc -load src/formatcil.odoc -load ocamlutil/pretty.odoc -load ocamlutil/stats.odoc -html -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -d doc/cil.docdir + /usr/bin/ocamldoc.opt -load ocamlutil/alpha.odoc -load src/ext/cfg.odoc -load src/cil.odoc -load src/cillower.odoc -load ocamlutil/clist.odoc -load src/ext/dataflow.odoc -load src/ext/dominators.odoc -load ocamlutil/errormsg.odoc -load src/formatcil.odoc -load ocamlutil/pretty.odoc -load ocamlutil/stats.odoc -html -stars -hide Pervasives -t 'CIL API Documentation (version 1.7.3)' -d doc/cil.docdir Warning: Element Rmtmps.removeUnusedTemps not found Warning: Element CaseRange not found Warning: Element Case not found rm -rf doc/html/cil/api mkdir -p doc/html/cil/ cp -r _build/doc/cil.docdir/ doc/html/cil/api + make OCAMLBEST= bin/cilly.byte ocamlbuild -build-dir _build -no-links -classic-display src/main.byte /usr/bin/ocamlc.opt unix.cma str.cma nums.cma -I src src/cil.cma src/main.cmo -o src/main.byte cp _build/src/main.byte bin/cilly.byte + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.Yzhpuo + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm + cd cil-1.7.3 + export DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm + DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm + export OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml + OCAMLFIND_DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml + mkdir -p /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml + make DESTDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm 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-45.fc29.arm/usr/lib/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-45.fc29.arm/usr/lib/ocaml/cil/whitetrack.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/whitetrack.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/whitetrack.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/util.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/util.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/util.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/usedef.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/usedef.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/usedef.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/uref.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/uref.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/uref.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/trace.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/trace.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/trace.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/stats.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/stats.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/stats.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ssa.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ssa.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ssa.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/simplify.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/simplify.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/simplify.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/simplemem.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/simplemem.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/simplemem.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/sfi.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/sfi.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/sfi.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/setp.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/setp.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/setp.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/rmtmps.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/rmtmps.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/rmtmps.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/reachingdefs.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/reachingdefs.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/reachingdefs.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ptranal.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ptranal.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ptranal.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/pretty.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/pretty.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/pretty.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/predabst.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/predabst.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/predabst.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/patch.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/patch.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/patch.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/partial.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/partial.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/partial.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/oneret.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/oneret.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/oneret.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/olf.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/olf.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/olf.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/mergecil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/mergecil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/mergecil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/machdepenv.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/machdepenv.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/machdepenv.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/machdep.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/machdep.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/machdep.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/longarray.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/longarray.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/longarray.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/logwrites.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/logwrites.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/logwrites.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/logcalls.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/logcalls.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/logcalls.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmutils.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmutils.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmutils.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmssa.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmssa.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmssa.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmgen.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmgen.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvmgen.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvm.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvm.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/llvm.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/liveness.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/liveness.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/liveness.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/lexerhack.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/lexerhack.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/lexerhack.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/inthash.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/inthash.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/inthash.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/heapify.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/heapify.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/heapify.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/heap.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/heap.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/heap.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/growArray.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/growArray.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/growArray.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/frontc.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/frontc.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/frontc.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatparse.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatparse.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatparse.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatlex.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatlex.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatlex.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatcil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatcil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/formatcil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/feature_config.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/feature_config.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/feature_config.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/expcompare.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/expcompare.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/expcompare.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/escape.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/escape.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/escape.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/errormsg.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/errormsg.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/errormsg.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/epicenter.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/epicenter.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/epicenter.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dominators.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dominators.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dominators.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/deadcodeelim.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/deadcodeelim.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/deadcodeelim.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dataslicing.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dataslicing.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dataslicing.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dataflow.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dataflow.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/dataflow.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cprint.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cprint.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cprint.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cparser.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cparser.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cparser.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/clist.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/clist.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/clist.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/clexer.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/clexer.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/clexer.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilversion.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilversion.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilversion.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilutil.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilutil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilutil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ciltools.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ciltools.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ciltools.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ciloptions.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ciloptions.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/ciloptions.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cillower.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cillower.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cillower.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilint.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilint.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cilint.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/check.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/check.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/check.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cfg.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cfg.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cfg.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/canonicalize.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/canonicalize.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/canonicalize.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/callgraph.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/callgraph.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/callgraph.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabsvisit.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabsvisit.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabsvisit.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabshelper.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabshelper.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabshelper.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabs2cil.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabs2cil.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabs2cil.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabs.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabs.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cabs.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/bitmap.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/bitmap.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/bitmap.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/availexpslv.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/availexpslv.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/availexpslv.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/availexps.inferred.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/availexps.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/availexps.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/alpha.mli BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/alpha.cmx BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/alpha.cmi BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cil.a BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cil.cmxa BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/ocaml/cil/cil.cma BUILDSTDERR: Installed /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/lib/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-45.fc29.arm/usr/share/perl5/vendor_perl/App/Cilly.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/perl5/vendor_perl/App/Cilly/KeptFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/perl5/vendor_perl/App/Cilly/OutputFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/perl5/vendor_perl/App/Cilly/CilConfig.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/perl5/vendor_perl/App/Cilly/TempFile.pm Installing /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/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-45.fc29.arm/usr/bin + find /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm -name .packlist -type f -exec rm -f '{}' ';' + mkdir -p doc/ocaml-cil/html + cp -r doc/html/cil/api doc/ocaml-cil/html + cp -r doc/html/cil/examples doc/ocaml-cil/html + cp doc/html/cil/attributes.html doc/html/cil/cil.html doc/html/cil/cil001.html doc/html/cil/cil002.html doc/html/cil/cil003.html doc/html/cil/cil004.html doc/html/cil/cil007.html doc/html/cil/cil009.html doc/html/cil/cil010.html doc/html/cil/cil011.html doc/html/cil/cil012.html doc/html/cil/cil015.html doc/html/cil/cil016.html doc/html/cil/cil017.html doc/html/cil/cil018.html doc/html/cil/cil019.html doc/html/cil/cilly.html doc/html/cil/ciltoc.html doc/html/cil/ext.html doc/html/cil/header.html doc/html/cil/index.html doc/html/cil/merger.html doc/html/cil/patcher.html doc/ocaml-cil/html/ + cp doc/html/cil/cil.css doc/ocaml-cil/html/ + cp doc/html/cil/contents_motif.svg doc/html/cil/next_motif.svg doc/html/cil/previous_motif.svg doc/ocaml-cil/html/ + cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 1.7.3-45.fc29 --unique-debug-suffix -1.7.3-45.fc29.arm --unique-debug-src-base ocaml-cil-1.7.3-45.fc29.arm --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cil-1.7.3 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/bin/cilly.native extracting debug info from /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/bin/cilly.native /usr/lib/rpm/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. BUILDSTDERR: cpio: _build/big_int.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/buffer.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/bytes.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/hashtbl.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/int64.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/lexing.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/list.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/parsing.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/printf.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/queue.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/set.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/stack.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/stdlib.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/str.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: _build/string.ml: Cannot stat: No such file or directory BUILDSTDERR: 3302 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig 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 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.eXFYwr + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + make test cd test; ./testcil -r --regrtest BUILDSTDERR: Can't locate RegTest.pm in @INC (you may need to install the RegTest module) (@INC contains: /usr/local/lib/perl5 /usr/local/share/perl5 /usr/lib/perl5/vendor_perl /usr/share/perl5/vendor_perl /usr/lib/perl5 /usr/share/perl5) at ./testcil.pl line 15. BUILDSTDERR: BEGIN failed--compilation aborted at ./testcil.pl line 15. BUILDSTDERR: make: *** [Makefile:288: test] Error 2 + : + exit 0 Processing files: ocaml-cil-1.7.3-45.fc29.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.iOKuby + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/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-45.fc29.arm/usr/share/doc/ocaml-cil + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/doc/ocaml-cil + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/doc/ocaml-cil + exit 0 Provides: ocaml(Alpha) = d618cccf3ce49b40e20fda6a129279a0 ocaml(Availexps) = a01f3c0656f899dcb77fd6685a77c441 ocaml(Availexpslv) = fe2471b6294878471ccd35a4c5b44d84 ocaml(Bitmap) = a8df18e90be290769e0b70550c3e90d8 ocaml(Cabs) = 55084f8a36d58e5352c0dfd9371b441a ocaml(Cabs2cil) = 7d4998ec587ad27daf6972b57760d1fe ocaml(Cabshelper) = 817b1c36b27d127840aa2c9e14e6a72b ocaml(Cabsvisit) = e2f1937e9eaa63bcf8e4f3d06a6083ef ocaml(Callgraph) = 8ebcc8ed83d8dd541e2f9b76f3f8e36e ocaml(Canonicalize) = 6d92fbea53da937474c6516cd8fca8fe ocaml(Cfg) = b3c5729810053a3654d57f23f2a65d00 ocaml(Check) = a1b012da0252b4b04a83262ea684d5ce ocaml(Cil) = 87fd037a2ea2bd105ae997b626951ba4 ocaml(Cilint) = fd19b8ec8ccebc94ac1a9356c82d2f2b ocaml(Cillower) = 2c4a42365b2c5bad3be4b6b87489cb4c ocaml(Ciloptions) = 492dd18ca864c0e3c6ac246e267f0866 ocaml(Ciltools) = 12f4671010c1f1a852d4012b06c8e014 ocaml(Cilutil) = cbdae178af1d15304fc982b833d778eb ocaml(Cilversion) = 7d6d881202a5c72c5975c00a16e7f330 ocaml(Clexer) = 19299de8fc5a6bc9ca9d2bc2414066d6 ocaml(Clist) = d68f5ec71cd27639265aa77a034a5338 ocaml(Cparser) = 032958cb450922e5bcacc1791e6f03a3 ocaml(Cprint) = d6ab8a6aa54793fc5e7034ec332beae7 ocaml(Dataflow) = 4d7b5c2ed09e00a99454a7b3e8850c02 ocaml(Dataslicing) = 8b7199305284997a1a1be093a2a74e81 ocaml(Deadcodeelim) = 07a7187d0b9bc40d4a37a5d1a779c5ab ocaml(Dominators) = 7afd6940e8a5c194208ab825a265d6d1 ocaml(Epicenter) = 95d191b0dbaeb89f6da691676ad7c08e ocaml(Errormsg) = aa80be317beb56756a2467d8c5e19e12 ocaml(Escape) = fcf9d462bb7f1c600cd7a3609b087df2 ocaml(Expcompare) = 68396a40e0846676b7d8359cf9757181 ocaml(Feature_config) = 305f5eb25a684fe9c7b21da01f96d107 ocaml(Formatcil) = e7921b8b174dcea3ef5cd43646eb1b5f ocaml(Formatlex) = 9cd0c2e1961c52b11fc19fd92e744f7f ocaml(Formatparse) = 9a6e334d7c336a1d261b3232d52d2b51 ocaml(Frontc) = 7d2af32d4457bc1feb12963b72ff538c ocaml(GrowArray) = c430d1726660e1db60dd2bd1d23fd2be ocaml(Heap) = 572ace29f1243d8a48140d468b822ebe ocaml(Heapify) = 983aeb7c564a2b4d0df3b0e60c63865e ocaml(Inthash) = 0e885e4d59b9ee795136235fa8cc2459 ocaml(Lexerhack) = ca08fb85f0fa237ab944211a3c175b38 ocaml(Liveness) = 2a378e934cfe620d92f484365d434999 ocaml(Llvm) = d1419e3ba1961c99e76e89141e96fbcc ocaml(Llvmgen) = 9a843712f1d3bfcd0e49ea8ad1b89e6a ocaml(Llvmssa) = 1785bb54e6ca3308af831a84da26017b ocaml(Llvmutils) = 2d5f31fafdb5a62c9e3224c1fc3191f0 ocaml(Logcalls) = 182e57b0600af3ede5d880307b658ebf ocaml(Logwrites) = 1e883af351fdd584c47415ad0ad68b83 ocaml(Longarray) = 6d4a64c0506e83facfd02666accbf2cd ocaml(Machdep) = cd0f3f3b326dff92e66a35f485c87281 ocaml(Machdepenv) = 496ee16d4442429134aebcbf44b2098b ocaml(Mergecil) = 923e292f503c374dd11397b65a3fc381 ocaml(Olf) = 744d1a94e4f6f48ae1f7c13d5e2f35b6 ocaml(Oneret) = e5db474a9e0e74ad8bfc3f09e6376741 ocaml(Partial) = 7e25cb11516af8c8e8c6ca434b6340b6 ocaml(Patch) = 4c285472b150494ea855fe0c0e001ef9 ocaml(Predabst) = b82e5e32375d052db058b00507565ff8 ocaml(Pretty) = 4169fcd5eb811bbbeb83a656f41de3a3 ocaml(Ptranal) = 5144a6c5dc1057c7b8156496aee228f3 ocaml(Reachingdefs) = d01b62cadca2fe535bb74989338e0727 ocaml(Rmtmps) = 3935e9fe68c23c6955581926f50359e9 ocaml(Setp) = 037230cca895c1f5a930ad81e02f07de ocaml(Sfi) = 598ac26c27f100df6a17269afccaf516 ocaml(Simplemem) = 81dacfaf79402d1547453142b3dbedbe ocaml(Simplify) = 6cd18e3e0f8cc2bdd8569e4336b3b9da ocaml(Ssa) = b1031309be00570abada81d0fa669f05 ocaml(Stats) = c351fed541776cad6751c206a2319144 ocaml(Trace) = 81541dc488822de4e27f249c3fa3d7d3 ocaml(Uref) = 66029d703c4bb5737bd03a85f4ad59fc ocaml(Usedef) = 4a756258b0768112e6f564d99c889c2f ocaml(Util) = bc7bd2efd54f48e6bd13c058dfbd4af5 ocaml(Whitetrack) = 1edc09bb0fe5cb296fc2f8ddbf9dc3e5 ocaml-cil = 1.7.3-45.fc29 ocaml-cil(armv7hl-32) = 1.7.3-45.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(Big_int) = 7ab70fdf2234af7e5d1793b40a898af6 ocaml(Cabs) = 55084f8a36d58e5352c0dfd9371b441a ocaml(Callgraph) = 8ebcc8ed83d8dd541e2f9b76f3f8e36e ocaml(CamlinternalFormatBasics) = 7ea79e608e46b41c80c3251773e6fdf3 ocaml(CamlinternalOO) = 97f2eb1bc0716f60be886724bf7c7b32 ocaml(Cfg) = b3c5729810053a3654d57f23f2a65d00 ocaml(Cil) = 87fd037a2ea2bd105ae997b626951ba4 ocaml(Cilint) = fd19b8ec8ccebc94ac1a9356c82d2f2b ocaml(Ciltools) = 12f4671010c1f1a852d4012b06c8e014 ocaml(Cilutil) = cbdae178af1d15304fc982b833d778eb ocaml(Cparser) = 032958cb450922e5bcacc1791e6f03a3 ocaml(Dataflow) = 4d7b5c2ed09e00a99454a7b3e8850c02 ocaml(Errormsg) = aa80be317beb56756a2467d8c5e19e12 ocaml(Escape) = fcf9d462bb7f1c600cd7a3609b087df2 ocaml(Expcompare) = 68396a40e0846676b7d8359cf9757181 ocaml(Formatparse) = 9a6e334d7c336a1d261b3232d52d2b51 ocaml(GrowArray) = c430d1726660e1db60dd2bd1d23fd2be ocaml(Heap) = 572ace29f1243d8a48140d468b822ebe ocaml(Inthash) = 0e885e4d59b9ee795136235fa8cc2459 ocaml(Lexerhack) = ca08fb85f0fa237ab944211a3c175b38 ocaml(Liveness) = 2a378e934cfe620d92f484365d434999 ocaml(Llvmgen) = 9a843712f1d3bfcd0e49ea8ad1b89e6a ocaml(Llvmssa) = 1785bb54e6ca3308af831a84da26017b ocaml(Llvmutils) = 2d5f31fafdb5a62c9e3224c1fc3191f0 ocaml(Machdep) = cd0f3f3b326dff92e66a35f485c87281 ocaml(Nat) = 3e5c7e92d8f19e0449504a0dd9300d69 ocaml(Pretty) = 4169fcd5eb811bbbeb83a656f41de3a3 ocaml(Ptranal) = 5144a6c5dc1057c7b8156496aee228f3 ocaml(Reachingdefs) = d01b62cadca2fe535bb74989338e0727 ocaml(Rmtmps) = 3935e9fe68c23c6955581926f50359e9 ocaml(Stats) = c351fed541776cad6751c206a2319144 ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb ocaml(Stdlib__arg) = 427a32ba894b2729b4053bd61ec3bc12 ocaml(Stdlib__array) = 8289b1b8bcdd29cc6a859bfa35d44a2e ocaml(Stdlib__bigarray) = fde4e26503108d041547c9eef855a5fa ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba ocaml(Stdlib__bytes) = fe610140c1c3c7a45519f124966c164d ocaml(Stdlib__char) = dfbf7b404aa65639c2ae48823aae4141 ocaml(Stdlib__complex) = d4688bd6236fccf33550a083ea8e768f ocaml(Stdlib__filename) = 59d4f5dc5b39cf14e1644b77a94ace28 ocaml(Stdlib__gc) = 121da7976d740f3d8c647f7734cb9e5b ocaml(Stdlib__hashtbl) = 682884027fa100c01983d89cfc4eaf69 ocaml(Stdlib__int32) = 78bd846191e02a88baa4e9a80ecf1cd6 ocaml(Stdlib__int64) = a454ce987e87f19475aaffc6390cdac3 ocaml(Stdlib__lexing) = 4ca35ee6f83c87fbf3d6a22e3555e3ce ocaml(Stdlib__list) = 0c0f6e8daa075e845d18d212dd78098f ocaml(Stdlib__map) = c1f5b25c1463fcd9b8448c396d451c2e ocaml(Stdlib__marshal) = c911b03d32659414e14cc02734715916 ocaml(Stdlib__nativeint) = b902bb985d2fe122694f9825a3a50cf5 ocaml(Stdlib__obj) = a596d23956eb4b50fd382185fb87478a ocaml(Stdlib__parsing) = c277400343f616546ed67ff4e1646996 ocaml(Stdlib__printexc) = f94eb57f9995c6f95133374b31a2db08 ocaml(Stdlib__printf) = be9ae8643b5511d51db9c754b5ee4f74 ocaml(Stdlib__queue) = 7f7ceceae7e32ae22ed869d3d416da67 ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53 ocaml(Stdlib__set) = ee3121b3672ab195758de1ce2e925022 ocaml(Stdlib__stack) = c2ffc5230781926be0a7955883c5115e ocaml(Stdlib__string) = da1db0058f6dfb66ed4d85c353dc9306 ocaml(Stdlib__sys) = 173c21e20f3d44e9b4f52694fd5addb3 ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a ocaml(Str) = b0d96d5e51e6d5985ff4b5aadeb6a882 ocaml(Trace) = 81541dc488822de4e27f249c3fa3d7d3 ocaml(Unix) = e5f3d189d40891229c2283728e203e8a ocaml(Usedef) = 4a756258b0768112e6f564d99c889c2f ocaml(Util) = bc7bd2efd54f48e6bd13c058dfbd4af5 ocaml(Whitetrack) = 1edc09bb0fe5cb296fc2f8ddbf9dc3e5 ocaml(runtime) = 4.07.0 Processing files: ocaml-cil-devel-1.7.3-45.fc29.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.tLwHlS + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/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-45.fc29.arm/usr/share/doc/ocaml-cil-devel + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/doc/ocaml-cil-devel + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/doc/ocaml-cil-devel + exit 0 Provides: ocaml-cil-devel = 1.7.3-45.fc29 ocaml-cil-devel(armv7hl-32) = 1.7.3-45.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-45.fc29.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.ef1hZ1 + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/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-45.fc29.arm/usr/share/doc/ocaml-cil-doc + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/doc/ocaml-cil-doc + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/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-45.fc29.arm/usr/share/doc/ocaml-cil-doc + exit 0 Provides: ocaml-cil-doc = 1.7.3-45.fc29 ocaml-cil-doc(armv7hl-32) = 1.7.3-45.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-45.fc29.armv7hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.MbtiVd + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + DOCDIR=/builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/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-45.fc29.arm/usr/share/doc/ocaml-cil-cilly + cp -pr README.md /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/doc/ocaml-cil-cilly + cp -pr LICENSE /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm/usr/share/doc/ocaml-cil-cilly + exit 0 Provides: ocaml-cil-cilly = 1.7.3-45.fc29 ocaml-cil-cilly(armv7hl-32) = 1.7.3-45.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 libc.so.6(GLIBC_2.10) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.16) libc.so.6(GLIBC_2.17) libc.so.6(GLIBC_2.28) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libc.so.6(GLIBC_2.9) libdl.so.2 libdl.so.2(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libm.so.6 libm.so.6(GLIBC_2.4) 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-45.fc29.armv7hl Provides: ocaml-cil-debugsource = 1.7.3-45.fc29 ocaml-cil-debugsource(armv7hl-32) = 1.7.3-45.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-debuginfo-1.7.3-45.fc29.armv7hl Provides: debuginfo(build-id) = bdbb9550ca0e31123e1dbc267753bb8ce81e2b96 ocaml-cil-cilly-debuginfo = 1.7.3-45.fc29 ocaml-cil-cilly-debuginfo(armv7hl-32) = 1.7.3-45.fc29 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: ocaml-cil-debugsource(armv7hl-32) = 1.7.3-45.fc29 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm Wrote: /builddir/build/RPMS/ocaml-cil-1.7.3-45.fc29.armv7hl.rpm Wrote: /builddir/build/RPMS/ocaml-cil-devel-1.7.3-45.fc29.armv7hl.rpm Wrote: /builddir/build/RPMS/ocaml-cil-doc-1.7.3-45.fc29.armv7hl.rpm Wrote: /builddir/build/RPMS/ocaml-cil-cilly-1.7.3-45.fc29.armv7hl.rpm Wrote: /builddir/build/RPMS/ocaml-cil-debugsource-1.7.3-45.fc29.armv7hl.rpm Wrote: /builddir/build/RPMS/ocaml-cil-cilly-debuginfo-1.7.3-45.fc29.armv7hl.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.K3nDKA + umask 022 + cd /builddir/build/BUILD + cd cil-1.7.3 + /usr/bin/rm -rf /builddir/build/BUILDROOT/ocaml-cil-1.7.3-45.fc29.arm + exit 0 Child return code was: 0