Mock Version: 3.5
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-1674256236.967111/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fece78adb90>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ynstkgeu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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.ynstkgeu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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', 'e9b55677add049fdb5da33fb5289a331', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1674256236.967111/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ynstkgeu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\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=1674086400
Wrote: /builddir/build/SRPMS/coccinelle-1.1.1-15.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-1674256236.967111/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x7fece78adb90>timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ynstkgeu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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.ynstkgeu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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', '239c7aa938114c0a83ea7d6733221011', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1674256236.967111/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.ynstkgeu:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/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;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\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;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\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=1674086400
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.4Az8oL
+ 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 .
+ 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.vCMqMV
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 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
checking for x86_64-redhat-linux-gnu-date... no
checking for date... /usr/bin/date
configure: version suffix set to Fri, 20 Jan 2023 23:17:57 +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.24 (TeX Live 2022) (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/.texlive2022/texmf-config/web2c/fmtutil.cnf
mktexfmt [INFO]: writing formats under /builddir/.texlive2022/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.24 (TeX Live 2022) (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 <2022-06-01> patch level 5
(/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.ltx
(/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3-code.tex)) hacks,
document commands, 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/generic/pdftex/glyphtounicode.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 2023.1.20)
21874 strings of total length 407190
1847979 memory locations dumped; current usage is 204&343533
20160 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_submatch_case_intarray=cmr10 at 0.00017pt
\font\g__regex_balance_intarray=cmr10 at 0.00018pt
\font\g__codepoint_uppercase_index_intarray=cmr10 at 0.0002pt
\font\g__codepoint_lowercase_index_intarray=cmr10 at 0.00021pt
\font\g__codepoint_uppercase_blocks_intarray=cmr10 at 0.00023pt
\font\g__codepoint_lowercase_blocks_intarray=cmr10 at 0.00024pt
\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.00026pt
\font\c_document_cctab=cmr10 at 0.00027pt
512280 words of font info for 32 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/.texlive2022/texmf-var/web2c/pdftex/pdflatex.log
mktexfmt [INFO]: /builddir/.texlive2022/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]: 
*************************************************************
*                                                           *
* WARNING: you are switching to fmtutil's per-user formats. *
*         Please read the following warnings!               *
*                                                           *
*************************************************************
You have run fmtutil-user (as opposed to fmtutil-sys) for the first time;
this has created format files which are local to your personal account.
From now on, any changes in system formats will *not* be automatically
reflected in your files; furthermore, running fmtutil-sys will no longer
have any effect for you.
As a consequence, you yourself have to rerun fmtutil-user after any
change in the system directories. For example, when one of the LaTeX or
other format source files changes, which happens frequently.
See https://tug.org/texlive/scripts-sys-user.html for details.
If you want to undo this, remove the files mentioned above.
Run mktexfmt --help for full documentation of fmtutil.
mktexfmt [INFO]: exiting with status 0
entering extended mode
(./manual.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-12-17> (./main.tex
(/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
Document Class: report 2021/10/04 v1.4n 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/latex/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/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/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.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)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx))
(./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))
(../../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}]
No file manual.toc.
pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has 
been already used, duplicate ignored
<to be read again> 
                   \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] [41
pdfTeX warning (ext4): destination with the same identifier (name{gram\\_o}) ha
s been already used, duplicate ignored
<argument> ...shipout:D \box_use:N \l_shipout_box 
                                                  \__shipout_drop_firstpage_...
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 not 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 refe
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/.texlive2022/texmf-config/web2c/fmtutil.cnf
mktexfmt [INFO]: writing formats under /builddir/.texlive2022/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 2022) (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 2023.1.20)
2237 strings of total length 30211
11955 memory locations dumped; current usage is 3679&7916
1011 symbolic tokens
Transcript written on mf.log.
mktexfmt [INFO]: log file copied to: /builddir/.texlive2022/texmf-var/web2c/metafont/mf.log
mktexfmt [INFO]: /builddir/.texlive2022/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]: 
*************************************************************
*                                                           *
* WARNING: you are switching to fmtutil's per-user formats. *
*         Please read the following warnings!               *
*                                                           *
*************************************************************
You have run fmtutil-user (as opposed to fmtutil-sys) for the first time;
this has created format files which are local to your personal account.
From now on, any changes in system formats will *not* be automatically
reflected in your files; furthermore, running fmtutil-sys will no longer
have any effect for you.
As a consequence, you yourself have to rerun fmtutil-user after any
change in the system directories. For example, when one of the LaTeX or
other format source files changes, which happens frequently.
See https://tug.org/texlive/scripts-sys-user.html for details.
If you want to undo this, remove the files mentioned above.
Run mktexfmt --help for full documentation of fmtutil.
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 2022) (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/.texlive2022/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated.
renced 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
 </builddir/.texlive2022/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk>{
/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fon
ts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrb8a.
pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts
/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/time
s/utmri8a.pfb>
Output written on manual.pdf (64 pages, 317062 bytes).
Transcript written on manual.log.
/usr/bin/pdflatex -halt-on-error manual.tex
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./manual.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-12-17> (./main.tex
(/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
Document Class: report 2021/10/04 v1.4n 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/latex/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/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/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.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)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx))
(./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))
(./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, duplicate ignored
<to be read again> 
                   \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] [42
pdfTeX warning (ext4): destination with the same identifier (name{gram\\_o}) ha
s been already used, duplicate ignored
<argument> ...shipout:D \box_use:N \l_shipout_box 
                                                  \__shipout_drop_firstpage_...
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 not 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
 </builddir/.texlive2022/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk>{
/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fon
ts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrb8a.
pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts
/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/time
s/utmri8a.pfb>
Output written on manual.pdf (65 pages, 326384 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.24 (TeX Live 2022) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./main_grammar.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-12-17>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n 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/latex/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/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/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.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/graphics/mathcolor.ltx))
(/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/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] [21
pdfTeX warning (ext4): destination with the same identifier (name{gram\\_o}) ha
s been already used, duplicate ignored
<argument> ...shipout:D \box_use:N \l_shipout_box 
                                                  \__shipout_drop_firstpage_...
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 not 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}</usr/share/texlive/
texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-
dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/typ
e1/public/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrb8a
.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texlive/
texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/font
s/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/tim
es/utmri8a.pfb>
Output written on main_grammar.pdf (34 pages, 251950 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.24 (TeX Live 2022) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./main_grammar.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-12-17>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n 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/latex/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/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/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.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/graphics/mathcolor.ltx))
(/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)) (./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] [21
pdfTeX warning (ext4): destination with the same identifier (name{gram\\_o}) ha
s been already used, duplicate ignored
<argument> ...shipout:D \box_use:N \l_shipout_box 
                                                  \__shipout_drop_firstpage_...
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 not 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}</usr/share/texlive/
texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-
dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/typ
e1/public/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrb8a
.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb></usr/sh
are/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texlive/
texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/font
s/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/tim
es/utmri8a.pfb>
Output written on main_grammar.pdf (34 pages, 253922 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.24 (TeX Live 2022) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./options.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-12-17> (./main_options.tex
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n 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 2022) (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/.texlive2022/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk: successfully generated.
 </builddir/.texlive2022/texmf-var
/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk> </builddir/.texlive2022/texmf-var
/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk>{/usr/share/texlive/texmf-dist/font
s/enc/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/publ
ic/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/s
fbx1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1200
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb></
usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/public/cm-super/sfrm1728.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/cm-super/sfss1000.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/cm-super/sfti1000.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/cm-super/sftt1000.pfb>
Output written on options.pdf (12 pages, 226838 bytes).
Transcript written on options.log.
/usr/bin/pdflatex -halt-on-error options.tex
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./options.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-12-17> (./main_options.tex
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n 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} </builddir/.texlive2022/texmf-var
/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk> </builddir/.texlive2022/texmf-var
/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk>{/usr/share/texlive/texmf-dist/font
s/enc/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/publ
ic/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsf
onts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/s
fbx1000.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1200
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb></
usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/public/cm-super/sfrm1728.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/cm-super/sfss1000.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/cm-super/sfti1000.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/cm-super/sftt1000.pfb>
Output written on options.pdf (12 pages, 226838 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:11: 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:11: 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.24 (TeX Live 2022) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./documentation.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-12-17>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n 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/txtbabel.def)
(/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf))
(/usr/share/texlive/texmf-dist/tex/generic/babel/locale/en/babel-english.tex)
(/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/latex/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/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/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.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/base/t1cmtt.fd)
No file documentation.toc.
[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}</usr/share
/texlive/texmf-dist/fonts/type1/public/cm-super/sfbx1095.pfb></usr/share/texliv
e/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb></usr/share/texlive/texmf
-dist/fonts/type1/public/cm-super/sfbx1440.pfb></usr/share/texlive/texmf-dist/f
onts/type1/public/cm-super/sfbx1728.pfb></usr/share/texlive/texmf-dist/fonts/ty
pe1/public/cm-super/sfrm0600.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/cm-super/sfrm0800.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-
super/sfrm0900.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/s
frm1095.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1200
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfti1095.pfb></
usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sftt0900.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/cm-super/sftt1095.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/public/cm-super/sftt1200.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/cm-super/sftt1728.pfb>
Output written on documentation.pdf (9 pages, 318841 bytes).
Transcript written on documentation.log.
/usr/bin/pdflatex -halt-on-error documentation.tex
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./documentation.tex
LaTeX2e <2022-06-01> patch level 5
L3 programming layer <2022-12-17>
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2021/10/04 v1.4n 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/txtbabel.def)
(/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf))
(/usr/share/texlive/texmf-dist/tex/generic/babel/locale/en/babel-english.tex)
(/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/latex/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/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/kvoptions/kvoptions.sty)))
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.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) (./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}</usr/share/texlive/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/cm-super/sfbx1095.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/cm-super/sfbx1200.pfb></usr/share/texlive/texmf-dist/fonts/type1/p
ublic/cm-super/sfbx1440.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/c
m-super/sfbx1728.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super
/sfrm0600.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm08
00.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm0900.pfb>
</usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1095.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/cm-super/sfti1095.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/cm-super/sftt0900.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/cm-super/sftt1095.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/cm-super/sftt1200.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/cm-super/sftt1728.pfb>
Output written on documentation.pdf (9 pages, 329797 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.QkpxAO
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64
++ dirname /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-15.fc38.x86_64/usr/lib64/python/coccilib
+ /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64 'INSTALL=/usr/bin/install -p'
mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/bin /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64
mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.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-15.fc38.x86_64/usr/lib64; \
fi
/usr/bin/install -p -m 755 spatch.opt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/bin/spatch
/usr/bin/install -p -m 644 standard.h /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64
/usr/bin/install -p -m 644 standard.iso /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64
/usr/bin/install -p -m 644 ocaml/*.cmi /builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.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-15.fc38.x86_64/usr/bin/spgen
mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/python/coccilib
/usr/bin/install -p -m 644 python/coccilib/*.py \
	/builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.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-15.fc38.x86_64/usr/share/bash-completion/completions/spatch; \
fi
mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/man/man1
mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/man/man3
/usr/bin/install -p -m 644 docs/spatch.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/man/man1/
/usr/bin/install -p -m 644 docs/pycocci.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/man/man1/
/usr/bin/install -p -m 644 docs/spgen.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/man/man1/
/usr/bin/install -p -m 644 docs/Coccilib.3cocci /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/man/man3/
+ rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/bin/spatch.byte
+ rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/bin/spatch.opt
+ pushd /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64
+ mkdir coccinelle
~/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64 ~/build/BUILD/coccinelle-1.1.1
+ 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-15.fc38.x86_64/usr/lib/python3.11/site-packages
+ mv /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/python/coccilib /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib/python3.11/site-packages
+ rmdir /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/python
+ mv /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/bin/spatch /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/coccinelle
+ cp -p tools/pycocci /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/bin/
+ cp -p scripts/spatch.sh /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/bin/spatch
+ chmod a+x /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/bin/spatch
+ /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.1.1-15.fc38 --unique-debug-suffix -1.1.1-15.fc38.x86_64 --unique-debug-src-base coccinelle-1.1.1-15.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-15.fc38.x86_64/usr/bin/spgen
extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/coccinelle/spatch
original debug info size: 14884kB, size after compression: 14880kB
/usr/bin/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match.
cpio: <standard.mly>: 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
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j2
Bytecompiling .py files below /builddir/build/BUILDROOT/coccinelle-1.1.1-15.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.nLafUI
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer'
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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-15.fc38.x86_64/usr/lib64/coccinelle
+ COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/coccinelle
+ spatch=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/coccinelle/spatch
+ export LD_LIBRARY_PATH=.
+ LD_LIBRARY_PATH=.
+ export PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib/python3.11/site-packages:
+ PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib/python3.11/site-packages:
+ /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/coccinelle/spatch --help
Usage: spatch --sp-file <SP> <infile> [-o <outfile>] [--iso-file <iso>] [options]
Options are:
main options
-----------------------------------------------------------------------
  --sp-file                      <file> the semantic patch file
  --opt-c                        <file> a c file to process if it exists
  -o                             <file> 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                     <file> (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/lib64/coccinelle/standard.iso)
  --macro-file                   <file>
  --macro-file-builtins          <file> (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.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                             <dir> 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                          <dir> process all files in directory recursively
  --ignore                       <string> specify a file name prefix to ignore
  --file-groups                  <file> 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                        <dir> path name with respect to which a patch should be created
    "" for a file in the current directory
  --kbuild-info                  <file> 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                <file> 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   <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              <level> for profiling the CTL engine
  --timeout            <sec> 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                     <symbol> treat cpp symbol as defined in #ifdef
  --undefined                   <symbol> 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++=
                                 <int> 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                          <file> 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               <file>
  --parse-c                <file or dir>
  --parse-h                <file or dir>
  --parse-ch               <file or dir>
  --parse-i                <file or dir>
  --parse-c++              <file or dir>
  --parse                  <file or dir>
  --show-flow              <file or file:function>
  --control-flow           <file or file:function>
  --control-flow-to-file   <file or file:function>
  --test-cfg-ifdef         <file>
  --parse-unparse          <file>
  --type-c                 <file>
  --compare-c              <file1> <file2>
  --comment-annotater-c    <file>
  --compare-c-hardcoded    
  --test-attributes        <file>
  --test-cpp               <file>
  --extract-macros         <file or dir>
  --extract-macros-select  <file or dir>
  --xxx                    <file1> <>
  --parse-cocci            <file>
  --rule-dependencies      <file>
  --compare-c              <file1> <file2>
+ /builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.fc38.x86_64/usr/lib64/coccinelle/standard.h
HANDLING: demos/simple.c
diff = 
--- demos/simple.c
+++ /tmp/cocci-output-4908-2e1932-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-15.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-15.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-15.fc38.x86_64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.YKJf73
+ umask 022
+ cd /builddir/build/BUILD
+ cd coccinelle-1.1.1
+ DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.fc38.x86_64/usr/share/doc/coccinelle
+ cp -pr authors.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/doc/coccinelle
+ cp -pr bugs.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/doc/coccinelle
+ cp -pr changes.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/doc/coccinelle
+ cp -pr credits.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/doc/coccinelle
+ cp -pr install.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/doc/coccinelle
+ cp -pr readme.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/doc/coccinelle
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.fPXazi
+ umask 022
+ cd /builddir/build/BUILD
+ cd coccinelle-1.1.1
+ LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.fc38.x86_64/usr/share/licenses/coccinelle
+ cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/licenses/coccinelle
+ cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.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)=07b2b42d12bd73eeeb3093c44e7d4727 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)=3d8a4355ff81795bcac759fcbc49d76a from /usr/lib64/ocaml/parse_c.cmx
INFO: ignoring Requires ocamlx(Includes)=840a712d2af32ba1a7ad45077bfcbc49 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-15.fc38 coccinelle(x86-64) = 1.1.1-15.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) = 1c0a660167deb84131943a4d41df75d8 ocamlx(Commands) = ffe28ec43b14d752b08f8609d3231fcb ocamlx(Common) = cf59be07f7a6518113b485d1af543a3b ocamlx(Config) = c61e612637b4cfca52dc4cc689b6462b ocamlx(Dumper) = 40acefc258f9c932b5cf49f53fb2d9b4 ocamlx(Exposed_modules) = 8af613f5f3654d26c8a64a7bda7833ab 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) = 8ade6936cfdc03bd674ce383f2b12e7c ocamlx(Parse_c) = c08ddbb8715d6e77e3f9f7e0cc2cbf90 ocamlx(Parser_c) = b579f7de546f7eb0ed511858ec15a10e ocamlx(Prepare_ocamlcocci) = b1e377202a7652f0b3e6f4dbe3ebbd91 ocamlx(Pretty_print_c) = 613bb1d9d4f6129d540f82c05534b32d ocamlx(Regexp) = 13ea9398ed381656380a6c179cf70365 ocamlx(Run_ocamlcocci) = 021b80c927e20958122046b8ec6c8138 ocamlx(Token_c) = 83440a6d9190494fc3f32b51df1601b6 ocamlx(Visitor_c) = 013dc86f0f8fbc19f69b5f19fef6fce2 ocamlx(Yes_prepare_ocamlcocci) = d5bd13cffc4e7ceae98034bbc368c4d5
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) = 1c0a660167deb84131943a4d41df75d8 ocamlx(Commands) = ffe28ec43b14d752b08f8609d3231fcb ocamlx(Common) = cf59be07f7a6518113b485d1af543a3b ocamlx(Config) = c61e612637b4cfca52dc4cc689b6462b ocamlx(Dumper) = 40acefc258f9c932b5cf49f53fb2d9b4 ocamlx(Dynlink) = e18097515416b9553db8d444dc4b5d85 ocamlx(Exposed_modules) = 8af613f5f3654d26c8a64a7bda7833ab 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) = c08ddbb8715d6e77e3f9f7e0cc2cbf90 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) = d5bd13cffc4e7ceae98034bbc368c4d5 python(abi) = 3.11 rtld(GNU_HASH)
Processing files: coccinelle-bash-completion-1.1.1-15.fc38.noarch
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.T5i9tW
+ umask 022
+ cd /builddir/build/BUILD
+ cd coccinelle-1.1.1
+ LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.fc38.x86_64/usr/share/licenses/coccinelle-bash-completion
+ cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/licenses/coccinelle-bash-completion
+ cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/licenses/coccinelle-bash-completion
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: coccinelle-bash-completion = 1.1.1-15.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-15.fc38.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.RvNhcT
+ umask 022
+ cd /builddir/build/BUILD
+ cd coccinelle-1.1.1
+ DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.fc38.x86_64/usr/share/doc/coccinelle-doc
+ cp -pr docs /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/doc/coccinelle-doc
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: coccinelle-doc = 1.1.1-15.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-15.fc38.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.NlPYlk
+ umask 022
+ cd /builddir/build/BUILD
+ cd coccinelle-1.1.1
+ DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-15.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-15.fc38.x86_64/usr/share/doc/coccinelle-examples
+ cp -pr demos /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64/usr/share/doc/coccinelle-examples
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: coccinelle-examples = 1.1.1-15.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-15.fc38.x86_64
Provides: coccinelle-debugsource = 1.1.1-15.fc38 coccinelle-debugsource(x86-64) = 1.1.1-15.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-15.fc38.x86_64
Provides: coccinelle-debuginfo = 1.1.1-15.fc38 coccinelle-debuginfo(x86-64) = 1.1.1-15.fc38 debuginfo(build-id) = 1950527bec58a6b1098d90bef17d3ba30305d8cb debuginfo(build-id) = acd5d9e57b56ef516b067b5d382ef2104b45aadf
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-15.fc38
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64
Wrote: /builddir/build/RPMS/coccinelle-debuginfo-1.1.1-15.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/coccinelle-debugsource-1.1.1-15.fc38.x86_64.rpm
Wrote: /builddir/build/RPMS/coccinelle-doc-1.1.1-15.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/coccinelle-examples-1.1.1-15.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/coccinelle-bash-completion-1.1.1-15.fc38.noarch.rpm
Wrote: /builddir/build/RPMS/coccinelle-1.1.1-15.fc38.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.9sEiX1
+ umask 022
+ cd /builddir/build/BUILD
+ cd coccinelle-1.1.1
+ /usr/bin/rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-15.fc38.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.vlwxc6
+ 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