Mock Version: 2.16 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1646420389.940006/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.1nw7x00u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.1nw7x00u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'aca9276b86e4472eb44312ffea166542', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1646420389.940006/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.1nw7x00u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/coccinelle.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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1646352000 Wrote: /builddir/build/SRPMS/coccinelle-1.1.1-7.fc37.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1646420389.940006/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': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.1nw7x00u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.1nw7x00u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'f3d5b9cb70ef4bd38f8ec6489e5f89dd', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1646420389.940006/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.1nw7x00u:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/coccinelle.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': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1646352000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.6XDppw + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf coccinelle-1.1.1 + /usr/bin/gzip -dc /builddir/build/SOURCES/coccinelle-1.1.1.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd coccinelle-1.1.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/git init -q + /usr/bin/git config user.name rpm-build + /usr/bin/git config user.email '' + /usr/bin/git config gc.auto 0 + /usr/bin/git add --force . + /usr/bin/git commit -q --allow-empty -a --author 'rpm-build ' -m 'coccinelle-1.1.1 base' + sed -i '1s_^#!/usr/bin/env python$_#!/usr/bin/python3_' tools/pycocci + find -name .gitignore -delete + for f in demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.c + mv demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.res.orig + iconv -f iso-8859-1 -t utf-8 + rm demos/demo_rule9/sym53c8xx.res.orig + for f in demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.c + mv demos/demo_rule9/sym53c8xx.c demos/demo_rule9/sym53c8xx.c.orig + iconv -f iso-8859-1 -t utf-8 + rm demos/demo_rule9/sym53c8xx.c.orig + find . -iname '*.py' + xargs -I '{}' sh -exc 'expand -t8 {} > tempfile && mv tempfile {}' + expand -t8 ./python/coccilib/xml_firehose.py + mv tempfile ./python/coccilib/xml_firehose.py + expand -t8 ./python/coccilib/trac.py + mv tempfile ./python/coccilib/trac.py + expand -t8 ./python/coccilib/report.py + mv tempfile ./python/coccilib/report.py + expand -t8 ./python/coccilib/output.py + mv tempfile ./python/coccilib/output.py + expand -t8 ./python/coccilib/org.py + mv tempfile ./python/coccilib/org.py + expand -t8 ./python/coccilib/iteration.py + mv tempfile ./python/coccilib/iteration.py + expand -t8 ./python/coccilib/elems.py + mv tempfile ./python/coccilib/elems.py + expand -t8 ./python/coccilib/__init__.py + mv tempfile ./python/coccilib/__init__.py + rm -f parsing_cocci/parser_cocci_menhir.ml parsing_cocci/parser_cocci_menhir.mli + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.bUxPvZ + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + '[' -f /usr/lib/rpm/generate-rpm-note.sh ']' + /usr/lib/rpm/generate-rpm-note.sh coccinelle 1.1.1-7.fc37 x86_64 + cd coccinelle-1.1.1 + autoreconf -i aclocal: warning: couldn't open directory 'm4': No such file or directory configure.ac:14: warning: The macro `AC_HEADER_STDC' is obsolete. configure.ac:14: You should run autoupdate. ./lib/autoconf/headers.m4:704: AC_HEADER_STDC is expanded from... configure.ac:14: the top level + ./autogen + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']' ++ find . -type f -name configure -print + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure + diff -u ./configure.backup ./configure + mv ./configure.backup ./configure + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./scripts/coccicheck/configure + diff -u ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + mv ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./scripts/coccicheck/configure + diff -u ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + mv ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./scripts/coccicheck/configure + diff -u ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + mv ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./scripts/coccicheck/configure + diff -u ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + mv ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./scripts/coccicheck/configure + diff -u ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + mv ./scripts/coccicheck/configure.backup ./scripts/coccicheck/configure + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./bundles/stdcompat/stdcompat-current/configure + diff -u ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + mv ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./bundles/stdcompat/stdcompat-current/configure + diff -u ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + mv ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./bundles/stdcompat/stdcompat-current/configure + diff -u ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + mv ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./bundles/stdcompat/stdcompat-current/configure + diff -u ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + mv ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./bundles/stdcompat/stdcompat-current/configure + diff -u ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + mv ./bundles/stdcompat/stdcompat-current/configure.backup ./bundles/stdcompat/stdcompat-current/configure + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./bundles/parmap/parmap/configure + diff -u ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + mv ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./bundles/parmap/parmap/configure + diff -u ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + mv ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./bundles/parmap/parmap/configure + diff -u ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + mv ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./bundles/parmap/parmap/configure + diff -u ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + mv ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./bundles/parmap/parmap/configure + diff -u ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + mv ./bundles/parmap/parmap/configure.backup ./bundles/parmap/parmap/configure + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' ++ find . -name ltmain.sh + ./configure --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir configure: configuring coccinelle 1.1.1-g38f6e18-dirty in /builddir/build/BUILD/coccinelle-1.1.1 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes configure: determining version suffix configure: building a version from a git repository checking for x86_64-redhat-linux-gnu-git... no checking for git... /usr/bin/git configure: version suffix set to Fri, 4 Mar 2022 19:03:05 +0000 configure: this configure program uses pkg-config m4 macros configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4) configure: this configure program uses custom m4 macros (see setup/cocci.m4) configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*) configure: verifying basic tools checking whether make supports the include directive... yes (GNU style) checking for x86_64-redhat-linux-gnu-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for bash... /bin/sh checking for tar... /usr/bin/tar checking for patch... /usr/bin/patch checking for echo... /usr/bin/echo checking for patchelf... no checking for x86_64-redhat-linux-gnu-pkg-config... /usr/bin/x86_64-redhat-linux-gnu-pkg-config checking pkg-config is at least version 0.9.0... yes checking for x86_64-redhat-linux-gnu-ocamlc... no checking for ocamlc... /usr/bin/ocamlc OCaml version is 4.13.1 OCaml library path is /usr/lib64/ocaml checking for x86_64-redhat-linux-gnu-ocamlopt... no checking for ocamlopt... /usr/bin/ocamlopt checking for x86_64-redhat-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for x86_64-redhat-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for x86_64-redhat-linux-gnu-ocaml... no checking for ocaml... /usr/bin/ocaml checking for x86_64-redhat-linux-gnu-ocamldep... no checking for ocamldep... /usr/bin/ocamldep checking for x86_64-redhat-linux-gnu-ocamlmktop... no checking for ocamlmktop... /usr/bin/ocamlmktop checking for x86_64-redhat-linux-gnu-ocamlmklib... no checking for ocamlmklib... /usr/bin/ocamlmklib checking for x86_64-redhat-linux-gnu-ocamldoc... no checking for ocamldoc... /usr/bin/ocamldoc checking that the OCaml version is at least 3.12... yes checking that the OCaml version is at least 4.02... yes checking that the OCaml version is at least 4.03... yes checking for x86_64-redhat-linux-gnu-ocamllex... no checking for ocamllex... /usr/bin/ocamllex checking for x86_64-redhat-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for x86_64-redhat-linux-gnu-ocamlyacc... no checking for ocamlyacc... /usr/bin/ocamlyacc checking for x86_64-redhat-linux-gnu-ocamlfind... no checking for ocamlfind... /usr/bin/ocamlfind checking for x86_64-redhat-linux-gnu-ocamlprof... no checking for ocamlprof... /usr/bin/ocamlprof configure: verifying basic ocaml modules configure: coccinelle may use external ocaml libraries in /builddir/build/BUILD/coccinelle-1.1.1/bundles configure: the following OCaml packages should be provided by your ocaml installation checking for OCaml findlib package unix... found checking for OCaml findlib package bigarray... found checking for OCaml findlib package str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package parmap checking for OCaml findlib package parmap... found configure: configuring package stdcompat checking for OCaml findlib package stdcompat... found configure: verifying optional features checking for x86_64-redhat-linux-gnu-menhir... /usr/bin/menhir configure: system menhir will be used configure: system menhir will be used configure: configuring package pyml checking for OCaml findlib package pyml... found checking for libpcre... yes configure: configuring package pcre checking for OCaml findlib package pcre... found checking if pcre depends on bytes... no configure: support for pcre syntax is enabled checking for x86_64-redhat-linux-gnu-pdflatex... no checking for pdflatex... /usr/bin/pdflatex checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile.config config.status: creating version.ml config.status: creating commons/commands.ml config.status: creating globals/config.ml config.status: creating globals/regexp.ml config.status: creating python/pycocci.ml config.status: creating ocaml/prepare_ocamlcocci.ml config.status: creating scripts/spatch.sh config.status: creating tools/spgen/scripts/spgen.sh config.status: creating docs/spatch.1 config.status: creating setup/Makefile config.status: executing depfiles commands configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir findlib: /usr/bin/ocamlfind (an actual version is strongly recommended) menhir: /usr/bin/menhir (for local package use --without-menhir, install the menhir package otherwise) ocaml scripting: yes (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pcre regexes: (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the libpcre-ocaml-dev package) optimized spatch: yes (overridable with --disable-opt) bash-completion: ${prefix}/share/bash-completion/completions (overridable with --with-bash-completion) ------------------------------------------------------------------------------ Coccinelle can now be compiled and installed. If you compile coccinelle again after source code changes or configuration changes, you may need to run first: $ make clean To compile coccinelle, run: $ make To install coccinelle, run: $ make install Then, to test coccinelle, run for example: $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c Or when coccinelle is not installed yet: $ COCCINELLE_HOME=/builddir/build/BUILD/coccinelle-1.1.1 ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ------------------------------------------------------------------------------ You may need to set some environment variables so that the python libraries are found. The frontend 'spatch' sets the following variables: $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib $ export PYTHONPATH=$PYTHONPATH:/usr/lib64/coccinelle/python ------------------------------------------------------------------------------ + /usr/bin/sed -i -e 's,LIBDIR=.*,LIBDIR=/usr/lib64,' -e 's,MANDIR=.*,MANDIR=/usr/share/man,' -e 's,SHAREDIR=.*,SHAREDIR=/usr/lib64/coccinelle,' -e 's,DYNLINKDIR=.*,DYNLINKDIR=/usr/lib64/ocaml,' -e 's,BASH_COMPLETION_DIR=.*,BASH_COMPLETION_DIR=/usr/share/bash-completion/completions,' Makefile.config + echo ' EXTRA_OCAML_FLAGS = -g EXTRACFLAGS = $(EXTRA_OCAML_FLAGS) ' + target=all-release + unset MAKEFLAGS + make all-release /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib64/ocaml/pcre -I /usr/lib64/ocaml/pyml -I /usr/lib64/ocaml/parmap -I /usr/lib64/ocaml/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) OCAMLYACC parsing_c/parser_c.mly OCAMLDEP parsing_c/parser_c.mli OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_c/lexer_c.mli OCAMLDEP parsing_cocci/lexer_script.mli OCAMLDEP parsing_cocci/lexer_cli.mli OCAMLDEP parsing_cocci/lexer_cocci.mli OCAMLDEP tools/spgen/source/main.mli OCAMLDEP tools/spgen/source/spgen_test.mli OCAMLDEP tools/spgen/source/spgen.mli OCAMLDEP tools/spgen/source/spgen_config.mli OCAMLDEP tools/spgen/source/spgen_interactive.mli OCAMLDEP tools/spgen/source/file_transform.mli OCAMLDEP tools/spgen/source/script_rule.mli OCAMLDEP tools/spgen/source/context_rule.mli OCAMLDEP tools/spgen/source/rule_header.mli OCAMLDEP tools/spgen/source/rule_body.mli OCAMLDEP tools/spgen/source/disj_generator.mli OCAMLDEP tools/spgen/source/position_generator.mli OCAMLDEP tools/spgen/source/user_input.mli OCAMLDEP tools/spgen/source/snapshot.mli OCAMLDEP tools/spgen/source/meta_variable.mli OCAMLDEP tools/spgen/source/detect_patch.mli OCAMLDEP tools/spgen/source/ast_tostring.mli OCAMLDEP tools/spgen/source/globals.mli OCAMLDEP main.mli OCAMLDEP enter.mli OCAMLDEP read_options.mli OCAMLDEP testing.mli OCAMLDEP cocci.mli OCAMLDEP flag_cocci.mli OCAMLDEP extra/maintainers.mli OCAMLDEP extra/kbuild.mli OCAMLDEP extra/classic_patch.mli OCAMLDEP popl09/popl.mli OCAMLDEP popl09/popltoctl.mli OCAMLDEP popl09/flag_popl.mli OCAMLDEP popl09/pretty_print_popl.mli OCAMLDEP popl09/insert_quantifiers.mli OCAMLDEP popl09/asttopopl.mli OCAMLDEP popl09/ast_popl.mli OCAMLDEP engine/ctlcocci_integration.mli OCAMLDEP engine/postprocess_transinfo.mli OCAMLDEP engine/ctltotex.mli OCAMLDEP engine/asttoctl2.mli OCAMLDEP engine/asttomember.mli OCAMLDEP engine/transformation_c.mli OCAMLDEP engine/pattern_c.mli OCAMLDEP engine/cocci_vs_c.mli OCAMLDEP engine/isomorphisms_c_c.mli OCAMLDEP engine/c_vs_c.mli OCAMLDEP engine/check_reachability.mli OCAMLDEP engine/check_exhaustive_pattern.mli OCAMLDEP engine/pretty_print_engine.mli OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/flag_matcher.mli OCAMLDEP python/pycocci.mli OCAMLDEP python/yes_pycocci.mli OCAMLDEP python/pycocci_aux.mli OCAMLDEP ocaml/run_ocamlcocci.mli OCAMLDEP ocaml/prepare_ocamlcocci.mli OCAMLDEP ocaml/yes_prepare_ocamlcocci.mli OCAMLDEP ocaml/ocamlcocci_aux.mli OCAMLDEP ocaml/coccilib.mli OCAMLDEP ocaml/exposed_modules.mli OCAMLDEP ocaml/externalanalysis.mli OCAMLDEP ctl/wrapper_ctl.mli OCAMLDEP ctl/ctl_engine.mli OCAMLDEP ctl/pretty_print_ctl.mli OCAMLDEP ctl/ast_ctl.mli OCAMLDEP ctl/flag_ctl.mli OCAMLDEP parsing_c/test_parsing_c.mli OCAMLDEP parsing_c/compare_c.mli OCAMLDEP parsing_c/comment_annotater_c.mli OCAMLDEP parsing_c/type_annoter_c.mli OCAMLDEP parsing_c/cpp_ast_c.mli OCAMLDEP parsing_c/type_c.mli OCAMLDEP parsing_c/unparse_hrule.mli OCAMLDEP parsing_c/unparse_c.mli OCAMLDEP parsing_c/parse_c.mli OCAMLDEP parsing_c/danger.mli OCAMLDEP parsing_c/parsing_consistency_c.mli OCAMLDEP parsing_c/parsing_recovery_c.mli OCAMLDEP parsing_c/unparse_cocci.mli OCAMLDEP parsing_c/cpp_analysis_c.mli OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/cpp_token_c.mli OCAMLDEP parsing_c/token_views_c.mli OCAMLDEP parsing_c/token_helpers.mli OCAMLDEP parsing_c/parse_string_c.mli OCAMLDEP parsing_c/lexer_parser.mli OCAMLDEP parsing_c/semantic_c.mli OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/control_flow_c_build.mli OCAMLDEP parsing_c/includes_cache.mli OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/control_flow_c.mli OCAMLDEP parsing_c/includes.mli OCAMLDEP parsing_c/ast_c.mli OCAMLDEP parsing_c/token_c.mli OCAMLDEP parsing_c/parsing_stat.mli OCAMLDEP parsing_c/flag_parsing_c.mli OCAMLDEP parsing_c/token_annot.mli OCAMLDEP parsing_cocci/cocci_args.mli OCAMLDEP parsing_cocci/command_line.mli OCAMLDEP parsing_cocci/parse_cocci.mli OCAMLDEP parsing_cocci/re_constraints.mli OCAMLDEP parsing_cocci/commas_on_lists.mli OCAMLDEP parsing_cocci/adjacency.mli OCAMLDEP parsing_cocci/git_grep.mli OCAMLDEP parsing_cocci/id_utils.mli OCAMLDEP parsing_cocci/get_constants2.mli OCAMLDEP parsing_cocci/dpll.mli OCAMLDEP parsing_cocci/cocci_grep.mli OCAMLDEP parsing_cocci/disjdistr.mli OCAMLDEP parsing_cocci/cleanup_rules.mli OCAMLDEP parsing_cocci/parse_aux.mli OCAMLDEP parsing_cocci/parse_printf.mli OCAMLDEP parsing_cocci/safe_for_multi_decls.mli OCAMLDEP parsing_cocci/free_vars.mli OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/semantic_cocci.mli OCAMLDEP parsing_cocci/function_prototypes.mli OCAMLDEP parsing_cocci/insert_plus.mli OCAMLDEP parsing_cocci/adjust_pragmas.mli OCAMLDEP parsing_cocci/context_neg.mli OCAMLDEP parsing_cocci/index.mli OCAMLDEP parsing_cocci/arity.mli OCAMLDEP parsing_cocci/unitary_ast0.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/check_meta.mli OCAMLDEP parsing_cocci/stmtlist.mli OCAMLDEP parsing_cocci/get_metas.mli OCAMLDEP parsing_cocci/simple_assignments.mli OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/iso_compile.mli OCAMLDEP parsing_cocci/comm_assoc.mli OCAMLDEP parsing_cocci/iso_pattern.mli OCAMLDEP parsing_cocci/compute_lines.mli OCAMLDEP parsing_cocci/unify_ast.mli OCAMLDEP parsing_cocci/unparse_ast0.mli OCAMLDEP parsing_cocci/ast0toast.mli OCAMLDEP parsing_cocci/visitor_ast0.mli OCAMLDEP parsing_cocci/visitor_ast.mli OCAMLDEP parsing_cocci/visitor_ast0_types.mli OCAMLDEP parsing_cocci/pretty_print_cocci.mli OCAMLDEP parsing_cocci/ast0_cocci.mli OCAMLDEP parsing_cocci/ast_cocci.mli OCAMLDEP parsing_cocci/flag_parsing_cocci.mli OCAMLDEP globals/regexp.mli OCAMLDEP globals/regexp_pcre.mli OCAMLDEP globals/iteration.mli OCAMLDEP globals/flag.mli OCAMLDEP globals/config.mli OCAMLDEP commons/ograph_extended.mli OCAMLDEP commons/ograph_simple.mli OCAMLDEP commons/common.mli OCAMLDEP commons/commands.mli OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP parsing_c/parser_c.ml OCAMLLEX tools/spgen/source/spgen_lexer.mll 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings OCAMLDEP tools/spgen/source/spgen_lexer.ml OCAMLLEX parsing_c/lexer_c.mll 564 states, 26650 transitions, table size 109984 bytes 17879 additional bytes used for bindings OCAMLDEP parsing_c/lexer_c.ml OCAMLLEX parsing_cocci/lexer_script.mll 25 states, 314 transitions, table size 1406 bytes OCAMLDEP parsing_cocci/lexer_script.ml OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes OCAMLDEP parsing_cocci/lexer_cli.ml OCAMLLEX parsing_cocci/lexer_cocci.mll ocamllex warning: File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string. 400 states, 6934 transitions, table size 30136 bytes 4105 additional bytes used for bindings OCAMLDEP parsing_cocci/lexer_cocci.ml OCAMLDEP tools/spgen/source/main.ml OCAMLDEP tools/spgen/source/spgen_test.ml OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/file_transform.ml OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/rule_header.ml OCAMLDEP tools/spgen/source/rule_body.ml OCAMLDEP tools/spgen/source/disj_generator.ml OCAMLDEP tools/spgen/source/position_generator.ml OCAMLDEP tools/spgen/source/user_input.ml OCAMLDEP tools/spgen/source/snapshot.ml OCAMLDEP tools/spgen/source/meta_variable.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/globals.ml OCAMLDEP main.ml OCAMLDEP enter.ml OCAMLDEP read_options.ml OCAMLDEP testing.ml OCAMLDEP cocci.ml OCAMLDEP flag_cocci.ml OCAMLDEP extra/maintainers.ml OCAMLDEP extra/kbuild.ml OCAMLDEP extra/classic_patch.ml OCAMLDEP popl09/popl.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/flag_popl.ml OCAMLDEP popl09/pretty_print_popl.ml OCAMLDEP popl09/insert_quantifiers.ml OCAMLDEP popl09/asttopopl.ml OCAMLDEP popl09/ast_popl.ml OCAMLDEP engine/ctlcocci_integration.ml OCAMLDEP engine/postprocess_transinfo.ml OCAMLDEP engine/ctltotex.ml OCAMLDEP engine/asttoctl2.ml OCAMLDEP engine/asttomember.ml OCAMLDEP engine/transformation_c.ml OCAMLDEP engine/pattern_c.ml OCAMLDEP engine/cocci_vs_c.ml OCAMLDEP engine/isomorphisms_c_c.ml OCAMLDEP engine/c_vs_c.ml OCAMLDEP engine/check_reachability.ml OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/pretty_print_engine.ml OCAMLDEP engine/lib_engine.ml OCAMLDEP engine/flag_matcher.ml OCAMLDEP python/pycocci.ml OCAMLDEP python/yes_pycocci.ml OCAMLDEP python/pycocci_aux.ml OCAMLDEP ocaml/run_ocamlcocci.ml OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/ocamlcocci_aux.ml OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/externalanalysis.ml OCAMLDEP ctl/wrapper_ctl.ml OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ast_ctl.ml OCAMLDEP ctl/flag_ctl.ml OCAMLDEP parsing_c/test_parsing_c.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml OCAMLDEP parsing_c/type_annoter_c.ml OCAMLDEP parsing_c/cpp_ast_c.ml OCAMLDEP parsing_c/type_c.ml OCAMLDEP parsing_c/unparse_hrule.ml OCAMLDEP parsing_c/unparse_c.ml OCAMLDEP parsing_c/parse_c.ml OCAMLDEP parsing_c/danger.ml OCAMLDEP parsing_c/parsing_consistency_c.ml OCAMLDEP parsing_c/parsing_recovery_c.ml OCAMLDEP parsing_c/unparse_cocci.ml OCAMLDEP parsing_c/cpp_analysis_c.ml OCAMLDEP parsing_c/parsing_hacks.ml OCAMLDEP parsing_c/cpp_token_c.ml OCAMLDEP parsing_c/token_views_c.ml OCAMLDEP parsing_c/token_helpers.ml OCAMLDEP parsing_c/parse_string_c.ml OCAMLDEP parsing_c/lexer_parser.ml OCAMLDEP parsing_c/semantic_c.ml OCAMLDEP parsing_c/pretty_print_c.ml OCAMLDEP parsing_c/control_flow_c_build.ml OCAMLDEP parsing_c/includes_cache.ml OCAMLDEP parsing_c/lib_parsing_c.ml OCAMLDEP parsing_c/visitor_c.ml OCAMLDEP parsing_c/control_flow_c.ml OCAMLDEP parsing_c/includes.ml OCAMLDEP parsing_c/ast_c.ml OCAMLDEP parsing_c/token_c.ml OCAMLDEP parsing_c/parsing_stat.ml OCAMLDEP parsing_c/flag_parsing_c.ml OCAMLDEP parsing_c/token_annot.ml OCAMLDEP parsing_cocci/cocci_args.ml OCAMLDEP parsing_cocci/command_line.ml OCAMLDEP parsing_cocci/parse_cocci.ml OCAMLDEP parsing_cocci/re_constraints.ml OCAMLDEP parsing_cocci/commas_on_lists.ml OCAMLDEP parsing_cocci/adjacency.ml OCAMLDEP parsing_cocci/git_grep.ml OCAMLDEP parsing_cocci/id_utils.ml OCAMLDEP parsing_cocci/get_constants2.ml OCAMLDEP parsing_cocci/dpll.ml OCAMLDEP parsing_cocci/cocci_grep.ml OCAMLDEP parsing_cocci/disjdistr.ml OCAMLDEP parsing_cocci/cleanup_rules.ml OCAMLDEP parsing_cocci/parse_aux.ml OCAMLDEP parsing_cocci/parse_printf.ml OCAMLDEP parsing_cocci/safe_for_multi_decls.ml OCAMLDEP parsing_cocci/free_vars.ml OCAMLDEP parsing_cocci/data.ml OCAMLDEP parsing_cocci/semantic_cocci.ml OCAMLDEP parsing_cocci/function_prototypes.ml OCAMLDEP parsing_cocci/insert_plus.ml OCAMLDEP parsing_cocci/adjust_pragmas.ml OCAMLDEP parsing_cocci/context_neg.ml OCAMLDEP parsing_cocci/index.ml OCAMLDEP parsing_cocci/arity.ml OCAMLDEP parsing_cocci/unitary_ast0.ml OCAMLDEP parsing_cocci/test_exps.ml OCAMLDEP parsing_cocci/type_infer.ml OCAMLDEP parsing_cocci/top_level.ml OCAMLDEP parsing_cocci/check_meta.ml OCAMLDEP parsing_cocci/stmtlist.ml OCAMLDEP parsing_cocci/get_metas.ml OCAMLDEP parsing_cocci/simple_assignments.ml OCAMLDEP parsing_cocci/single_statement.ml OCAMLDEP parsing_cocci/iso_compile.ml OCAMLDEP parsing_cocci/comm_assoc.ml OCAMLDEP parsing_cocci/iso_pattern.ml OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/unify_ast.ml OCAMLDEP parsing_cocci/unparse_ast0.ml OCAMLDEP parsing_cocci/ast0toast.ml OCAMLDEP parsing_cocci/visitor_ast0.ml OCAMLDEP parsing_cocci/visitor_ast.ml OCAMLDEP parsing_cocci/visitor_ast0_types.ml OCAMLDEP parsing_cocci/pretty_print_cocci.ml OCAMLDEP parsing_cocci/ast0_cocci.ml OCAMLDEP parsing_cocci/ast_cocci.ml OCAMLDEP parsing_cocci/flag_parsing_cocci.ml OCAMLDEP globals/regexp.ml OCAMLDEP globals/regexp_pcre.ml OCAMLDEP globals/iteration.ml OCAMLDEP globals/flag.ml OCAMLDEP globals/config.ml OCAMLDEP commons/ograph_extended.ml OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/common.ml OCAMLDEP commons/commands.ml OCAMLDEP commons/ocamlextra/dumper.ml OCAMLC commons/ocamlextra/dumper.mli OCAMLOPT commons/ocamlextra/dumper.ml OCAMLC commons/commands.mli OCAMLOPT commons/commands.ml OCAMLC commons/common.mli OCAMLOPT commons/common.ml File "commons/common.ml", line 5305, characters 4-14: 5305 | write_file file1 (unwords xs); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5306, characters 4-14: 5306 | write_file file2 (unwords ys); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5333, characters 4-14: 5333 | write_file "/tmp/diff1" xstr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5334, characters 4-14: 5334 | write_file "/tmp/diff2" ystr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC commons/ograph_simple.mli OCAMLOPT commons/ograph_simple.ml OCAMLC commons/ograph_extended.mli OCAMLOPT commons/ograph_extended.ml OCAMLOPT -o commons/commons.cmxa OCAMLC globals/config.mli OCAMLOPT globals/config.ml OCAMLC globals/flag.mli OCAMLOPT globals/flag.ml OCAMLC globals/iteration.mli OCAMLOPT globals/iteration.ml OCAMLC globals/regexp_pcre.mli OCAMLOPT globals/regexp_pcre.ml OCAMLC globals/regexp.mli OCAMLOPT globals/regexp.ml OCAMLOPT -o globals/globals.cmxa OCAMLC parsing_cocci/flag_parsing_cocci.mli OCAMLOPT parsing_cocci/flag_parsing_cocci.ml OCAMLC parsing_cocci/ast_cocci.mli OCAMLOPT parsing_cocci/ast_cocci.ml OCAMLC parsing_cocci/ast0_cocci.mli OCAMLOPT parsing_cocci/ast0_cocci.ml OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLOPT parsing_cocci/pretty_print_cocci.ml OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLOPT parsing_cocci/visitor_ast0_types.ml OCAMLC parsing_cocci/visitor_ast.mli OCAMLOPT parsing_cocci/visitor_ast.ml OCAMLC parsing_cocci/visitor_ast0.mli OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLC parsing_cocci/ast0toast.mli OCAMLOPT parsing_cocci/ast0toast.ml OCAMLC parsing_cocci/unparse_ast0.mli OCAMLOPT parsing_cocci/unparse_ast0.ml OCAMLC parsing_cocci/unify_ast.mli OCAMLOPT parsing_cocci/unify_ast.ml OCAMLC parsing_cocci/compute_lines.mli OCAMLOPT parsing_cocci/compute_lines.ml OCAMLC parsing_cocci/iso_pattern.mli OCAMLOPT parsing_cocci/iso_pattern.ml OCAMLC parsing_cocci/comm_assoc.mli OCAMLOPT parsing_cocci/comm_assoc.ml OCAMLC parsing_cocci/iso_compile.mli OCAMLOPT parsing_cocci/iso_compile.ml OCAMLC parsing_cocci/single_statement.mli OCAMLOPT parsing_cocci/single_statement.ml OCAMLC parsing_cocci/simple_assignments.mli OCAMLOPT parsing_cocci/simple_assignments.ml OCAMLC parsing_cocci/get_metas.mli OCAMLOPT parsing_cocci/get_metas.ml OCAMLC parsing_cocci/stmtlist.mli OCAMLOPT parsing_cocci/stmtlist.ml OCAMLC parsing_cocci/check_meta.mli OCAMLOPT parsing_cocci/check_meta.ml OCAMLC parsing_cocci/top_level.mli OCAMLOPT parsing_cocci/top_level.ml OCAMLC parsing_cocci/type_infer.mli OCAMLOPT parsing_cocci/type_infer.ml OCAMLC parsing_cocci/test_exps.mli OCAMLOPT parsing_cocci/test_exps.ml OCAMLC parsing_cocci/unitary_ast0.mli OCAMLOPT parsing_cocci/unitary_ast0.ml OCAMLC parsing_cocci/arity.mli OCAMLOPT parsing_cocci/arity.ml OCAMLC parsing_cocci/index.mli OCAMLOPT parsing_cocci/index.ml OCAMLC parsing_cocci/context_neg.mli OCAMLOPT parsing_cocci/context_neg.ml OCAMLC parsing_cocci/adjust_pragmas.mli OCAMLOPT parsing_cocci/adjust_pragmas.ml OCAMLC parsing_cocci/insert_plus.mli OCAMLOPT parsing_cocci/insert_plus.ml OCAMLC parsing_cocci/function_prototypes.mli OCAMLOPT parsing_cocci/function_prototypes.ml OCAMLC parsing_cocci/semantic_cocci.mli OCAMLOPT parsing_cocci/semantic_cocci.ml OCAMLC parsing_cocci/data.mli OCAMLOPT parsing_cocci/data.ml OCAMLC parsing_cocci/free_vars.mli OCAMLOPT parsing_cocci/free_vars.ml OCAMLC parsing_cocci/safe_for_multi_decls.mli OCAMLOPT parsing_cocci/safe_for_multi_decls.ml OCAMLC parsing_cocci/parse_printf.mli OCAMLOPT parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/parse_aux.mli OCAMLOPT parsing_cocci/parse_aux.ml OCAMLC parsing_cocci/cleanup_rules.mli OCAMLOPT parsing_cocci/cleanup_rules.ml OCAMLC parsing_cocci/disjdistr.mli OCAMLOPT parsing_cocci/disjdistr.ml MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLDEP parsing_cocci/parser_cocci_menhir.ml OCAMLDEP parsing_cocci/parser_cocci_menhir.mli OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLC parsing_cocci/lexer_cocci.mli OCAMLOPT parsing_cocci/lexer_cocci.ml OCAMLC parsing_cocci/lexer_cli.mli OCAMLOPT parsing_cocci/lexer_cli.ml OCAMLC parsing_cocci/lexer_script.mli OCAMLOPT parsing_cocci/lexer_script.ml OCAMLC parsing_cocci/cocci_grep.mli OCAMLOPT parsing_cocci/cocci_grep.ml OCAMLC parsing_cocci/dpll.mli OCAMLOPT parsing_cocci/dpll.ml OCAMLC parsing_cocci/get_constants2.mli OCAMLOPT parsing_cocci/get_constants2.ml OCAMLC parsing_cocci/id_utils.mli OCAMLOPT parsing_cocci/id_utils.ml OCAMLC parsing_cocci/git_grep.mli OCAMLOPT parsing_cocci/git_grep.ml OCAMLC parsing_cocci/adjacency.mli OCAMLOPT parsing_cocci/adjacency.ml OCAMLC parsing_cocci/commas_on_lists.mli OCAMLOPT parsing_cocci/commas_on_lists.ml OCAMLC parsing_cocci/re_constraints.mli OCAMLOPT parsing_cocci/re_constraints.ml OCAMLC parsing_cocci/parse_cocci.mli OCAMLOPT parsing_cocci/parse_cocci.ml OCAMLC parsing_cocci/command_line.mli OCAMLOPT parsing_cocci/command_line.ml OCAMLC parsing_cocci/cocci_args.mli OCAMLOPT parsing_cocci/cocci_args.ml OCAMLOPT -o parsing_cocci/parsing_cocci.cmxa OCAMLC parsing_c/token_annot.mli OCAMLOPT parsing_c/token_annot.ml OCAMLC parsing_c/flag_parsing_c.mli OCAMLOPT parsing_c/flag_parsing_c.ml OCAMLC parsing_c/parsing_stat.mli OCAMLOPT parsing_c/parsing_stat.ml OCAMLC parsing_c/token_c.mli OCAMLOPT parsing_c/token_c.ml OCAMLC parsing_c/ast_c.mli OCAMLOPT parsing_c/ast_c.ml OCAMLC parsing_c/includes.mli OCAMLOPT parsing_c/includes.ml OCAMLC parsing_c/control_flow_c.mli OCAMLOPT parsing_c/control_flow_c.ml OCAMLC parsing_c/visitor_c.mli OCAMLOPT parsing_c/visitor_c.ml OCAMLC parsing_c/lib_parsing_c.mli OCAMLOPT parsing_c/lib_parsing_c.ml OCAMLC parsing_c/includes_cache.mli OCAMLOPT parsing_c/includes_cache.ml OCAMLC parsing_c/control_flow_c_build.mli OCAMLOPT parsing_c/control_flow_c_build.ml OCAMLC parsing_c/pretty_print_c.mli OCAMLOPT parsing_c/pretty_print_c.ml File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: 1626 | (pp_elem_sp pr_elem pr_space).expression ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1629, characters 3-13: 1629 | (pp_elem_sp pr_elem pr_space).assignOp ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1632, characters 3-13: 1632 | (pp_elem_sp pr_elem pr_space).binaryOp ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1635, characters 3-13: 1635 | (pp_elem_sp pr_elem pr_space).arg_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1638, characters 3-13: 1638 | (pp_elem_sp pr_elem pr_space).arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1641, characters 3-13: 1641 | (pp_elem_sp pr_elem pr_space).statement ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1644, characters 3-13: 1644 | (pp_elem_sp pr_elem pr_space).statement_seq_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1647, characters 3-13: 1647 | (pp_elem_sp pr_elem pr_space).decl ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1650, characters 3-13: 1650 | (pp_elem_sp pr_elem pr_space).field ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1653, characters 3-13: 1653 | (pp_elem_sp pr_elem pr_space).field_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1656, characters 3-13: 1656 | (pp_elem_sp pr_elem pr_space).init ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1659, characters 3-13: 1659 | (pp_elem_sp pr_elem pr_space).init_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1662, characters 3-13: 1662 | (pp_elem_sp pr_elem pr_space).param ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1665, characters 3-13: 1665 | (pp_elem_sp pr_elem pr_space).paramlist ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1668, characters 3-13: 1668 | (pp_elem_sp pr_elem pr_space).dparamlist ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1671, characters 3-13: 1671 | (pp_elem_sp pr_elem pr_space).ty ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1674, characters 3-13: 1674 | (pp_elem_sp pr_elem pr_space).type_with_ident ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1677, characters 3-13: 1677 | (pp_elem_sp pr_elem pr_space).fragment_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1680, characters 3-13: 1680 | (pp_elem_sp pr_elem pr_space).format ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1683, characters 3-13: 1683 | (pp_elem_sp pr_elem pr_space).attribute ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1686, characters 3-13: 1686 | (pp_elem_sp pr_elem pr_space).attr_arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1689, characters 3-13: 1689 | (pp_elem_sp pr_elem pr_space).toplevel ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. OCAMLC parsing_c/semantic_c.mli OCAMLOPT parsing_c/semantic_c.ml OCAMLC parsing_c/lexer_parser.mli OCAMLOPT parsing_c/lexer_parser.ml OCAMLC parsing_c/parser_c.mli OCAMLOPT parsing_c/parser_c.ml OCAMLC parsing_c/lexer_c.mli OCAMLOPT parsing_c/lexer_c.ml OCAMLC parsing_c/parse_string_c.mli OCAMLOPT parsing_c/parse_string_c.ml OCAMLC parsing_c/token_helpers.mli OCAMLOPT parsing_c/token_helpers.ml OCAMLC parsing_c/token_views_c.mli OCAMLOPT parsing_c/token_views_c.ml OCAMLC parsing_c/cpp_token_c.mli OCAMLOPT parsing_c/cpp_token_c.ml OCAMLC parsing_c/parsing_hacks.mli OCAMLOPT parsing_c/parsing_hacks.ml OCAMLC parsing_c/cpp_analysis_c.mli OCAMLOPT parsing_c/cpp_analysis_c.ml OCAMLC parsing_c/unparse_cocci.mli OCAMLOPT parsing_c/unparse_cocci.ml File "parsing_c/unparse_cocci.ml", line 91, characters 2-35: 91 | Pretty_print_c.mk_pretty_printers pr_celem pr_cspace ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space, pr_nl, pr_indent, pr_outdent, pr_unindent were omitted in the application of this function. File "parsing_c/unparse_cocci.ml", line 70, characters 4-22: 70 | let print_option_space fn = function ^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable print_option_space. OCAMLC parsing_c/parsing_recovery_c.mli OCAMLOPT parsing_c/parsing_recovery_c.ml OCAMLC parsing_c/parsing_consistency_c.mli OCAMLOPT parsing_c/parsing_consistency_c.ml OCAMLC parsing_c/danger.mli OCAMLOPT parsing_c/danger.ml OCAMLC parsing_c/parse_c.mli OCAMLOPT parsing_c/parse_c.ml File "parsing_c/parse_c.ml", line 680, characters 1-37: 680 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. File "parsing_c/parse_c.ml", line 1429, characters 2-19: 1429 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "parsing_c/parse_c.ml", line 1440, characters 2-19: 1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC parsing_c/unparse_c.mli OCAMLOPT parsing_c/unparse_c.ml File "parsing_c/unparse_c.ml", line 275, characters 2-31: 275 | Pretty_print_c.pp_program_gen pr_get_elem pr_space celem; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. OCAMLC parsing_c/unparse_hrule.mli OCAMLOPT parsing_c/unparse_hrule.ml File "parsing_c/unparse_hrule.ml", line 202, characters 6-33: 202 | Pretty_print_c.pp_param_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/unparse_hrule.ml", line 340, characters 5-31: 340 | Pretty_print_c.pp_type_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. OCAMLC parsing_c/type_c.mli OCAMLOPT parsing_c/type_c.ml OCAMLC parsing_c/cpp_ast_c.mli OCAMLOPT parsing_c/cpp_ast_c.ml OCAMLC parsing_c/type_annoter_c.mli OCAMLOPT parsing_c/type_annoter_c.ml OCAMLC parsing_c/comment_annotater_c.mli OCAMLOPT parsing_c/comment_annotater_c.ml OCAMLC parsing_c/compare_c.mli OCAMLOPT parsing_c/compare_c.ml OCAMLC parsing_c/test_parsing_c.mli OCAMLOPT parsing_c/test_parsing_c.ml OCAMLOPT -o parsing_c/parsing_c.cmxa OCAMLC ctl/flag_ctl.mli OCAMLOPT ctl/flag_ctl.ml OCAMLC ctl/ast_ctl.mli OCAMLOPT ctl/ast_ctl.ml OCAMLC ctl/pretty_print_ctl.mli OCAMLOPT ctl/pretty_print_ctl.ml OCAMLC ctl/ctl_engine.mli OCAMLOPT ctl/ctl_engine.ml OCAMLC ctl/wrapper_ctl.mli OCAMLOPT ctl/wrapper_ctl.ml OCAMLOPT -o ctl/ctl.cmxa OCAMLC ocaml/externalanalysis.mli OCAMLOPT ocaml/externalanalysis.ml OCAMLC ocaml/exposed_modules.mli OCAMLOPT ocaml/exposed_modules.ml OCAMLC ocaml/coccilib.mli OCAMLOPT ocaml/coccilib.ml File "ocaml/coccilib.ml", line 116, characters 2-19: 116 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s\n}" env s); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "ocaml/coccilib.ml", line 134, characters 2-19: 134 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s;\n}" env s); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC ocaml/ocamlcocci_aux.mli OCAMLOPT ocaml/ocamlcocci_aux.ml OCAMLC ocaml/yes_prepare_ocamlcocci.mli OCAMLOPT ocaml/yes_prepare_ocamlcocci.ml OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLOPT ocaml/prepare_ocamlcocci.ml OCAMLC ocaml/run_ocamlcocci.mli OCAMLOPT ocaml/run_ocamlcocci.ml OCAMLOPT -o ocaml/ocaml.cmxa OCAMLC python/pycocci_aux.mli OCAMLOPT python/pycocci_aux.ml OCAMLC python/yes_pycocci.mli OCAMLOPT python/yes_pycocci.ml OCAMLC python/pycocci.mli OCAMLOPT python/pycocci.ml OCAMLOPT -o python/python.cmxa OCAMLC engine/flag_matcher.mli OCAMLOPT engine/flag_matcher.ml OCAMLC engine/lib_engine.mli OCAMLOPT engine/lib_engine.ml OCAMLC engine/pretty_print_engine.mli OCAMLOPT engine/pretty_print_engine.ml OCAMLC engine/check_exhaustive_pattern.mli OCAMLOPT engine/check_exhaustive_pattern.ml OCAMLC engine/check_reachability.mli OCAMLOPT engine/check_reachability.ml OCAMLC engine/c_vs_c.mli OCAMLOPT engine/c_vs_c.ml OCAMLC engine/isomorphisms_c_c.mli OCAMLOPT engine/isomorphisms_c_c.ml OCAMLC engine/cocci_vs_c.mli OCAMLOPT engine/cocci_vs_c.ml OCAMLC engine/pattern_c.mli OCAMLOPT engine/pattern_c.ml OCAMLC engine/transformation_c.mli OCAMLOPT engine/transformation_c.ml OCAMLC engine/asttomember.mli OCAMLOPT engine/asttomember.ml OCAMLC engine/asttoctl2.mli OCAMLOPT engine/asttoctl2.ml OCAMLC engine/ctltotex.mli OCAMLOPT engine/ctltotex.ml OCAMLC engine/postprocess_transinfo.mli OCAMLOPT engine/postprocess_transinfo.ml OCAMLC engine/ctlcocci_integration.mli OCAMLOPT engine/ctlcocci_integration.ml OCAMLOPT -o engine/engine.cmxa OCAMLC popl09/ast_popl.mli OCAMLOPT popl09/ast_popl.ml OCAMLC popl09/asttopopl.mli OCAMLOPT popl09/asttopopl.ml OCAMLC popl09/insert_quantifiers.mli OCAMLOPT popl09/insert_quantifiers.ml OCAMLC popl09/pretty_print_popl.mli OCAMLOPT popl09/pretty_print_popl.ml OCAMLC popl09/flag_popl.mli OCAMLOPT popl09/flag_popl.ml OCAMLC popl09/popltoctl.mli OCAMLOPT popl09/popltoctl.ml OCAMLC popl09/popl.mli OCAMLOPT popl09/popl.ml OCAMLOPT -o popl09/popl09.cmxa OCAMLC extra/classic_patch.mli OCAMLOPT extra/classic_patch.ml OCAMLC extra/kbuild.mli OCAMLOPT extra/kbuild.ml OCAMLC extra/maintainers.mli OCAMLOPT extra/maintainers.ml OCAMLOPT -o extra/extra.cmxa OCAMLC flag_cocci.mli OCAMLOPT flag_cocci.ml OCAMLC cocci.mli OCAMLOPT cocci.ml OCAMLC testing.mli OCAMLOPT testing.ml OCAMLC read_options.mli OCAMLOPT read_options.ml OCAMLC enter.mli OCAMLOPT enter.ml File "enter.ml", line 844, characters 2-20: 844 | Common.short_usage usage_msg short_options; ^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label short_opt was omitted in the application of this function. File "enter.ml", line 853, characters 2-19: 853 | Common.long_usage usage_msg short_options other_options ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels short_opt, long_opt were omitted in the application of this function. OCAMLC main.mli OCAMLOPT main.ml OCAMLOPT -o spatch.opt OCAMLC tools/spgen/source/globals.mli OCAMLOPT tools/spgen/source/globals.ml OCAMLC tools/spgen/source/ast_tostring.mli OCAMLOPT tools/spgen/source/ast_tostring.ml OCAMLC tools/spgen/source/detect_patch.mli OCAMLOPT tools/spgen/source/detect_patch.ml OCAMLC tools/spgen/source/meta_variable.mli OCAMLOPT tools/spgen/source/meta_variable.ml File "tools/spgen/source/meta_variable.ml", line 568, characters 25-36: 568 | let constr = constraints rn idconstr in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label rn was omitted in the application of this function. OCAMLC tools/spgen/source/snapshot.mli OCAMLOPT tools/spgen/source/snapshot.ml File "tools/spgen/source/snapshot.ml", line 130, characters 37-53: 130 | let inc_line snp = inc_current_line (set_mode_context Ast0.NONE snp) ^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label arity was omitted in the application of this function. OCAMLC tools/spgen/source/user_input.mli OCAMLOPT tools/spgen/source/user_input.ml OCAMLC tools/spgen/source/position_generator.mli OCAMLOPT tools/spgen/source/position_generator.ml OCAMLC tools/spgen/source/disj_generator.mli OCAMLOPT tools/spgen/source/disj_generator.ml OCAMLC tools/spgen/source/rule_body.mli OCAMLOPT tools/spgen/source/rule_body.ml OCAMLC tools/spgen/source/rule_header.mli OCAMLOPT tools/spgen/source/rule_header.ml OCAMLC tools/spgen/source/context_rule.mli OCAMLOPT tools/spgen/source/context_rule.ml OCAMLC tools/spgen/source/script_rule.mli OCAMLOPT tools/spgen/source/script_rule.ml OCAMLC tools/spgen/source/file_transform.mli OCAMLOPT tools/spgen/source/file_transform.ml OCAMLC tools/spgen/source/spgen_interactive.mli OCAMLOPT tools/spgen/source/spgen_interactive.ml OCAMLC tools/spgen/source/spgen_lexer.mli OCAMLOPT tools/spgen/source/spgen_lexer.ml OCAMLC tools/spgen/source/spgen_config.mli OCAMLOPT tools/spgen/source/spgen_config.ml OCAMLC tools/spgen/source/spgen.mli OCAMLOPT tools/spgen/source/spgen.ml OCAMLC tools/spgen/source/spgen_test.mli OCAMLOPT tools/spgen/source/spgen_test.ml OCAMLC tools/spgen/source/main.mli OCAMLOPT tools/spgen/source/main.ml OCAMLOPT -o tools/spgen/source/spgen.opt cp parsing_c/token_c.cmi ocaml/token_c.cmi cp parsing_c/ast_c.cmi ocaml/ast_c.cmi cp parsing_c/parse_c.cmi ocaml/parse_c.cmi cp parsing_c/parser_c.cmi ocaml/parser_c.cmi cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi cp globals/regexp.cmi ocaml/regexp.cmi cp globals/config.cmi ocaml/config.cmi cp globals/flag.cmi ocaml/flag.cmi cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi cp globals/iteration.cmi ocaml/iteration.cmi cp commons/commands.cmi ocaml/commands.cmi cp commons/common.cmi ocaml/common.cmi cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi OCAMLC parsing_c/token_c.ml cp parsing_c/token_c.cmo ocaml/token_c.cmo OCAMLC parsing_c/ast_c.ml cp parsing_c/ast_c.cmo ocaml/ast_c.cmo OCAMLC parsing_c/parse_c.ml File "parsing_c/parse_c.ml", line 680, characters 1-37: 680 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. File "parsing_c/parse_c.ml", line 1429, characters 2-19: 1429 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "parsing_c/parse_c.ml", line 1440, characters 2-19: 1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. cp parsing_c/parse_c.cmo ocaml/parse_c.cmo OCAMLC parsing_c/parser_c.ml cp parsing_c/parser_c.cmo ocaml/parser_c.cmo OCAMLC parsing_c/lexer_c.ml cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo OCAMLC parsing_c/pretty_print_c.ml File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: 1626 | (pp_elem_sp pr_elem pr_space).expression ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1629, characters 3-13: 1629 | (pp_elem_sp pr_elem pr_space).assignOp ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1632, characters 3-13: 1632 | (pp_elem_sp pr_elem pr_space).binaryOp ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1635, characters 3-13: 1635 | (pp_elem_sp pr_elem pr_space).arg_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1638, characters 3-13: 1638 | (pp_elem_sp pr_elem pr_space).arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1641, characters 3-13: 1641 | (pp_elem_sp pr_elem pr_space).statement ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1644, characters 3-13: 1644 | (pp_elem_sp pr_elem pr_space).statement_seq_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1647, characters 3-13: 1647 | (pp_elem_sp pr_elem pr_space).decl ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1650, characters 3-13: 1650 | (pp_elem_sp pr_elem pr_space).field ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1653, characters 3-13: 1653 | (pp_elem_sp pr_elem pr_space).field_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1656, characters 3-13: 1656 | (pp_elem_sp pr_elem pr_space).init ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1659, characters 3-13: 1659 | (pp_elem_sp pr_elem pr_space).init_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1662, characters 3-13: 1662 | (pp_elem_sp pr_elem pr_space).param ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1665, characters 3-13: 1665 | (pp_elem_sp pr_elem pr_space).paramlist ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1668, characters 3-13: 1668 | (pp_elem_sp pr_elem pr_space).dparamlist ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1671, characters 3-13: 1671 | (pp_elem_sp pr_elem pr_space).ty ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1674, characters 3-13: 1674 | (pp_elem_sp pr_elem pr_space).type_with_ident ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1677, characters 3-13: 1677 | (pp_elem_sp pr_elem pr_space).fragment_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1680, characters 3-13: 1680 | (pp_elem_sp pr_elem pr_space).format ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1683, characters 3-13: 1683 | (pp_elem_sp pr_elem pr_space).attribute ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1686, characters 3-13: 1686 | (pp_elem_sp pr_elem pr_space).attr_arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1689, characters 3-13: 1689 | (pp_elem_sp pr_elem pr_space).toplevel ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo OCAMLC parsing_c/lib_parsing_c.ml cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo OCAMLC parsing_c/visitor_c.ml cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo OCAMLC globals/regexp.ml cp globals/regexp.cmo ocaml/regexp.cmo OCAMLC globals/config.ml cp globals/config.cmo ocaml/config.cmo OCAMLC globals/flag.ml cp globals/flag.cmo ocaml/flag.cmo OCAMLC parsing_c/flag_parsing_c.ml cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo OCAMLC globals/iteration.ml cp globals/iteration.cmo ocaml/iteration.cmo OCAMLC commons/commands.ml cp commons/commands.cmo ocaml/commands.cmo OCAMLC commons/common.ml File "commons/common.ml", line 5305, characters 4-14: 5305 | write_file file1 (unwords xs); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5306, characters 4-14: 5306 | write_file file2 (unwords ys); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5333, characters 4-14: 5333 | write_file "/tmp/diff1" xstr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5334, characters 4-14: 5334 | write_file "/tmp/diff2" ystr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. cp commons/common.cmo ocaml/common.cmo OCAMLC parsing_cocci/ast_cocci.ml cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo OCAMLC parsing_cocci/ast0_cocci.ml cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo OCAMLC commons/ocamlextra/dumper.ml cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo cp parsing_c/token_c.cmx ocaml/token_c.cmx cp parsing_c/ast_c.cmx ocaml/ast_c.cmx cp parsing_c/parse_c.cmx ocaml/parse_c.cmx cp parsing_c/parser_c.cmx ocaml/parser_c.cmx cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx cp globals/regexp.cmx ocaml/regexp.cmx cp globals/config.cmx ocaml/config.cmx cp globals/flag.cmx ocaml/flag.cmx cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx cp globals/iteration.cmx ocaml/iteration.cmx cp commons/commands.cmx ocaml/commands.cmx cp commons/common.cmx ocaml/common.cmx cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx cp commons/ocamlextra/dumper.cmx ocaml/dumper.cmx cp /usr/lib64/ocaml/parmap/parmap.cmi ocaml/parmap.cmi if test -f /usr/lib64/ocaml/parmap/parmap.cmx; then \ cp /usr/lib64/ocaml/parmap/parmap.cmx ocaml/parmap.cmx; \ fi make -C docs make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.1.1/docs' make -C manual all make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.1.1/docs/manual' ./find-xxdate: line 12: opam: command not found /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. kpathsea: Running mktexfmt pdflatex.fmt mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2021/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2021/texmf-var/web2c mktexfmt [INFO]: --- remaking pdflatex with pdftex mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (INITEX) restricted \write18 enabled. (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) entering extended mode (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) ./texsys.aux found \@currdir set to: ./. Assuming \openin and \input have the same search path. Defining UNIX/DOS style filename parser. catcodes, registers, parameters, LaTeX2e <2020-10-01> patch level 4 (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3-code.tex (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/l3deprecation.def))) (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.tex)) hacks, control, par, spacing, files, font encodings, lengths, ==================================== Local config file fonttext.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) ==================================== Local config file fontmath.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) ==================================== Local config file preload.cfg used ===================================== (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, environments, center, verbatim, math definitions, boxes, title, sectioning, contents, floats, footnotes, index, bibliography, output, =========================================== Local configuration file hyphen.cfg used =========================================== (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu)) (/usr/share/texlive/texmf-dist/tex/latex/firstaid/latex2e-first-aid-for-externa l-files.ltx) ) ) Beginning to dump on file pdflatex.fmt (preloaded format=pdflatex 2022.3.4) 19194 strings of total length 344848 280641 memory locations dumped; current usage is 165&279285 17486 multiletter control sequences \font\nullfont=nullfont \font\c__fp_exp_intarray=cmr10 at 0.00002pt \font\c__fp_trig_intarray=cmr10 at 0.00003pt \font\c_initex_cctab=cmr10 at 0.00005pt \font\c_other_cctab=cmr10 at 0.00006pt \font\c_str_cctab=cmr10 at 0.00008pt \font\g__regex_state_active_intarray=cmr10 at 0.00009pt \font\g__regex_thread_info_intarray=cmr10 at 0.0001pt \font\g__regex_submatch_prev_intarray=cmr10 at 0.00012pt \font\g__regex_submatch_begin_intarray=cmr10 at 0.00014pt \font\g__regex_submatch_end_intarray=cmr10 at 0.00015pt \font\g__regex_balance_intarray=cmr10 at 0.00017pt \font\OMX/cmex/m/n/10=cmex10 \font\tenln=line10 \font\tenlnw=linew10 \font\tencirc=lcircle10 \font\tencircw=lcirclew10 \font\OT1/cmr/m/n/5=cmr5 \font\OT1/cmr/m/n/7=cmr7 \font\OT1/cmr/m/n/10=cmr10 \font\OML/cmm/m/it/5=cmmi5 \font\OML/cmm/m/it/7=cmmi7 \font\OML/cmm/m/it/10=cmmi10 \font\OMS/cmsy/m/n/5=cmsy5 \font\OMS/cmsy/m/n/7=cmsy7 \font\OMS/cmsy/m/n/10=cmsy10 \font\c_code_cctab=cmr10 at 0.00018pt \font\c_document_cctab=cmr10 at 0.0002pt 403423 words of font info for 27 preloaded fonts 14 hyphenation exceptions Hyphenation trie of length 6081 has 183 ops out of 35111 2 for language 1 181 for language 0 0 words of pdfTeX memory 0 indirect objects No pages of output. Transcript written on pdflatex.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2021/texmf-var/web2c/pdftex/pdflatex.log mktexfmt [INFO]: /builddir/.texlive2021/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: exiting with status 0 entering extended mode (./manual.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/usr/share/texliv e/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]pdfTeX warning (ext4): destinat ion with the same identifier (name{page.1}) has been already used, duplicate ig nored \relax l.116 \chapter *{Foreword} [1] (../../version) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) LaTeX Warning: Reference `part:usermanual' on page 2 undefined on input line 12 1. LaTeX Warning: Reference `part:refmanual' on page 2 undefined on input line 122 . (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Underfull \hbox (badness 10000) in paragraph at lines 136--139 [2] [3] (./introduction.tex Chapter 1. ) (./installing.tex [4] Chapter 2. ) (./tutorial.tex [5] Chapter 3. ) [6] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [7] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [8] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [9] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [10] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [11] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [12] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [13] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) (./tips.tex [14] Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) (./isomorphisms.tex [15] Chapter 5. ) (./parsing.tex [16] Chapter 6. ) (./workflow.tex [17] Chapter 7. ) (./advanced.tex [18] Chapter 8. ) [19] [20] Chapter 9. (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) Overfull \hbox (14.32869pt too wide) in paragraph at lines 81--123 [] [21] [22] Overfull \hbox (5.14468pt too wide) in paragraph at lines 216--278 [] [23] [24] LaTeX Warning: Reference `types' on page 25 undefined on input line 372. [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1272--1274 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [35] [36] [37] [38] Overfull \hbox (2.84468pt too wide) in paragraph at lines 1563--1613 [] [39] [40] [41pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box l.1747 ] [42] [43] [44]) [45] Chapter 10. (./spatch_options.tex Overfull \hbox (2.95383pt too wide) in paragraph at lines 43--46 []\T1/pcr/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/p tm/m/n/10 : Ap-ply the se-man-tic patch [46] (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) LaTeX Font Warning: Font shape `U/ifgeo/b/n' undefined (Font) using `U/ifgeo/m/n' instead on input line 73. [47] [48] Overfull \hbox (53.96228pt too wide) in paragraph at lines 205--206 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex-cocci.sh\T1/ptm /m/n/10 . Overfull \hbox (23.08131pt too wide) in paragraph at lines 221--221 \T1/ptm/m/n/10 vant. This op-tion re-quires that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us-ing the script \T1/pcr/m/n/10 coccinelle/scripts/ [49] Overfull \hbox (61.07932pt too wide) in paragraph at lines 298--299 \T1/ptm/m/n/10 spacing-score-file is pro-vided, then that file is used for the re-sult. Oth-er-wise, the re-sult goes in ``test-s/S-CORE_spacing_expected.sexp ''. Overfull \hbox (13.36246pt too wide) in paragraph at lines 310--311 \T1/pcr/m/n/10 --compare-with-expected\T1/ptm/m/n/10 . The lead-ing dot is op-t ional. This im-plic-itly sets the \T1/pcr/m/n/10 --compare-with-expected Overfull \hbox (31.46255pt too wide) in paragraph at lines 335--336 \T1/ptm/m/n/10 on which the er-ror oc-curs. This func-tion should then be passe d to the func-tion \T1/pcr/m/n/10 Parse_c.set_parse_error_function\T1/ptm/m/n/1 0 . [50] [51] [52] [53] [54] Overfull \hbox (6.74498pt too wide) in paragraph at lines 690--691 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [55] [56]) [57] [58] (./license.txt [59] [60] [61] [62]) No file manual.bbl. [63] (./manual.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `manual.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) ) (see the transcript file for additional information)pdfTeX warning (dest): name {nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does no t exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{CONCAT\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{int\\protect\040\\T1\\textunderscore\040compare\\pr otect\040\\T1\\textunderscore\040constraint} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040compare\\pro tect\040\\T1\\textunderscore\040constraint} has been referenced but does not ex ist, replaced by a fixed one pdfTeX warning (dest): name{regexp\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{compare\\protect\040\\T1\\textunderscore\040constra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unary\\protect\040\\T1\\textunderscore\040op} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unop\\protect\040\\T1\\textunderscore\040constraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmvids\\protect\040\\T1\\textunderscore\040with\\pr otect\040\\T1\\textunderscore\040constraints} has been referenced but does not exist, replaced by a fixed on kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeo10 kpathsea: Running mktexfmt mf.base mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2021/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2021/texmf-var/web2c mktexfmt [INFO]: --- remaking mf with mf-nowin mktexfmt: running `mf-nowin -ini -jobname=mf -progname=mf -translate-file=cp227.tcx mf.ini' ... This is METAFONT, Version 2.71828182 (TeX Live 2021) (INIMF) (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) (/usr/share/texlive/texmf-dist/metafont/config/mf.ini (/usr/share/texlive/texmf-dist/metafont/base/plain.mf Preloading the plain base, version 2.71: preliminaries, basic constants and mathematical macros, macros for converting from device-independent units to pixels, macros and tables for various modes of operation, macros for drawing and filling, macros for proof labels and rules, macros for character and font administration, and a few last-minute items.) (/usr/share/texlive/texmf-dist/fonts/source/public/modes/modes.mf) ) Beginning to dump on file mf.base (preloaded base=mf 2022.3.4) 2237 strings of total length 30210 11955 memory locations dumped; current usage is 3679&7916 1011 symbolic tokens Transcript written on mf.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2021/texmf-var/web2c/metafont/mf.log mktexfmt [INFO]: /builddir/.texlive2021/texmf-var/web2c/metafont/mf.base installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: exiting with status 0 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeo10 This is METAFONT, Version 2.71828182 (TeX Live 2021) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeo10.tfm. Output written on ifgeo10.600gf (67 characters, 15684 bytes). Transcript written on ifgeo10.log. mktexpk: /builddir/.texlive2021/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. e pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040constraints} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040seed} has been referenced but does not exist, r eplaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one { /usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (64 pages, 307202 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/usr/share/texliv e/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./manual.toc (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd)pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, dup licate ignored \relax l.33 ...sic transformations}{33}{subsection.9.5.1} % [1]) [2] (../../version) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) Underfull \hbox (badness 10000) in paragraph at lines 136--139 [3] [4] (./introduction.tex Chapter 1. ) (./installing.tex [5] Chapter 2. ) (./tutorial.tex [6] Chapter 3. ) [7] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [8] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [9] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [10] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [11] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [12] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [13] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [14] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) (./tips.tex [15] Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) (./isomorphisms.tex [16] Chapter 5. ) (./parsing.tex [17] Chapter 6. ) (./workflow.tex [18] Chapter 7. ) (./advanced.tex [19] Chapter 8. ) [20] [21] Chapter 9. (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) Overfull \hbox (14.32869pt too wide) in paragraph at lines 81--123 [] [22] [23] Overfull \hbox (5.14468pt too wide) in paragraph at lines 216--278 [] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1272--1274 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [36] [37] [38] [39] Overfull \hbox (2.84468pt too wide) in paragraph at lines 1563--1613 [] [40] [41] [42pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box l.1747 ] [43] [44] [45]) [46] Chapter 10. (./spatch_options.tex Overfull \hbox (2.95383pt too wide) in paragraph at lines 43--46 []\T1/pcr/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/p tm/m/n/10 : Ap-ply the se-man-tic patch [47] (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) LaTeX Font Warning: Font shape `U/ifgeo/b/n' undefined (Font) using `U/ifgeo/m/n' instead on input line 73. [48] [49] Overfull \hbox (53.96228pt too wide) in paragraph at lines 205--206 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex-cocci.sh\T1/ptm /m/n/10 . Overfull \hbox (23.08131pt too wide) in paragraph at lines 221--221 \T1/ptm/m/n/10 vant. This op-tion re-quires that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us-ing the script \T1/pcr/m/n/10 coccinelle/scripts/ [50] Overfull \hbox (61.07932pt too wide) in paragraph at lines 298--299 \T1/ptm/m/n/10 spacing-score-file is pro-vided, then that file is used for the re-sult. Oth-er-wise, the re-sult goes in ``test-s/S-CORE_spacing_expected.sexp ''. Overfull \hbox (13.36246pt too wide) in paragraph at lines 310--311 \T1/pcr/m/n/10 --compare-with-expected\T1/ptm/m/n/10 . The lead-ing dot is op-t ional. This im-plic-itly sets the \T1/pcr/m/n/10 --compare-with-expected Overfull \hbox (31.46255pt too wide) in paragraph at lines 335--336 \T1/ptm/m/n/10 on which the er-ror oc-curs. This func-tion should then be passe d to the func-tion \T1/pcr/m/n/10 Parse_c.set_parse_error_function\T1/ptm/m/n/1 0 . [51] [52] [53] [54] [55] Overfull \hbox (6.74498pt too wide) in paragraph at lines 690--691 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [56] [57]) [58] [59] (./license.txt [60] [61] [62] [63]) No file manual.bbl. [64] (./manual.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) ) (see the transcript file for additional information)pdfTeX warning (dest): name {nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does no t exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{CONCAT\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{int\\protect\040\\T1\\textunderscore\040compare\\pr otect\040\\T1\\textunderscore\040constraint} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040compare\\pro tect\040\\T1\\textunderscore\040constraint} has been referenced but does not ex ist, replaced by a fixed one pdfTeX warning (dest): name{regexp\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{compare\\protect\040\\T1\\textunderscore\040constra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unary\\protect\040\\T1\\textunderscore\040op} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unop\\protect\040\\T1\\textunderscore\040constraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmvids\\protect\040\\T1\\textunderscore\040with\\pr otect\040\\T1\\textunderscore\040constraints} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040constraints} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040seed} has been referenced but does not exist, r eplaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one { /usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (65 pages, 316634 bytes). Transcript written on manual.log. #spatch --control-flow-to-file flow1.c #spatch --control-flow-to-file flow2.c #dot -Gsize="0.5,0.5" -Tpdf flow1:main.dot > flow1.pdf #dot -Gsize="0.5,0.5" -Tpdf flow2:main.dot > flow2.pdf /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file main_grammar.aux. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (14.32625pt too wide) in paragraph at lines 81--123 [] [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [2] Overfull \hbox (5.14224pt too wide) in paragraph at lines 216--278 [] [3] [4] LaTeX Warning: Reference `types' on page 5 undefined on input line 372. [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1272--1274 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [15] [16] [17] [18] Overfull \hbox (2.84224pt too wide) in paragraph at lines 1563--1613 [] [19] [20] [21pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box l.1747 ] [22] [23] [24]) [25] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [26] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [27] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [28] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [29] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [30] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [31] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [32] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) [33] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) [34] (./main_grammar.aux (./examples.aux) (./tips.aux)) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `main_grammar.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information)pdfTeX warning (dest): name {nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does no t exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{CONCAT\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{int\\protect\040\\T1\\textunderscore\040compare\\pr otect\040\\T1\\textunderscore\040constraint} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040compare\\pro tect\040\\T1\\textunderscore\040constraint} has been referenced but does not ex ist, replaced by a fixed one pdfTeX warning (dest): name{regexp\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{compare\\protect\040\\T1\\textunderscore\040constra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unary\\protect\040\\T1\\textunderscore\040op} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unop\\protect\040\\T1\\textunderscore\040constraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmvids\\protect\040\\T1\\textunderscore\040with\\pr otect\040\\T1\\textunderscore\040constraints} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040constraints} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040seed} has been referenced but does not exist, r eplaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on main_grammar.pdf (34 pages, 242178 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./main_grammar.aux (./examples.aux) (./tips.aux)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./main_grammar.out) (./main_grammar.out) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (14.32625pt too wide) in paragraph at lines 81--123 [] [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [2] Overfull \hbox (5.14224pt too wide) in paragraph at lines 216--278 [] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1272--1274 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [15] [16] [17] [18] Overfull \hbox (2.84224pt too wide) in paragraph at lines 1563--1613 [] [19] [20] [21pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box l.1747 ] [22] [23] [24]) [25] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [26] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [27] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [28] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [29] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [30] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [31] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [32] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) [33] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) [34] (./main_grammar.aux (./examples.aux) (./tips.aux)) ) (see the transcript file for additional information)pdfTeX warning (dest): name {nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does no t exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{CONCAT\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{int\\protect\040\\T1\\textunderscore\040compare\\pr otect\040\\T1\\textunderscore\040constraint} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040compare\\pro tect\040\\T1\\textunderscore\040constraint} has been referenced but does not ex ist, replaced by a fixed one pdfTeX warning (dest): name{regexp\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{compare\\protect\040\\T1\\textunderscore\040constra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unary\\protect\040\\T1\\textunderscore\040op} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unop\\protect\040\\T1\\textunderscore\040constraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmvids\\protect\040\\T1\\textunderscore\040with\\pr otect\040\\T1\\textunderscore\040constraints} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040constraints} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040seed} has been referenced but does not exist, r eplaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on main_grammar.pdf (34 pages, 244119 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file options.aux. (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 43--46 []\T1/cmtt/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/ cmr/m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/usr/share/texlive /texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] Overfull \hbox (20.8289pt too wide) in paragraph at lines 310--311 \T1/cmr/m/n/10 with \T1/cmtt/m/n/10 --compare-with-expected\T1/cmr/m/n/10 . The lead-ing dot is op-tional. This im-plic-itly sets the \T1/cmtt/m/n/10 --compar e-with-expected [5] [6] [7] [8] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10] [11]) [12] (./options.aux) ) ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc} kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeob10 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeob10 This is METAFONT, Version 2.71828182 (TeX Live 2021) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeob10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeob10.tfm. Output written on ifgeob10.600gf (67 characters, 15036 bytes). Transcript written on ifgeob10.log. mktexpk: /builddir/.texlive2021/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk: successfully generated. {/usr/share/texlive/texmf-dist/font s/enc/dvips/cm-super/cm-super-ts1.enc} Output written on options.pdf (12 pages, 214708 bytes). Transcript written on options.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./options.aux) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 43--46 []\T1/cmtt/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/ cmr/m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/usr/share/texlive /texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] Overfull \hbox (20.8289pt too wide) in paragraph at lines 310--311 \T1/cmr/m/n/10 with \T1/cmtt/m/n/10 --compare-with-expected\T1/cmr/m/n/10 . The lead-ing dot is op-tional. This im-plic-itly sets the \T1/cmtt/m/n/10 --compar e-with-expected [5] [6] [7] [8] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10] [11]) [12] (./options.aux) ) ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc} {/usr/share/texlive/texmf-dist/font s/enc/dvips/cm-super/cm-super-ts1.enc} Output written on options.pdf (12 pages, 214708 bytes). Transcript written on options.log. hevea -exec /usr/share/hevea/xxdate.exe main_grammar.tex Exclude comment 'comment' /usr/share/hevea/hyperref.hva:72: Warning: Ignoring option: 'pdfborder=0 0 0' ./main_grammar.tex:26: Warning: Ignoring (re-)definition of '\phantom' by \newcommand ./main_grammar.aux:14: Giving up command: \addtokens ./main_grammar.aux:4: Giving up command: \AtBeginDocument ./main_grammar.aux:4: Giving up command: \HyperFirstAtBeginDocument ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Giving up command: \@readaux ./main_grammar.tex:37: Warning: Failure while reading .aux, reading .haux ./examples.tex:19: Warning: minipage, output may be poor ./examples.tex:40: Warning: minipage, output may be poor ./examples.tex:51: Warning: minipage, output may be poor ./examples.tex:341: Warning: keyval, unknown key: 'breaklines' ./examples.tex:398: Warning: Command not found: \lstdd@ ./examples.tex:398: Warning: Command not found: \lstlang@@ ./examples.tex:398: Warning: keyval, unknown key: 'breaklines' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. hevea -exec /usr/share/hevea/xxdate.exe main_grammar.tex Exclude comment 'comment' /usr/share/hevea/hyperref.hva:72: Warning: Ignoring option: 'pdfborder=0 0 0' ./main_grammar.tex:26: Warning: Ignoring (re-)definition of '\phantom' by \newcommand ./main_grammar.aux:14: Giving up command: \addtokens ./main_grammar.aux:4: Giving up command: \AtBeginDocument ./main_grammar.aux:4: Giving up command: \HyperFirstAtBeginDocument ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Giving up command: \@readaux ./main_grammar.tex:37: Warning: Failure while reading .aux, reading .haux ./main_grammar.haux:12: Giving up command: \ifx ./main_grammar.haux:12: Giving up command: \@fst ./main_grammar.haux:12: Giving up command: \@funcall ./main_grammar.haux:12: Giving up command: \@newlabel ./main_grammar.haux:12: Giving up command: \newlabel ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Warning: Failure while reading .haux ./examples.tex:19: Warning: minipage, output may be poor ./examples.tex:40: Warning: minipage, output may be poor ./examples.tex:51: Warning: minipage, output may be poor ./examples.tex:341: Warning: keyval, unknown key: 'breaklines' ./examples.tex:398: Warning: Command not found: \lstdd@ ./examples.tex:398: Warning: Command not found: \lstlang@@ ./examples.tex:398: Warning: keyval, unknown key: 'breaklines' hacha -o index.html main_grammar.html main_grammar.html:1331: Warning, multiple definitions for anchor: gram_o main_grammar.html:1211: Warning, cannot find anchor: attribute main_grammar.html:1219: Warning, cannot find anchor: attribute main_grammar.html:1220: Warning, cannot find anchor: attribute make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.1.1/docs/manual' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.1.1/docs' make docs -C tools/spgen/documentation make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.1.1/tools/spgen/documentation' /usr/bin/pdflatex -halt-on-error documentation.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./documentation.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def)) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file documentation.aux. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) [1{/usr/share/texlive/ texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./about.tex) [2] (./usage.tex LaTeX Warning: Reference `sudo' on page 3 undefined on input line 10. [3] LaTeX Warning: Reference `config' on page 4 undefined on input line 35. [4]) [5] (./implementation.tex) [6] (./knownissues.tex [7]) [8] (./future.tex) [9] (./documentation.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `documentation.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ){/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr /share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on documentation.pdf (9 pages, 304305 bytes). Transcript written on documentation.log. /usr/bin/pdflatex -halt-on-error documentation.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./documentation.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def)) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./documentation.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./documentation.out) (./documentation.out) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) (./documentation.toc) [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./about.tex) [2] (./usage.tex [3] [4]) [5] (./implementation.tex) [6] (./knownissues.tex [7]) [8] (./future.tex) [9] (./documentation.aux) ){/usr/sha re/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texl ive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on documentation.pdf (9 pages, 314418 bytes). Transcript written on documentation.log. make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.1.1/tools/spgen/documentation' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.l4izk0 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64 ++ dirname /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coccinelle-1.1.1 + mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/python/coccilib + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64 'INSTALL=/usr/bin/install -p' mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/ocaml if test -f bundles/pyml/dllpyml_stubs.so; then \ /usr/bin/install -p -m 755 bundles/pyml/dllpyml_stubs.so \ /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64; \ fi if test -f bundles/pcre/dllpcre_stubs.so; then \ /usr/bin/install -p -m 755 bundles/pcre/dllpcre_stubs.so \ /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64; \ fi /usr/bin/install -p -m 755 spatch.opt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/spatch /usr/bin/install -p -m 644 standard.h /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64 /usr/bin/install -p -m 644 standard.iso /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64 /usr/bin/install -p -m 644 ocaml/*.cmi /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/ocaml/ if test -f ocaml/coccilib.cmx; then \ /usr/bin/install -p -m 644 ocaml/*.cmx /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/ocaml/; \ fi /usr/bin/install -p -m 755 tools/spgen/source/spgen.opt \ /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/spgen mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/python/coccilib /usr/bin/install -p -m 644 python/coccilib/*.py \ /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/python/coccilib if test "x/usr/share/bash-completion/completions" != "xno"; then \ mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/bash-completion/completions; \ /usr/bin/install -p -m 644 scripts/spatch.bash_completion \ /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/bash-completion/completions/spatch; \ fi mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/man/man1 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/man/man3 /usr/bin/install -p -m 644 docs/spatch.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/pycocci.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/spgen.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/Coccilib.3cocci /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/man/man3/ + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/spatch.byte + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/spatch.opt + pushd /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64 ~/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64 ~/build/BUILD/coccinelle-1.1.1 + mkdir coccinelle + mkdir coccinelle/ocaml + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f standard.h ']' + mv standard.h coccinelle/standard.h + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f standard.iso ']' + mv standard.iso coccinelle/standard.iso + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch.byte ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch.opt ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast0_cocci.cmi ']' + mv ocaml/ast0_cocci.cmi coccinelle/ocaml/ast0_cocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast_c.cmi ']' + mv ocaml/ast_c.cmi coccinelle/ocaml/ast_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast_cocci.cmi ']' + mv ocaml/ast_cocci.cmi coccinelle/ocaml/ast_cocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/coccilib.cmi ']' + mv ocaml/coccilib.cmi coccinelle/ocaml/coccilib.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/commands.cmi ']' + mv ocaml/commands.cmi coccinelle/ocaml/commands.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/common.cmi ']' + mv ocaml/common.cmi coccinelle/ocaml/common.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/config.cmi ']' + mv ocaml/config.cmi coccinelle/ocaml/config.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/dumper.cmi ']' + mv ocaml/dumper.cmi coccinelle/ocaml/dumper.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/exposed_modules.cmi ']' + mv ocaml/exposed_modules.cmi coccinelle/ocaml/exposed_modules.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/externalanalysis.cmi ']' + mv ocaml/externalanalysis.cmi coccinelle/ocaml/externalanalysis.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/flag.cmi ']' + mv ocaml/flag.cmi coccinelle/ocaml/flag.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/flag_parsing_c.cmi ']' + mv ocaml/flag_parsing_c.cmi coccinelle/ocaml/flag_parsing_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/iteration.cmi ']' + mv ocaml/iteration.cmi coccinelle/ocaml/iteration.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/lexer_c.cmi ']' + mv ocaml/lexer_c.cmi coccinelle/ocaml/lexer_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/lib_parsing_c.cmi ']' + mv ocaml/lib_parsing_c.cmi coccinelle/ocaml/lib_parsing_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ocamlcocci_aux.cmi ']' + mv ocaml/ocamlcocci_aux.cmi coccinelle/ocaml/ocamlcocci_aux.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parmap.cmi ']' + mv ocaml/parmap.cmi coccinelle/ocaml/parmap.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parse_c.cmi ']' + mv ocaml/parse_c.cmi coccinelle/ocaml/parse_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parser_c.cmi ']' + mv ocaml/parser_c.cmi coccinelle/ocaml/parser_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/prepare_ocamlcocci.cmi ']' + mv ocaml/prepare_ocamlcocci.cmi coccinelle/ocaml/prepare_ocamlcocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/pretty_print_c.cmi ']' + mv ocaml/pretty_print_c.cmi coccinelle/ocaml/pretty_print_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/regexp.cmi ']' + mv ocaml/regexp.cmi coccinelle/ocaml/regexp.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/run_ocamlcocci.cmi ']' + mv ocaml/run_ocamlcocci.cmi coccinelle/ocaml/run_ocamlcocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/token_c.cmi ']' + mv ocaml/token_c.cmi coccinelle/ocaml/token_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/visitor_c.cmi ']' + mv ocaml/visitor_c.cmi coccinelle/ocaml/visitor_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/yes_prepare_ocamlcocci.cmi ']' + mv ocaml/yes_prepare_ocamlcocci.cmi coccinelle/ocaml/yes_prepare_ocamlcocci.cmi + popd ~/build/BUILD/coccinelle-1.1.1 + mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib/python3.10/site-packages + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/python/coccilib /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib/python3.10/site-packages + rmdir /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/python + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/spatch /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle + cp -p tools/pycocci /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/ + cp -p scripts/spatch.sh /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/spatch + chmod a+x /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/spatch + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.1.1-7.fc37 --unique-debug-suffix -1.1.1-7.fc37.x86_64 --unique-debug-src-base coccinelle-1.1.1-7.fc37.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -S debugsourcefiles.list /builddir/build/BUILD/coccinelle-1.1.1 extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/bin/spgen extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/spatch original debug info size: 9568kB, size after compression: 9564kB /usr/bin/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. cpio: : Cannot stat: No such file or directory cpio: buffer.ml: Cannot stat: No such file or directory cpio: bytes.ml: Cannot stat: No such file or directory cpio: filename.ml: Cannot stat: No such file or directory cpio: format.ml: Cannot stat: No such file or directory cpio: hashtbl.ml: Cannot stat: No such file or directory cpio: lexing.ml: Cannot stat: No such file or directory cpio: list.ml: Cannot stat: No such file or directory cpio: map.ml: Cannot stat: No such file or directory cpio: marshal.ml: Cannot stat: No such file or directory cpio: otherlibs/dynlink/dynlink_common.ml: Cannot stat: No such file or directory cpio: printexc.ml: Cannot stat: No such file or directory cpio: printf.ml: Cannot stat: No such file or directory cpio: random.ml: Cannot stat: No such file or directory cpio: set.ml: Cannot stat: No such file or directory cpio: stdlib.ml: Cannot stat: No such file or directory cpio: str.ml: Cannot stat: No such file or directory cpio: string.ml: Cannot stat: No such file or directory cpio: unix.ml: Cannot stat: No such file or directory 28528 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /usr/bin/spatch from /bin/sh -e to #!/usr/bin/sh -e + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 Bytecompiling .py files below /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib/python3.10 using python3.10 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.je41qJ + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + '[' -f /usr/lib/rpm/generate-rpm-note.sh ']' + /usr/lib/rpm/generate-rpm-note.sh coccinelle 1.1.1-7.fc37 x86_64 + cd coccinelle-1.1.1 + export COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle + COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle + spatch=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/spatch + export LD_LIBRARY_PATH=. + LD_LIBRARY_PATH=. + export PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib/python3.10/site-packages: + PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib/python3.10/site-packages: + /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/spatch --help Usage: spatch --sp-file [-o ] [--iso-file ] [options] Options are: main options ----------------------------------------------------------------------- --sp-file the semantic patch file --opt-c a c file to process if it exists -o the output file --in-place do the modification on the file directly (backup file name specified with --suffix) --suffix suffix to use when making a backup for inplace or for result of --out-place --out-place store modifications in a .cocci_res file (renamable via --suffix) --reverse invert the semantic patch before applying it -U set number of diff context lines --partial-match report partial matches of the SP on the C file --iso-file (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/standard.iso) --macro-file --macro-file-builtins (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/standard.h) --recursive-includes causes all available include files, both those included in the C file(s) and those included in header files, to be used --all-includes causes all available include files included in the C file(s) to be used --no-includes causes not even local include files to be used --local-includes causes local include files to be used --include-headers-for-types use only type information from header files --no-include-cache don't cache parsed include files --ignore-unknown-options For integration in a toolchain (must be set before the first unknown option) --include-headers process header files independently -I containing the header files --include file to consider as being included --preprocess run the C preprocessor before applying the semantic match -c gcc/cpp compatibility mode --dir process all files in directory recursively --ignore specify a file name prefix to ignore --file-groups process the file groups listed in the file --no-scanner no indexing --use-gitgrep works with -dir, works on git tree subdirectories --use-glimpse works with -dir, use info generated by glimpseindex --use-idutils find relevant files using id-utils --use-coccigrep find relevant files using cocci grep --patch path name with respect to which a patch should be created "" for a file in the current directory --kbuild-info improve -dir by grouping related c files --python Sets the path to the python interpreter --pyoutput Sets output routine: Default value: coccilib.output.Console --parse-handler Loads the file containing the OCaml code in charge of parse errors reporting --print-options-only print selected options and exit --version print version and build info --date guess what --shorthelp see short list of options --longhelp see all the available options in different categories aliases and obsolete options ----------------------------------------------------------------------- --sp command line semantic patch --iso short option of --iso-file --cocci-file the semantic patch file most useful show options ----------------------------------------------------------------------- --show-diff --no-show-diff --force-diff show diff even if only spacing changes --show-flow --ctl-inline-let --ctl-show-mcodekind --show-bindings --show-transinfo --show-misc --show-trying show the name of each function being processed --show-dependencies show the dependencies related to each rule verbose subsystems options ----------------------------------------------------------------------- --verbose-ctl-engine --verbose-match --verbose-engine --graphical-trace generate a pdf file representing the matching process --gt-without-label remove graph label (requires option -graphical-trace) --parse-error-msg --verbose-parsing --verbose-includes show on stderr which files are chosen for inclusion --type-error-msg other show options ----------------------------------------------------------------------- --show-c --show-cocci --show-before-fixed-flow --show-ctl-tex --show-ctl-text --show-SP debug C parsing/unparsing ----------------------------------------------------------------------- --debug-cpp --debug-lexer --debug-etdt --debug-typedef --filter-msg filter some cpp message when the macro is a "known" cpp construct --filter-define-error --filter-msg-define-error filter the error msg --filter-passed-level --debug-unparsing --debug-parse-cocci shortcut for enabling/disabling a set of debugging options at once ----------------------------------------------------------------------- --quiet --very-quiet --debug --pad bench options ----------------------------------------------------------------------- --profile gather timing information about the main coccinelle functions --profile-per-file gather timing information for each file (implies --profile) --bench for profiling the CTL engine --timeout timeout in seconds, 0 for no timeout --steps max number of model checking steps per code unit --iso-limit max depth of iso application --no-iso-limit disable limit on max depth of iso application --track-iso gather information about isomorphism usage --disable-iso disable a specific isomorphism --profile-iso gather information about the cost of isomorphism usage change of algorithm options ----------------------------------------------------------------------- --keep-comments keep comments around removed code --loop --no-loops drop all back edges derived from looping constructs - unsafe --no-gotos drop all jumps derived from gotos - unsafe --no-saved-typedefs drop all inferred typedefs from one parse of some code to the next --ocaml-regexps use OCaml Str regular expressions for constraints --l1 --ifdef-to-if convert ifdef to if (experimental) --no-ifdef-to-if convert ifdef to if (experimental) --disable-multi-pass --noif0-passing --itu Experimental extensions for handling #ifdef developed at ITU.dk --defined treat cpp symbol as defined in #ifdef --undefined treat cpp symbol as undefined in #ifdef --noadd-typedef-root --disallow-nested-exps disallow an expression pattern from matching a term and its subterm --disable-worth-trying-opt run the semantic patch even if the C file contains no relevant tokens --selected-only only show selected files --only-return-is-error-exit if this flag is not set, then break and continue are also error exits --allow-inconsistent-paths if this flag is set don't check for inconsistent paths; dangerous --no-safe-expressions make an expression disjunction not prioritise the topmost disjunct --int-bits the number of bits in an unsigned int --long-bits the number of bits in an unsigned long --linux-spacing spacing of + code follows the conventions of Linux --smpl-spacing spacing of + code follows the semantic patch --indent default indent, in spaces (no tabs) --max-width column limit for generated code -D indicate that a virtual rule should be considered to be matched --c++ make a small attempt to parse C++ files --c++= same as --c++ but allows to specify a version (e.g. --c++=11) --ibm make a small attempt to parse IBM C files --force-kr despite the presence of non-K&R code, keep looking for K&R code --prevent-kr never make an identifier parameter alone into a K&R parameter misc options ----------------------------------------------------------------------- --debugger option to set if launch spatch in ocamldebug --disable-once to print more messages --show-trace-profile show trace --save-tmp-files --external-analysis-file import results from an external analysis concurrency ----------------------------------------------------------------------- --index the processor to use for this run of spatch --max the number of processors available --mod-distrib use mod to distribute files among the processors --jobs the number of processes to be used -j the number of processes to be used --chunksize the size of work chunks for parallelism --tmp-dir prefix of temporary directories for parallelism --temp-files prefix of temporary directory for cocci files pad options ----------------------------------------------------------------------- --use-cache use .ast_raw pre-parsed cached C file --cache-prefix directory of cached ASTs, sets --use-cache --cache-limit maximum number of cached ASTs, sets --use-cache test mode and test options (works with tests/ or .ok files) ----------------------------------------------------------------------- The test options don't work with the --sp-file and so on. --test launch spatch on tests/file.[c,cocci] --testall launch spatch on all files in tests/ having a .res --test-spacing check that the result matches the .res file exactly --test-okfailed generates .{ok,failed,spatch_ok} files using .res files --test-regression-okfailed process the .{ok,failed,spatch_ok} files in current dir --compare-with-expected use also file.res --expected-extension extension for --compare-with-expected; implicitly sets --compare-with-expected --expected-score-file which score file to compare with in --testall --expected-spacing-score-file which score file to compare with in --test-spacing --no-update-score-file do not update the score file when -testall succeeds --relax-include-path action mode ----------------------------------------------------------------------- The action options don't work with the --sp-file and so on. It's for the other (internal) uses of the spatch program. --tokens-c --parse-c --parse-h --parse-ch --parse-i --parse-c++ --parse --show-flow --control-flow --control-flow-to-file --test-cfg-ifdef --parse-unparse --type-c --compare-c --comment-annotater-c --compare-c-hardcoded --test-attributes --test-cpp --extract-macros --extract-macros-select --xxx <> --parse-cocci --rule-dependencies --compare-c + /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/spatch -sp_file demos/simple.cocci demos/simple.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/standard.h HANDLING: demos/simple.c diff = --- demos/simple.c +++ /tmp/cocci-output-5004-f71a4c-simple.c @@ -1,4 +1,4 @@ int main(int i) { - f("ca va"); - f(g("ca va pas")); + f("ca va", 3); + f(g("ca va pas"), 3); } + /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/spatch --sp-file /builddir/build/SOURCES/testpy.cocci /builddir/build/SOURCES/test.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/lib64/coccinelle/standard.h HANDLING: /builddir/build/SOURCES/test.c Hello World! + RPM_EC=0 ++ jobs -p + exit 0 Processing files: coccinelle-1.1.1-7.fc37.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.qfiRNG + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle + cp -pr authors.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle + cp -pr bugs.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle + cp -pr changes.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle + cp -pr credits.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle + cp -pr install.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle + cp -pr readme.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.XpAEib + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/licenses/coccinelle + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/licenses/coccinelle + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/licenses/coccinelle + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/licenses/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 INFO: ignoring Requires ocaml(Token_views_c)=3dce92e2aee44630cd9495f2afc04af9 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Parsing_stat)=ac76ad1a3c986045dfddeae2cd71069a from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=bb477919d45ae0f590ced3cf552a09e0 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/parser_c.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/ast_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=1eea9c50d3d55b2b28ff8ee87967b385 from /usr/lib64/ocaml/ast_c.cmx INFO: ignoring Requires ocaml(Type_annoter_c)=41d3c67f3a4844960263f66560d45b47 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=3dce92e2aee44630cd9495f2afc04af9 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Parsing_stat)=ac76ad1a3c986045dfddeae2cd71069a from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=bb477919d45ae0f590ced3cf552a09e0 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocamlx(Type_annoter_c)=029f261775c653b53302a43e8d70c394 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=3dce92e2aee44630cd9495f2afc04af9 from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Parsing_stat)=ac76ad1a3c986045dfddeae2cd71069a from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=bb477919d45ae0f590ced3cf552a09e0 from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/externalanalysis.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=58f49f88ebcfe5445a1c4e96d78a8a72 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Data)=d5969ab49e587bf22ea4843f3f9c2acb from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=1eea9c50d3d55b2b28ff8ee87967b385 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=89c14949934749092a043be258d7ee33 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Data)=feb830a306b10011881d781c6e2a8079 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Token_views_c)=3dce92e2aee44630cd9495f2afc04af9 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_helpers)=5e539bd83b3ffc5853f78f8e41de0d5e from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=58f49f88ebcfe5445a1c4e96d78a8a72 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_stat)=ac76ad1a3c986045dfddeae2cd71069a from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_recovery_c)=84d1fce8eb58b1164118dfe8618a9f0f from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_hacks)=e1049d550b8293e71d5b0f345046c8f5 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_consistency_c)=fc0a0cdeb475df0e3d0a1dcf708a9b93 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes_cache)=f8a76f39f46bdf34f53408e88abe84b5 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes)=795ee5726aa2e8c271f018ced8986a8a from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Danger)=78fbf4be7ecaeda4f2daa39987ce74a0 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=bb477919d45ae0f590ced3cf552a09e0 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Token_helpers)=98a9c8a7a270726d3b6c6e3c12da1a5d from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=89c14949934749092a043be258d7ee33 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_stat)=9423e5ff47bd4eda01174359ae7f2b36 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_recovery_c)=b39cac05b64aee7226ecb8f15d67007a from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_hacks)=cdee153a427261fd8c9af5c0e2409350 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_consistency_c)=7b636f7ba665fb69303a51b8ad6157df from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=df528d180ec9659649de90c2cd3ea2a6 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes_cache)=1275ef1c411baad5ac748d6bff3e619b from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes)=dda4ff50362ff2ce547fdaad40d0dc5d from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Danger)=1207536a177d9f00971c72c4b4a37963 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Cpp_token_c)=0b1016ffd04aaaafe960a84f0550d26a from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=58f49f88ebcfe5445a1c4e96d78a8a72 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=1eea9c50d3d55b2b28ff8ee87967b385 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=89c14949934749092a043be258d7ee33 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=df528d180ec9659649de90c2cd3ea2a6 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=1a17f3ca0db9468e97b287d544415869 from /usr/lib64/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Regexp_pcre)=8936477e5fac0d88f04148f04084d13b from /usr/lib64/ocaml/regexp.cmx INFO: ignoring Requires ocamlx(Regexp_pcre)=a981744f340b8495b235876cf7ac2902 from /usr/lib64/ocaml/regexp.cmx INFO: ignoring Requires ocaml(Token_views_c)=3dce92e2aee44630cd9495f2afc04af9 from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=ac76ad1a3c986045dfddeae2cd71069a from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=bb477919d45ae0f590ced3cf552a09e0 from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/visitor_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=1a17f3ca0db9468e97b287d544415869 from /usr/lib64/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Token_views_c)=3dce92e2aee44630cd9495f2afc04af9 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=ac76ad1a3c986045dfddeae2cd71069a from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Flag_parsing_cocci)=446f42971dbd35f4f039746bb5ac690c from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Data)=d5969ab49e587bf22ea4843f3f9c2acb from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=bb477919d45ae0f590ced3cf552a09e0 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Flag_parsing_cocci)=0489d3e32dbff11e90e7fb0508ecab39 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Data)=feb830a306b10011881d781c6e2a8079 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/ast_c.cmi INFO: ignoring Requires ocaml(Token_views_c)=3dce92e2aee44630cd9495f2afc04af9 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Parsing_stat)=ac76ad1a3c986045dfddeae2cd71069a from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=bb477919d45ae0f590ced3cf552a09e0 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_views_c)=3dce92e2aee44630cd9495f2afc04af9 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Parsing_stat)=ac76ad1a3c986045dfddeae2cd71069a from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Lexer_parser)=08a84962dc394349a7559a58e9a3586a from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=bb477919d45ae0f590ced3cf552a09e0 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/externalanalysis.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/lexer_c.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=6f572cf4704b35c6ce1d33273faf091f from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=fa13891358adc5ae532d1738320d355f from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Token_annot)=f3e65ace362d35c3db357fb1e7a179ee from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmi Provides: coccinelle = 1.1.1-7.fc37 coccinelle(x86-64) = 1.1.1-7.fc37 ocaml(Ast0_cocci) = 02506febf6404f5075be95e395ad8632 ocaml(Ast_c) = 9244fc4623ec561d1f6b75213187d292 ocaml(Ast_cocci) = 7dfbd84470fdb094c0428ad5a2e76388 ocaml(Coccilib) = 6676300bd4c211eea3e5a7fcca215892 ocaml(Commands) = 2213a94381f852f71927e6d3e66ea076 ocaml(Common) = 5225f536b4cc2dd69ccbb73f8fa38560 ocaml(Config) = e9d0ce418dc2a728edbb1986a5320c6a ocaml(Dumper) = efe6147b4a72cdec346bab9c3b486f25 ocaml(Exposed_modules) = 27eb99718a2411999ccb75dbf00f1977 ocaml(Externalanalysis) = 37aa44d15698a5db46f0d3ee5353ae65 ocaml(Flag) = c5c7cc1a797863f9ba464cd28fcdccce ocaml(Flag_parsing_c) = 5e7f45b9c627fb035fb649313043c9d5 ocaml(Iteration) = 9590429f140f69a9aedab6e5a38bc5b6 ocaml(Lexer_c) = a2ef7e22e11c8aeb8455c368852da720 ocaml(Lib_parsing_c) = 77df02244c8edbc86f0ad7c65ea5f1b3 ocaml(Ocamlcocci_aux) = ec4569f910151abf1f74dc51a07946e1 ocaml(Parmap) = 406322004e3eb1de0efd3db7770df42e ocaml(Parse_c) = 551b9f7a055b596ff720215bdb1f05e3 ocaml(Parser_c) = 07ddcfc3f63b7ea8d7f60fc6d4f8d720 ocaml(Prepare_ocamlcocci) = 3e982f667398dd1fb0db9b0e566411f2 ocaml(Pretty_print_c) = c1d0b241cf7d9cce4bb9b013f93f4f80 ocaml(Regexp) = f3d2600021e566683f9c4668b44c6c67 ocaml(Run_ocamlcocci) = bfabafa2be1f6367c4e3298b1d3b7b58 ocaml(Token_c) = 844dd7fa22921669c4adf42ed90bb938 ocaml(Visitor_c) = 3f7a4bfc29cec5b2c4eb34d08d671eda ocaml(Yes_prepare_ocamlcocci) = 324d2a8c94e53a98bd2874ba002ce160 ocamlx(Ast0_cocci) = 9d75ef17466b1a33a95f247a21c00bb1 ocamlx(Ast_c) = 1c5bd04d22427e54f0ea6497ae6ce99d ocamlx(Ast_cocci) = 79818b56d8e794b9f163c957bfd939d9 ocamlx(Coccilib) = aafe0867c0bb17451be4219cee6ec6da ocamlx(Commands) = 4132104696934f486ffe1d37f1570c83 ocamlx(Common) = 8ac2903f5bfc0642ef401f4ead330c14 ocamlx(Config) = 90e280b9d4bc03f48d99d340fff1e5ce ocamlx(Dumper) = 941ee2eed87e6b4d7d2e938e88fa2fc1 ocamlx(Exposed_modules) = 0938f8d7b6881ad4e9cd7f6161661975 ocamlx(Externalanalysis) = abc4c4633b3d0258037345710ad93108 ocamlx(Flag) = 6dc9924f9fb9408bdd47e0ff54a2d138 ocamlx(Flag_parsing_c) = c5dfa7953c0c69dcc9927f82a49a3c30 ocamlx(Iteration) = d076f8eb5ac8cddfe028c6d26c4e2ec7 ocamlx(Lexer_c) = 9db2dacbe5366f3e6bdb525b6a060316 ocamlx(Lib_parsing_c) = 43b7913d04dff4a1c5cb0c2ff61d786b ocamlx(Ocamlcocci_aux) = 210d62acdfc4da4b56af3bf92c09e82a ocamlx(Parmap) = e51c74be4075e239299ecfcb7fa5a2ef ocamlx(Parse_c) = 28cf7dbb6ad77e2ce59254dc1f88e518 ocamlx(Parser_c) = 6ea754356efff62ca36f7ca1fe2d8c56 ocamlx(Prepare_ocamlcocci) = 99ac4f1a0674e84236c5f03f00667031 ocamlx(Pretty_print_c) = 673ead0ae13d3fa6f4987f5f368f81c7 ocamlx(Regexp) = 5c13d719e9649a0e95e37aa192855e46 ocamlx(Run_ocamlcocci) = cd9faab3910cb0562a06c97b003525db ocamlx(Token_c) = 50e5d26f2a8b59405108e4ae63555532 ocamlx(Visitor_c) = ae22a5148149e9e7df8ba3393abb87c8 ocamlx(Yes_prepare_ocamlcocci) = 340eef61b4ada8d65da80063367d28e5 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/python3 /usr/bin/sh libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libpcre.so.1()(64bit) ocaml(Ast0_cocci) = 02506febf6404f5075be95e395ad8632 ocaml(Ast_c) = 9244fc4623ec561d1f6b75213187d292 ocaml(Ast_cocci) = 7dfbd84470fdb094c0428ad5a2e76388 ocaml(Bytearray) = 1e4b9b092386517bcf9e06d687a6933e ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7 ocaml(CamlinternalLazy) = 82103148a05e285950684f44991b3567 ocaml(CamlinternalOO) = 0dc72c26aced072728a8a6a5770ef533 ocaml(Coccilib) = 6676300bd4c211eea3e5a7fcca215892 ocaml(Commands) = 2213a94381f852f71927e6d3e66ea076 ocaml(Common) = 5225f536b4cc2dd69ccbb73f8fa38560 ocaml(Config) = e9d0ce418dc2a728edbb1986a5320c6a ocaml(Dumper) = efe6147b4a72cdec346bab9c3b486f25 ocaml(Dynlink) = e73f7e7dfd9263a9c556dc8e487d3600 ocaml(Exposed_modules) = 27eb99718a2411999ccb75dbf00f1977 ocaml(Externalanalysis) = 37aa44d15698a5db46f0d3ee5353ae65 ocaml(Flag) = c5c7cc1a797863f9ba464cd28fcdccce ocaml(Flag_parsing_c) = 5e7f45b9c627fb035fb649313043c9d5 ocaml(Iteration) = 9590429f140f69a9aedab6e5a38bc5b6 ocaml(Lexer_c) = a2ef7e22e11c8aeb8455c368852da720 ocaml(Lib_parsing_c) = 77df02244c8edbc86f0ad7c65ea5f1b3 ocaml(Ocamlcocci_aux) = ec4569f910151abf1f74dc51a07946e1 ocaml(Parmap_compat) = d6ef386c84cac04417d6e1ee0cf49ee1 ocaml(Parmap_utils) = 370658b6f00cfe1d15fcec5bc4e9346a ocaml(Parse_c) = 551b9f7a055b596ff720215bdb1f05e3 ocaml(Parser_c) = 07ddcfc3f63b7ea8d7f60fc6d4f8d720 ocaml(Pretty_print_c) = c1d0b241cf7d9cce4bb9b013f93f4f80 ocaml(Regexp) = f3d2600021e566683f9c4668b44c6c67 ocaml(Setcore) = ec8245784e4285fc9053c0a7f3642993 ocaml(Stdcompat) = b15894a441430deb43ef5412ba3a3037 ocaml(Stdcompat__arg_s) = 08787769ca40559fd178667866f82569 ocaml(Stdcompat__arrayLabels_s) = 98e8fafd7d1ea67638ab760c796096f8 ocaml(Stdcompat__array_s) = 4d31decdcd42707aa05ee27ae82aa8ae ocaml(Stdcompat__atomic_s) = 5ecc7bbed194980d83a9bacbb86c6be1 ocaml(Stdcompat__bool_s) = e2b9b120d78fd7a4143a2fadf83b78ad ocaml(Stdcompat__buffer_s) = 338171838c9fbe0481260ab45f8bdff8 ocaml(Stdcompat__bytesLabels_s) = f142dd500898c33ffd94c9b43bb8dee0 ocaml(Stdcompat__bytes_s) = 39ce5918b915204f3229bf8335582d01 ocaml(Stdcompat__char_s) = 9a3e77cac008d7ffe2c4dd41aff71571 ocaml(Stdcompat__digest_s) = a6eaaff301cadc8523cac06400187694 ocaml(Stdcompat__either) = 4fdcfacd531bb9dcfa9373b516fd2ead ocaml(Stdcompat__either_s) = a0be6adef4f42b964c17dd8e338012bf ocaml(Stdcompat__ephemeron_s) = e8bea81078e973a438a897283514f6d9 ocaml(Stdcompat__filename_s) = 3125a2447bfedf9014dc15d3165983ef ocaml(Stdcompat__float_s) = ea01f185d076e636d37811007a192dec ocaml(Stdcompat__format_s) = 74e5a1043cd221ec37d9ac141cb3cd04 ocaml(Stdcompat__fun_s) = 5fa2669f7b4f9d110d9290d65a6ba535 ocaml(Stdcompat__hashtbl) = dd397aa509b6c78b7f5f66a13997221a ocaml(Stdcompat__hashtbl_ext) = f1524000bc8877bf4da4cc735ff8b331 ocaml(Stdcompat__hashtbl_s) = 866419e89956ed8a93a90e18fa37a3d0 ocaml(Stdcompat__in_channel_s) = 5477cff4c2a24bfb0b2eac264f01540a ocaml(Stdcompat__init) = a4a91054788901cdf203c731f615e4e4 ocaml(Stdcompat__int32_s) = 13eaea5ab49807421e064a46a552e118 ocaml(Stdcompat__int64_s) = 1dc6f633433f28e05a82383d23eda7e2 ocaml(Stdcompat__int_s) = 894537e40e2a034784ef2d821e28b9e0 ocaml(Stdcompat__lazy_s) = 01c35c291b485bd0dbe06a041f54131b ocaml(Stdcompat__lexing_s) = 056548357f8f695fbf038035afbdce79 ocaml(Stdcompat__listLabels_s) = 12d701cab13f003c95b4c12023b50360 ocaml(Stdcompat__list_s) = 536061d5e64c2072787e68bf011f89ff ocaml(Stdcompat__map_s) = 81617baedb627eed2c9a24763b47fc7d ocaml(Stdcompat__nativeint_s) = b42a2bf77e065235f8d83b26b92661ac ocaml(Stdcompat__option_s) = 0b854626656c75cef399780909c40e28 ocaml(Stdcompat__out_channel_s) = 8baa9378fd4a9434df82fab0e99fca47 ocaml(Stdcompat__pervasives_s) = 422a9e42f2c1a571c4faa685523a92bb ocaml(Stdcompat__printexc_s) = 87f165db48bdc134d52211e6d91a5e53 ocaml(Stdcompat__printf_s) = adf65a507b5f691b175aa2989d2e87bb ocaml(Stdcompat__queue_s) = a89f1ebdec11f82eb9c709dcfe70f460 ocaml(Stdcompat__random_s) = bb85be45a35ce899a64a04cccbe04441 ocaml(Stdcompat__result_s) = fadccad86c0f1b7315a6a41f83ff6a01 ocaml(Stdcompat__seq) = b51f3bb6634835192d5ca01a552031ef ocaml(Stdcompat__seq_s) = e68d22ff41d2c75c66a4e0a812818840 ocaml(Stdcompat__set_s) = 0c02f6c4d115b817bfaa63644d97ac12 ocaml(Stdcompat__stack_s) = 5ef2f9ef2a68e540952384e8c831d665 ocaml(Stdcompat__stdlib_s) = f6f9892c9a18b4901e9f6a62aafb39d4 ocaml(Stdcompat__stream_s) = 866e78564c5fe06bee51d1f476424e07 ocaml(Stdcompat__stringLabels_s) = c3a11dd420e7e70b8b8821d96507caba ocaml(Stdcompat__string_s) = 8c2e5b09ecf04091edb6b301ddf5b782 ocaml(Stdcompat__sys_s) = 89d0669a0b5a00a0affe625fc4510d4b ocaml(Stdcompat__uchar) = be7f8bd90801cb3560c4caf54c8359a6 ocaml(Stdcompat__uchar_s) = d7af00b83abae573b312cfbe4b993079 ocaml(Stdcompat__weak_s) = 0d172bebfab8fd30828f7e5e84a5cf19 ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df ocaml(Stdlib__Arg) = 9340cb29cc363a0d5ad324eb8d6f342a ocaml(Stdlib__Array) = 581e55eba14aacb7d3a90da809c6bf38 ocaml(Stdlib__ArrayLabels) = 3bb9420b0a66b9876d7a8713c2d17435 ocaml(Stdlib__Atomic) = ac8eb5b523f665a2992fee4779e1ba74 ocaml(Stdlib__Bigarray) = 0658efab07b830634f1823572d2cce61 ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a ocaml(Stdlib__Callback) = be7617c46974ca4057e76573498f075e ocaml(Stdlib__Char) = 61e527e7ba78bf9450c29456437722da ocaml(Stdlib__Complex) = dc5b34d1ccde5a5d3b060f66f0bf3ab0 ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c ocaml(Stdlib__Ephemeron) = e281e6bf083df73d79752e7e0859c84b ocaml(Stdlib__Filename) = 4815d5ca896991372fe7e52d879cef8b ocaml(Stdlib__Float) = 44a7d8fa6f414179ae01d58b8d84e76b ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963 ocaml(Stdlib__Gc) = cc1c769111c523838b9f0f1ae9229bba ocaml(Stdlib__Genlex) = 930806abff0163290cbb9b200fa2f7c5 ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417 ocaml(Stdlib__Int64) = 55e959e4ff2aaf232f465daffa26c424 ocaml(Stdlib__Lazy) = dee386391ddbe73d02c1439b3b21df37 ocaml(Stdlib__Lexing) = 58f88856435bd604950e119384ea45a3 ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3 ocaml(Stdlib__Map) = 406d1bc59860d17292fd07fc9e6e19e0 ocaml(Stdlib__Marshal) = eae7851a49cc1493626c2a5f195f2c30 ocaml(Stdlib__Nativeint) = 20906fc1420fb50992a02881ddf59b04 ocaml(Stdlib__Obj) = f013b5ab5f624540d41df4b458d374b4 ocaml(Stdlib__Oo) = 764af1d1194f5526b5f8a2751ecc0a5a ocaml(Stdlib__Parsing) = 05d0be551358ce19ca44c4beaadc6445 ocaml(Stdlib__Pervasives) = 972f7c198e72b06bf255eb0a8e40b5da ocaml(Stdlib__Printexc) = 265cf863b6cc4d76f93e66b2a3ed4ef1 ocaml(Stdlib__Printf) = 0e709b4af7558eb0589bebb98388ce8e ocaml(Stdlib__Queue) = 6b9f21315cc0db0a21b7aa6bd2b95b7e ocaml(Stdlib__Random) = 81afc926de6c043b75047c5a3e297b5d ocaml(Stdlib__Scanf) = 05cc8c67fd4a24a59bf713a6b97deed3 ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18 ocaml(Stdlib__Set) = 62a5b2299175dac791c30d62e1518738 ocaml(Stdlib__Stack) = 19a2dfcd16d8615b049bb08728d442df ocaml(Stdlib__Stream) = 508fa75f145a1e8a5da1117c68d3fbf8 ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed ocaml(Stdlib__Sys) = 77e29567f2d5143158a3c6ae227ebb37 ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d ocaml(Stdlib__Weak) = 7471767d4854a5be3a87fb957210a23a ocaml(Str) = 6ae0781ff0acd08a308bc4a9842d91d9 ocaml(Token_c) = 844dd7fa22921669c4adf42ed90bb938 ocaml(Unix) = 49c6c492a189deeaed5bf77a6793e7fa ocaml(Visitor_c) = 3f7a4bfc29cec5b2c4eb34d08d671eda ocaml(Yes_prepare_ocamlcocci) = 324d2a8c94e53a98bd2874ba002ce160 ocamlx(Ast0_cocci) = 9d75ef17466b1a33a95f247a21c00bb1 ocamlx(Ast_c) = 1c5bd04d22427e54f0ea6497ae6ce99d ocamlx(Ast_cocci) = 79818b56d8e794b9f163c957bfd939d9 ocamlx(Bytearray) = 82be6dba8b53aecbf86651001579fafb ocamlx(CamlinternalOO) = b6cfbb6352de6609ba606db001629dfd ocamlx(Coccilib) = aafe0867c0bb17451be4219cee6ec6da ocamlx(Commands) = 4132104696934f486ffe1d37f1570c83 ocamlx(Common) = 8ac2903f5bfc0642ef401f4ead330c14 ocamlx(Config) = 90e280b9d4bc03f48d99d340fff1e5ce ocamlx(Dumper) = 941ee2eed87e6b4d7d2e938e88fa2fc1 ocamlx(Dynlink) = 11b47fcf109a05bb95439005b49fb630 ocamlx(Exposed_modules) = 0938f8d7b6881ad4e9cd7f6161661975 ocamlx(Externalanalysis) = abc4c4633b3d0258037345710ad93108 ocamlx(Flag) = 6dc9924f9fb9408bdd47e0ff54a2d138 ocamlx(Flag_parsing_c) = c5dfa7953c0c69dcc9927f82a49a3c30 ocamlx(Iteration) = d076f8eb5ac8cddfe028c6d26c4e2ec7 ocamlx(Lexer_c) = 9db2dacbe5366f3e6bdb525b6a060316 ocamlx(Lib_parsing_c) = 43b7913d04dff4a1c5cb0c2ff61d786b ocamlx(Ocamlcocci_aux) = 210d62acdfc4da4b56af3bf92c09e82a ocamlx(Parmap_compat) = ff9d381d07e3eaace111d7e7f53e6169 ocamlx(Parmap_utils) = 89e98450fcd8ca68af74f1a850fcecf8 ocamlx(Parse_c) = 28cf7dbb6ad77e2ce59254dc1f88e518 ocamlx(Parser_c) = 6ea754356efff62ca36f7ca1fe2d8c56 ocamlx(Pretty_print_c) = 673ead0ae13d3fa6f4987f5f368f81c7 ocamlx(Regexp) = 5c13d719e9649a0e95e37aa192855e46 ocamlx(Setcore) = fba7b421379fe1d960f806a28fd6f83c ocamlx(Stdcompat) = 8e6393c16b74fe9a5e02ccde22435442 ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe ocamlx(Stdlib__Arg) = 6844ce0237d71bfe737b00a5724f1146 ocamlx(Stdlib__Array) = aab10518c3f1158148fe7713d20dc740 ocamlx(Stdlib__Bigarray) = e645043cc6ca029f2cd5fd68af62e415 ocamlx(Stdlib__Buffer) = 43d30e9472f560e84d2d0f69ae890ba5 ocamlx(Stdlib__Filename) = 7175ef90d26fb9c64e236ea285539b0d ocamlx(Stdlib__Format) = f0b02a997e83d9117ebfeb35c9fa61c6 ocamlx(Stdlib__Gc) = a7c20d51ee15027e17dafbf23d0c7ba0 ocamlx(Stdlib__Hashtbl) = 04f772f8913c4d9f535a6c6c2d722fb4 ocamlx(Stdlib__Int64) = d21b229672d4931bbd116e693bba46e1 ocamlx(Stdlib__Lexing) = a8853a0486f377dcf67be29041f89b58 ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4 ocamlx(Stdlib__Map) = 09312960f2079da7f07cad281186eb70 ocamlx(Stdlib__Marshal) = 42060ff255780b1fd806190973c5c1b1 ocamlx(Stdlib__Obj) = c98f0114d84e834a229cad9bf766826e ocamlx(Stdlib__Parsing) = 3cf97bdbc0061b8a15c58d76ba7d37c1 ocamlx(Stdlib__Printexc) = 4957d2c96493f27670dfd2ef88bb93dc ocamlx(Stdlib__Printf) = 54da4609e17a1893e7a0c08168b8726a ocamlx(Stdlib__Random) = 2e104ad369194bbb9ea5bf4e01263458 ocamlx(Stdlib__Set) = efe49a5ad96e68a687d220f58858ab41 ocamlx(Stdlib__String) = e3d157a8c85cee272249a1c492e502f5 ocamlx(Stdlib__Sys) = 3aa3655700ec2d80629d3a9555109f96 ocamlx(Str) = 0f78dbb11706d0594eac53bb05622c01 ocamlx(Token_c) = 50e5d26f2a8b59405108e4ae63555532 ocamlx(Unix) = 45eeead1ec6814accfdb44f1a2c4ce1e ocamlx(Visitor_c) = ae22a5148149e9e7df8ba3393abb87c8 ocamlx(Yes_prepare_ocamlcocci) = 340eef61b4ada8d65da80063367d28e5 python(abi) = 3.10 rtld(GNU_HASH) Processing files: coccinelle-bash-completion-1.1.1-7.fc37.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.aWI1KP + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/licenses/coccinelle-bash-completion + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/licenses/coccinelle-bash-completion + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/licenses/coccinelle-bash-completion + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/licenses/coccinelle-bash-completion + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-bash-completion = 1.1.1-7.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: coccinelle-doc-1.1.1-7.fc37.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.yXsC0d + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle-doc + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle-doc + cp -pr docs /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-doc = 1.1.1-7.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: coccinelle-examples-1.1.1-7.fc37.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.tyEaEq + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle-examples + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle-examples + cp -pr demos /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64/usr/share/doc/coccinelle-examples + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-examples = 1.1.1-7.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: coccinelle-debugsource-1.1.1-7.fc37.x86_64 Provides: coccinelle-debugsource = 1.1.1-7.fc37 coccinelle-debugsource(x86-64) = 1.1.1-7.fc37 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: coccinelle-debuginfo-1.1.1-7.fc37.x86_64 Provides: coccinelle-debuginfo = 1.1.1-7.fc37 coccinelle-debuginfo(x86-64) = 1.1.1-7.fc37 debuginfo(build-id) = 874dcf4b7d3b187cd78ff9d83924764764a2d3b0 debuginfo(build-id) = c1c392566a80f0e34c02e81c9bcc43f008043aec Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: coccinelle-debugsource(x86-64) = 1.1.1-7.fc37 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64 Wrote: /builddir/build/RPMS/coccinelle-debugsource-1.1.1-7.fc37.x86_64.rpm Wrote: /builddir/build/RPMS/coccinelle-debuginfo-1.1.1-7.fc37.x86_64.rpm Wrote: /builddir/build/RPMS/coccinelle-doc-1.1.1-7.fc37.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-examples-1.1.1-7.fc37.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-bash-completion-1.1.1-7.fc37.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-1.1.1-7.fc37.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.z5eDTu + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-7.fc37.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0