Mock Version: 2.15 Mock Version: 2.15 Mock Version: 2.15 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/f40-build-739960-109408/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=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --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'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1699228800 Wrote: /builddir/build/SRPMS/coccinelle-1.1.1-24.20230624git0afff7f.fc40.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/f40-build-739960-109408/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=1209600uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --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'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1699228800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.0zd5JC + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + rm -rf /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237-SPECPARTS + /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 ./ci/trace-cmd/create-template.py + mv tempfile ./ci/trace-cmd/create-template.py + expand -t8 ./ci/trace-cmd/check-template-changed.py + mv tempfile ./ci/trace-cmd/check-template-changed.py + expand -t8 ./python/coccilib/elems.py + mv tempfile ./python/coccilib/elems.py + expand -t8 ./python/coccilib/org.py + mv tempfile ./python/coccilib/org.py + 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/output.py + mv tempfile ./python/coccilib/output.py + expand -t8 ./python/coccilib/__init__.py + mv tempfile ./python/coccilib/__init__.py + expand -t8 ./python/coccilib/report.py + mv tempfile ./python/coccilib/report.py + expand -t8 ./python/coccilib/iteration.py + mv tempfile ./python/coccilib/iteration.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.FCjFAh + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + autoreconf -i + ./autogen + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']' ++ find . -type f -name configure -print + for file in $(find . -type f -name configure -print) + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./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' ./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' ./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/configure + diff -u ./bundles/parmap/configure.backup ./bundles/parmap/configure + mv ./bundles/parmap/configure.backup ./bundles/parmap/configure + /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./bundles/parmap/configure + diff -u ./bundles/parmap/configure.backup ./bundles/parmap/configure + mv ./bundles/parmap/configure.backup ./bundles/parmap/configure + /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./bundles/parmap/configure + diff -u ./bundles/parmap/configure.backup ./bundles/parmap/configure --- ./bundles/parmap/configure.backup 2023-11-13 05:28:42.791628969 -0500 +++ ./bundles/parmap/configure 2023-11-13 05:29:12.961608077 -0500 @@ -1508,7 +1508,7 @@ #ifdef __cplusplus extern "C" #endif -char $2 (); +__attribute__ ((used)) char $2 (); /* The GNU C library defines this for functions which it implements to always fail with ENOSYS. Some functions are actually named something starting with __ and the normal name is an alias. */ + /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/configure + diff -u ./bundles/parmap/configure.backup ./bundles/parmap/configure + mv ./bundles/parmap/configure.backup ./bundles/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/configure + diff -u ./bundles/parmap/configure.backup ./bundles/parmap/configure + mv ./bundles/parmap/configure.backup ./bundles/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=riscv64-redhat-linux-gnu --host=riscv64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --runstatedir=/run --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir configure: configuring coccinelle 1.1.1 in /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 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 riscv64-redhat-linux-gnu-date... no checking for date... /usr/bin/date configure: version suffix set to Mon, 13 Nov 2023 05:29:13 -0500 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 riscv64-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 riscv64-redhat-linux-gnu-pkg-config... /usr/bin/riscv64-redhat-linux-gnu-pkg-config checking pkg-config is at least version 0.9.0... yes checking for riscv64-redhat-linux-gnu-ocamlc... no checking for ocamlc... /usr/bin/ocamlc OCaml version is 5.1.0 OCaml library path is /usr/lib64/ocaml checking for riscv64-redhat-linux-gnu-ocamlopt... no checking for ocamlopt... /usr/bin/ocamlopt checking for riscv64-redhat-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for riscv64-redhat-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for riscv64-redhat-linux-gnu-ocaml... no checking for ocaml... /usr/bin/ocaml checking for riscv64-redhat-linux-gnu-ocamldep... no checking for ocamldep... /usr/bin/ocamldep checking for riscv64-redhat-linux-gnu-ocamlmktop... no checking for ocamlmktop... /usr/bin/ocamlmktop checking for riscv64-redhat-linux-gnu-ocamlmklib... no checking for ocamlmklib... /usr/bin/ocamlmklib checking for riscv64-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 that the OCaml version is at least 5.0... yes checking for riscv64-redhat-linux-gnu-ocamllex... no checking for ocamllex... /usr/bin/ocamllex checking for riscv64-redhat-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for riscv64-redhat-linux-gnu-ocamlyacc... no checking for ocamlyacc... /usr/bin/ocamlyacc checking for riscv64-redhat-linux-gnu-ocamlfind... no checking for ocamlfind... /usr/bin/ocamlfind checking for riscv64-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-0afff7fab0dde3d100f078ce8fd9688693ec3237/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 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 checking if installed stdcompat provides In_channel... yes configure: verifying optional features checking for riscv64-redhat-linux-gnu-menhir... /usr/bin/menhir configure: system menhir will be used checking if menhir supports -O 1... yes configure: configuring package pyml checking for OCaml findlib package pyml... found checking if installed pyml provides Class.init with list of parent classes... yes 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 riscv64-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=riscv64-redhat-linux-gnu --host=riscv64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --runstatedir=/run --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir findlib: /usr/bin/ocamlfind (an actual version is strongly recommended) menhir: /usr/bin/menhir (for local package use --without-menhir, install the menhir package otherwise) ocaml scripting: yes (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pcre regexes: (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the libpcre-ocaml-dev package) optimized spatch: yes (overridable with --disable-opt) bash-completion: ${prefix}/share/bash-completion/completions (overridable with --with-bash-completion) ------------------------------------------------------------------------------ Coccinelle can now be compiled and installed. If you compile coccinelle again after source code changes or configuration changes, you may need to run first: $ make clean To compile coccinelle, run: $ make To install coccinelle, run: $ make install Then, to test coccinelle, run for example: $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c Or when coccinelle is not installed yet: $ COCCINELLE_HOME=/builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ------------------------------------------------------------------------------ You may need to set some environment variables so that the python libraries are found. The frontend 'spatch' sets the following variables: $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib $ export PYTHONPATH=$PYTHONPATH:/usr/lib64/coccinelle/python ------------------------------------------------------------------------------ + /usr/bin/sed -i -e 's,LIBDIR=.*,LIBDIR=/usr/lib64,' -e 's,MANDIR=.*,MANDIR=/usr/share/man,' -e 's,SHAREDIR=.*,SHAREDIR=/usr/lib64/coccinelle,' -e 's,DYNLINKDIR=.*,DYNLINKDIR=/usr/lib64/ocaml,' -e 's,BASH_COMPLETION_DIR=.*,BASH_COMPLETION_DIR=/usr/share/bash-completion/completions,' Makefile.config + echo ' EXTRA_OCAML_FLAGS = -g EXTRACFLAGS = $(EXTRA_OCAML_FLAGS) ' + target=all-release + unset MAKEFLAGS + make all-release OCAMLDEP commons/ocamlextra/dumper.ml OCAMLDEP commons/commands.ml OCAMLDEP commons/common.ml OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/ograph_extended.ml OCAMLDEP globals/config.ml OCAMLDEP globals/flag.ml OCAMLDEP globals/iteration.ml OCAMLDEP globals/regexp_pcre.ml OCAMLDEP globals/regexp.ml OCAMLDEP parsing_cocci/flag_parsing_cocci.ml OCAMLDEP parsing_cocci/ast_cocci.ml OCAMLDEP parsing_cocci/ast0_cocci.ml OCAMLDEP parsing_cocci/pretty_print_cocci.ml OCAMLDEP parsing_cocci/visitor_ast0_types.ml OCAMLDEP parsing_cocci/visitor_ast.ml OCAMLDEP parsing_cocci/visitor_ast0.ml OCAMLDEP parsing_cocci/ast0toast.ml OCAMLDEP parsing_cocci/unparse_ast0.ml OCAMLDEP parsing_cocci/unify_ast.ml OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/iso_pattern.ml OCAMLDEP parsing_cocci/comm_assoc.ml OCAMLDEP parsing_cocci/iso_compile.ml OCAMLDEP parsing_cocci/single_statement.ml OCAMLDEP parsing_cocci/simple_assignments.ml OCAMLDEP parsing_cocci/get_metas.ml OCAMLDEP parsing_cocci/stmtlist.ml OCAMLDEP parsing_cocci/top_level.ml OCAMLDEP parsing_cocci/type_infer.ml OCAMLDEP parsing_cocci/test_exps.ml OCAMLDEP parsing_cocci/unitary_ast0.ml OCAMLDEP parsing_cocci/arity.ml OCAMLDEP parsing_cocci/index.ml OCAMLDEP parsing_cocci/context_neg.ml OCAMLDEP parsing_cocci/adjust_pragmas.ml OCAMLDEP parsing_cocci/insert_plus.ml OCAMLDEP parsing_cocci/function_prototypes.ml OCAMLDEP parsing_cocci/semantic_cocci.ml OCAMLDEP parsing_cocci/data.ml OCAMLDEP parsing_cocci/free_vars.ml OCAMLDEP parsing_cocci/check_meta.ml OCAMLDEP parsing_cocci/safe_for_multi_decls.ml OCAMLDEP parsing_cocci/parse_printf.ml OCAMLDEP parsing_cocci/parse_aux.ml OCAMLDEP parsing_cocci/cleanup_rules.ml OCAMLDEP parsing_cocci/disjdistr.ml OCAMLDEP parsing_cocci/cocci_grep.ml OCAMLDEP parsing_cocci/dpll.ml OCAMLDEP parsing_cocci/get_constants2.ml OCAMLDEP parsing_cocci/id_utils.ml OCAMLDEP parsing_cocci/git_grep.ml OCAMLDEP parsing_cocci/patch_diff.ml OCAMLDEP parsing_cocci/adjacency.ml OCAMLDEP parsing_cocci/commas_on_lists.ml OCAMLDEP parsing_cocci/re_constraints.ml OCAMLDEP parsing_cocci/parse_cocci.ml OCAMLDEP parsing_cocci/command_line.ml OCAMLDEP parsing_cocci/cocci_args.ml OCAMLDEP parsing_c/token_annot.ml OCAMLDEP parsing_c/flag_parsing_c.ml OCAMLDEP parsing_c/parsing_stat.ml OCAMLDEP parsing_c/token_c.ml OCAMLDEP parsing_c/ast_c.ml OCAMLDEP parsing_c/includes.ml OCAMLDEP parsing_c/control_flow_c.ml OCAMLDEP parsing_c/visitor_c.ml OCAMLDEP parsing_c/lib_parsing_c.ml OCAMLDEP parsing_c/includes_cache.ml OCAMLDEP parsing_c/pretty_print_c.ml OCAMLDEP parsing_c/control_flow_c_build.ml OCAMLDEP parsing_c/semantic_c.ml OCAMLDEP parsing_c/lexer_parser.ml OCAMLDEP parsing_c/parse_string_c.ml OCAMLDEP parsing_c/token_helpers.ml OCAMLDEP parsing_c/token_views_c.ml OCAMLDEP parsing_c/cpp_token_c.ml OCAMLDEP parsing_c/parsing_hacks.ml OCAMLDEP parsing_c/cpp_analysis_c.ml OCAMLDEP parsing_c/unparse_cocci.ml OCAMLDEP parsing_c/parsing_recovery_c.ml OCAMLDEP parsing_c/parsing_consistency_c.ml OCAMLDEP parsing_c/danger.ml OCAMLDEP parsing_c/parse_c.ml OCAMLDEP parsing_c/unparse_c.ml OCAMLDEP parsing_c/unparse_hrule.ml OCAMLDEP parsing_c/type_c.ml OCAMLDEP parsing_c/cpp_ast_c.ml OCAMLDEP parsing_c/type_annoter_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/test_parsing_c.ml OCAMLDEP ctl/flag_ctl.ml OCAMLDEP ctl/ast_ctl.ml OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/wrapper_ctl.ml OCAMLDEP ocaml/externalanalysis.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/ocamlcocci_aux.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/run_ocamlcocci.ml OCAMLDEP python/pycocci_aux.ml OCAMLDEP python/yes_pycocci.ml OCAMLDEP python/pycocci.ml OCAMLDEP engine/flag_matcher.ml OCAMLDEP engine/lib_engine.ml OCAMLDEP engine/pretty_print_engine.ml OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/check_reachability.ml OCAMLDEP engine/c_vs_c.ml OCAMLDEP engine/isomorphisms_c_c.ml OCAMLDEP engine/cocci_vs_c.ml OCAMLDEP engine/pattern_c.ml OCAMLDEP engine/transformation_c.ml OCAMLDEP engine/asttomember.ml OCAMLDEP engine/asttoctl2.ml OCAMLDEP engine/ctltotex.ml OCAMLDEP engine/postprocess_transinfo.ml OCAMLDEP engine/ctlcocci_integration.ml OCAMLDEP popl09/ast_popl.ml OCAMLDEP popl09/asttopopl.ml OCAMLDEP popl09/insert_quantifiers.ml OCAMLDEP popl09/pretty_print_popl.ml OCAMLDEP popl09/flag_popl.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/popl.ml OCAMLDEP extra/classic_patch.ml OCAMLDEP extra/kbuild.ml OCAMLDEP extra/maintainers.ml OCAMLDEP flag_cocci.ml OCAMLDEP cocci.ml OCAMLDEP testing.ml OCAMLDEP read_options.ml OCAMLDEP enter.ml OCAMLDEP main.ml OCAMLDEP tools/spgen/source/globals.ml OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/meta_variable.ml OCAMLDEP tools/spgen/source/snapshot.ml OCAMLDEP tools/spgen/source/user_input.ml OCAMLDEP tools/spgen/source/position_generator.ml OCAMLDEP tools/spgen/source/disj_generator.ml OCAMLDEP tools/spgen/source/rule_body.ml OCAMLDEP tools/spgen/source/rule_header.ml OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/file_transform.ml OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_test.ml OCAMLDEP tools/spgen/source/main.ml OCAMLLEX parsing_cocci/lexer_cocci.mll 400 states, 6934 transitions, table size 30136 bytes 4105 additional bytes used for bindings OCAMLDEP parsing_cocci/lexer_cocci.ml OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes OCAMLDEP parsing_cocci/lexer_cli.ml OCAMLLEX parsing_cocci/lexer_script.mll 27 states, 322 transitions, table size 1450 bytes OCAMLDEP parsing_cocci/lexer_script.ml OCAMLLEX parsing_c/lexer_c.mll 401 states, 15896 transitions, table size 65990 bytes 16316 additional bytes used for bindings OCAMLDEP parsing_c/lexer_c.ml OCAMLLEX tools/spgen/source/spgen_lexer.mll 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings OCAMLDEP tools/spgen/source/spgen_lexer.ml OCAMLYACC parsing_c/parser_c.mly 11 rules never reduced OCAMLDEP parsing_c/parser_c.ml OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP commons/commands.mli OCAMLDEP commons/common.mli OCAMLDEP commons/ograph_simple.mli OCAMLDEP commons/ograph_extended.mli OCAMLDEP globals/config.mli OCAMLDEP globals/flag.mli OCAMLDEP globals/iteration.mli OCAMLDEP globals/regexp_pcre.mli OCAMLDEP globals/regexp.mli OCAMLDEP parsing_cocci/flag_parsing_cocci.mli OCAMLDEP parsing_cocci/ast_cocci.mli OCAMLDEP parsing_cocci/ast0_cocci.mli OCAMLDEP parsing_cocci/pretty_print_cocci.mli OCAMLDEP parsing_cocci/visitor_ast0_types.mli OCAMLDEP parsing_cocci/visitor_ast.mli OCAMLDEP parsing_cocci/visitor_ast0.mli OCAMLDEP parsing_cocci/ast0toast.mli OCAMLDEP parsing_cocci/unparse_ast0.mli OCAMLDEP parsing_cocci/unify_ast.mli OCAMLDEP parsing_cocci/compute_lines.mli OCAMLDEP parsing_cocci/iso_pattern.mli OCAMLDEP parsing_cocci/comm_assoc.mli OCAMLDEP parsing_cocci/iso_compile.mli OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/simple_assignments.mli OCAMLDEP parsing_cocci/get_metas.mli OCAMLDEP parsing_cocci/stmtlist.mli OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/unitary_ast0.mli OCAMLDEP parsing_cocci/arity.mli OCAMLDEP parsing_cocci/index.mli OCAMLDEP parsing_cocci/context_neg.mli OCAMLDEP parsing_cocci/adjust_pragmas.mli OCAMLDEP parsing_cocci/insert_plus.mli OCAMLDEP parsing_cocci/function_prototypes.mli OCAMLDEP parsing_cocci/semantic_cocci.mli OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/free_vars.mli OCAMLDEP parsing_cocci/check_meta.mli OCAMLDEP parsing_cocci/safe_for_multi_decls.mli OCAMLDEP parsing_cocci/parse_printf.mli OCAMLDEP parsing_cocci/parse_aux.mli OCAMLDEP parsing_cocci/cleanup_rules.mli OCAMLDEP parsing_cocci/disjdistr.mli OCAMLDEP parsing_cocci/cocci_grep.mli OCAMLDEP parsing_cocci/dpll.mli OCAMLDEP parsing_cocci/get_constants2.mli OCAMLDEP parsing_cocci/id_utils.mli OCAMLDEP parsing_cocci/git_grep.mli OCAMLDEP parsing_cocci/patch_diff.mli OCAMLDEP parsing_cocci/adjacency.mli OCAMLDEP parsing_cocci/commas_on_lists.mli OCAMLDEP parsing_cocci/re_constraints.mli OCAMLDEP parsing_cocci/parse_cocci.mli OCAMLDEP parsing_cocci/command_line.mli OCAMLDEP parsing_cocci/cocci_args.mli OCAMLDEP parsing_c/token_annot.mli OCAMLDEP parsing_c/flag_parsing_c.mli OCAMLDEP parsing_c/parsing_stat.mli OCAMLDEP parsing_c/token_c.mli OCAMLDEP parsing_c/ast_c.mli OCAMLDEP parsing_c/includes.mli OCAMLDEP parsing_c/control_flow_c.mli OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/includes_cache.mli OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/control_flow_c_build.mli OCAMLDEP parsing_c/semantic_c.mli OCAMLDEP parsing_c/lexer_parser.mli OCAMLDEP parsing_c/parse_string_c.mli OCAMLDEP parsing_c/token_helpers.mli OCAMLDEP parsing_c/token_views_c.mli OCAMLDEP parsing_c/cpp_token_c.mli OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/cpp_analysis_c.mli OCAMLDEP parsing_c/unparse_cocci.mli OCAMLDEP parsing_c/parsing_recovery_c.mli OCAMLDEP parsing_c/parsing_consistency_c.mli OCAMLDEP parsing_c/danger.mli OCAMLDEP parsing_c/parse_c.mli OCAMLDEP parsing_c/unparse_c.mli OCAMLDEP parsing_c/unparse_hrule.mli OCAMLDEP parsing_c/type_c.mli OCAMLDEP parsing_c/cpp_ast_c.mli OCAMLDEP parsing_c/type_annoter_c.mli OCAMLDEP parsing_c/comment_annotater_c.mli OCAMLDEP parsing_c/compare_c.mli OCAMLDEP parsing_c/test_parsing_c.mli OCAMLDEP ctl/flag_ctl.mli OCAMLDEP ctl/ast_ctl.mli OCAMLDEP ctl/pretty_print_ctl.mli OCAMLDEP ctl/ctl_engine.mli OCAMLDEP ctl/wrapper_ctl.mli OCAMLDEP ocaml/externalanalysis.mli OCAMLDEP ocaml/exposed_modules.mli OCAMLDEP ocaml/coccilib.mli OCAMLDEP ocaml/ocamlcocci_aux.mli OCAMLDEP ocaml/yes_prepare_ocamlcocci.mli OCAMLDEP ocaml/prepare_ocamlcocci.mli OCAMLDEP ocaml/run_ocamlcocci.mli OCAMLDEP python/pycocci_aux.mli OCAMLDEP python/yes_pycocci.mli OCAMLDEP python/pycocci.mli OCAMLDEP engine/flag_matcher.mli OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/pretty_print_engine.mli OCAMLDEP engine/check_exhaustive_pattern.mli OCAMLDEP engine/check_reachability.mli OCAMLDEP engine/c_vs_c.mli OCAMLDEP engine/isomorphisms_c_c.mli OCAMLDEP engine/cocci_vs_c.mli OCAMLDEP engine/pattern_c.mli OCAMLDEP engine/transformation_c.mli OCAMLDEP engine/asttomember.mli OCAMLDEP engine/asttoctl2.mli OCAMLDEP engine/ctltotex.mli OCAMLDEP engine/postprocess_transinfo.mli OCAMLDEP engine/ctlcocci_integration.mli OCAMLDEP popl09/ast_popl.mli OCAMLDEP popl09/asttopopl.mli OCAMLDEP popl09/insert_quantifiers.mli OCAMLDEP popl09/pretty_print_popl.mli OCAMLDEP popl09/flag_popl.mli OCAMLDEP popl09/popltoctl.mli OCAMLDEP popl09/popl.mli OCAMLDEP extra/classic_patch.mli OCAMLDEP extra/kbuild.mli OCAMLDEP extra/maintainers.mli OCAMLDEP flag_cocci.mli OCAMLDEP cocci.mli OCAMLDEP testing.mli OCAMLDEP read_options.mli OCAMLDEP enter.mli OCAMLDEP main.mli OCAMLDEP tools/spgen/source/globals.mli OCAMLDEP tools/spgen/source/ast_tostring.mli OCAMLDEP tools/spgen/source/detect_patch.mli OCAMLDEP tools/spgen/source/meta_variable.mli OCAMLDEP tools/spgen/source/snapshot.mli OCAMLDEP tools/spgen/source/user_input.mli OCAMLDEP tools/spgen/source/position_generator.mli OCAMLDEP tools/spgen/source/disj_generator.mli OCAMLDEP tools/spgen/source/rule_body.mli OCAMLDEP tools/spgen/source/rule_header.mli OCAMLDEP tools/spgen/source/context_rule.mli OCAMLDEP tools/spgen/source/script_rule.mli OCAMLDEP tools/spgen/source/file_transform.mli OCAMLDEP tools/spgen/source/spgen_interactive.mli OCAMLDEP tools/spgen/source/spgen_config.mli OCAMLDEP tools/spgen/source/spgen.mli OCAMLDEP tools/spgen/source/spgen_test.mli OCAMLDEP tools/spgen/source/main.mli OCAMLDEP parsing_cocci/lexer_cocci.mli OCAMLDEP parsing_cocci/lexer_cli.mli OCAMLDEP parsing_cocci/lexer_script.mli OCAMLDEP parsing_c/lexer_c.mli OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_c/parser_c.mli /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib64/ocaml/pcre -I /usr/lib64/ocaml/pyml -I /usr/lib64/ocaml/parmap -I /usr/lib64/ocaml/stdcompat -I +str -I +unix -I +dynlink -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) OCAMLC commons/ocamlextra/dumper.mli OCAMLOPT commons/ocamlextra/dumper.ml OCAMLC commons/commands.mli OCAMLOPT commons/commands.ml OCAMLC commons/common.mli OCAMLOPT commons/common.ml 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/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/check_meta.mli OCAMLOPT parsing_cocci/check_meta.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/patch_diff.mli OCAMLOPT parsing_cocci/patch_diff.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/pretty_print_c.mli OCAMLOPT parsing_c/pretty_print_c.ml OCAMLC parsing_c/control_flow_c_build.mli OCAMLOPT parsing_c/control_flow_c_build.ml 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 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 OCAMLC parsing_c/unparse_c.mli OCAMLOPT parsing_c/unparse_c.ml OCAMLC parsing_c/unparse_hrule.mli OCAMLOPT parsing_c/unparse_hrule.ml 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 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 OCAMLC main.mli OCAMLOPT main.ml OCAMLOPT -o spatch.opt OCAMLC tools/spgen/source/globals.mli OCAMLOPT tools/spgen/source/globals.ml OCAMLC tools/spgen/source/ast_tostring.mli OCAMLOPT tools/spgen/source/ast_tostring.ml OCAMLC tools/spgen/source/detect_patch.mli OCAMLOPT tools/spgen/source/detect_patch.ml OCAMLC tools/spgen/source/meta_variable.mli OCAMLOPT tools/spgen/source/meta_variable.ml OCAMLC tools/spgen/source/snapshot.mli OCAMLOPT tools/spgen/source/snapshot.ml OCAMLC tools/spgen/source/user_input.mli OCAMLOPT tools/spgen/source/user_input.ml OCAMLC tools/spgen/source/position_generator.mli OCAMLOPT tools/spgen/source/position_generator.ml OCAMLC tools/spgen/source/disj_generator.mli OCAMLOPT tools/spgen/source/disj_generator.ml OCAMLC tools/spgen/source/rule_body.mli OCAMLOPT tools/spgen/source/rule_body.ml OCAMLC tools/spgen/source/rule_header.mli OCAMLOPT tools/spgen/source/rule_header.ml OCAMLC tools/spgen/source/context_rule.mli OCAMLOPT tools/spgen/source/context_rule.ml OCAMLC tools/spgen/source/script_rule.mli OCAMLOPT tools/spgen/source/script_rule.ml OCAMLC tools/spgen/source/file_transform.mli OCAMLOPT tools/spgen/source/file_transform.ml OCAMLC tools/spgen/source/spgen_interactive.mli OCAMLOPT tools/spgen/source/spgen_interactive.ml OCAMLC tools/spgen/source/spgen_lexer.mli OCAMLOPT tools/spgen/source/spgen_lexer.ml OCAMLC tools/spgen/source/spgen_config.mli OCAMLOPT tools/spgen/source/spgen_config.ml OCAMLC tools/spgen/source/spgen.mli OCAMLOPT tools/spgen/source/spgen.ml OCAMLC tools/spgen/source/spgen_test.mli OCAMLOPT tools/spgen/source/spgen_test.ml OCAMLC tools/spgen/source/main.mli OCAMLOPT tools/spgen/source/main.ml OCAMLOPT -o tools/spgen/source/spgen.opt cp parsing_c/token_c.cmi ocaml/token_c.cmi cp parsing_c/ast_c.cmi ocaml/ast_c.cmi cp parsing_c/parse_c.cmi ocaml/parse_c.cmi cp parsing_c/parser_c.cmi ocaml/parser_c.cmi cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi cp globals/regexp.cmi ocaml/regexp.cmi cp globals/config.cmi ocaml/config.cmi cp globals/flag.cmi ocaml/flag.cmi cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi cp globals/iteration.cmi ocaml/iteration.cmi cp commons/commands.cmi ocaml/commands.cmi cp commons/common.cmi ocaml/common.cmi cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi OCAMLC parsing_c/token_c.ml cp parsing_c/token_c.cmo ocaml/token_c.cmo OCAMLC parsing_c/ast_c.ml cp parsing_c/ast_c.cmo ocaml/ast_c.cmo OCAMLC parsing_c/parse_c.ml 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 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 cp commons/common.cmo ocaml/common.cmo OCAMLC parsing_cocci/ast_cocci.ml cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo OCAMLC parsing_cocci/ast0_cocci.ml cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo OCAMLC commons/ocamlextra/dumper.ml cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo cp parsing_c/token_c.cmx ocaml/token_c.cmx cp parsing_c/ast_c.cmx ocaml/ast_c.cmx cp parsing_c/parse_c.cmx ocaml/parse_c.cmx cp parsing_c/parser_c.cmx ocaml/parser_c.cmx cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx cp globals/regexp.cmx ocaml/regexp.cmx cp globals/config.cmx ocaml/config.cmx cp globals/flag.cmx ocaml/flag.cmx cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx cp globals/iteration.cmx ocaml/iteration.cmx cp commons/commands.cmx ocaml/commands.cmx cp commons/common.cmx ocaml/common.cmx cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx cp commons/ocamlextra/dumper.cmx ocaml/dumper.cmx cp /usr/lib64/ocaml/parmap/parmap.cmi ocaml/parmap.cmi if test -f /usr/lib64/ocaml/parmap/parmap.cmx; then \ cp /usr/lib64/ocaml/parmap/parmap.cmx ocaml/parmap.cmx; \ fi make -C docs make[1]: Entering directory '/builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/docs' make -C manual all make[2]: Entering directory '/builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/docs/manual' /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. kpathsea: Running mktexfmt pdflatex.fmt mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2022/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2022/texmf-var/web2c mktexfmt [INFO]: --- remaking pdflatex with pdftex mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (INITEX) restricted \write18 enabled. (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) entering extended mode (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) ./texsys.aux found \@currdir set to: ./. Assuming \openin and \input have the same search path. Defining UNIX/DOS style filename parser. catcodes, registers, parameters, LaTeX2e <2022-06-01> patch level 5 (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3-code.tex)) hacks, document commands, control, par, spacing, files, font encodings, lengths, ==================================== Local config file fonttext.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) ==================================== Local config file fontmath.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) ==================================== Local config file preload.cfg used ===================================== (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, environments, center, verbatim, math definitions, boxes, title, sectioning, contents, floats, footnotes, index, bibliography, output, =========================================== Local configuration file hyphen.cfg used =========================================== (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pdftex/glyphtounicode.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu)) (/usr/share/texlive/texmf-dist/tex/latex/firstaid/latex2e-first-aid-for-externa l-files.ltx) ) ) Beginning to dump on file pdflatex.fmt (preloaded format=pdflatex 2023.11.13) 21874 strings of total length 407191 1847979 memory locations dumped; current usage is 204&343533 20160 multiletter control sequences \font\nullfont=nullfont \font\c__fp_exp_intarray=cmr10 at 0.00002pt \font\c__fp_trig_intarray=cmr10 at 0.00003pt \font\c_initex_cctab=cmr10 at 0.00005pt \font\c_other_cctab=cmr10 at 0.00006pt \font\c_str_cctab=cmr10 at 0.00008pt \font\g__regex_state_active_intarray=cmr10 at 0.00009pt \font\g__regex_thread_info_intarray=cmr10 at 0.0001pt \font\g__regex_submatch_prev_intarray=cmr10 at 0.00012pt \font\g__regex_submatch_begin_intarray=cmr10 at 0.00014pt \font\g__regex_submatch_end_intarray=cmr10 at 0.00015pt \font\g__regex_submatch_case_intarray=cmr10 at 0.00017pt \font\g__regex_balance_intarray=cmr10 at 0.00018pt \font\g__codepoint_uppercase_index_intarray=cmr10 at 0.0002pt \font\g__codepoint_lowercase_index_intarray=cmr10 at 0.00021pt \font\g__codepoint_uppercase_blocks_intarray=cmr10 at 0.00023pt \font\g__codepoint_lowercase_blocks_intarray=cmr10 at 0.00024pt \font\OMX/cmex/m/n/10=cmex10 \font\tenln=line10 \font\tenlnw=linew10 \font\tencirc=lcircle10 \font\tencircw=lcirclew10 \font\OT1/cmr/m/n/5=cmr5 \font\OT1/cmr/m/n/7=cmr7 \font\OT1/cmr/m/n/10=cmr10 \font\OML/cmm/m/it/5=cmmi5 \font\OML/cmm/m/it/7=cmmi7 \font\OML/cmm/m/it/10=cmmi10 \font\OMS/cmsy/m/n/5=cmsy5 \font\OMS/cmsy/m/n/7=cmsy7 \font\OMS/cmsy/m/n/10=cmsy10 \font\c_code_cctab=cmr10 at 0.00026pt \font\c_document_cctab=cmr10 at 0.00027pt 512280 words of font info for 32 preloaded fonts 14 hyphenation exceptions Hyphenation trie of length 6081 has 183 ops out of 35111 2 for language 1 181 for language 0 0 words of pdfTeX memory 0 indirect objects No pages of output. Transcript written on pdflatex.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2022/texmf-var/web2c/pdftex/pdflatex.log mktexfmt [INFO]: /builddir/.texlive2022/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: ************************************************************* * * * WARNING: you are switching to fmtutil's per-user formats. * * Please read the following warnings! * * * ************************************************************* You have run fmtutil-user (as opposed to fmtutil-sys) for the first time; this has created format files which are local to your personal account. From now on, any changes in system formats will *not* be automatically reflected in your files; furthermore, running fmtutil-sys will no longer have any effect for you. As a consequence, you yourself have to rerun fmtutil-user after any change in the system directories. For example, when one of the LaTeX or other format source files changes, which happens frequently. See https://tug.org/texlive/scripts-sys-user.html for details. If you want to undo this, remove the files mentioned above. Run mktexfmt --help for full documentation of fmtutil. mktexfmt [INFO]: exiting with status 0 entering extended mode (./manual.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/usr/share/texliv e/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] No file manual.toc. pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, duplicate ignored \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 217--279 [] [23] [24] LaTeX Warning: Reference `types' on page 25 undefined on input line 373. [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1275--1277 []\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 1566--1622 [] [39] [40] [41 pdfTeX warning (ext4): destination with the same identifier (name{gram\\_o}) ha s been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box \__shipout_drop_firstpage_... l.1757 ] [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 310--311 \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 322--323 \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 [50] Overfull \hbox (31.46255pt too wide) in paragraph at lines 347--348 \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] Overfull \hbox (6.74498pt too wide) in paragraph at lines 702--703 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [55] [56]) [57] [58] (./license.txt [59] [60] [61] [62]) No file manual.bbl. [63] (./manual.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `manual.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) ) (see the transcript file for additional information) pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{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\\ kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeo10 kpathsea: Running mktexfmt mf.base mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2022/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2022/texmf-var/web2c mktexfmt [INFO]: --- remaking mf with mf-nowin mktexfmt: running `mf-nowin -ini -jobname=mf -progname=mf -translate-file=cp227.tcx mf.ini' ... This is METAFONT, Version 2.71828182 (TeX Live 2022) (INIMF) (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) (/usr/share/texlive/texmf-dist/metafont/config/mf.ini (/usr/share/texlive/texmf-dist/metafont/base/plain.mf Preloading the plain base, version 2.71: preliminaries, basic constants and mathematical macros, macros for converting from device-independent units to pixels, macros and tables for various modes of operation, macros for drawing and filling, macros for proof labels and rules, macros for character and font administration, and a few last-minute items.) (/usr/share/texlive/texmf-dist/fonts/source/public/modes/modes.mf) ) Beginning to dump on file mf.base (preloaded base=mf 2023.11.13) 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/.texlive2022/texmf-var/web2c/metafont/mf.log mktexfmt [INFO]: /builddir/.texlive2022/texmf-var/web2c/metafont/mf.base installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: ************************************************************* * * * WARNING: you are switching to fmtutil's per-user formats. * * Please read the following warnings! * * * ************************************************************* You have run fmtutil-user (as opposed to fmtutil-sys) for the first time; this has created format files which are local to your personal account. From now on, any changes in system formats will *not* be automatically reflected in your files; furthermore, running fmtutil-sys will no longer have any effect for you. As a consequence, you yourself have to rerun fmtutil-user after any change in the system directories. For example, when one of the LaTeX or other format source files changes, which happens frequently. See https://tug.org/texlive/scripts-sys-user.html for details. If you want to undo this, remove the files mentioned above. Run mktexfmt --help for full documentation of fmtutil. mktexfmt [INFO]: exiting with status 0 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeo10 This is METAFONT, Version 2.71828182 (TeX Live 2022) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeo10.tfm. Output written on ifgeo10.600gf (67 characters, 15684 bytes). Transcript written on ifgeo10.log. mktexpk: /builddir/.texlive2022/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. 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, 318488 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (./manual.out) (./manual.out) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/usr/share/texliv e/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./manual.toc (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, duplicate ignored \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 217--279 [] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1275--1277 []\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 1566--1622 [] [40] [41] [42 pdfTeX warning (ext4): destination with the same identifier (name{gram\\_o}) ha s been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box \__shipout_drop_firstpage_... l.1757 ] [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 310--311 \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 322--323 \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 [51] Overfull \hbox (31.46255pt too wide) in paragraph at lines 347--348 \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 . [52] [53] [54] [55] Overfull \hbox (6.74498pt too wide) in paragraph at lines 702--703 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [56] [57]) [58] [59] (./license.txt [60] [61] [62] [63]) No file manual.bbl. [64] (./manual.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) ) (see the transcript file for additional information) pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{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, 328146 bytes). Transcript written on manual.log. #spatch --control-flow-to-file flow1.c #spatch --control-flow-to-file flow2.c #dot -Gsize="0.5,0.5" -Tpdf flow1:main.dot > flow1.pdf #dot -Gsize="0.5,0.5" -Tpdf flow2:main.dot > flow2.pdf /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file main_grammar.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (14.32625pt too wide) in paragraph at lines 81--123 [] [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [2] Overfull \hbox (5.14224pt too wide) in paragraph at lines 217--279 [] [3] [4] LaTeX Warning: Reference `types' on page 5 undefined on input line 373. [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1275--1277 []\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 1566--1622 [] [19] [20] [21 pdfTeX warning (ext4): destination with the same identifier (name{gram\\_o}) ha s been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box \__shipout_drop_firstpage_... l.1757 ] [22] [23] [24]) [25] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [26] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [27] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [28] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [29] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [30] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [31] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [32] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) [33] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) [34] (./main_grammar.aux (./examples.aux) (./tips.aux)) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `main_grammar.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information) pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{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, 252959 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./main_grammar.aux (./examples.aux) (./tips.aux)) (./main_grammar.out) (./main_grammar.out) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (14.32625pt too wide) in paragraph at lines 81--123 [] [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) [2] Overfull \hbox (5.14224pt too wide) in paragraph at lines 217--279 [] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1275--1277 []\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 1566--1622 [] [19] [20] [21 pdfTeX warning (ext4): destination with the same identifier (name{gram\\_o}) ha s been already used, duplicate ignored ...shipout:D \box_use:N \l_shipout_box \__shipout_drop_firstpage_... l.1757 ] [22] [23] [24]) [25] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02882pt too wide) in paragraph at lines 17--72 [][] [26] Underfull \hbox (badness 10000) in paragraph at lines 76--82 [27] Underfull \hbox (badness 10000) in paragraph at lines 141--145 Underfull \hbox (badness 10000) in paragraph at lines 146--152 Underfull \hbox (badness 10000) in paragraph at lines 153--174 Underfull \hbox (badness 10000) in paragraph at lines 177--193 [28] Underfull \hbox (badness 10000) in paragraph at lines 204--211 Underfull \hbox (badness 10000) in paragraph at lines 212--237 [29] Underfull \hbox (badness 10000) in paragraph at lines 261--264 [30] Overfull \hbox (565.25525pt too wide) in paragraph at lines 340--380 [][] [31] Underfull \hbox (badness 10000) in paragraph at lines 384--393 Underfull \hbox (badness 10000) in paragraph at lines 410--421 [32] Underfull \hbox (badness 10000) in paragraph at lines 435--486 ) [33] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like [][]\T1/pcr/ m/n/10 bar = *(foo)[]\T1/ptm/m/n/10 , you will end up with [][]\T1/pcr/m/n/10 b ar = readb((foo)) ) [34] (./main_grammar.aux (./examples.aux) (./tips.aux)) ) (see the transcript file for additional information) pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{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, 254584 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file options.aux. (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 43--46 []\T1/cmtt/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/ cmr/m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/usr/share/texlive /texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] Overfull \hbox (20.8289pt too wide) in paragraph at lines 322--323 \T1/cmr/m/n/10 with \T1/cmtt/m/n/10 --compare-with-expected\T1/cmr/m/n/10 . The lead-ing dot is op-tional. This im-plic-itly sets the \T1/cmtt/m/n/10 --compar e-with-expected [5] [6] [7] [8] (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10] [11]) [12] (./options.aux) ) ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc} kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeob10 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeob10 This is METAFONT, Version 2.71828182 (TeX Live 2022) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeob10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeob10.tfm. Output written on ifgeob10.600gf (67 characters, 15036 bytes). Transcript written on ifgeob10.log. mktexpk: /builddir/.texlive2022/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk: successfully generated. {/usr/share/texlive/texmf-dist/font s/enc/dvips/cm-super/cm-super-ts1.enc} Output written on options.pdf (12 pages, 227740 bytes). Transcript written on options.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./options.aux) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 43--46 []\T1/cmtt/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/ cmr/m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/usr/share/texlive /texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] Overfull \hbox (20.8289pt too wide) in paragraph at lines 322--323 \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, 227740 bytes). Transcript written on options.log. hevea -exec /usr/share/hevea/xxdate.exe main_grammar.tex Exclude comment 'comment' /usr/share/hevea/hyperref.hva:72: Warning: Ignoring option: 'pdfborder=0 0 0' ./main_grammar.tex:26: Warning: Ignoring (re-)definition of '\phantom' by \newcommand ./main_grammar.aux:11: Giving up command: \addtokens ./main_grammar.aux:4: Giving up command: \AtBeginDocument ./main_grammar.aux:4: Giving up command: \HyperFirstAtBeginDocument ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Giving up command: \@readaux ./main_grammar.tex:37: Warning: Failure while reading .aux, reading .haux ./examples.tex:19: Warning: minipage, output may be poor ./examples.tex:40: Warning: minipage, output may be poor ./examples.tex:51: Warning: minipage, output may be poor ./examples.tex:341: Warning: keyval, unknown key: 'breaklines' ./examples.tex:398: Warning: Command not found: \lstdd@ ./examples.tex:398: Warning: Command not found: \lstlang@@ ./examples.tex:398: Warning: keyval, unknown key: 'breaklines' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. hevea -exec /usr/share/hevea/xxdate.exe main_grammar.tex Exclude comment 'comment' /usr/share/hevea/hyperref.hva:72: Warning: Ignoring option: 'pdfborder=0 0 0' ./main_grammar.tex:26: Warning: Ignoring (re-)definition of '\phantom' by \newcommand ./main_grammar.aux:11: Giving up command: \addtokens ./main_grammar.aux:4: Giving up command: \AtBeginDocument ./main_grammar.aux:4: Giving up command: \HyperFirstAtBeginDocument ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Giving up command: \@readaux ./main_grammar.tex:37: Warning: Failure while reading .aux, reading .haux ./main_grammar.haux:12: Giving up command: \ifx ./main_grammar.haux:12: Giving up command: \@fst ./main_grammar.haux:12: Giving up command: \@funcall ./main_grammar.haux:12: Giving up command: \@newlabel ./main_grammar.haux:12: Giving up command: \newlabel ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Warning: Failure while reading .haux ./examples.tex:19: Warning: minipage, output may be poor ./examples.tex:40: Warning: minipage, output may be poor ./examples.tex:51: Warning: minipage, output may be poor ./examples.tex:341: Warning: keyval, unknown key: 'breaklines' ./examples.tex:398: Warning: Command not found: \lstdd@ ./examples.tex:398: Warning: Command not found: \lstlang@@ ./examples.tex:398: Warning: keyval, unknown key: 'breaklines' hacha -o index.html main_grammar.html main_grammar.html:1339: Warning, multiple definitions for anchor: gram_o make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/docs/manual' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/docs' make docs -C tools/spgen/documentation make[1]: Entering directory '/builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/tools/spgen/documentation' /usr/bin/pdflatex -halt-on-error documentation.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./documentation.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf)) (/usr/share/texlive/texmf-dist/tex/generic/babel/locale/en/babel-english.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file documentation.aux. (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) No file documentation.toc. [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./about.tex) [2] (./usage.tex LaTeX Warning: Reference `sudo' on page 3 undefined on input line 10. [3] LaTeX Warning: Reference `config' on page 4 undefined on input line 35. [4]) [5] (./implementation.tex) [6] (./knownissues.tex [7]) [8] (./future.tex) [9] (./documentation.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `documentation.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ){/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr /share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on documentation.pdf (9 pages, 319050 bytes). Transcript written on documentation.log. /usr/bin/pdflatex -halt-on-error documentation.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./documentation.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf)) (/usr/share/texlive/texmf-dist/tex/generic/babel/locale/en/babel-english.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./documentation.aux) (./documentation.out) (./documentation.out) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) (./documentation.toc) [1{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./about.tex) [2] (./usage.tex [3] [4]) [5] (./implementation.tex) [6] (./knownissues.tex [7]) [8] (./future.tex) [9] (./documentation.aux) ){/usr/sha re/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texl ive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on documentation.pdf (9 pages, 330001 bytes). Transcript written on documentation.log. make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/tools/spgen/documentation' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.tlm2Vn + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 ++ dirname /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/python/coccilib + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 'INSTALL=/usr/bin/install -p' mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/ocaml if test -f bundles/pyml/dllpyml_stubs.so; then \ /usr/bin/install -p -m 755 bundles/pyml/dllpyml_stubs.so \ /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64; \ fi if test -f bundles/pcre/dllpcre_stubs.so; then \ /usr/bin/install -p -m 755 bundles/pcre/dllpcre_stubs.so \ /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64; \ fi /usr/bin/install -p -m 755 spatch.opt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin/spatch /usr/bin/install -p -m 644 standard.h /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64 /usr/bin/install -p -m 644 standard.iso /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64 /usr/bin/install -p -m 644 ocaml/*.cmi /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/ocaml/ if test -f ocaml/coccilib.cmx; then \ /usr/bin/install -p -m 644 ocaml/*.cmx /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/ocaml/; \ fi /usr/bin/install -p -m 755 tools/spgen/source/spgen.opt \ /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin/spgen mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/python/coccilib /usr/bin/install -p -m 644 python/coccilib/*.py \ /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/python/coccilib if test "x/usr/share/bash-completion/completions" != "xno"; then \ mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/bash-completion/completions; \ /usr/bin/install -p -m 644 scripts/spatch.bash_completion \ /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/bash-completion/completions/spatch; \ fi mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/man/man1 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/man/man3 /usr/bin/install -p -m 644 docs/spatch.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/pycocci.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/spgen.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/Coccilib.3cocci /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/man/man3/ + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin/spatch.byte + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin/spatch.opt + pushd /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64 ~/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64 ~/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + mkdir coccinelle + mkdir coccinelle/ocaml + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -f standard.h ']' + mv standard.h coccinelle/standard.h + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -f standard.iso ']' + mv standard.iso coccinelle/standard.iso + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -f spatch ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -f spatch.byte ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -f spatch.opt ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/ast0_cocci.cmx ']' + mv ocaml/ast0_cocci.cmx coccinelle/ocaml/ast0_cocci.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/ast_c.cmx ']' + mv ocaml/ast_c.cmx coccinelle/ocaml/ast_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/ast_cocci.cmx ']' + mv ocaml/ast_cocci.cmx coccinelle/ocaml/ast_cocci.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/coccilib.cmx ']' + mv ocaml/coccilib.cmx coccinelle/ocaml/coccilib.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/commands.cmx ']' + mv ocaml/commands.cmx coccinelle/ocaml/commands.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/common.cmx ']' + mv ocaml/common.cmx coccinelle/ocaml/common.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/config.cmx ']' + mv ocaml/config.cmx coccinelle/ocaml/config.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/dumper.cmx ']' + mv ocaml/dumper.cmx coccinelle/ocaml/dumper.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/exposed_modules.cmx ']' + mv ocaml/exposed_modules.cmx coccinelle/ocaml/exposed_modules.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/externalanalysis.cmx ']' + mv ocaml/externalanalysis.cmx coccinelle/ocaml/externalanalysis.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/flag.cmx ']' + mv ocaml/flag.cmx coccinelle/ocaml/flag.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/flag_parsing_c.cmx ']' + mv ocaml/flag_parsing_c.cmx coccinelle/ocaml/flag_parsing_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/iteration.cmx ']' + mv ocaml/iteration.cmx coccinelle/ocaml/iteration.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/lexer_c.cmx ']' + mv ocaml/lexer_c.cmx coccinelle/ocaml/lexer_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/lib_parsing_c.cmx ']' + mv ocaml/lib_parsing_c.cmx coccinelle/ocaml/lib_parsing_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/ocamlcocci_aux.cmx ']' + mv ocaml/ocamlcocci_aux.cmx coccinelle/ocaml/ocamlcocci_aux.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/parmap.cmx ']' + mv ocaml/parmap.cmx coccinelle/ocaml/parmap.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/parse_c.cmx ']' + mv ocaml/parse_c.cmx coccinelle/ocaml/parse_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/parser_c.cmx ']' + mv ocaml/parser_c.cmx coccinelle/ocaml/parser_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/prepare_ocamlcocci.cmx ']' + mv ocaml/prepare_ocamlcocci.cmx coccinelle/ocaml/prepare_ocamlcocci.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/pretty_print_c.cmx ']' + mv ocaml/pretty_print_c.cmx coccinelle/ocaml/pretty_print_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/regexp.cmx ']' + mv ocaml/regexp.cmx coccinelle/ocaml/regexp.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/run_ocamlcocci.cmx ']' + mv ocaml/run_ocamlcocci.cmx coccinelle/ocaml/run_ocamlcocci.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/token_c.cmx ']' + mv ocaml/token_c.cmx coccinelle/ocaml/token_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -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/* + '[' -f ocaml/visitor_c.cmx ']' + mv ocaml/visitor_c.cmx coccinelle/ocaml/visitor_c.cmx + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -f ocaml/yes_prepare_ocamlcocci.cmi ']' + mv ocaml/yes_prepare_ocamlcocci.cmi coccinelle/ocaml/yes_prepare_ocamlcocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/* + '[' -f ocaml/yes_prepare_ocamlcocci.cmx ']' + mv ocaml/yes_prepare_ocamlcocci.cmx coccinelle/ocaml/yes_prepare_ocamlcocci.cmx + popd ~/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib/python3.12/site-packages + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/python/coccilib /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib/python3.12/site-packages + rmdir /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/python + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin/spatch /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle + cp -p tools/pycocci /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin/ + cp -p scripts/spatch.sh /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin/spatch + chmod a+x /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/bin/spatch + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.1.1-24.20230624git0afff7f.fc40 --unique-debug-suffix -1.1.1-24.20230624git0afff7f.fc40.riscv64 --unique-debug-src-base coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 find-debuginfo: starting Extracting debug info from 2 files DWARF-compressing 2 files sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 cpio: : Cannot stat: No such file or directory cpio: atomic.ml: 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: seq.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: src/pcre.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 21959 blocks find-debuginfo: done + /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 *** WARNING: ./usr/src/debug/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/parsing_cocci/patch_diff.ml is executable but has no shebang, removing executable bit + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 Bytecompiling .py files below /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib/python3.12 using python3.12 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.idRead + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + 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 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + export COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle + COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle + spatch=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle/spatch + export LD_LIBRARY_PATH=. + LD_LIBRARY_PATH=. + export PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib/python3.12/site-packages: + PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib/python3.12/site-packages: + /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle/spatch --help Usage: spatch --sp-file [-o ] [--iso-file ] [options] Options are: main options ----------------------------------------------------------------------- --sp-file the semantic patch file --opt-c a c file to process if it exists -o the output file --in-place do the modification on the file directly (backup file name specified with --suffix) --suffix suffix to use when making a backup for inplace or for result of --out-place --out-place store modifications in a .cocci_res file (renamable via --suffix) --reverse invert the semantic patch before applying it -U set number of diff context lines --partial-match report partial matches of the SP on the C file --iso-file (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle/standard.iso) --macro-file --macro-file-builtins (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle/standard.h) --recursive-includes causes all available include files, both those included in the C file(s) and those included in header files, to be used --all-includes causes all available include files included in the C file(s) to be used --no-includes causes not even local include files to be used --local-includes causes local include files to be used --include-headers-for-types use only type information from header files --no-include-cache don't cache parsed include files --ignore-unknown-options For integration in a toolchain (must be set before the first unknown option) --include-headers process header files independently -I containing the header files --include file to consider as being included --preprocess run the C preprocessor before applying the semantic match -c gcc/cpp compatibility mode --dir process all files in directory recursively --ignore specify a file name prefix to ignore --file-groups process the file groups listed in the file --no-scanner no indexing --use-gitgrep works with -dir, works on git tree subdirectories --use-glimpse works with -dir, use info generated by glimpseindex --use-idutils find relevant files using id-utils --use-coccigrep find relevant files using cocci grep --use-diff process files in the diff for a directory --use-patch-diff process files in the diff for a directory --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 --batch_mode no interactivity 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-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle/spatch -sp_file demos/simple.cocci demos/simple.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle/standard.h HANDLING: demos/simple.c diff = --- demos/simple.c +++ /tmp/cocci-output-3916237-f33bbd-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-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle/spatch --sp-file /builddir/build/SOURCES/testpy.cocci /builddir/build/SOURCES/test.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/lib64/coccinelle/standard.h HANDLING: /builddir/build/SOURCES/test.c Hello World! + RPM_EC=0 ++ jobs -p + exit 0 Processing files: coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.woUoIa + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/authors.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/bugs.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/changes.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/credits.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/install.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/readme.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Q0Ysex + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/licenses/coccinelle + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/licenses/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/licenses/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/licenses/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 INFO: ignoring Requires ocaml(Regexp_pcre)=1854791fd991132ca2115f1a29795430 from /usr/lib64/coccinelle/ocaml/regexp.cmx INFO: ignoring Requires ocamlx(Regexp_pcre)=b724185816ded347613053321d25cf70 from /usr/lib64/coccinelle/ocaml/regexp.cmx INFO: ignoring Requires ocaml(Token_views_c)=417d74c86240b0c547e5133e1035f14d from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Parsing_stat)=c8506b7d96db6267fc20aa2dbbc31ea4 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=0cf963f14573dad0d48b54acacae4309 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/externalanalysis.cmi INFO: ignoring Requires ocaml(Token_views_c)=417d74c86240b0c547e5133e1035f14d from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=c8506b7d96db6267fc20aa2dbbc31ea4 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=0cf963f14573dad0d48b54acacae4309 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/externalanalysis.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/lexer_c.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/visitor_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=456016718a61f5ad9716f27abdc35ad8 from /usr/lib64/coccinelle/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Token_views_c)=417d74c86240b0c547e5133e1035f14d from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=c8506b7d96db6267fc20aa2dbbc31ea4 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Flag_parsing_cocci)=1caadd99ce809544c6ed0ecc4a946419 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Data)=b5f8b550f349100d6dbae143e2872703 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=0cf963f14573dad0d48b54acacae4309 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Flag_parsing_cocci)=c96838375069801be6923d508bccc29c from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Data)=a955e4f4daf9dcf2aa1b73d5c304573c from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=47d215ef8efaf69f5a86bb851cd0f625 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Data)=b5f8b550f349100d6dbae143e2872703 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=f5dc3f37aa0ebab50886c3bdd6d06c34 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=937b842cbcdef7a0eb5d07e775c2640c from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Data)=a955e4f4daf9dcf2aa1b73d5c304573c from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Token_views_c)=417d74c86240b0c547e5133e1035f14d from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Parsing_stat)=c8506b7d96db6267fc20aa2dbbc31ea4 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=0cf963f14573dad0d48b54acacae4309 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_views_c)=417d74c86240b0c547e5133e1035f14d from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_helpers)=b8aa27b12aae703162eb133a0f47e5d3 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=47d215ef8efaf69f5a86bb851cd0f625 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_stat)=c8506b7d96db6267fc20aa2dbbc31ea4 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_recovery_c)=cf9da43352573e5f8a63511adebeaad2 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_hacks)=7ff468948a393e124d95dfec60a89fb2 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_consistency_c)=93168541ada2d2bcbd7011857ac24f18 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes_cache)=3d5af754f4e977ee02f97eba53f50d79 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes)=3da89248ca70d25c4037eb6ac31b7e23 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Data)=b5f8b550f349100d6dbae143e2872703 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Danger)=c1e3e8eabf367eb84ac03724b3729e7a from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=0cf963f14573dad0d48b54acacae4309 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Token_helpers)=46512e7a964cee38a33d12687fd4998e from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=937b842cbcdef7a0eb5d07e775c2640c from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_stat)=edc96491097b05d19bc6a4f29c4bddd1 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_recovery_c)=a26619a83a8ca578b6ddb15a74370673 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_hacks)=c9614aabb6e5ea3f99dc6e5553fe222f from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_consistency_c)=e1e1101075bbdb458ec285bc722fc84b from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=fcb11a9bd98bdc3b285840532de1ea54 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes_cache)=b35827e5b140d0c18d68af5d3f6f9069 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes)=2c26352eb1975414dac71254edde841d from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Data)=a955e4f4daf9dcf2aa1b73d5c304573c from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Danger)=bc6fa25caa0441a1cd1fa374bd28d003 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Cpp_token_c)=43b2b57f48d0c1bb14e76c4b9983b1ef from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/parser_c.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=47d215ef8efaf69f5a86bb851cd0f625 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Data)=b5f8b550f349100d6dbae143e2872703 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=f5dc3f37aa0ebab50886c3bdd6d06c34 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=937b842cbcdef7a0eb5d07e775c2640c from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=fcb11a9bd98bdc3b285840532de1ea54 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Data)=a955e4f4daf9dcf2aa1b73d5c304573c from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=456016718a61f5ad9716f27abdc35ad8 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/ast_c.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/ast_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=f5dc3f37aa0ebab50886c3bdd6d06c34 from /usr/lib64/coccinelle/ocaml/ast_c.cmx INFO: ignoring Requires ocaml(Token_views_c)=417d74c86240b0c547e5133e1035f14d from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Parsing_stat)=c8506b7d96db6267fc20aa2dbbc31ea4 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=0cf963f14573dad0d48b54acacae4309 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Type_annoter_c)=d25a8efcdc986d1834827812a75f0e32 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=417d74c86240b0c547e5133e1035f14d from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Parsing_stat)=c8506b7d96db6267fc20aa2dbbc31ea4 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=0cf963f14573dad0d48b54acacae4309 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocamlx(Type_annoter_c)=698892ff86308e7e2093f26e5d33c2f0 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=417d74c86240b0c547e5133e1035f14d from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_annot)=84c7dc67cb838b0ac412b7ef2d38408f from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Parsing_stat)=c8506b7d96db6267fc20aa2dbbc31ea4 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Ograph_extended)=0da3b124fadb8f4784330b76c0fbe2ce from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Lexer_parser)=4d02402a7a7475ca8167fad37fd7f250 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=0cf963f14573dad0d48b54acacae4309 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Control_flow_c)=55eb3e31372880dede721a7d8329f12e from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi Provides: coccinelle = 1.1.1-24.20230624git0afff7f.fc40 coccinelle(riscv-64) = 1.1.1-24.20230624git0afff7f.fc40 ocaml(Ast0_cocci) = 70236dc047177eee4b38794ad9df0359 ocaml(Ast_c) = 700370e83441875605cd4992756471c9 ocaml(Ast_cocci) = 15bcc594c7fd340b9d00feb371e408b8 ocaml(Coccilib) = e9fac91b062e57b6ce22e1be15bc9b94 ocaml(Commands) = 3e66cb50cee286b8ed87773ebef98116 ocaml(Common) = afdff667d1631d3fcf1577fa3b273181 ocaml(Config) = 5edf1be5308aa85a1ea978665d624c14 ocaml(Dumper) = 3b15884a44d079a07e6bfb1795700ed8 ocaml(Exposed_modules) = b02a727fb27d2100e72a844e5364dbb9 ocaml(Externalanalysis) = bc691679b64a969e50cdea87e752e645 ocaml(Flag) = 3510d0097118d16c8d613e797fd95187 ocaml(Flag_parsing_c) = bf71e3a0f7921b53960f10860632dc57 ocaml(Iteration) = 85d3430f23b988ab19417070b77e09b0 ocaml(Lexer_c) = 681099789dfb20d5ab43eb11519bff8b ocaml(Lib_parsing_c) = ff157f01e20e4fbe7c8c631ed55a7107 ocaml(Ocamlcocci_aux) = cea55d0e335dedc09c9e75f37568b5af ocaml(Parmap) = e97ca87286a8381a2bbbc4b148f80152 ocaml(Parse_c) = 5935cb5d7a7fd0168388623dabbe1563 ocaml(Parser_c) = 7343da0a68fd25b36c3429372e782cad ocaml(Prepare_ocamlcocci) = 5aa784e02fb17157357373a1f7b186e4 ocaml(Pretty_print_c) = a34dae18e7f710beb9882832e2dee02b ocaml(Regexp) = eb01cb2357dd1ecb089e1033b9f78dc1 ocaml(Run_ocamlcocci) = 8d2d4dd1eb648098bf51c97acb5a4198 ocaml(Token_c) = e14d172d33536ec3acabee375e3e3bb9 ocaml(Visitor_c) = b99d91a995f19077c0fb23378bb2f94c ocaml(Yes_prepare_ocamlcocci) = eaf95a469b1fdf986f529b5c375d292b ocamlx(Ast0_cocci) = 2268a8798b45e295afb971e5baac4ce0 ocamlx(Ast_c) = ab263e0e8527f4a6070a883eff706e17 ocamlx(Ast_cocci) = 3cb960f1c439212b47178829a324106a ocamlx(Coccilib) = 143aae477200d96a2bb7a0555b621a9f ocamlx(Commands) = c893d50973a053f85144e0fd1bc34aa5 ocamlx(Common) = f8ac7bc91a2d0694c8f802a2b57af279 ocamlx(Config) = b8aacb16aa4121b1eb20b08bec8907cb ocamlx(Dumper) = 372dbfdf5394ad738816570cc62590cd ocamlx(Exposed_modules) = 34d065b772102fde14096c6b3378efd4 ocamlx(Externalanalysis) = 9ecc9a46034066b6081516aba0e39a98 ocamlx(Flag) = bca72763a2691547b084eb97ca0beece ocamlx(Flag_parsing_c) = d7607033852f672d17697a51dc0b1372 ocamlx(Iteration) = 99739b5f4a46d2bf616432ace01f7862 ocamlx(Lexer_c) = fbf370c9d83a5f2460f3098f15b3db50 ocamlx(Lib_parsing_c) = 2d69dc8c779ca4740c3dd55b65d85c39 ocamlx(Ocamlcocci_aux) = b6a7b169471cce78255b9f6d77923130 ocamlx(Parmap) = a47469b13a926e252a196d97e8a86634 ocamlx(Parse_c) = c9fc443f92a234859c7aa5c29c9f5b95 ocamlx(Parser_c) = 1b8651dd7dfc0c655e3d5dbcab961928 ocamlx(Prepare_ocamlcocci) = c40599f72d745c3710472396f8460339 ocamlx(Pretty_print_c) = 28e7c9dc226cb82636e9fba1f831d960 ocamlx(Regexp) = e9d1bd607d04a636aa609b587280b401 ocamlx(Run_ocamlcocci) = 12e61d712a0835829d9c1e32397cdadf ocamlx(Token_c) = 1ba9b79d2be7083a606a229dd6e7da92 ocamlx(Visitor_c) = 6ed5759b1740d30a51d1a52a66f24e6b ocamlx(Yes_prepare_ocamlcocci) = 1b1f7b64efc78855b29a7696ef40d252 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 ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libpcre.so.1()(64bit) libzstd.so.1()(64bit) ocaml(Ast0_cocci) = 70236dc047177eee4b38794ad9df0359 ocaml(Ast_c) = 700370e83441875605cd4992756471c9 ocaml(Ast_cocci) = 15bcc594c7fd340b9d00feb371e408b8 ocaml(Bytearray) = 4ceb767f770570c5e25cd7b9390150af ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(CamlinternalOO) = a1eccd2d96abb9f3928b69663a92aa71 ocaml(Coccilib) = e9fac91b062e57b6ce22e1be15bc9b94 ocaml(Commands) = 3e66cb50cee286b8ed87773ebef98116 ocaml(Common) = afdff667d1631d3fcf1577fa3b273181 ocaml(Config) = 5edf1be5308aa85a1ea978665d624c14 ocaml(Dumper) = 3b15884a44d079a07e6bfb1795700ed8 ocaml(Dynlink) = c3a2790d80cc3ab18ef6d5279484247f ocaml(Exposed_modules) = b02a727fb27d2100e72a844e5364dbb9 ocaml(Externalanalysis) = bc691679b64a969e50cdea87e752e645 ocaml(Flag) = 3510d0097118d16c8d613e797fd95187 ocaml(Flag_parsing_c) = bf71e3a0f7921b53960f10860632dc57 ocaml(Iteration) = 85d3430f23b988ab19417070b77e09b0 ocaml(Lexer_c) = 681099789dfb20d5ab43eb11519bff8b ocaml(Lib_parsing_c) = ff157f01e20e4fbe7c8c631ed55a7107 ocaml(Ocamlcocci_aux) = cea55d0e335dedc09c9e75f37568b5af ocaml(Parmap_compat) = 46f389164abba416ff86770f863c12de ocaml(Parmap_utils) = e79c79b7266ae8cfaedd5fe6fcf47da6 ocaml(Parse_c) = 5935cb5d7a7fd0168388623dabbe1563 ocaml(Parser_c) = 7343da0a68fd25b36c3429372e782cad ocaml(Pretty_print_c) = a34dae18e7f710beb9882832e2dee02b ocaml(Regexp) = eb01cb2357dd1ecb089e1033b9f78dc1 ocaml(Setcore) = f25813e27ad11904e548aa78d4235c69 ocaml(Stdcompat) = 97b9362bc2a365f0d4792a211cdb1110 ocaml(Stdcompat__init) = 58720ef9ca2c109135abf49efd402707 ocaml(Stdcompat__stdlib_s) = 4548158c4e27fd650670a5a2c3aee85f ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Arg) = 18253dcec67095590704d82c26fe23cf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465 ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Gc) = 8e6d11d9258256ce68f87ffc7b5575b9 ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4 ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Marshal) = f1f29b834f95adf0e7c4b02ced6999f5 ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511 ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073 ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5 ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Str) = bd4d70b70c8423b47459a789150b0e09 ocaml(Token_c) = e14d172d33536ec3acabee375e3e3bb9 ocaml(Unix) = 3a423732520b05536abd290bef5048fe ocaml(Visitor_c) = b99d91a995f19077c0fb23378bb2f94c ocaml(Yes_prepare_ocamlcocci) = eaf95a469b1fdf986f529b5c375d292b ocamlx(Ast0_cocci) = 2268a8798b45e295afb971e5baac4ce0 ocamlx(Ast_c) = ab263e0e8527f4a6070a883eff706e17 ocamlx(Ast_cocci) = 3cb960f1c439212b47178829a324106a ocamlx(Bytearray) = 18483715210a95c3cdf9680e69f25e71 ocamlx(CamlinternalFormat) = ae97d2b84e532a9a212e0e5b5779297f ocamlx(CamlinternalOO) = 5c84355d04a121478ba80dbd44f0455f ocamlx(Coccilib) = 143aae477200d96a2bb7a0555b621a9f ocamlx(Commands) = c893d50973a053f85144e0fd1bc34aa5 ocamlx(Common) = f8ac7bc91a2d0694c8f802a2b57af279 ocamlx(Config) = b8aacb16aa4121b1eb20b08bec8907cb ocamlx(Dumper) = 372dbfdf5394ad738816570cc62590cd ocamlx(Dynlink) = 9d7074b773ef570e8c798016eb6186f5 ocamlx(Dynlink_types) = e30ed72c52ed08475dc5647b56833ba1 ocamlx(Exposed_modules) = 34d065b772102fde14096c6b3378efd4 ocamlx(Externalanalysis) = 9ecc9a46034066b6081516aba0e39a98 ocamlx(Flag) = bca72763a2691547b084eb97ca0beece ocamlx(Flag_parsing_c) = d7607033852f672d17697a51dc0b1372 ocamlx(Iteration) = 99739b5f4a46d2bf616432ace01f7862 ocamlx(Lexer_c) = fbf370c9d83a5f2460f3098f15b3db50 ocamlx(Lib_parsing_c) = 2d69dc8c779ca4740c3dd55b65d85c39 ocamlx(Ocamlcocci_aux) = b6a7b169471cce78255b9f6d77923130 ocamlx(Parmap_compat) = 204cbbf311706bc188550f1e53d5dfb8 ocamlx(Parmap_utils) = 950693cf569bad105d98bd7bf98f012e ocamlx(Parse_c) = c9fc443f92a234859c7aa5c29c9f5b95 ocamlx(Parser_c) = 1b8651dd7dfc0c655e3d5dbcab961928 ocamlx(Pretty_print_c) = 28e7c9dc226cb82636e9fba1f831d960 ocamlx(Regexp) = e9d1bd607d04a636aa609b587280b401 ocamlx(Setcore) = d00ffc74dd48e8589a1f3a4189ca8c41 ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319 ocamlx(Stdlib__Arg) = 4bdfd4079841d66b1e8dcb077942909d ocamlx(Stdlib__Array) = 3af1d566c6148a199985d71cbd1c6545 ocamlx(Stdlib__Bigarray) = e0e9b892cbd117060d511cac34d97704 ocamlx(Stdlib__Buffer) = d527fea84697b046dceaf8ef2eb5c89a ocamlx(Stdlib__Bytes) = 6e96cb79087dc8383da67de61ba228be ocamlx(Stdlib__Char) = ad386aeaa4c1089b5b0764954c0b14c4 ocamlx(Stdlib__Domain) = 9508b777df5086cd80599270908bfec2 ocamlx(Stdlib__Filename) = 4aa95ae4f959f11404892271cab60bb0 ocamlx(Stdlib__Format) = f90c0bee78deceb4a6ee1637008136ec ocamlx(Stdlib__Gc) = 9457e2a09e3704fea087444a8de408a6 ocamlx(Stdlib__Hashtbl) = 9531514b7ee9cf989da6b9fb2410c8ea ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d ocamlx(Stdlib__Lexing) = a3dd8098d41923179f98c8d0ab446823 ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea ocamlx(Stdlib__Map) = ec4596c14facd8bd30146ba012ccf9bf ocamlx(Stdlib__Marshal) = 4a32f9e1a243dbf7e33fe5e17db8fe7d ocamlx(Stdlib__Obj) = 32178ca49b05210181d3cacd255b6b8f ocamlx(Stdlib__Parsing) = 1fcea6fdd365f25457c26ed0b180355a ocamlx(Stdlib__Printexc) = 1e229aacace8d903bbd02744b08a4f55 ocamlx(Stdlib__Printf) = 527051c09b189b1a45f3d3fc15e54263 ocamlx(Stdlib__Random) = 755e8c0f74d6e5babf19c28b381bfd1b ocamlx(Stdlib__Set) = 167748f394b82bd3f24f5739f737c4ac ocamlx(Stdlib__String) = 2a70f0bbdd4065b9a6f9202cfba1eaa6 ocamlx(Stdlib__Sys) = 80174ddb486c25ada27d984f889dee18 ocamlx(Str) = 8ca8462ae17b387e0aff9b2bc7ea3b09 ocamlx(Token_c) = 1ba9b79d2be7083a606a229dd6e7da92 ocamlx(Unix) = 64f3e266f8eba3d2e6784a0498fb0491 ocamlx(Visitor_c) = 6ed5759b1740d30a51d1a52a66f24e6b ocamlx(Yes_prepare_ocamlcocci) = 1b1f7b64efc78855b29a7696ef40d252 python(abi) = 3.12 rtld(GNU_HASH) Processing files: coccinelle-bash-completion-1.1.1-24.20230624git0afff7f.fc40.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.e5TdA2 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/licenses/coccinelle-bash-completion + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/licenses/coccinelle-bash-completion + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/licenses/coccinelle-bash-completion + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/licenses/coccinelle-bash-completion + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-bash-completion = 1.1.1-24.20230624git0afff7f.fc40 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-24.20230624git0afff7f.fc40.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.n8fb74 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle-doc + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle-doc + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/docs /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-doc = 1.1.1-24.20230624git0afff7f.fc40 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-24.20230624git0afff7f.fc40.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.hhSz0V + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle-examples + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle-examples + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/demos /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/usr/share/doc/coccinelle-examples + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-examples = 1.1.1-24.20230624git0afff7f.fc40 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-24.20230624git0afff7f.fc40.riscv64 Provides: coccinelle-debugsource = 1.1.1-24.20230624git0afff7f.fc40 coccinelle-debugsource(riscv-64) = 1.1.1-24.20230624git0afff7f.fc40 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-24.20230624git0afff7f.fc40.riscv64 Provides: coccinelle-debuginfo = 1.1.1-24.20230624git0afff7f.fc40 coccinelle-debuginfo(riscv-64) = 1.1.1-24.20230624git0afff7f.fc40 debuginfo(build-id) = 0769d1f2121e767fa7c9740d3432116b80912c05 debuginfo(build-id) = 0c8578072f25280d62f154bcd3a32152689bab8e Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: coccinelle-debugsource(riscv-64) = 1.1.1-24.20230624git0afff7f.fc40 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 Wrote: /builddir/build/RPMS/coccinelle-doc-1.1.1-24.20230624git0afff7f.fc40.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-examples-1.1.1-24.20230624git0afff7f.fc40.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-bash-completion-1.1.1-24.20230624git0afff7f.fc40.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-debugsource-1.1.1-24.20230624git0afff7f.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/coccinelle-debuginfo-1.1.1-24.20230624git0afff7f.fc40.riscv64.rpm Wrote: /builddir/build/RPMS/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.9etWRc + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + /usr/bin/rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.8cOPjx + umask 022 + cd /builddir/build/BUILD + rm -rf /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237-SPECPARTS + rm -rf coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0