Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/fedora-rawhide-i686-1671825357.625607/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.dycbtjdj:/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.dycbtjdj:/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', '504c0fe12d36416e92baf9a00647cb3b', '-D', '/var/lib/mock/fedora-rawhide-i686-1671825357.625607/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.dycbtjdj:/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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/coccinelle.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: i686 Building for target i686 setting SOURCE_DATE_EPOCH=1667433600 Wrote: /builddir/build/SRPMS/coccinelle-1.1.1-14.fc38.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target i686 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/fedora-rawhide-i686-1671825357.625607/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1001gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.dycbtjdj:/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.dycbtjdj:/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', '17b2968738f8495398bdd62970d12f46', '-D', '/var/lib/mock/fedora-rawhide-i686-1671825357.625607/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.dycbtjdj:/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;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target i686 --nodeps /builddir/build/SPECS/coccinelle.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False Building target platforms: i686 Building for target i686 setting SOURCE_DATE_EPOCH=1667433600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.B9uBrc + 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.hOPWGl + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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/lib: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coccinelle-1.1.1 + autoreconf -i aclocal: warning: couldn't open directory 'm4': No such file or directory configure.ac:14: warning: The macro `AC_HEADER_STDC' is obsolete. configure.ac:14: You should run autoupdate. ./lib/autoconf/headers.m4:704: AC_HEADER_STDC is expanded from... configure.ac:14: the top level + ./autogen + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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/lib: + 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=i686-redhat-linux-gnu --host=i686-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --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 i686-redhat-linux-gnu-date... no checking for date... /usr/bin/date configure: version suffix set to Fri, 23 Dec 2022 19:58:10 +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 i686-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 i686-redhat-linux-gnu-pkg-config... /usr/bin/i686-redhat-linux-gnu-pkg-config checking pkg-config is at least version 0.9.0... yes checking for i686-redhat-linux-gnu-ocamlc... no checking for ocamlc... /usr/bin/ocamlc OCaml version is 4.14.0 OCaml library path is /usr/lib/ocaml checking for i686-redhat-linux-gnu-ocamlopt... no checking for ocamlopt... /usr/bin/ocamlopt checking for i686-redhat-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for i686-redhat-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for i686-redhat-linux-gnu-ocaml... no checking for ocaml... /usr/bin/ocaml checking for i686-redhat-linux-gnu-ocamldep... no checking for ocamldep... /usr/bin/ocamldep checking for i686-redhat-linux-gnu-ocamlmktop... no checking for ocamlmktop... /usr/bin/ocamlmktop checking for i686-redhat-linux-gnu-ocamlmklib... no checking for ocamlmklib... /usr/bin/ocamlmklib checking for i686-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 i686-redhat-linux-gnu-ocamllex... no checking for ocamllex... /usr/bin/ocamllex checking for i686-redhat-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for i686-redhat-linux-gnu-ocamlyacc... no checking for ocamlyacc... /usr/bin/ocamlyacc checking for i686-redhat-linux-gnu-ocamlfind... no checking for ocamlfind... /usr/bin/ocamlfind checking for i686-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 i686-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 i686-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=i686-redhat-linux-gnu --host=i686-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --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/lib/coccinelle/python ------------------------------------------------------------------------------ + /usr/bin/sed -i -e 's,LIBDIR=.*,LIBDIR=/usr/lib,' -e 's,MANDIR=.*,MANDIR=/usr/share/man,' -e 's,SHAREDIR=.*,SHAREDIR=/usr/lib/coccinelle,' -e 's,DYNLINKDIR=.*,DYNLINKDIR=/usr/lib/ocaml,' -e 's,BASH_COMPLETION_DIR=.*,BASH_COMPLETION_DIR=/usr/share/bash-completion/completions,' Makefile.config + echo ' EXTRA_OCAML_FLAGS = -g EXTRACFLAGS = $(EXTRA_OCAML_FLAGS) ' + target=all-release + unset MAKEFLAGS + make all-release /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pyml -I /usr/lib/ocaml/parmap -I /usr/lib/ocaml/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) OCAMLYACC parsing_c/parser_c.mly OCAMLDEP parsing_c/parser_c.mli OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_c/lexer_c.mli OCAMLDEP parsing_cocci/lexer_script.mli OCAMLDEP parsing_cocci/lexer_cli.mli OCAMLDEP parsing_cocci/lexer_cocci.mli OCAMLDEP tools/spgen/source/main.mli OCAMLDEP tools/spgen/source/spgen_test.mli OCAMLDEP tools/spgen/source/spgen.mli OCAMLDEP tools/spgen/source/spgen_config.mli OCAMLDEP tools/spgen/source/spgen_interactive.mli OCAMLDEP tools/spgen/source/file_transform.mli OCAMLDEP tools/spgen/source/script_rule.mli OCAMLDEP tools/spgen/source/context_rule.mli OCAMLDEP tools/spgen/source/rule_header.mli OCAMLDEP tools/spgen/source/rule_body.mli OCAMLDEP tools/spgen/source/disj_generator.mli OCAMLDEP tools/spgen/source/position_generator.mli OCAMLDEP tools/spgen/source/user_input.mli OCAMLDEP tools/spgen/source/snapshot.mli OCAMLDEP tools/spgen/source/meta_variable.mli OCAMLDEP tools/spgen/source/detect_patch.mli OCAMLDEP tools/spgen/source/ast_tostring.mli OCAMLDEP tools/spgen/source/globals.mli OCAMLDEP main.mli OCAMLDEP enter.mli OCAMLDEP read_options.mli OCAMLDEP testing.mli OCAMLDEP cocci.mli OCAMLDEP flag_cocci.mli OCAMLDEP extra/maintainers.mli OCAMLDEP extra/kbuild.mli OCAMLDEP extra/classic_patch.mli OCAMLDEP popl09/popl.mli OCAMLDEP popl09/popltoctl.mli OCAMLDEP popl09/flag_popl.mli OCAMLDEP popl09/pretty_print_popl.mli OCAMLDEP popl09/insert_quantifiers.mli OCAMLDEP popl09/asttopopl.mli OCAMLDEP popl09/ast_popl.mli OCAMLDEP engine/ctlcocci_integration.mli OCAMLDEP engine/postprocess_transinfo.mli OCAMLDEP engine/ctltotex.mli OCAMLDEP engine/asttoctl2.mli OCAMLDEP engine/asttomember.mli OCAMLDEP engine/transformation_c.mli OCAMLDEP engine/pattern_c.mli OCAMLDEP engine/cocci_vs_c.mli OCAMLDEP engine/isomorphisms_c_c.mli OCAMLDEP engine/c_vs_c.mli OCAMLDEP engine/check_reachability.mli OCAMLDEP engine/check_exhaustive_pattern.mli OCAMLDEP engine/pretty_print_engine.mli OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/flag_matcher.mli OCAMLDEP python/pycocci.mli OCAMLDEP python/yes_pycocci.mli OCAMLDEP python/pycocci_aux.mli OCAMLDEP ocaml/run_ocamlcocci.mli OCAMLDEP ocaml/prepare_ocamlcocci.mli OCAMLDEP ocaml/yes_prepare_ocamlcocci.mli OCAMLDEP ocaml/ocamlcocci_aux.mli OCAMLDEP ocaml/coccilib.mli OCAMLDEP ocaml/exposed_modules.mli OCAMLDEP ocaml/externalanalysis.mli OCAMLDEP ctl/wrapper_ctl.mli OCAMLDEP ctl/ctl_engine.mli OCAMLDEP ctl/pretty_print_ctl.mli OCAMLDEP ctl/ast_ctl.mli OCAMLDEP ctl/flag_ctl.mli OCAMLDEP parsing_c/test_parsing_c.mli OCAMLDEP parsing_c/compare_c.mli OCAMLDEP parsing_c/comment_annotater_c.mli OCAMLDEP parsing_c/type_annoter_c.mli OCAMLDEP parsing_c/cpp_ast_c.mli OCAMLDEP parsing_c/type_c.mli OCAMLDEP parsing_c/unparse_hrule.mli OCAMLDEP parsing_c/unparse_c.mli OCAMLDEP parsing_c/parse_c.mli OCAMLDEP parsing_c/danger.mli OCAMLDEP parsing_c/parsing_consistency_c.mli OCAMLDEP parsing_c/parsing_recovery_c.mli OCAMLDEP parsing_c/unparse_cocci.mli OCAMLDEP parsing_c/cpp_analysis_c.mli OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/cpp_token_c.mli OCAMLDEP parsing_c/token_views_c.mli OCAMLDEP parsing_c/token_helpers.mli OCAMLDEP parsing_c/parse_string_c.mli OCAMLDEP parsing_c/lexer_parser.mli OCAMLDEP parsing_c/semantic_c.mli OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/control_flow_c_build.mli OCAMLDEP parsing_c/includes_cache.mli OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/control_flow_c.mli OCAMLDEP parsing_c/includes.mli OCAMLDEP parsing_c/ast_c.mli OCAMLDEP parsing_c/token_c.mli OCAMLDEP parsing_c/parsing_stat.mli OCAMLDEP parsing_c/flag_parsing_c.mli OCAMLDEP parsing_c/token_annot.mli OCAMLDEP parsing_cocci/cocci_args.mli OCAMLDEP parsing_cocci/command_line.mli OCAMLDEP parsing_cocci/parse_cocci.mli OCAMLDEP parsing_cocci/re_constraints.mli OCAMLDEP parsing_cocci/commas_on_lists.mli OCAMLDEP parsing_cocci/adjacency.mli OCAMLDEP parsing_cocci/git_grep.mli OCAMLDEP parsing_cocci/id_utils.mli OCAMLDEP parsing_cocci/get_constants2.mli OCAMLDEP parsing_cocci/dpll.mli OCAMLDEP parsing_cocci/cocci_grep.mli OCAMLDEP parsing_cocci/disjdistr.mli OCAMLDEP parsing_cocci/cleanup_rules.mli OCAMLDEP parsing_cocci/parse_aux.mli OCAMLDEP parsing_cocci/parse_printf.mli OCAMLDEP parsing_cocci/safe_for_multi_decls.mli OCAMLDEP parsing_cocci/free_vars.mli OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/semantic_cocci.mli OCAMLDEP parsing_cocci/function_prototypes.mli OCAMLDEP parsing_cocci/insert_plus.mli OCAMLDEP parsing_cocci/adjust_pragmas.mli OCAMLDEP parsing_cocci/context_neg.mli OCAMLDEP parsing_cocci/index.mli OCAMLDEP parsing_cocci/arity.mli OCAMLDEP parsing_cocci/unitary_ast0.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/check_meta.mli OCAMLDEP parsing_cocci/stmtlist.mli OCAMLDEP parsing_cocci/get_metas.mli OCAMLDEP parsing_cocci/simple_assignments.mli OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/iso_compile.mli OCAMLDEP parsing_cocci/comm_assoc.mli OCAMLDEP parsing_cocci/iso_pattern.mli OCAMLDEP parsing_cocci/compute_lines.mli OCAMLDEP parsing_cocci/unify_ast.mli OCAMLDEP parsing_cocci/unparse_ast0.mli OCAMLDEP parsing_cocci/ast0toast.mli OCAMLDEP parsing_cocci/visitor_ast0.mli OCAMLDEP parsing_cocci/visitor_ast.mli OCAMLDEP parsing_cocci/visitor_ast0_types.mli OCAMLDEP parsing_cocci/pretty_print_cocci.mli OCAMLDEP parsing_cocci/ast0_cocci.mli OCAMLDEP parsing_cocci/ast_cocci.mli OCAMLDEP parsing_cocci/flag_parsing_cocci.mli OCAMLDEP globals/regexp.mli OCAMLDEP globals/regexp_pcre.mli OCAMLDEP globals/iteration.mli OCAMLDEP globals/flag.mli OCAMLDEP globals/config.mli OCAMLDEP commons/ograph_extended.mli OCAMLDEP commons/ograph_simple.mli OCAMLDEP commons/common.mli OCAMLDEP commons/commands.mli OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP parsing_c/parser_c.ml OCAMLLEX tools/spgen/source/spgen_lexer.mll 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings OCAMLDEP tools/spgen/source/spgen_lexer.ml OCAMLLEX parsing_c/lexer_c.mll 564 states, 26650 transitions, table size 109984 bytes 17879 additional bytes used for bindings OCAMLDEP parsing_c/lexer_c.ml OCAMLLEX parsing_cocci/lexer_script.mll 25 states, 314 transitions, table size 1406 bytes OCAMLDEP parsing_cocci/lexer_script.ml OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes OCAMLDEP parsing_cocci/lexer_cli.ml OCAMLLEX parsing_cocci/lexer_cocci.mll ocamllex warning: File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string. 400 states, 6934 transitions, table size 30136 bytes 4105 additional bytes used for bindings OCAMLDEP parsing_cocci/lexer_cocci.ml OCAMLDEP tools/spgen/source/main.ml OCAMLDEP tools/spgen/source/spgen_test.ml OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/file_transform.ml OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/rule_header.ml OCAMLDEP tools/spgen/source/rule_body.ml OCAMLDEP tools/spgen/source/disj_generator.ml OCAMLDEP tools/spgen/source/position_generator.ml OCAMLDEP tools/spgen/source/user_input.ml OCAMLDEP tools/spgen/source/snapshot.ml OCAMLDEP tools/spgen/source/meta_variable.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/globals.ml OCAMLDEP main.ml OCAMLDEP enter.ml OCAMLDEP read_options.ml OCAMLDEP testing.ml OCAMLDEP cocci.ml OCAMLDEP flag_cocci.ml OCAMLDEP extra/maintainers.ml OCAMLDEP extra/kbuild.ml OCAMLDEP extra/classic_patch.ml OCAMLDEP popl09/popl.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/flag_popl.ml OCAMLDEP popl09/pretty_print_popl.ml OCAMLDEP popl09/insert_quantifiers.ml OCAMLDEP popl09/asttopopl.ml OCAMLDEP popl09/ast_popl.ml OCAMLDEP engine/ctlcocci_integration.ml OCAMLDEP engine/postprocess_transinfo.ml OCAMLDEP engine/ctltotex.ml OCAMLDEP engine/asttoctl2.ml OCAMLDEP engine/asttomember.ml OCAMLDEP engine/transformation_c.ml OCAMLDEP engine/pattern_c.ml OCAMLDEP engine/cocci_vs_c.ml OCAMLDEP engine/isomorphisms_c_c.ml OCAMLDEP engine/c_vs_c.ml OCAMLDEP engine/check_reachability.ml OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/pretty_print_engine.ml OCAMLDEP engine/lib_engine.ml OCAMLDEP engine/flag_matcher.ml OCAMLDEP python/pycocci.ml OCAMLDEP python/yes_pycocci.ml OCAMLDEP python/pycocci_aux.ml OCAMLDEP ocaml/run_ocamlcocci.ml OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/ocamlcocci_aux.ml OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/externalanalysis.ml OCAMLDEP ctl/wrapper_ctl.ml OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ast_ctl.ml OCAMLDEP ctl/flag_ctl.ml OCAMLDEP parsing_c/test_parsing_c.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml OCAMLDEP parsing_c/type_annoter_c.ml OCAMLDEP parsing_c/cpp_ast_c.ml OCAMLDEP parsing_c/type_c.ml OCAMLDEP parsing_c/unparse_hrule.ml OCAMLDEP parsing_c/unparse_c.ml OCAMLDEP parsing_c/parse_c.ml OCAMLDEP parsing_c/danger.ml OCAMLDEP parsing_c/parsing_consistency_c.ml OCAMLDEP parsing_c/parsing_recovery_c.ml OCAMLDEP parsing_c/unparse_cocci.ml OCAMLDEP parsing_c/cpp_analysis_c.ml OCAMLDEP parsing_c/parsing_hacks.ml OCAMLDEP parsing_c/cpp_token_c.ml OCAMLDEP parsing_c/token_views_c.ml OCAMLDEP parsing_c/token_helpers.ml OCAMLDEP parsing_c/parse_string_c.ml OCAMLDEP parsing_c/lexer_parser.ml OCAMLDEP parsing_c/semantic_c.ml OCAMLDEP parsing_c/pretty_print_c.ml OCAMLDEP parsing_c/control_flow_c_build.ml OCAMLDEP parsing_c/includes_cache.ml OCAMLDEP parsing_c/lib_parsing_c.ml OCAMLDEP parsing_c/visitor_c.ml OCAMLDEP parsing_c/control_flow_c.ml OCAMLDEP parsing_c/includes.ml OCAMLDEP parsing_c/ast_c.ml OCAMLDEP parsing_c/token_c.ml OCAMLDEP parsing_c/parsing_stat.ml OCAMLDEP parsing_c/flag_parsing_c.ml OCAMLDEP parsing_c/token_annot.ml OCAMLDEP parsing_cocci/cocci_args.ml OCAMLDEP parsing_cocci/command_line.ml OCAMLDEP parsing_cocci/parse_cocci.ml OCAMLDEP parsing_cocci/re_constraints.ml OCAMLDEP parsing_cocci/commas_on_lists.ml OCAMLDEP parsing_cocci/adjacency.ml OCAMLDEP parsing_cocci/git_grep.ml OCAMLDEP parsing_cocci/id_utils.ml OCAMLDEP parsing_cocci/get_constants2.ml OCAMLDEP parsing_cocci/dpll.ml OCAMLDEP parsing_cocci/cocci_grep.ml OCAMLDEP parsing_cocci/disjdistr.ml OCAMLDEP parsing_cocci/cleanup_rules.ml OCAMLDEP parsing_cocci/parse_aux.ml OCAMLDEP parsing_cocci/parse_printf.ml OCAMLDEP parsing_cocci/safe_for_multi_decls.ml OCAMLDEP parsing_cocci/free_vars.ml OCAMLDEP parsing_cocci/data.ml OCAMLDEP parsing_cocci/semantic_cocci.ml OCAMLDEP parsing_cocci/function_prototypes.ml OCAMLDEP parsing_cocci/insert_plus.ml OCAMLDEP parsing_cocci/adjust_pragmas.ml OCAMLDEP parsing_cocci/context_neg.ml OCAMLDEP parsing_cocci/index.ml OCAMLDEP parsing_cocci/arity.ml OCAMLDEP parsing_cocci/unitary_ast0.ml OCAMLDEP parsing_cocci/test_exps.ml OCAMLDEP parsing_cocci/type_infer.ml OCAMLDEP parsing_cocci/top_level.ml OCAMLDEP parsing_cocci/check_meta.ml OCAMLDEP parsing_cocci/stmtlist.ml OCAMLDEP parsing_cocci/get_metas.ml OCAMLDEP parsing_cocci/simple_assignments.ml OCAMLDEP parsing_cocci/single_statement.ml OCAMLDEP parsing_cocci/iso_compile.ml OCAMLDEP parsing_cocci/comm_assoc.ml OCAMLDEP parsing_cocci/iso_pattern.ml OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/unify_ast.ml OCAMLDEP parsing_cocci/unparse_ast0.ml OCAMLDEP parsing_cocci/ast0toast.ml OCAMLDEP parsing_cocci/visitor_ast0.ml OCAMLDEP parsing_cocci/visitor_ast.ml OCAMLDEP parsing_cocci/visitor_ast0_types.ml OCAMLDEP parsing_cocci/pretty_print_cocci.ml OCAMLDEP parsing_cocci/ast0_cocci.ml OCAMLDEP parsing_cocci/ast_cocci.ml OCAMLDEP parsing_cocci/flag_parsing_cocci.ml OCAMLDEP globals/regexp.ml OCAMLDEP globals/regexp_pcre.ml OCAMLDEP globals/iteration.ml OCAMLDEP globals/flag.ml OCAMLDEP globals/config.ml OCAMLDEP commons/ograph_extended.ml OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/common.ml OCAMLDEP commons/commands.ml OCAMLDEP commons/ocamlextra/dumper.ml OCAMLC commons/ocamlextra/dumper.mli OCAMLOPT commons/ocamlextra/dumper.ml OCAMLC commons/commands.mli OCAMLOPT commons/commands.ml OCAMLC commons/common.mli OCAMLOPT commons/common.ml File "commons/common.ml", line 5305, characters 4-14: 5305 | write_file file1 (unwords xs); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5306, characters 4-14: 5306 | write_file file2 (unwords ys); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5333, characters 4-14: 5333 | write_file "/tmp/diff1" xstr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5334, characters 4-14: 5334 | write_file "/tmp/diff2" ystr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC commons/ograph_simple.mli OCAMLOPT commons/ograph_simple.ml OCAMLC commons/ograph_extended.mli OCAMLOPT commons/ograph_extended.ml OCAMLOPT -o commons/commons.cmxa OCAMLC globals/config.mli OCAMLOPT globals/config.ml OCAMLC globals/flag.mli OCAMLOPT globals/flag.ml OCAMLC globals/iteration.mli OCAMLOPT globals/iteration.ml OCAMLC globals/regexp_pcre.mli OCAMLOPT globals/regexp_pcre.ml OCAMLC globals/regexp.mli OCAMLOPT globals/regexp.ml OCAMLOPT -o globals/globals.cmxa OCAMLC parsing_cocci/flag_parsing_cocci.mli OCAMLOPT parsing_cocci/flag_parsing_cocci.ml OCAMLC parsing_cocci/ast_cocci.mli OCAMLOPT parsing_cocci/ast_cocci.ml OCAMLC parsing_cocci/ast0_cocci.mli OCAMLOPT parsing_cocci/ast0_cocci.ml OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLOPT parsing_cocci/pretty_print_cocci.ml OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLOPT parsing_cocci/visitor_ast0_types.ml OCAMLC parsing_cocci/visitor_ast.mli OCAMLOPT parsing_cocci/visitor_ast.ml OCAMLC parsing_cocci/visitor_ast0.mli OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLC parsing_cocci/ast0toast.mli OCAMLOPT parsing_cocci/ast0toast.ml OCAMLC parsing_cocci/unparse_ast0.mli OCAMLOPT parsing_cocci/unparse_ast0.ml OCAMLC parsing_cocci/unify_ast.mli OCAMLOPT parsing_cocci/unify_ast.ml OCAMLC parsing_cocci/compute_lines.mli OCAMLOPT parsing_cocci/compute_lines.ml OCAMLC parsing_cocci/iso_pattern.mli OCAMLOPT parsing_cocci/iso_pattern.ml OCAMLC parsing_cocci/comm_assoc.mli OCAMLOPT parsing_cocci/comm_assoc.ml OCAMLC parsing_cocci/iso_compile.mli OCAMLOPT parsing_cocci/iso_compile.ml OCAMLC parsing_cocci/single_statement.mli OCAMLOPT parsing_cocci/single_statement.ml OCAMLC parsing_cocci/simple_assignments.mli OCAMLOPT parsing_cocci/simple_assignments.ml OCAMLC parsing_cocci/get_metas.mli OCAMLOPT parsing_cocci/get_metas.ml OCAMLC parsing_cocci/stmtlist.mli OCAMLOPT parsing_cocci/stmtlist.ml OCAMLC parsing_cocci/check_meta.mli OCAMLOPT parsing_cocci/check_meta.ml OCAMLC parsing_cocci/top_level.mli OCAMLOPT parsing_cocci/top_level.ml OCAMLC parsing_cocci/type_infer.mli OCAMLOPT parsing_cocci/type_infer.ml OCAMLC parsing_cocci/test_exps.mli OCAMLOPT parsing_cocci/test_exps.ml OCAMLC parsing_cocci/unitary_ast0.mli OCAMLOPT parsing_cocci/unitary_ast0.ml OCAMLC parsing_cocci/arity.mli OCAMLOPT parsing_cocci/arity.ml OCAMLC parsing_cocci/index.mli OCAMLOPT parsing_cocci/index.ml OCAMLC parsing_cocci/context_neg.mli OCAMLOPT parsing_cocci/context_neg.ml OCAMLC parsing_cocci/adjust_pragmas.mli OCAMLOPT parsing_cocci/adjust_pragmas.ml OCAMLC parsing_cocci/insert_plus.mli OCAMLOPT parsing_cocci/insert_plus.ml OCAMLC parsing_cocci/function_prototypes.mli OCAMLOPT parsing_cocci/function_prototypes.ml OCAMLC parsing_cocci/semantic_cocci.mli OCAMLOPT parsing_cocci/semantic_cocci.ml OCAMLC parsing_cocci/data.mli OCAMLOPT parsing_cocci/data.ml OCAMLC parsing_cocci/free_vars.mli OCAMLOPT parsing_cocci/free_vars.ml OCAMLC parsing_cocci/safe_for_multi_decls.mli OCAMLOPT parsing_cocci/safe_for_multi_decls.ml OCAMLC parsing_cocci/parse_printf.mli OCAMLOPT parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/parse_aux.mli OCAMLOPT parsing_cocci/parse_aux.ml OCAMLC parsing_cocci/cleanup_rules.mli OCAMLOPT parsing_cocci/cleanup_rules.ml OCAMLC parsing_cocci/disjdistr.mli OCAMLOPT parsing_cocci/disjdistr.ml MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLDEP parsing_cocci/parser_cocci_menhir.ml OCAMLDEP parsing_cocci/parser_cocci_menhir.mli OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLC parsing_cocci/lexer_cocci.mli OCAMLOPT parsing_cocci/lexer_cocci.ml OCAMLC parsing_cocci/lexer_cli.mli OCAMLOPT parsing_cocci/lexer_cli.ml OCAMLC parsing_cocci/lexer_script.mli OCAMLOPT parsing_cocci/lexer_script.ml OCAMLC parsing_cocci/cocci_grep.mli OCAMLOPT parsing_cocci/cocci_grep.ml OCAMLC parsing_cocci/dpll.mli OCAMLOPT parsing_cocci/dpll.ml OCAMLC parsing_cocci/get_constants2.mli OCAMLOPT parsing_cocci/get_constants2.ml OCAMLC parsing_cocci/id_utils.mli OCAMLOPT parsing_cocci/id_utils.ml OCAMLC parsing_cocci/git_grep.mli OCAMLOPT parsing_cocci/git_grep.ml OCAMLC parsing_cocci/adjacency.mli OCAMLOPT parsing_cocci/adjacency.ml OCAMLC parsing_cocci/commas_on_lists.mli OCAMLOPT parsing_cocci/commas_on_lists.ml OCAMLC parsing_cocci/re_constraints.mli OCAMLOPT parsing_cocci/re_constraints.ml OCAMLC parsing_cocci/parse_cocci.mli OCAMLOPT parsing_cocci/parse_cocci.ml OCAMLC parsing_cocci/command_line.mli OCAMLOPT parsing_cocci/command_line.ml OCAMLC parsing_cocci/cocci_args.mli OCAMLOPT parsing_cocci/cocci_args.ml OCAMLOPT -o parsing_cocci/parsing_cocci.cmxa OCAMLC parsing_c/token_annot.mli OCAMLOPT parsing_c/token_annot.ml OCAMLC parsing_c/flag_parsing_c.mli OCAMLOPT parsing_c/flag_parsing_c.ml OCAMLC parsing_c/parsing_stat.mli OCAMLOPT parsing_c/parsing_stat.ml OCAMLC parsing_c/token_c.mli OCAMLOPT parsing_c/token_c.ml OCAMLC parsing_c/ast_c.mli OCAMLOPT parsing_c/ast_c.ml OCAMLC parsing_c/includes.mli OCAMLOPT parsing_c/includes.ml OCAMLC parsing_c/control_flow_c.mli OCAMLOPT parsing_c/control_flow_c.ml OCAMLC parsing_c/visitor_c.mli OCAMLOPT parsing_c/visitor_c.ml OCAMLC parsing_c/lib_parsing_c.mli OCAMLOPT parsing_c/lib_parsing_c.ml OCAMLC parsing_c/includes_cache.mli OCAMLOPT parsing_c/includes_cache.ml OCAMLC parsing_c/control_flow_c_build.mli OCAMLOPT parsing_c/control_flow_c_build.ml OCAMLC parsing_c/pretty_print_c.mli OCAMLOPT parsing_c/pretty_print_c.ml File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: 1626 | (pp_elem_sp pr_elem pr_space).expression ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1629, characters 3-13: 1629 | (pp_elem_sp pr_elem pr_space).assignOp ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1632, characters 3-13: 1632 | (pp_elem_sp pr_elem pr_space).binaryOp ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1635, characters 3-13: 1635 | (pp_elem_sp pr_elem pr_space).arg_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1638, characters 3-13: 1638 | (pp_elem_sp pr_elem pr_space).arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1641, characters 3-13: 1641 | (pp_elem_sp pr_elem pr_space).statement ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1644, characters 3-13: 1644 | (pp_elem_sp pr_elem pr_space).statement_seq_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1647, characters 3-13: 1647 | (pp_elem_sp pr_elem pr_space).decl ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1650, characters 3-13: 1650 | (pp_elem_sp pr_elem pr_space).field ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1653, characters 3-13: 1653 | (pp_elem_sp pr_elem pr_space).field_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1656, characters 3-13: 1656 | (pp_elem_sp pr_elem pr_space).init ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1659, characters 3-13: 1659 | (pp_elem_sp pr_elem pr_space).init_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1662, characters 3-13: 1662 | (pp_elem_sp pr_elem pr_space).param ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1665, characters 3-13: 1665 | (pp_elem_sp pr_elem pr_space).paramlist ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1668, characters 3-13: 1668 | (pp_elem_sp pr_elem pr_space).dparamlist ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1671, characters 3-13: 1671 | (pp_elem_sp pr_elem pr_space).ty ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1674, characters 3-13: 1674 | (pp_elem_sp pr_elem pr_space).type_with_ident ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1677, characters 3-13: 1677 | (pp_elem_sp pr_elem pr_space).fragment_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1680, characters 3-13: 1680 | (pp_elem_sp pr_elem pr_space).format ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1683, characters 3-13: 1683 | (pp_elem_sp pr_elem pr_space).attribute ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1686, characters 3-13: 1686 | (pp_elem_sp pr_elem pr_space).attr_arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1689, characters 3-13: 1689 | (pp_elem_sp pr_elem pr_space).toplevel ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. OCAMLC parsing_c/semantic_c.mli OCAMLOPT parsing_c/semantic_c.ml OCAMLC parsing_c/lexer_parser.mli OCAMLOPT parsing_c/lexer_parser.ml OCAMLC parsing_c/parser_c.mli OCAMLOPT parsing_c/parser_c.ml OCAMLC parsing_c/lexer_c.mli OCAMLOPT parsing_c/lexer_c.ml OCAMLC parsing_c/parse_string_c.mli OCAMLOPT parsing_c/parse_string_c.ml OCAMLC parsing_c/token_helpers.mli OCAMLOPT parsing_c/token_helpers.ml OCAMLC parsing_c/token_views_c.mli OCAMLOPT parsing_c/token_views_c.ml OCAMLC parsing_c/cpp_token_c.mli OCAMLOPT parsing_c/cpp_token_c.ml OCAMLC parsing_c/parsing_hacks.mli OCAMLOPT parsing_c/parsing_hacks.ml OCAMLC parsing_c/cpp_analysis_c.mli OCAMLOPT parsing_c/cpp_analysis_c.ml OCAMLC parsing_c/unparse_cocci.mli OCAMLOPT parsing_c/unparse_cocci.ml File "parsing_c/unparse_cocci.ml", line 91, characters 2-35: 91 | Pretty_print_c.mk_pretty_printers pr_celem pr_cspace ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space, pr_nl, pr_indent, pr_outdent, pr_unindent were omitted in the application of this function. File "parsing_c/unparse_cocci.ml", line 70, characters 4-22: 70 | let print_option_space fn = function ^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable print_option_space. OCAMLC parsing_c/parsing_recovery_c.mli OCAMLOPT parsing_c/parsing_recovery_c.ml OCAMLC parsing_c/parsing_consistency_c.mli OCAMLOPT parsing_c/parsing_consistency_c.ml OCAMLC parsing_c/danger.mli OCAMLOPT parsing_c/danger.ml OCAMLC parsing_c/parse_c.mli OCAMLOPT parsing_c/parse_c.ml File "parsing_c/parse_c.ml", line 680, characters 1-37: 680 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. File "parsing_c/parse_c.ml", line 1429, characters 2-19: 1429 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "parsing_c/parse_c.ml", line 1440, characters 2-19: 1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC parsing_c/unparse_c.mli OCAMLOPT parsing_c/unparse_c.ml File "parsing_c/unparse_c.ml", line 275, characters 2-31: 275 | Pretty_print_c.pp_program_gen pr_get_elem pr_space celem; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. OCAMLC parsing_c/unparse_hrule.mli OCAMLOPT parsing_c/unparse_hrule.ml File "parsing_c/unparse_hrule.ml", line 202, characters 6-33: 202 | Pretty_print_c.pp_param_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/unparse_hrule.ml", line 340, characters 5-31: 340 | Pretty_print_c.pp_type_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. OCAMLC parsing_c/type_c.mli OCAMLOPT parsing_c/type_c.ml OCAMLC parsing_c/cpp_ast_c.mli OCAMLOPT parsing_c/cpp_ast_c.ml OCAMLC parsing_c/type_annoter_c.mli OCAMLOPT parsing_c/type_annoter_c.ml OCAMLC parsing_c/comment_annotater_c.mli OCAMLOPT parsing_c/comment_annotater_c.ml OCAMLC parsing_c/compare_c.mli OCAMLOPT parsing_c/compare_c.ml OCAMLC parsing_c/test_parsing_c.mli OCAMLOPT parsing_c/test_parsing_c.ml OCAMLOPT -o parsing_c/parsing_c.cmxa OCAMLC ctl/flag_ctl.mli OCAMLOPT ctl/flag_ctl.ml OCAMLC ctl/ast_ctl.mli OCAMLOPT ctl/ast_ctl.ml OCAMLC ctl/pretty_print_ctl.mli OCAMLOPT ctl/pretty_print_ctl.ml OCAMLC ctl/ctl_engine.mli OCAMLOPT ctl/ctl_engine.ml OCAMLC ctl/wrapper_ctl.mli OCAMLOPT ctl/wrapper_ctl.ml OCAMLOPT -o ctl/ctl.cmxa OCAMLC ocaml/externalanalysis.mli OCAMLOPT ocaml/externalanalysis.ml OCAMLC ocaml/exposed_modules.mli OCAMLOPT ocaml/exposed_modules.ml OCAMLC ocaml/coccilib.mli OCAMLOPT ocaml/coccilib.ml File "ocaml/coccilib.ml", line 116, characters 2-19: 116 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s\n}" env s); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "ocaml/coccilib.ml", line 134, characters 2-19: 134 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s;\n}" env s); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC ocaml/ocamlcocci_aux.mli OCAMLOPT ocaml/ocamlcocci_aux.ml OCAMLC ocaml/yes_prepare_ocamlcocci.mli OCAMLOPT ocaml/yes_prepare_ocamlcocci.ml OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLOPT ocaml/prepare_ocamlcocci.ml OCAMLC ocaml/run_ocamlcocci.mli OCAMLOPT ocaml/run_ocamlcocci.ml OCAMLOPT -o ocaml/ocaml.cmxa OCAMLC python/pycocci_aux.mli OCAMLOPT python/pycocci_aux.ml OCAMLC python/yes_pycocci.mli OCAMLOPT python/yes_pycocci.ml OCAMLC python/pycocci.mli OCAMLOPT python/pycocci.ml OCAMLOPT -o python/python.cmxa OCAMLC engine/flag_matcher.mli OCAMLOPT engine/flag_matcher.ml OCAMLC engine/lib_engine.mli OCAMLOPT engine/lib_engine.ml OCAMLC engine/pretty_print_engine.mli OCAMLOPT engine/pretty_print_engine.ml OCAMLC engine/check_exhaustive_pattern.mli OCAMLOPT engine/check_exhaustive_pattern.ml OCAMLC engine/check_reachability.mli OCAMLOPT engine/check_reachability.ml OCAMLC engine/c_vs_c.mli OCAMLOPT engine/c_vs_c.ml OCAMLC engine/isomorphisms_c_c.mli OCAMLOPT engine/isomorphisms_c_c.ml OCAMLC engine/cocci_vs_c.mli OCAMLOPT engine/cocci_vs_c.ml OCAMLC engine/pattern_c.mli OCAMLOPT engine/pattern_c.ml OCAMLC engine/transformation_c.mli OCAMLOPT engine/transformation_c.ml OCAMLC engine/asttomember.mli OCAMLOPT engine/asttomember.ml OCAMLC engine/asttoctl2.mli OCAMLOPT engine/asttoctl2.ml OCAMLC engine/ctltotex.mli OCAMLOPT engine/ctltotex.ml OCAMLC engine/postprocess_transinfo.mli OCAMLOPT engine/postprocess_transinfo.ml OCAMLC engine/ctlcocci_integration.mli OCAMLOPT engine/ctlcocci_integration.ml OCAMLOPT -o engine/engine.cmxa OCAMLC popl09/ast_popl.mli OCAMLOPT popl09/ast_popl.ml OCAMLC popl09/asttopopl.mli OCAMLOPT popl09/asttopopl.ml OCAMLC popl09/insert_quantifiers.mli OCAMLOPT popl09/insert_quantifiers.ml OCAMLC popl09/pretty_print_popl.mli OCAMLOPT popl09/pretty_print_popl.ml OCAMLC popl09/flag_popl.mli OCAMLOPT popl09/flag_popl.ml OCAMLC popl09/popltoctl.mli OCAMLOPT popl09/popltoctl.ml OCAMLC popl09/popl.mli OCAMLOPT popl09/popl.ml OCAMLOPT -o popl09/popl09.cmxa OCAMLC extra/classic_patch.mli OCAMLOPT extra/classic_patch.ml OCAMLC extra/kbuild.mli OCAMLOPT extra/kbuild.ml OCAMLC extra/maintainers.mli OCAMLOPT extra/maintainers.ml OCAMLOPT -o extra/extra.cmxa OCAMLC flag_cocci.mli OCAMLOPT flag_cocci.ml OCAMLC cocci.mli OCAMLOPT cocci.ml OCAMLC testing.mli OCAMLOPT testing.ml OCAMLC read_options.mli OCAMLOPT read_options.ml OCAMLC enter.mli OCAMLOPT enter.ml File "enter.ml", line 844, characters 2-20: 844 | Common.short_usage usage_msg short_options; ^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label short_opt was omitted in the application of this function. File "enter.ml", line 853, characters 2-19: 853 | Common.long_usage usage_msg short_options other_options ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels short_opt, long_opt were omitted in the application of this function. OCAMLC main.mli OCAMLOPT main.ml OCAMLOPT -o spatch.opt /usr/bin/ld: main.o: warning: relocation in read-only section `.text' /usr/bin/ld: warning: creating DT_TEXTREL in a PIE 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 /usr/bin/ld: tools/spgen/source/main.o: warning: relocation in read-only section `.text' /usr/bin/ld: warning: creating DT_TEXTREL in a PIE 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/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi if test -f /usr/lib/ocaml/parmap/parmap.cmx; then \ cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx; \ fi make -C docs make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.1.1/docs' make -C manual all make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.1.1/docs/manual' ./find-xxdate: line 12: opam: command not found /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. kpathsea: Running mktexfmt pdflatex.fmt mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2021/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2021/texmf-var/web2c mktexfmt [INFO]: --- remaking pdflatex with pdftex mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (INITEX) restricted \write18 enabled. (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) entering extended mode (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) ./texsys.aux found \@currdir set to: ./. Assuming \openin and \input have the same search path. Defining UNIX/DOS style filename parser. catcodes, registers, parameters, LaTeX2e <2020-10-01> patch level 4 (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3-code.tex (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/l3deprecation.def))) (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.tex)) hacks, control, par, spacing, files, font encodings, lengths, ==================================== Local config file fonttext.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) ==================================== Local config file fontmath.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) ==================================== Local config file preload.cfg used ===================================== (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, environments, center, verbatim, math definitions, boxes, title, sectioning, contents, floats, footnotes, index, bibliography, output, =========================================== Local configuration file hyphen.cfg used =========================================== (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu)) (/usr/share/texlive/texmf-dist/tex/latex/firstaid/latex2e-first-aid-for-externa l-files.ltx) ) ) Beginning to dump on file pdflatex.fmt (preloaded format=pdflatex 2022.12.23) 19194 strings of total length 344850 280641 memory locations dumped; current usage is 165&279285 17486 multiletter control sequences \font\nullfont=nullfont \font\c__fp_exp_intarray=cmr10 at 0.00002pt \font\c__fp_trig_intarray=cmr10 at 0.00003pt \font\c_initex_cctab=cmr10 at 0.00005pt \font\c_other_cctab=cmr10 at 0.00006pt \font\c_str_cctab=cmr10 at 0.00008pt \font\g__regex_state_active_intarray=cmr10 at 0.00009pt \font\g__regex_thread_info_intarray=cmr10 at 0.0001pt \font\g__regex_submatch_prev_intarray=cmr10 at 0.00012pt \font\g__regex_submatch_begin_intarray=cmr10 at 0.00014pt \font\g__regex_submatch_end_intarray=cmr10 at 0.00015pt \font\g__regex_balance_intarray=cmr10 at 0.00017pt \font\OMX/cmex/m/n/10=cmex10 \font\tenln=line10 \font\tenlnw=linew10 \font\tencirc=lcircle10 \font\tencircw=lcirclew10 \font\OT1/cmr/m/n/5=cmr5 \font\OT1/cmr/m/n/7=cmr7 \font\OT1/cmr/m/n/10=cmr10 \font\OML/cmm/m/it/5=cmmi5 \font\OML/cmm/m/it/7=cmmi7 \font\OML/cmm/m/it/10=cmmi10 \font\OMS/cmsy/m/n/5=cmsy5 \font\OMS/cmsy/m/n/7=cmsy7 \font\OMS/cmsy/m/n/10=cmsy10 \font\c_code_cctab=cmr10 at 0.00018pt \font\c_document_cctab=cmr10 at 0.0002pt 403423 words of font info for 27 preloaded fonts 14 hyphenation exceptions Hyphenation trie of length 6081 has 183 ops out of 35111 2 for language 1 181 for language 0 0 words of pdfTeX memory 0 indirect objects No pages of output. Transcript written on pdflatex.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2021/texmf-var/web2c/pdftex/pdflatex.log mktexfmt [INFO]: /builddir/.texlive2021/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: exiting with status 0 entering extended mode (./manual.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/usr/share/texliv e/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]pdfTeX warning (ext4): destinat ion with the same identifier (name{page.1}) has been already used, duplicate ig nored \relax l.116 \chapter *{Foreword} [1] (../../version) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) LaTeX Warning: Reference `part:usermanual' on page 2 undefined on input line 12 1. LaTeX Warning: Reference `part:refmanual' on page 2 undefined on input line 122 . (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Underfull \hbox (badness 10000) in paragraph at lines 136--139 [2] [3] (./introduction.tex Chapter 1. ) (./installing.tex [4] Chapter 2. ) (./tutorial.tex [5] Chapter 3. ) [6] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [7] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [8] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [9] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [10] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [11] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [12] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [13] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) (./tips.tex [14] Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) (./isomorphisms.tex [15] Chapter 5. ) (./parsing.tex [16] Chapter 6. ) (./workflow.tex [17] Chapter 7. ) (./advanced.tex [18] Chapter 8. ) [19] [20] Chapter 9. (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) Overfull \hbox (14.32869pt too wide) in paragraph at lines 81--123 [] [21] [22] Overfull \hbox (5.14468pt too wide) in paragraph at lines 216--278 [] [23] [24] LaTeX Warning: Reference `types' on page 25 undefined on input line 372. [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1272--1274 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [35] [36] [37] [38] Overfull \hbox (2.84468pt too wide) in paragraph at lines 1563--1613 [] [39] [40] [41pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box l.1747 ] [42] [43] [44]) [45] Chapter 10. (./spatch_options.tex Overfull \hbox (2.95383pt too wide) in paragraph at lines 43--46 []\T1/pcr/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/p tm/m/n/10 : Ap-ply the se-man-tic patch [46] (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) LaTeX Font Warning: Font shape `U/ifgeo/b/n' undefined (Font) using `U/ifgeo/m/n' instead on input line 73. [47] [48] Overfull \hbox (53.96228pt too wide) in paragraph at lines 205--206 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex-cocci.sh\T1/ptm /m/n/10 . Overfull \hbox (23.08131pt too wide) in paragraph at lines 221--221 \T1/ptm/m/n/10 vant. This op-tion re-quires that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us-ing the script \T1/pcr/m/n/10 coccinelle/scripts/ [49] Overfull \hbox (61.07932pt too wide) in paragraph at lines 298--299 \T1/ptm/m/n/10 spacing-score-file is pro-vided, then that file is used for the re-sult. Oth-er-wise, the re-sult goes in ``test-s/S-CORE_spacing_expected.sexp ''. Overfull \hbox (13.36246pt too wide) in paragraph at lines 310--311 \T1/pcr/m/n/10 --compare-with-expected\T1/ptm/m/n/10 . The lead-ing dot is op-t ional. This im-plic-itly sets the \T1/pcr/m/n/10 --compare-with-expected Overfull \hbox (31.46255pt too wide) in paragraph at lines 335--336 \T1/ptm/m/n/10 on which the er-ror oc-curs. This func-tion should then be passe d to the func-tion \T1/pcr/m/n/10 Parse_c.set_parse_error_function\T1/ptm/m/n/1 0 . [50] [51] [52] [53] [54] Overfull \hbox (6.74498pt too wide) in paragraph at lines 690--691 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [55] [56]) [57] [58] (./license.txt [59] [60] [61] [62]) No file manual.bbl. [63] (./manual.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `manual.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) ) (see the transcript file for additional information)pdfTeX warning (dest): name {nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does no t exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{CONCAT\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{int\\protect\040\\T1\\textunderscore\040compare\\pr otect\040\\T1\\textunderscore\040constraint} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040compare\\pro tect\040\\T1\\textunderscore\040constraint} has been referenced but does not ex ist, replaced by a fixed one pdfTeX warning (dest): name{regexp\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{compare\\protect\040\\T1\\textunderscore\040constra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unary\\protect\040\\T1\\textunderscore\040op} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unop\\protect\040\\T1\\textunderscore\040constraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmvids\\protect\040\\T1\\textunderscore\040with\\pr otect\040\\T1\\textunderscore\040constraints} has been referenced but does not exist, replaced by a fixed on kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeo10 kpathsea: Running mktexfmt mf.base mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2021/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2021/texmf-var/web2c mktexfmt [INFO]: --- remaking mf with mf-nowin mktexfmt: running `mf-nowin -ini -jobname=mf -progname=mf -translate-file=cp227.tcx mf.ini' ... This is METAFONT, Version 2.71828182 (TeX Live 2021) (INIMF) (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) (/usr/share/texlive/texmf-dist/metafont/config/mf.ini (/usr/share/texlive/texmf-dist/metafont/base/plain.mf Preloading the plain base, version 2.71: preliminaries, basic constants and mathematical macros, macros for converting from device-independent units to pixels, macros and tables for various modes of operation, macros for drawing and filling, macros for proof labels and rules, macros for character and font administration, and a few last-minute items.) (/usr/share/texlive/texmf-dist/fonts/source/public/modes/modes.mf) ) Beginning to dump on file mf.base (preloaded base=mf 2022.12.23) 2237 strings of total length 30212 11955 memory locations dumped; current usage is 3679&7916 1011 symbolic tokens Transcript written on mf.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2021/texmf-var/web2c/metafont/mf.log mktexfmt [INFO]: /builddir/.texlive2021/texmf-var/web2c/metafont/mf.base installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: exiting with status 0 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeo10 This is METAFONT, Version 2.71828182 (TeX Live 2021) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeo10.tfm. Output written on ifgeo10.600gf (67 characters, 15684 bytes). Transcript written on ifgeo10.log. mktexpk: /builddir/.texlive2021/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. e pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040constraints} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040seed} has been referenced but does not exist, r eplaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one { /usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (64 pages, 307207 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/usr/share/texliv e/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./manual.toc (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd)pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, dup licate ignored \relax l.33 ...sic transformations}{33}{subsection.9.5.1} % [1]) [2] (../../version) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) Underfull \hbox (badness 10000) in paragraph at lines 136--139 [3] [4] (./introduction.tex Chapter 1. ) (./installing.tex [5] Chapter 2. ) (./tutorial.tex [6] Chapter 3. ) [7] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [8] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [9] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [10] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [11] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [12] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [13] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [14] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) (./tips.tex [15] Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) (./isomorphisms.tex [16] Chapter 5. ) (./parsing.tex [17] Chapter 6. ) (./workflow.tex [18] Chapter 7. ) (./advanced.tex [19] Chapter 8. ) [20] [21] Chapter 9. (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) Overfull \hbox (14.32869pt too wide) in paragraph at lines 81--123 [] [22] [23] Overfull \hbox (5.14468pt too wide) in paragraph at lines 216--278 [] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1272--1274 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [36] [37] [38] [39] Overfull \hbox (2.84468pt too wide) in paragraph at lines 1563--1613 [] [40] [41] [42pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box l.1747 ] [43] [44] [45]) [46] Chapter 10. (./spatch_options.tex Overfull \hbox (2.95383pt too wide) in paragraph at lines 43--46 []\T1/pcr/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/p tm/m/n/10 : Ap-ply the se-man-tic patch [47] (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) LaTeX Font Warning: Font shape `U/ifgeo/b/n' undefined (Font) using `U/ifgeo/m/n' instead on input line 73. [48] [49] Overfull \hbox (53.96228pt too wide) in paragraph at lines 205--206 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex-cocci.sh\T1/ptm /m/n/10 . Overfull \hbox (23.08131pt too wide) in paragraph at lines 221--221 \T1/ptm/m/n/10 vant. This op-tion re-quires that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us-ing the script \T1/pcr/m/n/10 coccinelle/scripts/ [50] Overfull \hbox (61.07932pt too wide) in paragraph at lines 298--299 \T1/ptm/m/n/10 spacing-score-file is pro-vided, then that file is used for the re-sult. Oth-er-wise, the re-sult goes in ``test-s/S-CORE_spacing_expected.sexp ''. Overfull \hbox (13.36246pt too wide) in paragraph at lines 310--311 \T1/pcr/m/n/10 --compare-with-expected\T1/ptm/m/n/10 . The lead-ing dot is op-t ional. This im-plic-itly sets the \T1/pcr/m/n/10 --compare-with-expected Overfull \hbox (31.46255pt too wide) in paragraph at lines 335--336 \T1/ptm/m/n/10 on which the er-ror oc-curs. This func-tion should then be passe d to the func-tion \T1/pcr/m/n/10 Parse_c.set_parse_error_function\T1/ptm/m/n/1 0 . [51] [52] [53] [54] [55] Overfull \hbox (6.74498pt too wide) in paragraph at lines 690--691 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [56] [57]) [58] [59] (./license.txt [60] [61] [62] [63]) No file manual.bbl. [64] (./manual.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) ) (see the transcript file for additional information)pdfTeX warning (dest): name {nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does no t exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{CONCAT\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{int\\protect\040\\T1\\textunderscore\040compare\\pr otect\040\\T1\\textunderscore\040constraint} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040compare\\pro tect\040\\T1\\textunderscore\040constraint} has been referenced but does not ex ist, replaced by a fixed one pdfTeX warning (dest): name{regexp\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{compare\\protect\040\\T1\\textunderscore\040constra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unary\\protect\040\\T1\\textunderscore\040op} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unop\\protect\040\\T1\\textunderscore\040constraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmvids\\protect\040\\T1\\textunderscore\040with\\pr otect\040\\T1\\textunderscore\040constraints} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040constraints} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040seed} has been referenced but does not exist, r eplaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one { /usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (65 pages, 316640 bytes). Transcript written on manual.log. #spatch --control-flow-to-file flow1.c #spatch --control-flow-to-file flow2.c #dot -Gsize="0.5,0.5" -Tpdf flow1:main.dot > flow1.pdf #dot -Gsize="0.5,0.5" -Tpdf flow2:main.dot > flow2.pdf /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file main_grammar.aux. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (14.32625pt too wide) in paragraph at lines 81--123 [] [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [2] Overfull \hbox (5.14224pt too wide) in paragraph at lines 216--278 [] [3] [4] LaTeX Warning: Reference `types' on page 5 undefined on input line 372. [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1272--1274 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [15] [16] [17] [18] Overfull \hbox (2.84224pt too wide) in paragraph at lines 1563--1613 [] [19] [20] [21pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box l.1747 ] [22] [23] [24]) [25] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [26] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [27] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [28] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [29] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [30] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [31] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [32] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) [33] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) [34] (./main_grammar.aux (./examples.aux) (./tips.aux)) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `main_grammar.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information)pdfTeX warning (dest): name {nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does no t exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{CONCAT\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{int\\protect\040\\T1\\textunderscore\040compare\\pr otect\040\\T1\\textunderscore\040constraint} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040compare\\pro tect\040\\T1\\textunderscore\040constraint} has been referenced but does not ex ist, replaced by a fixed one pdfTeX warning (dest): name{regexp\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{compare\\protect\040\\T1\\textunderscore\040constra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unary\\protect\040\\T1\\textunderscore\040op} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unop\\protect\040\\T1\\textunderscore\040constraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmvids\\protect\040\\T1\\textunderscore\040with\\pr otect\040\\T1\\textunderscore\040constraints} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040constraints} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040seed} has been referenced but does not exist, r eplaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on main_grammar.pdf (34 pages, 242189 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./main_grammar.aux (./examples.aux) (./tips.aux)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./main_grammar.out) (./main_grammar.out) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (14.32625pt too wide) in paragraph at lines 81--123 [] [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [2] Overfull \hbox (5.14224pt too wide) in paragraph at lines 216--278 [] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1272--1274 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [15] [16] [17] [18] Overfull \hbox (2.84224pt too wide) in paragraph at lines 1563--1613 [] [19] [20] [21pdfTeX warning (ext4): destination with the same identifier (name{ gram\\_o}) has been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box l.1747 ] [22] [23] [24]) [25] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [26] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [27] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [28] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [29] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [30] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [31] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [32] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) [33] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) [34] (./main_grammar.aux (./examples.aux) (./tips.aux)) ) (see the transcript file for additional information)pdfTeX warning (dest): name {nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does no t exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{attribute} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{CONCAT\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{int\\protect\040\\T1\\textunderscore\040compare\\pr otect\040\\T1\\textunderscore\040constraint} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040compare\\pro tect\040\\T1\\textunderscore\040constraint} has been referenced but does not ex ist, replaced by a fixed one pdfTeX warning (dest): name{regexp\\protect\040\\T1\\textunderscore\040constrai nt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{compare\\protect\040\\T1\\textunderscore\040constra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unary\\protect\040\\T1\\textunderscore\040op} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{unop\\protect\040\\T1\\textunderscore\040constraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040constrain t} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040constr aint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmvids\\protect\040\\T1\\textunderscore\040with\\pr otect\040\\T1\\textunderscore\040constraints} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040constraints} has been referenced but does not e xist, replaced by a fixed one pdfTeX warning (dest): name{pmids\\protect\040\\T1\\textunderscore\040with\\pro tect\040\\T1\\textunderscore\040seed} has been referenced but does not exist, r eplaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on main_grammar.pdf (34 pages, 244127 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file options.aux. (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 43--46 []\T1/cmtt/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/ cmr/m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/usr/share/texlive /texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] Overfull \hbox (20.8289pt too wide) in paragraph at lines 310--311 \T1/cmr/m/n/10 with \T1/cmtt/m/n/10 --compare-with-expected\T1/cmr/m/n/10 . The lead-ing dot is op-tional. This im-plic-itly sets the \T1/cmtt/m/n/10 --compar e-with-expected [5] [6] [7] [8] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10] [11]) [12] (./options.aux) ) ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc} kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeob10 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeob10 This is METAFONT, Version 2.71828182 (TeX Live 2021) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeob10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeob10.tfm. Output written on ifgeob10.600gf (67 characters, 15036 bytes). Transcript written on ifgeob10.log. mktexpk: /builddir/.texlive2021/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk: successfully generated. {/usr/share/texlive/texmf-dist/font s/enc/dvips/cm-super/cm-super-ts1.enc} Output written on options.pdf (12 pages, 214946 bytes). Transcript written on options.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./options.aux) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 43--46 []\T1/cmtt/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/ cmr/m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/usr/share/texlive /texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] Overfull \hbox (20.8289pt too wide) in paragraph at lines 310--311 \T1/cmr/m/n/10 with \T1/cmtt/m/n/10 --compare-with-expected\T1/cmr/m/n/10 . The lead-ing dot is op-tional. This im-plic-itly sets the \T1/cmtt/m/n/10 --compar e-with-expected [5] [6] [7] [8] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10] [11]) [12] (./options.aux) ) ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc} {/usr/share/texlive/texmf-dist/font s/enc/dvips/cm-super/cm-super-ts1.enc} Output written on options.pdf (12 pages, 214946 bytes). Transcript written on options.log. hevea -exec /usr/share/hevea/xxdate.exe main_grammar.tex Exclude comment 'comment' /usr/share/hevea/hyperref.hva:72: Warning: Ignoring option: 'pdfborder=0 0 0' ./main_grammar.tex:26: Warning: Ignoring (re-)definition of '\phantom' by \newcommand ./main_grammar.aux:14: Giving up command: \addtokens ./main_grammar.aux:4: Giving up command: \AtBeginDocument ./main_grammar.aux:4: Giving up command: \HyperFirstAtBeginDocument ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Giving up command: \@readaux ./main_grammar.tex:37: Warning: Failure while reading .aux, reading .haux ./examples.tex:19: Warning: minipage, output may be poor ./examples.tex:40: Warning: minipage, output may be poor ./examples.tex:51: Warning: minipage, output may be poor ./examples.tex:341: Warning: keyval, unknown key: 'breaklines' ./examples.tex:398: Warning: Command not found: \lstdd@ ./examples.tex:398: Warning: Command not found: \lstlang@@ ./examples.tex:398: Warning: keyval, unknown key: 'breaklines' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. hevea -exec /usr/share/hevea/xxdate.exe main_grammar.tex Exclude comment 'comment' /usr/share/hevea/hyperref.hva:72: Warning: Ignoring option: 'pdfborder=0 0 0' ./main_grammar.tex:26: Warning: Ignoring (re-)definition of '\phantom' by \newcommand ./main_grammar.aux:14: Giving up command: \addtokens ./main_grammar.aux:4: Giving up command: \AtBeginDocument ./main_grammar.aux:4: Giving up command: \HyperFirstAtBeginDocument ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Giving up command: \@readaux ./main_grammar.tex:37: Warning: Failure while reading .aux, reading .haux ./main_grammar.haux:12: Giving up command: \ifx ./main_grammar.haux:12: Giving up command: \@fst ./main_grammar.haux:12: Giving up command: \@funcall ./main_grammar.haux:12: Giving up command: \@newlabel ./main_grammar.haux:12: Giving up command: \newlabel ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Warning: Failure while reading .haux ./examples.tex:19: Warning: minipage, output may be poor ./examples.tex:40: Warning: minipage, output may be poor ./examples.tex:51: Warning: minipage, output may be poor ./examples.tex:341: Warning: keyval, unknown key: 'breaklines' ./examples.tex:398: Warning: Command not found: \lstdd@ ./examples.tex:398: Warning: Command not found: \lstlang@@ ./examples.tex:398: Warning: keyval, unknown key: 'breaklines' hacha -o index.html main_grammar.html main_grammar.html:1328: Warning, multiple definitions for anchor: gram_o main_grammar.html:1208: Warning, cannot find anchor: attribute main_grammar.html:1216: Warning, cannot find anchor: attribute main_grammar.html:1217: Warning, cannot find anchor: attribute make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.1.1/docs/manual' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.1.1/docs' make docs -C tools/spgen/documentation make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.1.1/tools/spgen/documentation' /usr/bin/pdflatex -halt-on-error documentation.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./documentation.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def)) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file documentation.aux. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) [1{/usr/share/texlive/ texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./about.tex) [2] (./usage.tex LaTeX Warning: Reference `sudo' on page 3 undefined on input line 10. [3] LaTeX Warning: Reference `config' on page 4 undefined on input line 35. [4]) [5] (./implementation.tex) [6] (./knownissues.tex [7]) [8] (./future.tex) [9] (./documentation.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `documentation.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ){/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr /share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on documentation.pdf (9 pages, 304770 bytes). Transcript written on documentation.log. /usr/bin/pdflatex -halt-on-error documentation.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./documentation.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-05-07> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def)) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./documentation.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./documentation.out) (./documentation.out) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) (./documentation.toc) [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./about.tex) [2] (./usage.tex [3] [4]) [5] (./implementation.tex) [6] (./knownissues.tex [7]) [8] (./future.tex) [9] (./documentation.aux) ){/usr/sha re/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texl ive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on documentation.pdf (9 pages, 314876 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.uZGtHE + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386 ++ dirname /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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/lib: + 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-14.fc38.i386/usr/lib/python/coccilib + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386 'INSTALL=/usr/bin/install -p' mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/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-14.fc38.i386/usr/lib; \ 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-14.fc38.i386/usr/lib; \ fi /usr/bin/install -p -m 755 spatch.opt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/spatch /usr/bin/install -p -m 644 standard.h /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib /usr/bin/install -p -m 644 standard.iso /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib /usr/bin/install -p -m 644 ocaml/*.cmi /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/ocaml/ if test -f ocaml/coccilib.cmx; then \ /usr/bin/install -p -m 644 ocaml/*.cmx /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/ocaml/; \ fi /usr/bin/install -p -m 755 tools/spgen/source/spgen.opt \ /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/spgen mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python/coccilib /usr/bin/install -p -m 644 python/coccilib/*.py \ /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python/coccilib if test "x/usr/share/bash-completion/completions" != "xno"; then \ mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/bash-completion/completions; \ /usr/bin/install -p -m 644 scripts/spatch.bash_completion \ /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/bash-completion/completions/spatch; \ fi mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/man/man1 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/man/man3 /usr/bin/install -p -m 644 docs/spatch.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/pycocci.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/spgen.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/Coccilib.3cocci /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/man/man3/ + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/spatch.byte + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/spatch.opt + pushd /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib ~/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib ~/build/BUILD/coccinelle-1.1.1 + mkdir coccinelle + mkdir coccinelle/ocaml + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f standard.h ']' + mv standard.h coccinelle/standard.h + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f standard.iso ']' + mv standard.iso coccinelle/standard.iso + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch.byte ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch.opt ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast0_cocci.cmi ']' + mv ocaml/ast0_cocci.cmi coccinelle/ocaml/ast0_cocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast_c.cmi ']' + mv ocaml/ast_c.cmi coccinelle/ocaml/ast_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast_cocci.cmi ']' + mv ocaml/ast_cocci.cmi coccinelle/ocaml/ast_cocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/coccilib.cmi ']' + mv ocaml/coccilib.cmi coccinelle/ocaml/coccilib.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/commands.cmi ']' + mv ocaml/commands.cmi coccinelle/ocaml/commands.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/common.cmi ']' + mv ocaml/common.cmi coccinelle/ocaml/common.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/config.cmi ']' + mv ocaml/config.cmi coccinelle/ocaml/config.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/dumper.cmi ']' + mv ocaml/dumper.cmi coccinelle/ocaml/dumper.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/exposed_modules.cmi ']' + mv ocaml/exposed_modules.cmi coccinelle/ocaml/exposed_modules.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/externalanalysis.cmi ']' + mv ocaml/externalanalysis.cmi coccinelle/ocaml/externalanalysis.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/flag.cmi ']' + mv ocaml/flag.cmi coccinelle/ocaml/flag.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/flag_parsing_c.cmi ']' + mv ocaml/flag_parsing_c.cmi coccinelle/ocaml/flag_parsing_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/iteration.cmi ']' + mv ocaml/iteration.cmi coccinelle/ocaml/iteration.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/lexer_c.cmi ']' + mv ocaml/lexer_c.cmi coccinelle/ocaml/lexer_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/lib_parsing_c.cmi ']' + mv ocaml/lib_parsing_c.cmi coccinelle/ocaml/lib_parsing_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ocamlcocci_aux.cmi ']' + mv ocaml/ocamlcocci_aux.cmi coccinelle/ocaml/ocamlcocci_aux.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parmap.cmi ']' + mv ocaml/parmap.cmi coccinelle/ocaml/parmap.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parse_c.cmi ']' + mv ocaml/parse_c.cmi coccinelle/ocaml/parse_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parser_c.cmi ']' + mv ocaml/parser_c.cmi coccinelle/ocaml/parser_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/prepare_ocamlcocci.cmi ']' + mv ocaml/prepare_ocamlcocci.cmi coccinelle/ocaml/prepare_ocamlcocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/pretty_print_c.cmi ']' + mv ocaml/pretty_print_c.cmi coccinelle/ocaml/pretty_print_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/regexp.cmi ']' + mv ocaml/regexp.cmi coccinelle/ocaml/regexp.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/run_ocamlcocci.cmi ']' + mv ocaml/run_ocamlcocci.cmi coccinelle/ocaml/run_ocamlcocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/token_c.cmi ']' + mv ocaml/token_c.cmi coccinelle/ocaml/token_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/visitor_c.cmi ']' + mv ocaml/visitor_c.cmi coccinelle/ocaml/visitor_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/yes_prepare_ocamlcocci.cmi ']' + mv ocaml/yes_prepare_ocamlcocci.cmi coccinelle/ocaml/yes_prepare_ocamlcocci.cmi + popd ~/build/BUILD/coccinelle-1.1.1 + mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python3.11/site-packages + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python/coccilib /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python3.11/site-packages + rmdir /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/spatch /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle + cp -p tools/pycocci /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/ + cp -p scripts/spatch.sh /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/spatch + chmod a+x /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/spatch + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.1.1-14.fc38 --unique-debug-suffix -1.1.1-14.fc38.i386 --unique-debug-src-base coccinelle-1.1.1-14.fc38.i386 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/coccinelle-1.1.1 extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/bin/spgen extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle/spatch original debug info size: 13720kB, size after compression: 13716kB /usr/bin/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. cpio: : Cannot stat: No such file or directory cpio: buffer.ml: Cannot stat: No such file or directory cpio: bytes.ml: Cannot stat: No such file or directory cpio: filename.ml: Cannot stat: No such file or directory cpio: format.ml: Cannot stat: No such file or directory cpio: hashtbl.ml: Cannot stat: No such file or directory cpio: lexing.ml: Cannot stat: No such file or directory cpio: list.ml: Cannot stat: No such file or directory cpio: map.ml: Cannot stat: No such file or directory cpio: marshal.ml: Cannot stat: No such file or directory cpio: otherlibs/dynlink/dynlink_common.ml: Cannot stat: No such file or directory cpio: printf.ml: Cannot stat: No such file or directory cpio: py.ml: Cannot stat: No such file or directory cpio: random.ml: Cannot stat: No such file or directory cpio: set.ml: Cannot stat: No such file or directory cpio: src/parmap.ml: Cannot stat: No such file or directory cpio: stdlib.ml: Cannot stat: No such file or directory cpio: str.ml: Cannot stat: No such file or directory cpio: string.ml: Cannot stat: No such file or directory cpio: unix.ml: Cannot stat: No such file or directory 28528 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /usr/bin/spatch from /bin/sh -e to #!/usr/bin/sh -e + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 Bytecompiling .py files below /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python3.11 using python3.11 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.QWoNJz + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/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/lib: + 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-14.fc38.i386/usr/lib/coccinelle + COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle + spatch=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle/spatch + export LD_LIBRARY_PATH=. + LD_LIBRARY_PATH=. + export PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python3.11/site-packages: + PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/python3.11/site-packages: + /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle/spatch --help Usage: spatch --sp-file [-o ] [--iso-file ] [options] Options are: main options ----------------------------------------------------------------------- --sp-file the semantic patch file --opt-c a c file to process if it exists -o the output file --in-place do the modification on the file directly (backup file name specified with --suffix) --suffix suffix to use when making a backup for inplace or for result of --out-place --out-place store modifications in a .cocci_res file (renamable via --suffix) --reverse invert the semantic patch before applying it -U set number of diff context lines --partial-match report partial matches of the SP on the C file --iso-file (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle/standard.iso) --macro-file --macro-file-builtins (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle/standard.h) --recursive-includes causes all available include files, both those included in the C file(s) and those included in header files, to be used --all-includes causes all available include files included in the C file(s) to be used --no-includes causes not even local include files to be used --local-includes causes local include files to be used --include-headers-for-types use only type information from header files --no-include-cache don't cache parsed include files --ignore-unknown-options For integration in a toolchain (must be set before the first unknown option) --include-headers process header files independently -I containing the header files --include file to consider as being included --preprocess run the C preprocessor before applying the semantic match -c gcc/cpp compatibility mode --dir process all files in directory recursively --ignore specify a file name prefix to ignore --file-groups process the file groups listed in the file --no-scanner no indexing --use-gitgrep works with -dir, works on git tree subdirectories --use-glimpse works with -dir, use info generated by glimpseindex --use-idutils find relevant files using id-utils --use-coccigrep find relevant files using cocci grep --patch path name with respect to which a patch should be created "" for a file in the current directory --kbuild-info improve -dir by grouping related c files --python Sets the path to the python interpreter --pyoutput Sets output routine: Default value: coccilib.output.Console --parse-handler Loads the file containing the OCaml code in charge of parse errors reporting --print-options-only print selected options and exit --version print version and build info --date guess what --shorthelp see short list of options --longhelp see all the available options in different categories aliases and obsolete options ----------------------------------------------------------------------- --sp command line semantic patch --iso short option of --iso-file --cocci-file the semantic patch file most useful show options ----------------------------------------------------------------------- --show-diff --no-show-diff --force-diff show diff even if only spacing changes --show-flow --ctl-inline-let --ctl-show-mcodekind --show-bindings --show-transinfo --show-misc --show-trying show the name of each function being processed --show-dependencies show the dependencies related to each rule verbose subsystems options ----------------------------------------------------------------------- --verbose-ctl-engine --verbose-match --verbose-engine --graphical-trace generate a pdf file representing the matching process --gt-without-label remove graph label (requires option -graphical-trace) --parse-error-msg --verbose-parsing --verbose-includes show on stderr which files are chosen for inclusion --type-error-msg other show options ----------------------------------------------------------------------- --show-c --show-cocci --show-before-fixed-flow --show-ctl-tex --show-ctl-text --show-SP debug C parsing/unparsing ----------------------------------------------------------------------- --debug-cpp --debug-lexer --debug-etdt --debug-typedef --filter-msg filter some cpp message when the macro is a "known" cpp construct --filter-define-error --filter-msg-define-error filter the error msg --filter-passed-level --debug-unparsing --debug-parse-cocci shortcut for enabling/disabling a set of debugging options at once ----------------------------------------------------------------------- --quiet --very-quiet --debug --pad bench options ----------------------------------------------------------------------- --profile gather timing information about the main coccinelle functions --profile-per-file gather timing information for each file (implies --profile) --bench for profiling the CTL engine --timeout timeout in seconds, 0 for no timeout --steps max number of model checking steps per code unit --iso-limit max depth of iso application --no-iso-limit disable limit on max depth of iso application --track-iso gather information about isomorphism usage --disable-iso disable a specific isomorphism --profile-iso gather information about the cost of isomorphism usage change of algorithm options ----------------------------------------------------------------------- --keep-comments keep comments around removed code --loop --no-loops drop all back edges derived from looping constructs - unsafe --no-gotos drop all jumps derived from gotos - unsafe --no-saved-typedefs drop all inferred typedefs from one parse of some code to the next --ocaml-regexps use OCaml Str regular expressions for constraints --l1 --ifdef-to-if convert ifdef to if (experimental) --no-ifdef-to-if convert ifdef to if (experimental) --disable-multi-pass --noif0-passing --itu Experimental extensions for handling #ifdef developed at ITU.dk --defined treat cpp symbol as defined in #ifdef --undefined treat cpp symbol as undefined in #ifdef --noadd-typedef-root --disallow-nested-exps disallow an expression pattern from matching a term and its subterm --disable-worth-trying-opt run the semantic patch even if the C file contains no relevant tokens --selected-only only show selected files --only-return-is-error-exit if this flag is not set, then break and continue are also error exits --allow-inconsistent-paths if this flag is set don't check for inconsistent paths; dangerous --no-safe-expressions make an expression disjunction not prioritise the topmost disjunct --int-bits the number of bits in an unsigned int --long-bits the number of bits in an unsigned long --linux-spacing spacing of + code follows the conventions of Linux --smpl-spacing spacing of + code follows the semantic patch --indent default indent, in spaces (no tabs) --max-width column limit for generated code -D indicate that a virtual rule should be considered to be matched --c++ make a small attempt to parse C++ files --c++= same as --c++ but allows to specify a version (e.g. --c++=11) --ibm make a small attempt to parse IBM C files --force-kr despite the presence of non-K&R code, keep looking for K&R code --prevent-kr never make an identifier parameter alone into a K&R parameter misc options ----------------------------------------------------------------------- --debugger option to set if launch spatch in ocamldebug --disable-once to print more messages --show-trace-profile show trace --save-tmp-files --external-analysis-file import results from an external analysis concurrency ----------------------------------------------------------------------- --index the processor to use for this run of spatch --max the number of processors available --mod-distrib use mod to distribute files among the processors --jobs the number of processes to be used -j the number of processes to be used --chunksize the size of work chunks for parallelism --tmp-dir prefix of temporary directories for parallelism --temp-files prefix of temporary directory for cocci files pad options ----------------------------------------------------------------------- --use-cache use .ast_raw pre-parsed cached C file --cache-prefix directory of cached ASTs, sets --use-cache --cache-limit maximum number of cached ASTs, sets --use-cache test mode and test options (works with tests/ or .ok files) ----------------------------------------------------------------------- The test options don't work with the --sp-file and so on. --test launch spatch on tests/file.[c,cocci] --testall launch spatch on all files in tests/ having a .res --test-spacing check that the result matches the .res file exactly --test-okfailed generates .{ok,failed,spatch_ok} files using .res files --test-regression-okfailed process the .{ok,failed,spatch_ok} files in current dir --compare-with-expected use also file.res --expected-extension extension for --compare-with-expected; implicitly sets --compare-with-expected --expected-score-file which score file to compare with in --testall --expected-spacing-score-file which score file to compare with in --test-spacing --no-update-score-file do not update the score file when -testall succeeds --relax-include-path action mode ----------------------------------------------------------------------- The action options don't work with the --sp-file and so on. It's for the other (internal) uses of the spatch program. --tokens-c --parse-c --parse-h --parse-ch --parse-i --parse-c++ --parse --show-flow --control-flow --control-flow-to-file --test-cfg-ifdef --parse-unparse --type-c --compare-c --comment-annotater-c --compare-c-hardcoded --test-attributes --test-cpp --extract-macros --extract-macros-select --xxx <> --parse-cocci --rule-dependencies --compare-c + /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle/spatch -sp_file demos/simple.cocci demos/simple.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle/standard.h HANDLING: demos/simple.c diff = --- demos/simple.c +++ /tmp/cocci-output-4902-cbe3b7-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-14.fc38.i386/usr/lib/coccinelle/spatch --sp-file /builddir/build/SOURCES/testpy.cocci /builddir/build/SOURCES/test.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/lib/coccinelle/standard.h HANDLING: /builddir/build/SOURCES/test.c Hello World! + RPM_EC=0 ++ jobs -p + exit 0 Processing files: coccinelle-1.1.1-14.fc38.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Rog3Ae + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle + cp -pr authors.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle + cp -pr bugs.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle + cp -pr changes.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle + cp -pr credits.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle + cp -pr install.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle + cp -pr readme.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Ac5TkQ + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/licenses/coccinelle + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/licenses/coccinelle + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/licenses/coccinelle + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/licenses/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_helpers)=4da1e2260fbcc387344b596016ca12ca from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=baf8f1dd2a1540a207f8170399d14a50 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_recovery_c)=14f06d9d227c791d82a3f0ca4c78b5cc from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_hacks)=a491259321421c01192e271aea30c381 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_consistency_c)=b51bbcb5292125ecba9c60399eacf5d2 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes_cache)=a6584617f7a912ba6dcba6eff951c391 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes)=ffb7a8f2521a1d82d98c4b36425afbab from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Danger)=38b208628b2aa08f7462458a98ab5ad9 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Token_helpers)=c587b92ac264dc91e6b0d990718151b1 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=9754c3b2faa20838aa5d44fc149a6e25 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_stat)=1cedaa92d8a2e64430f5550eebcae6a6 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_recovery_c)=1f12a99694c48dc776d5e63231027aef from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_hacks)=5492e07fa0d5c988dabe8aed4fb36456 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_consistency_c)=2c9d5c801c37902786d1b33ce72231ab from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=d440920c3ce11ea58e7ee0c980268af9 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes_cache)=5c2bc17bb5c02ca8bec03a4a8e7eafbe from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes)=643254ca027fa41d9dfffa792dff786f from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Danger)=7f66f12c9a4050faa172cb67d9ee9c01 from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Cpp_token_c)=eb62f23589701ce70f9fc57e11f1a99d from /usr/lib/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=baf8f1dd2a1540a207f8170399d14a50 from /usr/lib/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=4789e6c508f273498edccb01f2cc6548 from /usr/lib/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=9754c3b2faa20838aa5d44fc149a6e25 from /usr/lib/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=d440920c3ce11ea58e7ee0c980268af9 from /usr/lib/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=4de5b4cb4d881cee524058cfe44614f4 from /usr/lib/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Regexp_pcre)=8cfdb4bd17627425e63bd69b6e680209 from /usr/lib/ocaml/regexp.cmx INFO: ignoring Requires ocamlx(Regexp_pcre)=d7bab0b3f3068a463a2a38d2ab7b56fb from /usr/lib/ocaml/regexp.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/visitor_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=4de5b4cb4d881cee524058cfe44614f4 from /usr/lib/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Flag_parsing_cocci)=da469adf0568b988431536c6ae6d78d8 from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Data)=2069a6ade027f528ff4d8ab6f96b9884 from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Flag_parsing_cocci)=e09fc37acf361e7995353ce56f1791aa from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Data)=42693f898fdc76e2ca1c5b4633d9fe61 from /usr/lib/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/ast_c.cmi INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/externalanalysis.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/lexer_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/ocamlcocci_aux.cmi INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/parser_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/run_ocamlcocci.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/ast_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=4789e6c508f273498edccb01f2cc6548 from /usr/lib/ocaml/ast_c.cmx INFO: ignoring Requires ocaml(Type_annoter_c)=fb08156b6ce9b07a6d096fb7697a2899 from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocamlx(Type_annoter_c)=d6ef51a2f27c7f6fc654cc0f6bbd746e from /usr/lib/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Parsing_stat)=20090081dff93b683af260773b1c3d2f from /usr/lib/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Ograph_extended)=3c613896856e4570e038ee7f836f7b43 from /usr/lib/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Lexer_parser)=6883738fa48d51a1cc0206f3c3839985 from /usr/lib/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=a96f063174e75fb48c9fab79da6bf95b from /usr/lib/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Control_flow_c)=13b036d07a99cdbb21b8a6035be53f05 from /usr/lib/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/externalanalysis.cmx INFO: ignoring Requires ocaml(Token_annot)=4f35ca6e1d447af7f1219c9310cde8a2 from /usr/lib/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=baf8f1dd2a1540a207f8170399d14a50 from /usr/lib/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Data)=2069a6ade027f528ff4d8ab6f96b9884 from /usr/lib/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=4789e6c508f273498edccb01f2cc6548 from /usr/lib/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=9754c3b2faa20838aa5d44fc149a6e25 from /usr/lib/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Data)=42693f898fdc76e2ca1c5b4633d9fe61 from /usr/lib/ocaml/lexer_c.cmx Provides: coccinelle = 1.1.1-14.fc38 coccinelle(x86-32) = 1.1.1-14.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) = 36cbd839bab22b578f495753d8d257a3 ocamlx(Ast_c) = fd17b80920e46a1bfcd3ee82c2e7a475 ocamlx(Ast_cocci) = aabed3b078d5c8e7bf5317bd01823dba ocamlx(Coccilib) = 655d4b31cd6c73abcf01e81983538d69 ocamlx(Commands) = ffe28ec43b14d752b08f8609d3231fcb ocamlx(Common) = 92c12d6f7696e82d99ad3dc8d022ce1b ocamlx(Config) = 60891a0f6007ba53a19e3388b4e916cc ocamlx(Dumper) = 117f65553c296d2feed55a6a799286d0 ocamlx(Exposed_modules) = bbb5116d8c22353c508656013b77f8d6 ocamlx(Externalanalysis) = 0f0efd9c3e346c62d03eae5d8a050211 ocamlx(Flag) = 3569c614786e66945785aafe1bfa724a ocamlx(Flag_parsing_c) = 40412d85bff59b503f76e69cf50ee43c ocamlx(Iteration) = 32276b626cddb44b65843cf7f308d292 ocamlx(Lexer_c) = 3c1da686c943133fa604e7f005b9e823 ocamlx(Lib_parsing_c) = 42886ecf2daa85c9f0bb3b3d636941e6 ocamlx(Ocamlcocci_aux) = f0a2f565554f1b5a4efe053d931c0ae4 ocamlx(Parmap) = 4eb78d24a0ec4336cf3674549df0954d ocamlx(Parse_c) = 9dae417dd53cdbf491d48033bab9c2c6 ocamlx(Parser_c) = 68e0ddb473221f1cc8209b193f0a22a5 ocamlx(Prepare_ocamlcocci) = 52dc35d1c5b80864d8170f1f87c49ea1 ocamlx(Pretty_print_c) = 0f6bae27055a9ea1dd8390afa6030377 ocamlx(Regexp) = ec3b21f38e4044ee66517f7761b433bf ocamlx(Run_ocamlcocci) = 31a00559e72bd0083570bb3de8547598 ocamlx(Token_c) = 15cf843ee142de95103b8c2495bac7b6 ocamlx(Visitor_c) = 69f5efe1ea4b0d0dc688cc6d0e7ac8a5 ocamlx(Yes_prepare_ocamlcocci) = 9a4d2fff0356c9cdd6bdf47d7e74fd09 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 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.1.2) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.10) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.15) libc.so.6(GLIBC_2.16) libc.so.6(GLIBC_2.17) libc.so.6(GLIBC_2.2) libc.so.6(GLIBC_2.28) libc.so.6(GLIBC_2.3) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.33) libc.so.6(GLIBC_2.34) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libc.so.6(GLIBC_2.9) libm.so.6 libm.so.6(GLIBC_2.0) libm.so.6(GLIBC_2.1) libm.so.6(GLIBC_2.29) libm.so.6(GLIBC_2.35) libpcre.so.1 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) = 36cbd839bab22b578f495753d8d257a3 ocamlx(Ast_c) = fd17b80920e46a1bfcd3ee82c2e7a475 ocamlx(Ast_cocci) = aabed3b078d5c8e7bf5317bd01823dba ocamlx(Bytearray) = f26b2a5597c0dfc40907aef69e45fea5 ocamlx(CamlinternalOO) = 6c7c1b6a70d69a625985501df23b93d3 ocamlx(Coccilib) = 655d4b31cd6c73abcf01e81983538d69 ocamlx(Commands) = ffe28ec43b14d752b08f8609d3231fcb ocamlx(Common) = 92c12d6f7696e82d99ad3dc8d022ce1b ocamlx(Config) = 60891a0f6007ba53a19e3388b4e916cc ocamlx(Dumper) = 117f65553c296d2feed55a6a799286d0 ocamlx(Dynlink) = 4a0ee0f0c920887919ff41ee3b1c5ae5 ocamlx(Exposed_modules) = bbb5116d8c22353c508656013b77f8d6 ocamlx(Externalanalysis) = 0f0efd9c3e346c62d03eae5d8a050211 ocamlx(Flag) = 3569c614786e66945785aafe1bfa724a ocamlx(Flag_parsing_c) = 40412d85bff59b503f76e69cf50ee43c ocamlx(Iteration) = 32276b626cddb44b65843cf7f308d292 ocamlx(Lexer_c) = 3c1da686c943133fa604e7f005b9e823 ocamlx(Lib_parsing_c) = 42886ecf2daa85c9f0bb3b3d636941e6 ocamlx(Ocamlcocci_aux) = f0a2f565554f1b5a4efe053d931c0ae4 ocamlx(Parmap_compat) = c6973beddac9f75bed12b73cf98d9438 ocamlx(Parmap_utils) = fcaff6c6e433c96f553a5c4a7ade2bc2 ocamlx(Parse_c) = 9dae417dd53cdbf491d48033bab9c2c6 ocamlx(Parser_c) = 68e0ddb473221f1cc8209b193f0a22a5 ocamlx(Pretty_print_c) = 0f6bae27055a9ea1dd8390afa6030377 ocamlx(Regexp) = ec3b21f38e4044ee66517f7761b433bf ocamlx(Setcore) = 867bdfb7c8a99439c423ecfaf5fcb560 ocamlx(Stdlib) = 9368a49701ad6a803837a9aaf468fe80 ocamlx(Stdlib__Arg) = 27393fd4bb99728d710e8f1e475939b5 ocamlx(Stdlib__Array) = f5e35394c06bfd1aa1d428bdbad5580b ocamlx(Stdlib__Bigarray) = 8636616500d4be50986f6847f0284954 ocamlx(Stdlib__Buffer) = ed57d701aa3b59153a3e692c3d836428 ocamlx(Stdlib__Filename) = c3574593fe27d594102cb0213bea3653 ocamlx(Stdlib__Format) = 8ba5b9e3b3bfabb5929dfe90482b41db ocamlx(Stdlib__Gc) = f6d4bef10b7e0fdd61197a6038b1616f ocamlx(Stdlib__Hashtbl) = 7dff02d0d5ab6e7d6237bd74abfef18b ocamlx(Stdlib__Int64) = 839a189481e2ae2da8359c7d80ac38ef ocamlx(Stdlib__Lexing) = 7d6dc7b02e62f273aa77d31c6c615bbd ocamlx(Stdlib__List) = f0cf7c8d9e283437a5a02833ca0a0372 ocamlx(Stdlib__Map) = 277b49ce22e483255a180be645aa188c ocamlx(Stdlib__Marshal) = be9d7c6cbe9e50925c5ef644cfb8de93 ocamlx(Stdlib__Obj) = 1905775295e649e123b9d71a09934f2f ocamlx(Stdlib__Parsing) = 4cc7e56189cab8deb4663d99a581df18 ocamlx(Stdlib__Printexc) = 31e655d70a184713e62ca69dd86c5bc7 ocamlx(Stdlib__Printf) = d36b890ed8aa366d74aafd55046762a6 ocamlx(Stdlib__Random) = b3e7cbf2be1486ec14103ad6e2d3ba26 ocamlx(Stdlib__Set) = 1f0dcafc10ad14c3e52d571c14cbc733 ocamlx(Stdlib__String) = 562243d8e750754ba5796bf79e659d72 ocamlx(Stdlib__Sys) = 524528f5b43fe5b82073768577be9fb4 ocamlx(Str) = 1b5a44935a80e3c5dd4bc0504252f5c5 ocamlx(Token_c) = 15cf843ee142de95103b8c2495bac7b6 ocamlx(Unix) = 69a6449539fba3596b18db3c51e261b7 ocamlx(Visitor_c) = 69f5efe1ea4b0d0dc688cc6d0e7ac8a5 ocamlx(Yes_prepare_ocamlcocci) = 9a4d2fff0356c9cdd6bdf47d7e74fd09 python(abi) = 3.11 rtld(GNU_HASH) Processing files: coccinelle-bash-completion-1.1.1-14.fc38.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.JzHrMx + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/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-14.fc38.i386/usr/share/licenses/coccinelle-bash-completion + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/licenses/coccinelle-bash-completion + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/licenses/coccinelle-bash-completion + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-bash-completion = 1.1.1-14.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-14.fc38.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.IthM7B + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/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-14.fc38.i386/usr/share/doc/coccinelle-doc + cp -pr docs /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-doc = 1.1.1-14.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-14.fc38.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.NiJSS5 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/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-14.fc38.i386/usr/share/doc/coccinelle-examples + cp -pr demos /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386/usr/share/doc/coccinelle-examples + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-examples = 1.1.1-14.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-14.fc38.i686 Provides: coccinelle-debugsource = 1.1.1-14.fc38 coccinelle-debugsource(x86-32) = 1.1.1-14.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-14.fc38.i686 Provides: coccinelle-debuginfo = 1.1.1-14.fc38 coccinelle-debuginfo(x86-32) = 1.1.1-14.fc38 debuginfo(build-id) = 216220bfe9842443e8aae801e8e99ae58e3601cf debuginfo(build-id) = e0ca816919a67fd432efb0d4cb7537581fda9014 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: coccinelle-debugsource(x86-32) = 1.1.1-14.fc38 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386 Wrote: /builddir/build/RPMS/coccinelle-debugsource-1.1.1-14.fc38.i686.rpm Wrote: /builddir/build/RPMS/coccinelle-1.1.1-14.fc38.i686.rpm Wrote: /builddir/build/RPMS/coccinelle-doc-1.1.1-14.fc38.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-examples-1.1.1-14.fc38.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-bash-completion-1.1.1-14.fc38.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-debuginfo-1.1.1-14.fc38.i686.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.G9PgWY + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.1.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-14.fc38.i386 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.GadYiP + 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