Mock Version: 3.3 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-1668457703.054469/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=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2nchkrq4:/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.2nchkrq4:/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', '7b1238040bb4437b96ff2c2ae828732d', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1668457703.054469/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2nchkrq4:/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=1659312000 Wrote: /builddir/build/SRPMS/coccinelle-1.1.1-13.fc38.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-1668457703.054469/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=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2nchkrq4:/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.2nchkrq4:/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', 'dac9eeacf4174fe5a6b0209d803eb697', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1668457703.054469/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2nchkrq4:/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=1659312000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.LYUoKI + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf coccinelle-1.1.1 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/coccinelle-1.1.1.tar.gz + 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' + /usr/bin/git checkout --track -b rpm-build Switched to a new branch 'rpm-build' branch 'rpm-build' set up to track 'master'. + 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.opaQQI + 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 + VALAFLAGS=-g + export VALAFLAGS + 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 + 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 + VALAFLAGS=-g + export VALAFLAGS + 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 ++ grep -q runstatedir=DIR ./configure ++ echo --runstatedir=/run + ./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 --runstatedir=/run --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-g6fa5465-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 Mon, 14 Nov 2022 20:31:17 +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.14.0 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 --runstatedir=/run --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 OCAMLDEP commons/ocamlextra/dumper.ml OCAMLDEP commons/commands.ml OCAMLDEP commons/common.ml OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/ograph_extended.ml OCAMLDEP globals/config.ml OCAMLDEP globals/flag.ml OCAMLDEP globals/iteration.ml OCAMLDEP globals/regexp_pcre.ml OCAMLDEP globals/regexp.ml OCAMLDEP parsing_cocci/flag_parsing_cocci.ml OCAMLDEP parsing_cocci/ast_cocci.ml OCAMLDEP parsing_cocci/ast0_cocci.ml OCAMLDEP parsing_cocci/pretty_print_cocci.ml OCAMLDEP parsing_cocci/visitor_ast0_types.ml OCAMLDEP parsing_cocci/visitor_ast.ml OCAMLDEP parsing_cocci/visitor_ast0.ml OCAMLDEP parsing_cocci/ast0toast.ml OCAMLDEP parsing_cocci/unparse_ast0.ml OCAMLDEP parsing_cocci/unify_ast.ml OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/iso_pattern.ml OCAMLDEP parsing_cocci/comm_assoc.ml OCAMLDEP parsing_cocci/iso_compile.ml OCAMLDEP parsing_cocci/single_statement.ml OCAMLDEP parsing_cocci/simple_assignments.ml OCAMLDEP parsing_cocci/get_metas.ml OCAMLDEP parsing_cocci/stmtlist.ml OCAMLDEP parsing_cocci/check_meta.ml OCAMLDEP parsing_cocci/top_level.ml OCAMLDEP parsing_cocci/type_infer.ml OCAMLDEP parsing_cocci/test_exps.ml OCAMLDEP parsing_cocci/unitary_ast0.ml OCAMLDEP parsing_cocci/arity.ml OCAMLDEP parsing_cocci/index.ml OCAMLDEP parsing_cocci/context_neg.ml OCAMLDEP parsing_cocci/adjust_pragmas.ml OCAMLDEP parsing_cocci/insert_plus.ml OCAMLDEP parsing_cocci/function_prototypes.ml OCAMLDEP parsing_cocci/semantic_cocci.ml OCAMLDEP parsing_cocci/data.ml OCAMLDEP parsing_cocci/free_vars.ml OCAMLDEP parsing_cocci/safe_for_multi_decls.ml OCAMLDEP parsing_cocci/parse_printf.ml OCAMLDEP parsing_cocci/parse_aux.ml OCAMLDEP parsing_cocci/cleanup_rules.ml OCAMLDEP parsing_cocci/disjdistr.ml OCAMLDEP parsing_cocci/cocci_grep.ml OCAMLDEP parsing_cocci/dpll.ml OCAMLDEP parsing_cocci/get_constants2.ml OCAMLDEP parsing_cocci/id_utils.ml OCAMLDEP parsing_cocci/git_grep.ml OCAMLDEP parsing_cocci/adjacency.ml OCAMLDEP parsing_cocci/commas_on_lists.ml OCAMLDEP parsing_cocci/re_constraints.ml OCAMLDEP parsing_cocci/parse_cocci.ml OCAMLDEP parsing_cocci/command_line.ml OCAMLDEP parsing_cocci/cocci_args.ml OCAMLDEP parsing_c/token_annot.ml OCAMLDEP parsing_c/flag_parsing_c.ml OCAMLDEP parsing_c/parsing_stat.ml OCAMLDEP parsing_c/token_c.ml OCAMLDEP parsing_c/ast_c.ml OCAMLDEP parsing_c/includes.ml OCAMLDEP parsing_c/control_flow_c.ml OCAMLDEP parsing_c/visitor_c.ml OCAMLDEP parsing_c/lib_parsing_c.ml OCAMLDEP parsing_c/includes_cache.ml OCAMLDEP parsing_c/control_flow_c_build.ml OCAMLDEP parsing_c/pretty_print_c.ml OCAMLDEP parsing_c/semantic_c.ml OCAMLDEP parsing_c/lexer_parser.ml OCAMLDEP parsing_c/parse_string_c.ml OCAMLDEP parsing_c/token_helpers.ml OCAMLDEP parsing_c/token_views_c.ml OCAMLDEP parsing_c/cpp_token_c.ml OCAMLDEP parsing_c/parsing_hacks.ml OCAMLDEP parsing_c/cpp_analysis_c.ml OCAMLDEP parsing_c/unparse_cocci.ml OCAMLDEP parsing_c/parsing_recovery_c.ml OCAMLDEP parsing_c/parsing_consistency_c.ml OCAMLDEP parsing_c/danger.ml OCAMLDEP parsing_c/parse_c.ml OCAMLDEP parsing_c/unparse_c.ml OCAMLDEP parsing_c/unparse_hrule.ml OCAMLDEP parsing_c/type_c.ml OCAMLDEP parsing_c/cpp_ast_c.ml OCAMLDEP parsing_c/type_annoter_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/test_parsing_c.ml OCAMLDEP ctl/flag_ctl.ml OCAMLDEP ctl/ast_ctl.ml OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/wrapper_ctl.ml OCAMLDEP ocaml/externalanalysis.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/ocamlcocci_aux.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/run_ocamlcocci.ml OCAMLDEP python/pycocci_aux.ml OCAMLDEP python/yes_pycocci.ml OCAMLDEP python/pycocci.ml OCAMLDEP engine/flag_matcher.ml OCAMLDEP engine/lib_engine.ml OCAMLDEP engine/pretty_print_engine.ml OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/check_reachability.ml OCAMLDEP engine/c_vs_c.ml OCAMLDEP engine/isomorphisms_c_c.ml OCAMLDEP engine/cocci_vs_c.ml OCAMLDEP engine/pattern_c.ml OCAMLDEP engine/transformation_c.ml OCAMLDEP engine/asttomember.ml OCAMLDEP engine/asttoctl2.ml OCAMLDEP engine/ctltotex.ml OCAMLDEP engine/postprocess_transinfo.ml OCAMLDEP engine/ctlcocci_integration.ml OCAMLDEP popl09/ast_popl.ml OCAMLDEP popl09/asttopopl.ml OCAMLDEP popl09/insert_quantifiers.ml OCAMLDEP popl09/pretty_print_popl.ml OCAMLDEP popl09/flag_popl.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/popl.ml OCAMLDEP extra/classic_patch.ml OCAMLDEP extra/kbuild.ml OCAMLDEP extra/maintainers.ml OCAMLDEP flag_cocci.ml OCAMLDEP cocci.ml OCAMLDEP testing.ml OCAMLDEP read_options.ml OCAMLDEP enter.ml OCAMLDEP main.ml OCAMLDEP tools/spgen/source/globals.ml OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/meta_variable.ml OCAMLDEP tools/spgen/source/snapshot.ml OCAMLDEP tools/spgen/source/user_input.ml OCAMLDEP tools/spgen/source/position_generator.ml OCAMLDEP tools/spgen/source/disj_generator.ml OCAMLDEP tools/spgen/source/rule_body.ml OCAMLDEP tools/spgen/source/rule_header.ml OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/file_transform.ml OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_test.ml OCAMLDEP tools/spgen/source/main.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 OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes OCAMLDEP parsing_cocci/lexer_cli.ml OCAMLLEX parsing_cocci/lexer_script.mll 25 states, 314 transitions, table size 1406 bytes OCAMLDEP parsing_cocci/lexer_script.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 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 OCAMLYACC parsing_c/parser_c.mly OCAMLDEP parsing_c/parser_c.ml OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP commons/commands.mli OCAMLDEP commons/common.mli OCAMLDEP commons/ograph_simple.mli OCAMLDEP commons/ograph_extended.mli OCAMLDEP globals/config.mli OCAMLDEP globals/flag.mli OCAMLDEP globals/iteration.mli OCAMLDEP globals/regexp_pcre.mli OCAMLDEP globals/regexp.mli OCAMLDEP parsing_cocci/flag_parsing_cocci.mli OCAMLDEP parsing_cocci/ast_cocci.mli OCAMLDEP parsing_cocci/ast0_cocci.mli OCAMLDEP parsing_cocci/pretty_print_cocci.mli OCAMLDEP parsing_cocci/visitor_ast0_types.mli OCAMLDEP parsing_cocci/visitor_ast.mli OCAMLDEP parsing_cocci/visitor_ast0.mli OCAMLDEP parsing_cocci/ast0toast.mli OCAMLDEP parsing_cocci/unparse_ast0.mli OCAMLDEP parsing_cocci/unify_ast.mli OCAMLDEP parsing_cocci/compute_lines.mli OCAMLDEP parsing_cocci/iso_pattern.mli OCAMLDEP parsing_cocci/comm_assoc.mli OCAMLDEP parsing_cocci/iso_compile.mli OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/simple_assignments.mli OCAMLDEP parsing_cocci/get_metas.mli OCAMLDEP parsing_cocci/stmtlist.mli OCAMLDEP parsing_cocci/check_meta.mli OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/unitary_ast0.mli OCAMLDEP parsing_cocci/arity.mli OCAMLDEP parsing_cocci/index.mli OCAMLDEP parsing_cocci/context_neg.mli OCAMLDEP parsing_cocci/adjust_pragmas.mli OCAMLDEP parsing_cocci/insert_plus.mli OCAMLDEP parsing_cocci/function_prototypes.mli OCAMLDEP parsing_cocci/semantic_cocci.mli OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/free_vars.mli OCAMLDEP parsing_cocci/safe_for_multi_decls.mli OCAMLDEP parsing_cocci/parse_printf.mli OCAMLDEP parsing_cocci/parse_aux.mli OCAMLDEP parsing_cocci/cleanup_rules.mli OCAMLDEP parsing_cocci/disjdistr.mli OCAMLDEP parsing_cocci/cocci_grep.mli OCAMLDEP parsing_cocci/dpll.mli OCAMLDEP parsing_cocci/get_constants2.mli OCAMLDEP parsing_cocci/id_utils.mli OCAMLDEP parsing_cocci/git_grep.mli OCAMLDEP parsing_cocci/adjacency.mli OCAMLDEP parsing_cocci/commas_on_lists.mli OCAMLDEP parsing_cocci/re_constraints.mli OCAMLDEP parsing_cocci/parse_cocci.mli OCAMLDEP parsing_cocci/command_line.mli OCAMLDEP parsing_cocci/cocci_args.mli OCAMLDEP parsing_c/token_annot.mli OCAMLDEP parsing_c/flag_parsing_c.mli OCAMLDEP parsing_c/parsing_stat.mli OCAMLDEP parsing_c/token_c.mli OCAMLDEP parsing_c/ast_c.mli OCAMLDEP parsing_c/includes.mli OCAMLDEP parsing_c/control_flow_c.mli OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/includes_cache.mli OCAMLDEP parsing_c/control_flow_c_build.mli OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/semantic_c.mli OCAMLDEP parsing_c/lexer_parser.mli OCAMLDEP parsing_c/parse_string_c.mli OCAMLDEP parsing_c/token_helpers.mli OCAMLDEP parsing_c/token_views_c.mli OCAMLDEP parsing_c/cpp_token_c.mli OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/cpp_analysis_c.mli OCAMLDEP parsing_c/unparse_cocci.mli OCAMLDEP parsing_c/parsing_recovery_c.mli OCAMLDEP parsing_c/parsing_consistency_c.mli OCAMLDEP parsing_c/danger.mli OCAMLDEP parsing_c/parse_c.mli OCAMLDEP parsing_c/unparse_c.mli OCAMLDEP parsing_c/unparse_hrule.mli OCAMLDEP parsing_c/type_c.mli OCAMLDEP parsing_c/cpp_ast_c.mli OCAMLDEP parsing_c/type_annoter_c.mli OCAMLDEP parsing_c/comment_annotater_c.mli OCAMLDEP parsing_c/compare_c.mli OCAMLDEP parsing_c/test_parsing_c.mli OCAMLDEP ctl/flag_ctl.mli OCAMLDEP ctl/ast_ctl.mli OCAMLDEP ctl/pretty_print_ctl.mli OCAMLDEP ctl/ctl_engine.mli OCAMLDEP ctl/wrapper_ctl.mli OCAMLDEP ocaml/externalanalysis.mli OCAMLDEP ocaml/exposed_modules.mli OCAMLDEP ocaml/coccilib.mli OCAMLDEP ocaml/ocamlcocci_aux.mli OCAMLDEP ocaml/yes_prepare_ocamlcocci.mli OCAMLDEP ocaml/prepare_ocamlcocci.mli OCAMLDEP ocaml/run_ocamlcocci.mli OCAMLDEP python/pycocci_aux.mli OCAMLDEP python/yes_pycocci.mli OCAMLDEP python/pycocci.mli OCAMLDEP engine/flag_matcher.mli OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/pretty_print_engine.mli OCAMLDEP engine/check_exhaustive_pattern.mli OCAMLDEP engine/check_reachability.mli OCAMLDEP engine/c_vs_c.mli OCAMLDEP engine/isomorphisms_c_c.mli OCAMLDEP engine/cocci_vs_c.mli OCAMLDEP engine/pattern_c.mli OCAMLDEP engine/transformation_c.mli OCAMLDEP engine/asttomember.mli OCAMLDEP engine/asttoctl2.mli OCAMLDEP engine/ctltotex.mli OCAMLDEP engine/postprocess_transinfo.mli OCAMLDEP engine/ctlcocci_integration.mli OCAMLDEP popl09/ast_popl.mli OCAMLDEP popl09/asttopopl.mli OCAMLDEP popl09/insert_quantifiers.mli OCAMLDEP popl09/pretty_print_popl.mli OCAMLDEP popl09/flag_popl.mli OCAMLDEP popl09/popltoctl.mli OCAMLDEP popl09/popl.mli OCAMLDEP extra/classic_patch.mli OCAMLDEP extra/kbuild.mli OCAMLDEP extra/maintainers.mli OCAMLDEP flag_cocci.mli OCAMLDEP cocci.mli OCAMLDEP testing.mli OCAMLDEP read_options.mli OCAMLDEP enter.mli OCAMLDEP main.mli OCAMLDEP tools/spgen/source/globals.mli OCAMLDEP tools/spgen/source/ast_tostring.mli OCAMLDEP tools/spgen/source/detect_patch.mli OCAMLDEP tools/spgen/source/meta_variable.mli OCAMLDEP tools/spgen/source/snapshot.mli OCAMLDEP tools/spgen/source/user_input.mli OCAMLDEP tools/spgen/source/position_generator.mli OCAMLDEP tools/spgen/source/disj_generator.mli OCAMLDEP tools/spgen/source/rule_body.mli OCAMLDEP tools/spgen/source/rule_header.mli OCAMLDEP tools/spgen/source/context_rule.mli OCAMLDEP tools/spgen/source/script_rule.mli OCAMLDEP tools/spgen/source/file_transform.mli OCAMLDEP tools/spgen/source/spgen_interactive.mli OCAMLDEP tools/spgen/source/spgen_config.mli OCAMLDEP tools/spgen/source/spgen.mli OCAMLDEP tools/spgen/source/spgen_test.mli OCAMLDEP tools/spgen/source/main.mli OCAMLDEP parsing_cocci/lexer_cocci.mli OCAMLDEP parsing_cocci/lexer_cli.mli OCAMLDEP parsing_cocci/lexer_script.mli OCAMLDEP parsing_c/lexer_c.mli OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_c/parser_c.mli /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) 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.11.14) 19194 strings of total length 344850 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.11.14) 2237 strings of total length 30212 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, 307218 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, 316646 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, 242192 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, 244128 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, 215053 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, 215053 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:1327: Warning, multiple definitions for anchor: gram_o main_grammar.html:1207: Warning, cannot find anchor: attribute main_grammar.html:1215: Warning, cannot find anchor: attribute main_grammar.html:1216: 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, 304960 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, 315102 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.tSenII + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64 ++ dirname /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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 + VALAFLAGS=-g + export VALAFLAGS + 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-13.fc38.x86_64/usr/lib64/python/coccilib + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64 'INSTALL=/usr/bin/install -p' mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.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-13.fc38.x86_64/usr/lib64; \ fi /usr/bin/install -p -m 755 spatch.opt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin/spatch /usr/bin/install -p -m 644 standard.h /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64 /usr/bin/install -p -m 644 standard.iso /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64 /usr/bin/install -p -m 644 ocaml/*.cmi /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/lib64/ocaml/; \ fi /usr/bin/install -p -m 755 tools/spgen/source/spgen.opt \ /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin/spgen mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/python/coccilib /usr/bin/install -p -m 644 python/coccilib/*.py \ /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/share/bash-completion/completions; \ /usr/bin/install -p -m 644 scripts/spatch.bash_completion \ /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/bash-completion/completions/spatch; \ fi mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/man/man1 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/man/man3 /usr/bin/install -p -m 644 docs/spatch.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/pycocci.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/spgen.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/Coccilib.3cocci /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/man/man3/ + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin/spatch.byte + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin/spatch.opt + pushd /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64 ~/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/lib/python3.11/site-packages + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/python/coccilib /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib/python3.11/site-packages + rmdir /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/python + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin/spatch /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/coccinelle + cp -p tools/pycocci /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin/ + cp -p scripts/spatch.sh /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin/spatch + chmod a+x /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/bin/spatch + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.1.1-13.fc38 --unique-debug-suffix -1.1.1-13.fc38.x86_64 --unique-debug-src-base coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/bin/spgen extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/coccinelle/spatch original debug info size: 14888kB, size after compression: 14880kB /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: printf.ml: Cannot stat: No such file or directory cpio: py.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: src/parmap.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/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 Bytecompiling .py files below /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib/python3.11 using python3.11 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.CiL38v + 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 + VALAFLAGS=-g + export VALAFLAGS + 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 + export COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/coccinelle + COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/coccinelle + spatch=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/coccinelle/spatch + export LD_LIBRARY_PATH=. + LD_LIBRARY_PATH=. + export PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib/python3.11/site-packages: + PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib/python3.11/site-packages: + /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/lib64/coccinelle/standard.iso) --macro-file --macro-file-builtins (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/lib64/coccinelle/spatch -sp_file demos/simple.cocci demos/simple.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/lib64/coccinelle/standard.h HANDLING: demos/simple.c diff = --- demos/simple.c +++ /tmp/cocci-output-4984-d0d1b3-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-13.fc38.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-13.fc38.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-13.fc38.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.TBlVNk + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/share/doc/coccinelle + cp -pr authors.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/doc/coccinelle + cp -pr bugs.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/doc/coccinelle + cp -pr changes.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/doc/coccinelle + cp -pr credits.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/doc/coccinelle + cp -pr install.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/doc/coccinelle + cp -pr readme.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/doc/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.2nAb7H + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/share/licenses/coccinelle + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/licenses/coccinelle + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/licenses/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/parser_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/ast_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=98f4b726dd1312e2d374e77ac3c9fc3e from /usr/lib64/ocaml/ast_c.cmx INFO: ignoring Requires ocaml(Type_annoter_c)=fb08156b6ce9b07a6d096fb7697a2899 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocamlx(Type_annoter_c)=a7041ea954f29de03ae0f1f2652d44a7 from /usr/lib64/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/externalanalysis.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=baf8f1dd2a1540a207f8170399d14a50 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Data)=2069a6ade027f528ff4d8ab6f96b9884 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=98f4b726dd1312e2d374e77ac3c9fc3e from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=9754c3b2faa20838aa5d44fc149a6e25 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Data)=df8b2d3a754c241e66af23a931bf7c64 from /usr/lib64/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_helpers)=4da1e2260fbcc387344b596016ca12ca from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=baf8f1dd2a1540a207f8170399d14a50 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_recovery_c)=14f06d9d227c791d82a3f0ca4c78b5cc from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_hacks)=a491259321421c01192e271aea30c381 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_consistency_c)=b51bbcb5292125ecba9c60399eacf5d2 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes_cache)=a6584617f7a912ba6dcba6eff951c391 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes)=ffb7a8f2521a1d82d98c4b36425afbab from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Danger)=38b208628b2aa08f7462458a98ab5ad9 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Token_helpers)=e32835bd720f48e60b43cbb67e9e5e86 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=9754c3b2faa20838aa5d44fc149a6e25 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_stat)=9ad4d52ce7c139760d337875effa940e from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_recovery_c)=22c032dd3b3fe1d5cc89989d48abea4a from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_hacks)=37e3a3661cd979f6cc2072c7cfaabf21 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_consistency_c)=80f9baae412ddd8baa47c3fd113eb305 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=49bcea5743599267050c7cc47d33abae from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes_cache)=c64fa00a74add2cd9d40dcd5b1a95de3 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes)=0b7a6297d5f3a43152187024941c2446 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Danger)=fab19f1f0747f0b7fad5a6a6165cbdb6 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Cpp_token_c)=3b40b23b125781ee95796df62a0fe760 from /usr/lib64/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=baf8f1dd2a1540a207f8170399d14a50 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=98f4b726dd1312e2d374e77ac3c9fc3e from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=9754c3b2faa20838aa5d44fc149a6e25 from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=49bcea5743599267050c7cc47d33abae from /usr/lib64/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=7d6652882b5d5dee9bcfe1e1b8ed4418 from /usr/lib64/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Regexp_pcre)=8cfdb4bd17627425e63bd69b6e680209 from /usr/lib64/ocaml/regexp.cmx INFO: ignoring Requires ocamlx(Regexp_pcre)=705883699778f1df7eb9ab63f8671b82 from /usr/lib64/ocaml/regexp.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/visitor_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=7d6652882b5d5dee9bcfe1e1b8ed4418 from /usr/lib64/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Flag_parsing_cocci)=da469adf0568b988431536c6ae6d78d8 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Data)=2069a6ade027f528ff4d8ab6f96b9884 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Flag_parsing_cocci)=e09fc37acf361e7995353ce56f1791aa from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Data)=df8b2d3a754c241e66af23a931bf7c64 from /usr/lib64/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/ast_c.cmi INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/externalanalysis.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/lexer_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmi Provides: coccinelle = 1.1.1-13.fc38 coccinelle(x86-64) = 1.1.1-13.fc38 ocaml(Ast0_cocci) = dd41a0dada677febe1c137162c9c8db7 ocaml(Ast_c) = 685abff8284cabbbff097431b0474aea ocaml(Ast_cocci) = 4ace3841afcaf59ea4211314a7b6c12b ocaml(Coccilib) = f5794f34ca3a9e500b79d3373696008e ocaml(Commands) = 4bcaa54c10cda9a34414ba7b1236ca63 ocaml(Common) = 7374df78a3d2c8c38cf39dbdf12f0d1d ocaml(Config) = c404b84273516b06954782b73268166b ocaml(Dumper) = 1958fba2bd02536f572627aecc04537b ocaml(Exposed_modules) = 5dc4d0d5182f80363c32b593711d8b2d ocaml(Externalanalysis) = c39e108472e7d8fd2f21199b95b95c2d ocaml(Flag) = 4be2c6315f4d15ebf8855f4ad00affba ocaml(Flag_parsing_c) = 50521e250e9efab18ac33f55c225c641 ocaml(Iteration) = a4b30735fec0fc0abde2d61622b61cc7 ocaml(Lexer_c) = e07358b082626b0df4429708df352181 ocaml(Lib_parsing_c) = 38680ead6ddb858b2114b35c8e9df4ce ocaml(Ocamlcocci_aux) = 896c11b55394c32e272b33bb9eb587db ocaml(Parmap) = eee089ea679cccc26e00996e18573906 ocaml(Parse_c) = 5a4db881fd6e606eaa87debd9fab4e63 ocaml(Parser_c) = 071b5981382cbad81adb40fbd21ae4f7 ocaml(Prepare_ocamlcocci) = f7657f3bc983d087deab2bacff739e1d ocaml(Pretty_print_c) = 70bbcc36ffd518efc337df860c1c81cb ocaml(Regexp) = 0b874676005a466a1cb7cdf463b80404 ocaml(Run_ocamlcocci) = a191c97394dee3dfe44d5b51e26141fe ocaml(Token_c) = bf9b9a49b6ab3fe323893cc4bf5fe9eb ocaml(Visitor_c) = f745f20e8e71de2d147eb5c62a74d09e ocaml(Yes_prepare_ocamlcocci) = 4532c7e4dd2c331df407c799011d5c1d ocamlx(Ast0_cocci) = 98e931f9cbc42aed0a5551a98f2565eb ocamlx(Ast_c) = f4fae38452163dfc051c7bf1f2d28e5d ocamlx(Ast_cocci) = ce942c80f8170afd22d084a09f3489d2 ocamlx(Coccilib) = ad342e8c5e3a9890b08eba5591fa227f ocamlx(Commands) = ffe28ec43b14d752b08f8609d3231fcb ocamlx(Common) = cf59be07f7a6518113b485d1af543a3b ocamlx(Config) = 7c92de8b544111c34f259769a7d102b4 ocamlx(Dumper) = 40acefc258f9c932b5cf49f53fb2d9b4 ocamlx(Exposed_modules) = 9dd9c56abcb6c328698dee4b82ed3cea ocamlx(Externalanalysis) = 57603b077abfe6ec42389c5efc8251a1 ocamlx(Flag) = 892588bf2bb293c69a6d3a49b6589a12 ocamlx(Flag_parsing_c) = 28c148d6f7729f37154b969e7350dd81 ocamlx(Iteration) = 94813611c56a468964bcaeb0565af422 ocamlx(Lexer_c) = 0dbf512087142d19ce373a991a96bfdf ocamlx(Lib_parsing_c) = 818ba92e0063300fc7080c5918c5ea7f ocamlx(Ocamlcocci_aux) = 8de93c02de6de032a35000162eb009f6 ocamlx(Parmap) = 1d3e4df028e07457fd3cde7fb0b39820 ocamlx(Parse_c) = 6545324a4ae9c1d40e262b4fe622dd52 ocamlx(Parser_c) = b579f7de546f7eb0ed511858ec15a10e ocamlx(Prepare_ocamlcocci) = 7e6c19f5de0f38d2969d0e415b4af929 ocamlx(Pretty_print_c) = 613bb1d9d4f6129d540f82c05534b32d ocamlx(Regexp) = 13ea9398ed381656380a6c179cf70365 ocamlx(Run_ocamlcocci) = 2357bbc284af8e91973905efbfa7b947 ocamlx(Token_c) = 83440a6d9190494fc3f32b51df1601b6 ocamlx(Visitor_c) = 013dc86f0f8fbc19f69b5f19fef6fce2 ocamlx(Yes_prepare_ocamlcocci) = 440301f271ea53d9135c27aeb84ce688 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) = dd41a0dada677febe1c137162c9c8db7 ocaml(Ast_c) = 685abff8284cabbbff097431b0474aea ocaml(Ast_cocci) = 4ace3841afcaf59ea4211314a7b6c12b ocaml(Bytearray) = 290c3205739badc7f4643c9eaa2883f8 ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalOO) = aea913efb75d4b8c0600eeba0222f7d8 ocaml(Coccilib) = f5794f34ca3a9e500b79d3373696008e ocaml(Commands) = 4bcaa54c10cda9a34414ba7b1236ca63 ocaml(Common) = 7374df78a3d2c8c38cf39dbdf12f0d1d ocaml(Config) = c404b84273516b06954782b73268166b ocaml(Dumper) = 1958fba2bd02536f572627aecc04537b ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456 ocaml(Exposed_modules) = 5dc4d0d5182f80363c32b593711d8b2d ocaml(Externalanalysis) = c39e108472e7d8fd2f21199b95b95c2d ocaml(Flag) = 4be2c6315f4d15ebf8855f4ad00affba ocaml(Flag_parsing_c) = 50521e250e9efab18ac33f55c225c641 ocaml(Iteration) = a4b30735fec0fc0abde2d61622b61cc7 ocaml(Lexer_c) = e07358b082626b0df4429708df352181 ocaml(Lib_parsing_c) = 38680ead6ddb858b2114b35c8e9df4ce ocaml(Ocamlcocci_aux) = 896c11b55394c32e272b33bb9eb587db ocaml(Parmap_compat) = 751d8333d89b25a04ac58445f5c63422 ocaml(Parmap_utils) = d2e2eaf409e0ccd92ddfd6a7e0f64612 ocaml(Parse_c) = 5a4db881fd6e606eaa87debd9fab4e63 ocaml(Parser_c) = 071b5981382cbad81adb40fbd21ae4f7 ocaml(Pretty_print_c) = 70bbcc36ffd518efc337df860c1c81cb ocaml(Regexp) = 0b874676005a466a1cb7cdf463b80404 ocaml(Setcore) = 1285dae8e358eddae3282a78c2ee91dc ocaml(Stdcompat) = e58bb267c774017f82f774fda90e3972 ocaml(Stdcompat__init) = 46fc223017fff3f82ab1662bfbcdab36 ocaml(Stdcompat__stdlib_s) = e1fe2166219a70895b300531e829ef31 ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Gc) = c3ec15218bd26e175e6d959e216eb39a ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Marshal) = 182731e5f563b7657acd24ad778f3615 ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d ocaml(Token_c) = bf9b9a49b6ab3fe323893cc4bf5fe9eb ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Visitor_c) = f745f20e8e71de2d147eb5c62a74d09e ocaml(Yes_prepare_ocamlcocci) = 4532c7e4dd2c331df407c799011d5c1d ocamlx(Ast0_cocci) = 98e931f9cbc42aed0a5551a98f2565eb ocamlx(Ast_c) = f4fae38452163dfc051c7bf1f2d28e5d ocamlx(Ast_cocci) = ce942c80f8170afd22d084a09f3489d2 ocamlx(Bytearray) = bb165203b76d20589b503a4917863c12 ocamlx(CamlinternalOO) = 058cc49b692a2dd69add77baeb7dfd6d ocamlx(Coccilib) = ad342e8c5e3a9890b08eba5591fa227f ocamlx(Commands) = ffe28ec43b14d752b08f8609d3231fcb ocamlx(Common) = cf59be07f7a6518113b485d1af543a3b ocamlx(Config) = 7c92de8b544111c34f259769a7d102b4 ocamlx(Dumper) = 40acefc258f9c932b5cf49f53fb2d9b4 ocamlx(Dynlink) = e18097515416b9553db8d444dc4b5d85 ocamlx(Exposed_modules) = 9dd9c56abcb6c328698dee4b82ed3cea ocamlx(Externalanalysis) = 57603b077abfe6ec42389c5efc8251a1 ocamlx(Flag) = 892588bf2bb293c69a6d3a49b6589a12 ocamlx(Flag_parsing_c) = 28c148d6f7729f37154b969e7350dd81 ocamlx(Iteration) = 94813611c56a468964bcaeb0565af422 ocamlx(Lexer_c) = 0dbf512087142d19ce373a991a96bfdf ocamlx(Lib_parsing_c) = 818ba92e0063300fc7080c5918c5ea7f ocamlx(Ocamlcocci_aux) = 8de93c02de6de032a35000162eb009f6 ocamlx(Parmap_compat) = ed136472d4a6d5567250e07f63f8015b ocamlx(Parmap_utils) = ecaafc75905d8f635466550373b2219d ocamlx(Parse_c) = 6545324a4ae9c1d40e262b4fe622dd52 ocamlx(Parser_c) = b579f7de546f7eb0ed511858ec15a10e ocamlx(Pretty_print_c) = 613bb1d9d4f6129d540f82c05534b32d ocamlx(Regexp) = 13ea9398ed381656380a6c179cf70365 ocamlx(Setcore) = 867bdfb7c8a99439c423ecfaf5fcb560 ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a ocamlx(Stdlib__Arg) = d130df570295c3fefaee00f88db5fed5 ocamlx(Stdlib__Array) = c17b2f7cf4a4cce9bfec4b26eec495f7 ocamlx(Stdlib__Bigarray) = dc4669f690cc58c0a160d55aac998b20 ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb ocamlx(Stdlib__Filename) = bb85b1b67a0eed0835203615c014e867 ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c ocamlx(Stdlib__Gc) = e35fd114c1210e06cfdf8cb8e368628c ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f ocamlx(Stdlib__Int64) = 8a6af33b06c097c633dbf42a56b24bd0 ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9 ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 ocamlx(Stdlib__Map) = f184f9d40bdaddd2e3d8a36b51d5f55f ocamlx(Stdlib__Marshal) = 3e832c8ffc49756e959e1c2d30cc4c09 ocamlx(Stdlib__Obj) = f4a3fd2b3174036e9e913e92c4f7b2ba ocamlx(Stdlib__Parsing) = f50fe0f7d9facd7fd97342bdfe2c1be0 ocamlx(Stdlib__Printexc) = 91d35af34dfc354f724931b058a14954 ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa ocamlx(Stdlib__Random) = 4e7342c0bcf9660dc77ca008890965fc ocamlx(Stdlib__Set) = c0158eea0410a85c8ad557c3d3358cd9 ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95 ocamlx(Stdlib__Sys) = 5c3bb467dddca8a9684f29a499f12938 ocamlx(Str) = 88040aadd5ce239c39603ad24fe18862 ocamlx(Token_c) = 83440a6d9190494fc3f32b51df1601b6 ocamlx(Unix) = 7ab988a5f1bc8761aa80f04fc8c5580e ocamlx(Visitor_c) = 013dc86f0f8fbc19f69b5f19fef6fce2 ocamlx(Yes_prepare_ocamlcocci) = 440301f271ea53d9135c27aeb84ce688 python(abi) = 3.11 rtld(GNU_HASH) Processing files: coccinelle-bash-completion-1.1.1-13.fc38.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.8xGpJG + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/share/licenses/coccinelle-bash-completion + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/licenses/coccinelle-bash-completion + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/licenses/coccinelle-bash-completion + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-bash-completion = 1.1.1-13.fc38 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-13.fc38.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Fmvldp + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/share/doc/coccinelle-doc + cp -pr docs /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/doc/coccinelle-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-doc = 1.1.1-13.fc38 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-13.fc38.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.9wMSg7 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.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-13.fc38.x86_64/usr/share/doc/coccinelle-examples + cp -pr demos /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64/usr/share/doc/coccinelle-examples + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-examples = 1.1.1-13.fc38 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-13.fc38.x86_64 Provides: coccinelle-debugsource = 1.1.1-13.fc38 coccinelle-debugsource(x86-64) = 1.1.1-13.fc38 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-13.fc38.x86_64 Provides: coccinelle-debuginfo = 1.1.1-13.fc38 coccinelle-debuginfo(x86-64) = 1.1.1-13.fc38 debuginfo(build-id) = 0910aedfd5abfd04916029e27060fba6984ad3f7 debuginfo(build-id) = 935a4389cb2f2681f488ffef376c4f1e62489c57 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-13.fc38 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64 Wrote: /builddir/build/RPMS/coccinelle-debuginfo-1.1.1-13.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/coccinelle-debugsource-1.1.1-13.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/coccinelle-1.1.1-13.fc38.x86_64.rpm Wrote: /builddir/build/RPMS/coccinelle-examples-1.1.1-13.fc38.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-bash-completion-1.1.1-13.fc38.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-doc-1.1.1-13.fc38.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.CkaibX + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-13.fc38.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.CNkwen + umask 022 + cd /builddir/build/BUILD + rm -rf coccinelle-1.1.1 coccinelle-1.1.1.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0