Mock Version: 3.5 Mock Version: 3.5 Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/f39-build-1545153-36675/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=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --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=1689724800 Wrote: /builddir/build/SRPMS/coccinelle-1.1.1-22.20230624git0afff7f.fc39.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/f39-build-1545153-36675/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=864000uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --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=1689724800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.g9nfej + 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 + xargs -I '{}' sh -exc 'expand -t8 {} > tempfile && mv tempfile {}' + find . -iname '*.py' + expand -t8 ./python/coccilib/xml_firehose.py + mv tempfile ./python/coccilib/xml_firehose.py + expand -t8 ./python/coccilib/iteration.py + mv tempfile ./python/coccilib/iteration.py + expand -t8 ./python/coccilib/org.py + mv tempfile ./python/coccilib/org.py + expand -t8 ./python/coccilib/elems.py + mv tempfile ./python/coccilib/elems.py + expand -t8 ./python/coccilib/report.py + mv tempfile ./python/coccilib/report.py + expand -t8 ./python/coccilib/__init__.py + mv tempfile ./python/coccilib/__init__.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 ./ci/trace-cmd/check-template-changed.py + mv tempfile ./ci/trace-cmd/check-template-changed.py + expand -t8 ./ci/trace-cmd/create-template.py + mv tempfile ./ci/trace-cmd/create-template.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.3UGbjq + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -fstack-clash-protection -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 -fstack-clash-protection -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 -fstack-clash-protection -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 -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 -fstack-clash-protection -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 -fstack-clash-protection -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 -fstack-clash-protection -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 -fstack-clash-protection -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/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-03 13:31:07.463631440 -0400 +++ ./bundles/parmap/configure 2023-11-03 13:33:32.843649273 -0400 @@ -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 + 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 + '[' 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-koji-linux-gnu --host=riscv64-koji-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-koji-linux-gnu-date... no checking for date... /usr/bin/date configure: version suffix set to Fri, 03 Nov 2023 13:33:48 -0400 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-koji-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-koji-linux-gnu-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for riscv64-koji-linux-gnu-ocamlc... no checking for ocamlc... /usr/bin/ocamlc OCaml version is 4.14.0 OCaml library path is /usr/lib64/ocaml checking for riscv64-koji-linux-gnu-ocamlopt... no checking for ocamlopt... /usr/bin/ocamlopt checking for riscv64-koji-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for riscv64-koji-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for riscv64-koji-linux-gnu-ocaml... no checking for ocaml... /usr/bin/ocaml checking for riscv64-koji-linux-gnu-ocamldep... no checking for ocamldep... /usr/bin/ocamldep checking for riscv64-koji-linux-gnu-ocamlmktop... no checking for ocamlmktop... /usr/bin/ocamlmktop checking for riscv64-koji-linux-gnu-ocamlmklib... no checking for ocamlmklib... /usr/bin/ocamlmklib checking for riscv64-koji-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... no checking for riscv64-koji-linux-gnu-ocamllex... no checking for ocamllex... /usr/bin/ocamllex checking for riscv64-koji-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for riscv64-koji-linux-gnu-ocamlyacc... no checking for ocamlyacc... /usr/bin/ocamlyacc checking for riscv64-koji-linux-gnu-ocamlfind... no checking for ocamlfind... /usr/bin/ocamlfind checking for riscv64-koji-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 bigarray... found checking for OCaml findlib package str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package parmap checking for OCaml findlib package parmap... found configure: configuring package stdcompat checking for OCaml findlib package stdcompat... found checking if installed stdcompat provides In_channel... yes configure: verifying optional features checking for riscv64-koji-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-koji-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-koji-linux-gnu --host=riscv64-koji-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-dev docs' + unset MAKEFLAGS + make all-dev docs 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 -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 OCAMLC commons/ocamlextra/dumper.ml OCAMLC commons/commands.mli OCAMLC commons/commands.ml OCAMLC commons/common.mli OCAMLC commons/common.ml OCAMLC commons/ograph_simple.mli OCAMLC commons/ograph_simple.ml OCAMLC commons/ograph_extended.mli OCAMLC commons/ograph_extended.ml OCAMLC -o commons/commons.cma OCAMLC globals/config.mli OCAMLC globals/config.ml OCAMLC globals/flag.mli OCAMLC globals/flag.ml OCAMLC globals/iteration.mli OCAMLC globals/iteration.ml OCAMLC globals/regexp_pcre.mli OCAMLC globals/regexp_pcre.ml OCAMLC globals/regexp.mli OCAMLC globals/regexp.ml OCAMLC -o globals/globals.cma OCAMLC parsing_cocci/flag_parsing_cocci.mli OCAMLC parsing_cocci/flag_parsing_cocci.ml OCAMLC parsing_cocci/ast_cocci.mli OCAMLC parsing_cocci/ast_cocci.ml OCAMLC parsing_cocci/ast0_cocci.mli OCAMLC parsing_cocci/ast0_cocci.ml OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLC parsing_cocci/pretty_print_cocci.ml OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLC parsing_cocci/visitor_ast0_types.ml OCAMLC parsing_cocci/visitor_ast.mli OCAMLC parsing_cocci/visitor_ast.ml OCAMLC parsing_cocci/visitor_ast0.mli OCAMLC parsing_cocci/visitor_ast0.ml OCAMLC parsing_cocci/ast0toast.mli OCAMLC parsing_cocci/ast0toast.ml OCAMLC parsing_cocci/unparse_ast0.mli OCAMLC parsing_cocci/unparse_ast0.ml OCAMLC parsing_cocci/unify_ast.mli OCAMLC parsing_cocci/unify_ast.ml OCAMLC parsing_cocci/compute_lines.mli OCAMLC parsing_cocci/compute_lines.ml OCAMLC parsing_cocci/iso_pattern.mli OCAMLC parsing_cocci/iso_pattern.ml OCAMLC parsing_cocci/comm_assoc.mli OCAMLC parsing_cocci/comm_assoc.ml OCAMLC parsing_cocci/iso_compile.mli OCAMLC parsing_cocci/iso_compile.ml OCAMLC parsing_cocci/single_statement.mli OCAMLC parsing_cocci/single_statement.ml OCAMLC parsing_cocci/simple_assignments.mli OCAMLC parsing_cocci/simple_assignments.ml OCAMLC parsing_cocci/get_metas.mli OCAMLC parsing_cocci/get_metas.ml OCAMLC parsing_cocci/stmtlist.mli OCAMLC parsing_cocci/stmtlist.ml OCAMLC parsing_cocci/top_level.mli OCAMLC parsing_cocci/top_level.ml OCAMLC parsing_cocci/type_infer.mli OCAMLC parsing_cocci/type_infer.ml OCAMLC parsing_cocci/test_exps.mli OCAMLC parsing_cocci/test_exps.ml OCAMLC parsing_cocci/unitary_ast0.mli OCAMLC parsing_cocci/unitary_ast0.ml OCAMLC parsing_cocci/arity.mli OCAMLC parsing_cocci/arity.ml OCAMLC parsing_cocci/index.mli OCAMLC parsing_cocci/index.ml OCAMLC parsing_cocci/context_neg.mli OCAMLC parsing_cocci/context_neg.ml OCAMLC parsing_cocci/adjust_pragmas.mli OCAMLC parsing_cocci/adjust_pragmas.ml OCAMLC parsing_cocci/insert_plus.mli OCAMLC parsing_cocci/insert_plus.ml OCAMLC parsing_cocci/function_prototypes.mli OCAMLC parsing_cocci/function_prototypes.ml OCAMLC parsing_cocci/semantic_cocci.mli OCAMLC parsing_cocci/semantic_cocci.ml OCAMLC parsing_cocci/data.mli OCAMLC parsing_cocci/data.ml OCAMLC parsing_cocci/free_vars.mli OCAMLC parsing_cocci/free_vars.ml OCAMLC parsing_cocci/check_meta.mli OCAMLC parsing_cocci/check_meta.ml OCAMLC parsing_cocci/safe_for_multi_decls.mli OCAMLC parsing_cocci/safe_for_multi_decls.ml OCAMLC parsing_cocci/parse_printf.mli OCAMLC parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/parse_aux.mli OCAMLC parsing_cocci/parse_aux.ml OCAMLC parsing_cocci/cleanup_rules.mli OCAMLC parsing_cocci/cleanup_rules.ml OCAMLC parsing_cocci/disjdistr.mli OCAMLC 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 OCAMLC parsing_cocci/parser_cocci_menhir.ml OCAMLC parsing_cocci/lexer_cocci.mli OCAMLC parsing_cocci/lexer_cocci.ml OCAMLC parsing_cocci/lexer_cli.mli OCAMLC parsing_cocci/lexer_cli.ml OCAMLC parsing_cocci/lexer_script.mli OCAMLC parsing_cocci/lexer_script.ml OCAMLC parsing_cocci/cocci_grep.mli OCAMLC parsing_cocci/cocci_grep.ml OCAMLC parsing_cocci/dpll.mli OCAMLC parsing_cocci/dpll.ml OCAMLC parsing_cocci/get_constants2.mli OCAMLC parsing_cocci/get_constants2.ml OCAMLC parsing_cocci/id_utils.mli OCAMLC parsing_cocci/id_utils.ml OCAMLC parsing_cocci/git_grep.mli OCAMLC parsing_cocci/git_grep.ml OCAMLC parsing_cocci/patch_diff.mli OCAMLC parsing_cocci/patch_diff.ml OCAMLC parsing_cocci/adjacency.mli OCAMLC parsing_cocci/adjacency.ml OCAMLC parsing_cocci/commas_on_lists.mli OCAMLC parsing_cocci/commas_on_lists.ml OCAMLC parsing_cocci/re_constraints.mli OCAMLC parsing_cocci/re_constraints.ml OCAMLC parsing_cocci/parse_cocci.mli OCAMLC parsing_cocci/parse_cocci.ml OCAMLC parsing_cocci/command_line.mli OCAMLC parsing_cocci/command_line.ml OCAMLC parsing_cocci/cocci_args.mli OCAMLC parsing_cocci/cocci_args.ml OCAMLC -o parsing_cocci/parsing_cocci.cma OCAMLC parsing_c/token_annot.mli OCAMLC parsing_c/token_annot.ml OCAMLC parsing_c/flag_parsing_c.mli OCAMLC parsing_c/flag_parsing_c.ml OCAMLC parsing_c/parsing_stat.mli OCAMLC parsing_c/parsing_stat.ml OCAMLC parsing_c/token_c.mli OCAMLC parsing_c/token_c.ml OCAMLC parsing_c/ast_c.mli OCAMLC parsing_c/ast_c.ml OCAMLC parsing_c/includes.mli OCAMLC parsing_c/includes.ml OCAMLC parsing_c/control_flow_c.mli OCAMLC parsing_c/control_flow_c.ml OCAMLC parsing_c/visitor_c.mli OCAMLC parsing_c/visitor_c.ml OCAMLC parsing_c/lib_parsing_c.mli OCAMLC parsing_c/lib_parsing_c.ml OCAMLC parsing_c/includes_cache.mli OCAMLC parsing_c/includes_cache.ml OCAMLC parsing_c/pretty_print_c.mli OCAMLC parsing_c/pretty_print_c.ml OCAMLC parsing_c/control_flow_c_build.mli OCAMLC parsing_c/control_flow_c_build.ml OCAMLC parsing_c/semantic_c.mli OCAMLC parsing_c/semantic_c.ml OCAMLC parsing_c/lexer_parser.mli OCAMLC parsing_c/lexer_parser.ml OCAMLC parsing_c/parser_c.mli OCAMLC parsing_c/parser_c.ml OCAMLC parsing_c/lexer_c.mli OCAMLC parsing_c/lexer_c.ml OCAMLC parsing_c/parse_string_c.mli OCAMLC parsing_c/parse_string_c.ml OCAMLC parsing_c/token_helpers.mli OCAMLC parsing_c/token_helpers.ml OCAMLC parsing_c/token_views_c.mli OCAMLC parsing_c/token_views_c.ml OCAMLC parsing_c/cpp_token_c.mli OCAMLC parsing_c/cpp_token_c.ml OCAMLC parsing_c/parsing_hacks.mli OCAMLC parsing_c/parsing_hacks.ml OCAMLC parsing_c/cpp_analysis_c.mli OCAMLC parsing_c/cpp_analysis_c.ml OCAMLC parsing_c/unparse_cocci.mli OCAMLC parsing_c/unparse_cocci.ml OCAMLC parsing_c/parsing_recovery_c.mli OCAMLC parsing_c/parsing_recovery_c.ml OCAMLC parsing_c/parsing_consistency_c.mli OCAMLC parsing_c/parsing_consistency_c.ml OCAMLC parsing_c/danger.mli OCAMLC parsing_c/danger.ml OCAMLC parsing_c/parse_c.mli OCAMLC parsing_c/parse_c.ml OCAMLC parsing_c/unparse_c.mli OCAMLC parsing_c/unparse_c.ml OCAMLC parsing_c/unparse_hrule.mli OCAMLC parsing_c/unparse_hrule.ml OCAMLC parsing_c/type_c.mli OCAMLC parsing_c/type_c.ml OCAMLC parsing_c/cpp_ast_c.mli OCAMLC parsing_c/cpp_ast_c.ml OCAMLC parsing_c/type_annoter_c.mli OCAMLC parsing_c/type_annoter_c.ml OCAMLC parsing_c/comment_annotater_c.mli OCAMLC parsing_c/comment_annotater_c.ml OCAMLC parsing_c/compare_c.mli OCAMLC parsing_c/compare_c.ml OCAMLC parsing_c/test_parsing_c.mli OCAMLC parsing_c/test_parsing_c.ml OCAMLC -o parsing_c/parsing_c.cma OCAMLC ctl/flag_ctl.mli OCAMLC ctl/flag_ctl.ml OCAMLC ctl/ast_ctl.mli OCAMLC ctl/ast_ctl.ml OCAMLC ctl/pretty_print_ctl.mli OCAMLC ctl/pretty_print_ctl.ml OCAMLC ctl/ctl_engine.mli OCAMLC ctl/ctl_engine.ml OCAMLC ctl/wrapper_ctl.mli OCAMLC ctl/wrapper_ctl.ml OCAMLC -o ctl/ctl.cma OCAMLC ocaml/externalanalysis.mli OCAMLC ocaml/externalanalysis.ml OCAMLC ocaml/exposed_modules.mli OCAMLC ocaml/exposed_modules.ml OCAMLC ocaml/coccilib.mli OCAMLC ocaml/coccilib.ml OCAMLC ocaml/ocamlcocci_aux.mli OCAMLC ocaml/ocamlcocci_aux.ml OCAMLC ocaml/yes_prepare_ocamlcocci.mli OCAMLC ocaml/yes_prepare_ocamlcocci.ml OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLC ocaml/prepare_ocamlcocci.ml OCAMLC ocaml/run_ocamlcocci.mli OCAMLC ocaml/run_ocamlcocci.ml OCAMLC -o ocaml/ocaml.cma OCAMLC python/pycocci_aux.mli OCAMLC python/pycocci_aux.ml OCAMLC python/yes_pycocci.mli OCAMLC python/yes_pycocci.ml OCAMLC python/pycocci.mli OCAMLC python/pycocci.ml OCAMLC -o python/python.cma OCAMLC engine/flag_matcher.mli OCAMLC engine/flag_matcher.ml OCAMLC engine/lib_engine.mli OCAMLC engine/lib_engine.ml OCAMLC engine/pretty_print_engine.mli OCAMLC engine/pretty_print_engine.ml OCAMLC engine/check_exhaustive_pattern.mli OCAMLC engine/check_exhaustive_pattern.ml OCAMLC engine/check_reachability.mli OCAMLC engine/check_reachability.ml OCAMLC engine/c_vs_c.mli OCAMLC engine/c_vs_c.ml OCAMLC engine/isomorphisms_c_c.mli OCAMLC engine/isomorphisms_c_c.ml OCAMLC engine/cocci_vs_c.mli OCAMLC engine/cocci_vs_c.ml OCAMLC engine/pattern_c.mli OCAMLC engine/pattern_c.ml OCAMLC engine/transformation_c.mli OCAMLC engine/transformation_c.ml OCAMLC engine/asttomember.mli OCAMLC engine/asttomember.ml OCAMLC engine/asttoctl2.mli OCAMLC engine/asttoctl2.ml OCAMLC engine/ctltotex.mli OCAMLC engine/ctltotex.ml OCAMLC engine/postprocess_transinfo.mli OCAMLC engine/postprocess_transinfo.ml OCAMLC engine/ctlcocci_integration.mli OCAMLC engine/ctlcocci_integration.ml OCAMLC -o engine/engine.cma OCAMLC popl09/ast_popl.mli OCAMLC popl09/ast_popl.ml OCAMLC popl09/asttopopl.mli OCAMLC popl09/asttopopl.ml OCAMLC popl09/insert_quantifiers.mli OCAMLC popl09/insert_quantifiers.ml OCAMLC popl09/pretty_print_popl.mli OCAMLC popl09/pretty_print_popl.ml OCAMLC popl09/flag_popl.mli OCAMLC popl09/flag_popl.ml OCAMLC popl09/popltoctl.mli OCAMLC popl09/popltoctl.ml OCAMLC popl09/popl.mli OCAMLC popl09/popl.ml OCAMLC -o popl09/popl09.cma OCAMLC extra/classic_patch.mli OCAMLC extra/classic_patch.ml OCAMLC extra/kbuild.mli OCAMLC extra/kbuild.ml OCAMLC extra/maintainers.mli OCAMLC extra/maintainers.ml OCAMLC -o extra/extra.cma OCAMLC flag_cocci.mli OCAMLC flag_cocci.ml OCAMLC cocci.mli OCAMLC cocci.ml OCAMLC testing.mli OCAMLC testing.ml OCAMLC read_options.mli OCAMLC read_options.ml OCAMLC enter.mli OCAMLC enter.ml OCAMLC main.mli OCAMLC main.ml OCAMLC -o spatch OCAMLC tools/spgen/source/globals.mli OCAMLC tools/spgen/source/globals.ml OCAMLC tools/spgen/source/ast_tostring.mli OCAMLC tools/spgen/source/ast_tostring.ml OCAMLC tools/spgen/source/detect_patch.mli OCAMLC tools/spgen/source/detect_patch.ml OCAMLC tools/spgen/source/meta_variable.mli OCAMLC tools/spgen/source/meta_variable.ml OCAMLC tools/spgen/source/snapshot.mli OCAMLC tools/spgen/source/snapshot.ml OCAMLC tools/spgen/source/user_input.mli OCAMLC tools/spgen/source/user_input.ml OCAMLC tools/spgen/source/position_generator.mli OCAMLC tools/spgen/source/position_generator.ml OCAMLC tools/spgen/source/disj_generator.mli OCAMLC tools/spgen/source/disj_generator.ml OCAMLC tools/spgen/source/rule_body.mli OCAMLC tools/spgen/source/rule_body.ml OCAMLC tools/spgen/source/rule_header.mli OCAMLC tools/spgen/source/rule_header.ml OCAMLC tools/spgen/source/context_rule.mli OCAMLC tools/spgen/source/context_rule.ml OCAMLC tools/spgen/source/script_rule.mli OCAMLC tools/spgen/source/script_rule.ml OCAMLC tools/spgen/source/file_transform.mli OCAMLC tools/spgen/source/file_transform.ml OCAMLC tools/spgen/source/spgen_interactive.mli OCAMLC tools/spgen/source/spgen_interactive.ml OCAMLC tools/spgen/source/spgen_lexer.mli OCAMLC tools/spgen/source/spgen_lexer.ml OCAMLC tools/spgen/source/spgen_config.mli OCAMLC tools/spgen/source/spgen_config.ml OCAMLC tools/spgen/source/spgen.mli OCAMLC tools/spgen/source/spgen.ml OCAMLC tools/spgen/source/spgen_test.mli OCAMLC tools/spgen/source/spgen_test.ml OCAMLC tools/spgen/source/main.mli OCAMLC tools/spgen/source/main.ml OCAMLC -o tools/spgen/source/spgen 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 cp parsing_c/token_c.cmo ocaml/token_c.cmo cp parsing_c/ast_c.cmo ocaml/ast_c.cmo cp parsing_c/parse_c.cmo ocaml/parse_c.cmo cp parsing_c/parser_c.cmo ocaml/parser_c.cmo cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo cp globals/regexp.cmo ocaml/regexp.cmo cp globals/config.cmo ocaml/config.cmo cp globals/flag.cmo ocaml/flag.cmo cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo cp globals/iteration.cmo ocaml/iteration.cmo cp commons/commands.cmo ocaml/commands.cmo cp commons/common.cmo ocaml/common.cmo cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo OCAMLOPT commons/ocamlextra/dumper.ml OCAMLOPT commons/common.ml OCAMLOPT parsing_c/token_c.ml cp parsing_c/token_c.cmx ocaml/token_c.cmx OCAMLOPT parsing_c/token_annot.ml OCAMLOPT globals/regexp_pcre.ml OCAMLOPT globals/regexp.ml OCAMLOPT parsing_cocci/ast_cocci.ml OCAMLOPT parsing_c/ast_c.ml cp parsing_c/ast_c.cmx ocaml/ast_c.cmx OCAMLOPT parsing_c/flag_parsing_c.ml OCAMLOPT commons/ograph_extended.ml OCAMLOPT parsing_c/control_flow_c.ml OCAMLOPT parsing_c/visitor_c.ml OCAMLOPT parsing_c/semantic_c.ml OCAMLOPT commons/commands.ml OCAMLOPT globals/flag.ml OCAMLOPT parsing_c/lib_parsing_c.ml OCAMLOPT parsing_c/pretty_print_c.ml OCAMLOPT parsing_c/lexer_parser.ml OCAMLOPT parsing_cocci/ast0_cocci.ml OCAMLOPT parsing_cocci/data.ml OCAMLOPT parsing_c/parser_c.ml OCAMLOPT parsing_c/token_helpers.ml OCAMLOPT parsing_c/parsing_stat.ml OCAMLOPT parsing_c/parsing_recovery_c.ml OCAMLOPT parsing_c/token_views_c.ml OCAMLOPT parsing_cocci/parse_printf.ml OCAMLOPT parsing_c/parse_string_c.ml OCAMLOPT parsing_c/cpp_token_c.ml OCAMLOPT parsing_c/parsing_hacks.ml OCAMLOPT parsing_c/parsing_consistency_c.ml OCAMLOPT parsing_c/lexer_c.ml OCAMLOPT commons/ograph_simple.ml OCAMLOPT parsing_c/includes.ml OCAMLOPT parsing_c/includes_cache.ml OCAMLOPT parsing_c/danger.ml OCAMLOPT parsing_c/parse_c.ml 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 OCAMLOPT globals/config.ml 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 OCAMLOPT globals/iteration.ml 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.3) 21874 strings of total length 407190 1847979 memory locations dumped; current usage is 204&343533 20160 multiletter control sequences \font\nullfont=nullfont \font\c__fp_exp_intarray=cmr10 at 0.00002pt \font\c__fp_trig_intarray=cmr10 at 0.00003pt \font\c_initex_cctab=cmr10 at 0.00005pt \font\c_other_cctab=cmr10 at 0.00006pt \font\c_str_cctab=cmr10 at 0.00008pt \font\g__regex_state_active_intarray=cmr10 at 0.00009pt \font\g__regex_thread_info_intarray=cmr10 at 0.0001pt \font\g__regex_submatch_prev_intarray=cmr10 at 0.00012pt \font\g__regex_submatch_begin_intarray=cmr10 at 0.00014pt \font\g__regex_submatch_end_intarray=cmr10 at 0.00015pt \font\g__regex_submatch_case_intarray=cmr10 at 0.00017pt \font\g__regex_balance_intarray=cmr10 at 0.00018pt \font\g__codepoint_uppercase_index_intarray=cmr10 at 0.0002pt \font\g__codepoint_lowercase_index_intarray=cmr10 at 0.00021pt \font\g__codepoint_uppercase_blocks_intarray=cmr10 at 0.00023pt \font\g__codepoint_lowercase_blocks_intarray=cmr10 at 0.00024pt \font\OMX/cmex/m/n/10=cmex10 \font\tenln=line10 \font\tenlnw=linew10 \font\tencirc=lcircle10 \font\tencircw=lcirclew10 \font\OT1/cmr/m/n/5=cmr5 \font\OT1/cmr/m/n/7=cmr7 \font\OT1/cmr/m/n/10=cmr10 \font\OML/cmm/m/it/5=cmmi5 \font\OML/cmm/m/it/7=cmmi7 \font\OML/cmm/m/it/10=cmmi10 \font\OMS/cmsy/m/n/5=cmsy5 \font\OMS/cmsy/m/n/7=cmsy7 \font\OMS/cmsy/m/n/10=cmsy10 \font\c_code_cctab=cmr10 at 0.00026pt \font\c_document_cctab=cmr10 at 0.00027pt 512280 words of font info for 32 preloaded fonts 14 hyphenation exceptions Hyphenation trie of length 6081 has 183 ops out of 35111 2 for language 1 181 for language 0 0 words of pdfTeX memory 0 indirect objects No pages of output. Transcript written on pdflatex.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2022/texmf-var/web2c/pdftex/pdflatex.log mktexfmt [INFO]: /builddir/.texlive2022/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: ************************************************************* * * * WARNING: you are switching to fmtutil's per-user formats. * * Please read the following warnings! * * * ************************************************************* You have run fmtutil-user (as opposed to fmtutil-sys) for the first time; this has created format files which are local to your personal account. From now on, any changes in system formats will *not* be automatically reflected in your files; furthermore, running fmtutil-sys will no longer have any effect for you. As a consequence, you yourself have to rerun fmtutil-user after any change in the system directories. For example, when one of the LaTeX or other format source files changes, which happens frequently. See https://tug.org/texlive/scripts-sys-user.html for details. If you want to undo this, remove the files mentioned above. Run mktexfmt --help for full documentation of fmtutil. mktexfmt [INFO]: exiting with status 0 entering extended mode (./manual.tex LaTeX2e <2022-06-01> patch level 5 L3 programming layer <2022-12-17> (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/usr/share/texliv e/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] No file manual.toc. pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, duplicate ignored \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.3) 2237 strings of total length 30211 11955 memory locations dumped; current usage is 3679&7916 1011 symbolic tokens Transcript written on mf.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2022/texmf-var/web2c/metafont/mf.log mktexfmt [INFO]: /builddir/.texlive2022/texmf-var/web2c/metafont/mf.base installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: ************************************************************* * * * WARNING: you are switching to fmtutil's per-user formats. * * Please read the following warnings! * * * ************************************************************* You have run fmtutil-user (as opposed to fmtutil-sys) for the first time; this has created format files which are local to your personal account. From now on, any changes in system formats will *not* be automatically reflected in your files; furthermore, running fmtutil-sys will no longer have any effect for you. As a consequence, you yourself have to rerun fmtutil-user after any change in the system directories. For example, when one of the LaTeX or other format source files changes, which happens frequently. See https://tug.org/texlive/scripts-sys-user.html for details. If you want to undo this, remove the files mentioned above. Run mktexfmt --help for full documentation of fmtutil. mktexfmt [INFO]: exiting with status 0 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeo10 This is METAFONT, Version 2.71828182 (TeX Live 2022) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeo10.tfm. Output written on ifgeo10.600gf (67 characters, 15684 bytes). Transcript written on ifgeo10.log. mktexpk: /builddir/.texlive2022/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. 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, 318482 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, 328142 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, 254589 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, 227625 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, 227625 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, 318866 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, 329805 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.OVH8OB + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64 ++ dirname /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -fstack-clash-protection -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 -fstack-clash-protection -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 -fstack-clash-protection -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-22.20230624git0afff7f.fc39.riscv64/usr/lib64/python/coccilib + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64 'INSTALL=/usr/bin/install -p' OCAMLOPT -o commons/commons.cmxa OCAMLOPT -o globals/globals.cmxa OCAMLOPT parsing_cocci/flag_parsing_cocci.ml OCAMLOPT parsing_cocci/pretty_print_cocci.ml OCAMLOPT parsing_cocci/visitor_ast0_types.ml OCAMLOPT parsing_cocci/visitor_ast.ml OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLOPT parsing_cocci/ast0toast.ml OCAMLOPT parsing_cocci/unparse_ast0.ml OCAMLOPT parsing_cocci/unify_ast.ml OCAMLOPT parsing_cocci/compute_lines.ml OCAMLOPT parsing_cocci/iso_pattern.ml OCAMLOPT parsing_cocci/comm_assoc.ml OCAMLOPT parsing_cocci/iso_compile.ml OCAMLOPT parsing_cocci/single_statement.ml OCAMLOPT parsing_cocci/simple_assignments.ml OCAMLOPT parsing_cocci/get_metas.ml OCAMLOPT parsing_cocci/stmtlist.ml OCAMLOPT parsing_cocci/top_level.ml OCAMLOPT parsing_cocci/type_infer.ml OCAMLOPT parsing_cocci/test_exps.ml OCAMLOPT parsing_cocci/unitary_ast0.ml OCAMLOPT parsing_cocci/arity.ml OCAMLOPT parsing_cocci/index.ml OCAMLOPT parsing_cocci/context_neg.ml OCAMLOPT parsing_cocci/adjust_pragmas.ml OCAMLOPT parsing_cocci/insert_plus.ml OCAMLOPT parsing_cocci/function_prototypes.ml OCAMLOPT parsing_cocci/semantic_cocci.ml OCAMLOPT parsing_cocci/free_vars.ml OCAMLOPT parsing_cocci/check_meta.ml OCAMLOPT parsing_cocci/safe_for_multi_decls.ml OCAMLOPT parsing_cocci/parse_aux.ml OCAMLOPT parsing_cocci/cleanup_rules.ml OCAMLOPT parsing_cocci/disjdistr.ml OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLOPT parsing_cocci/lexer_cocci.ml OCAMLOPT parsing_cocci/lexer_cli.ml OCAMLOPT parsing_cocci/lexer_script.ml OCAMLOPT parsing_cocci/cocci_grep.ml OCAMLOPT parsing_cocci/dpll.ml OCAMLOPT parsing_cocci/get_constants2.ml OCAMLOPT parsing_cocci/id_utils.ml OCAMLOPT parsing_cocci/git_grep.ml OCAMLOPT parsing_cocci/patch_diff.ml OCAMLOPT parsing_cocci/adjacency.ml OCAMLOPT parsing_cocci/commas_on_lists.ml OCAMLOPT parsing_cocci/re_constraints.ml OCAMLOPT parsing_cocci/parse_cocci.ml OCAMLOPT parsing_cocci/command_line.ml OCAMLOPT parsing_cocci/cocci_args.ml OCAMLOPT -o parsing_cocci/parsing_cocci.cmxa OCAMLOPT parsing_c/control_flow_c_build.ml OCAMLOPT parsing_c/cpp_analysis_c.ml OCAMLOPT parsing_c/unparse_cocci.ml OCAMLOPT parsing_c/unparse_c.ml OCAMLOPT parsing_c/unparse_hrule.ml OCAMLOPT parsing_c/type_c.ml OCAMLOPT parsing_c/cpp_ast_c.ml OCAMLOPT parsing_c/type_annoter_c.ml OCAMLOPT parsing_c/comment_annotater_c.ml OCAMLOPT parsing_c/compare_c.ml OCAMLOPT parsing_c/test_parsing_c.ml OCAMLOPT -o parsing_c/parsing_c.cmxa OCAMLOPT ctl/flag_ctl.ml OCAMLOPT ctl/ast_ctl.ml OCAMLOPT ctl/pretty_print_ctl.ml OCAMLOPT ctl/ctl_engine.ml OCAMLOPT ctl/wrapper_ctl.ml OCAMLOPT -o ctl/ctl.cmxa OCAMLOPT ocaml/externalanalysis.ml OCAMLOPT ocaml/exposed_modules.ml OCAMLOPT ocaml/coccilib.ml OCAMLOPT ocaml/ocamlcocci_aux.ml OCAMLOPT ocaml/yes_prepare_ocamlcocci.ml OCAMLOPT ocaml/prepare_ocamlcocci.ml OCAMLOPT ocaml/run_ocamlcocci.ml OCAMLOPT -o ocaml/ocaml.cmxa OCAMLOPT python/pycocci_aux.ml OCAMLOPT python/yes_pycocci.ml OCAMLOPT python/pycocci.ml OCAMLOPT -o python/python.cmxa OCAMLOPT engine/flag_matcher.ml OCAMLOPT engine/lib_engine.ml OCAMLOPT engine/pretty_print_engine.ml OCAMLOPT engine/check_exhaustive_pattern.ml OCAMLOPT engine/check_reachability.ml OCAMLOPT engine/c_vs_c.ml OCAMLOPT engine/isomorphisms_c_c.ml OCAMLOPT engine/cocci_vs_c.ml OCAMLOPT engine/pattern_c.ml OCAMLOPT engine/transformation_c.ml OCAMLOPT engine/asttomember.ml OCAMLOPT engine/asttoctl2.ml OCAMLOPT engine/ctltotex.ml OCAMLOPT engine/postprocess_transinfo.ml OCAMLOPT engine/ctlcocci_integration.ml OCAMLOPT -o engine/engine.cmxa OCAMLOPT popl09/ast_popl.ml OCAMLOPT popl09/asttopopl.ml OCAMLOPT popl09/insert_quantifiers.ml OCAMLOPT popl09/pretty_print_popl.ml OCAMLOPT popl09/flag_popl.ml OCAMLOPT popl09/popltoctl.ml OCAMLOPT popl09/popl.ml OCAMLOPT -o popl09/popl09.cmxa OCAMLOPT extra/classic_patch.ml OCAMLOPT extra/kbuild.ml OCAMLOPT extra/maintainers.ml OCAMLOPT -o extra/extra.cmxa OCAMLOPT flag_cocci.ml OCAMLOPT cocci.ml OCAMLOPT testing.ml OCAMLOPT read_options.ml OCAMLOPT enter.ml OCAMLOPT main.ml OCAMLOPT -o spatch.opt mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.riscv64/usr/lib64; \ fi /usr/bin/install -p -m 755 spatch.opt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin/spatch /usr/bin/install -p -m 644 standard.h /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64 /usr/bin/install -p -m 644 standard.iso /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64 /usr/bin/install -p -m 644 ocaml/*.cmi /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.riscv64/usr/lib64/ocaml/; \ fi OCAMLOPT tools/spgen/source/globals.ml OCAMLOPT tools/spgen/source/ast_tostring.ml OCAMLOPT tools/spgen/source/detect_patch.ml OCAMLOPT tools/spgen/source/meta_variable.ml OCAMLOPT tools/spgen/source/snapshot.ml OCAMLOPT tools/spgen/source/user_input.ml OCAMLOPT tools/spgen/source/position_generator.ml OCAMLOPT tools/spgen/source/disj_generator.ml OCAMLOPT tools/spgen/source/rule_body.ml OCAMLOPT tools/spgen/source/rule_header.ml OCAMLOPT tools/spgen/source/context_rule.ml OCAMLOPT tools/spgen/source/script_rule.ml OCAMLOPT tools/spgen/source/file_transform.ml OCAMLOPT tools/spgen/source/spgen_interactive.ml OCAMLOPT tools/spgen/source/spgen_lexer.ml OCAMLOPT tools/spgen/source/spgen_config.ml OCAMLOPT tools/spgen/source/spgen.ml OCAMLOPT tools/spgen/source/spgen_test.ml OCAMLOPT tools/spgen/source/main.ml OCAMLOPT -o tools/spgen/source/spgen.opt /usr/bin/install -p -m 755 tools/spgen/source/spgen.opt \ /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin/spgen mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64/python/coccilib /usr/bin/install -p -m 644 python/coccilib/*.py \ /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64/python/coccilib if test "x/usr/share/bash-completion/completions" != "xno"; then \ mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/bash-completion/completions; \ /usr/bin/install -p -m 644 scripts/spatch.bash_completion \ /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/bash-completion/completions/spatch; \ fi mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/man/man1 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/man/man3 /usr/bin/install -p -m 644 docs/spatch.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/pycocci.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/spgen.1 /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/man/man1/ /usr/bin/install -p -m 644 docs/Coccilib.3cocci /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/man/man3/ + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin/spatch.byte + rm -f /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin/spatch.opt + pushd /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64 ~/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.riscv64/usr/lib/python3.12/site-packages + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64/python/coccilib /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib/python3.12/site-packages + rmdir /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64/python + mv /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin/spatch /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64/coccinelle + cp -p tools/pycocci /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin/ + cp -p scripts/spatch.sh /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin/spatch + chmod a+x /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/bin/spatch + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/true + /usr/lib/rpm/brp-strip-comment-note /usr/bin/true /usr/bin/objdump + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/true + /usr/lib/rpm/brp-strip-static-archive /usr/bin/true + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /usr/bin/spatch from /bin/sh -e to #!/usr/bin/sh -e + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j8 Bytecompiling .py files below /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib/python3.12 using python3.12 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.fEU9GT + umask 022 + cd /builddir/build/BUILD + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -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 -fstack-clash-protection -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 -fstack-clash-protection -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 -fstack-clash-protection -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-22.20230624git0afff7f.fc39.riscv64/usr/lib64/coccinelle + COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64/coccinelle + spatch=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64/coccinelle/spatch + export LD_LIBRARY_PATH=. + LD_LIBRARY_PATH=. + export PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib/python3.12/site-packages: + PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib/python3.12/site-packages: + /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.riscv64/usr/lib64/coccinelle/standard.iso) --macro-file --macro-file-builtins (default=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.riscv64/usr/lib64/coccinelle/spatch -sp_file demos/simple.cocci demos/simple.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/lib64/coccinelle/standard.h HANDLING: demos/simple.c diff = --- demos/simple.c +++ /tmp/cocci-output-1822672-8ae37c-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-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.j3CYc1 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/authors.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/bugs.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/changes.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/credits.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/install.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/readme.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.EVadQF + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/licenses/coccinelle + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/licenses/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/licenses/coccinelle + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/licenses/coccinelle + RPM_EC=0 ++ jobs -p + exit 0 INFO: ignoring Requires ocaml(Regexp_pcre)=8cfdb4bd17627425e63bd69b6e680209 from /usr/lib64/coccinelle/ocaml/regexp.cmx INFO: ignoring Requires ocamlx(Regexp_pcre)=d52721b8d8063e5d5257a0108caa5ba0 from /usr/lib64/coccinelle/ocaml/regexp.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/ocamlcocci_aux.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=e237f972be2d04314ecb78c50eae224b from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=1ebb58c4c18becdae971b0e700f875fb from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/run_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Parsing_stat)=e237f972be2d04314ecb78c50eae224b from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=1ebb58c4c18becdae971b0e700f875fb from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/coccilib.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/visitor_c.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/visitor_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=566b7dfb04e4a80aabd2426c22a8d2c0 from /usr/lib64/coccinelle/ocaml/visitor_c.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Parsing_stat)=e237f972be2d04314ecb78c50eae224b from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Flag_parsing_cocci)=da469adf0568b988431536c6ae6d78d8 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Data)=f1e77fd9ab0da0da16f81ef5ba0b94a7 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=1ebb58c4c18becdae971b0e700f875fb from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Flag_parsing_cocci)=28e63e9455e3aa7dd8fdd995c10f3dcc from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocamlx(Data)=6367255feb9d0efbcb32ebc54b8a6b23 from /usr/lib64/coccinelle/ocaml/yes_prepare_ocamlcocci.cmx INFO: ignoring Requires ocaml(Type_annoter_c)=a22b2cb745152fdf3d9aceadabc21722 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Parsing_stat)=e237f972be2d04314ecb78c50eae224b from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=1ebb58c4c18becdae971b0e700f875fb from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocamlx(Type_annoter_c)=deedcf44d821494a3bfaa1f30c6b262b from /usr/lib64/coccinelle/ocaml/coccilib.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Parsing_stat)=e237f972be2d04314ecb78c50eae224b from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=1ebb58c4c18becdae971b0e700f875fb from /usr/lib64/coccinelle/ocaml/parse_c.cmi INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Parsing_stat)=e237f972be2d04314ecb78c50eae224b from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Cpp_token_c)=1ebb58c4c18becdae971b0e700f875fb from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/exposed_modules.cmi INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_helpers)=4130cddc23ce7d81be6e38bcbd9f0559 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=fba411d153eb8cd74a18008b8fa60511 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_stat)=e237f972be2d04314ecb78c50eae224b from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_recovery_c)=14f06d9d227c791d82a3f0ca4c78b5cc from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_hacks)=19f367c8928292e9856c35aaffd1da69 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Parsing_consistency_c)=752864a19d7cb4f94e78cf380fc29e19 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes_cache)=fda2dbe84b9c81d7a144047673ea6194 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Includes)=604077b9a4d4e7df23fc4546645bc0fc from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Data)=f1e77fd9ab0da0da16f81ef5ba0b94a7 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Danger)=ee0b7aae7f94a817a2e64466efc24552 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=1ebb58c4c18becdae971b0e700f875fb from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Token_helpers)=3ed742763431352063d84fcbf0330eaa from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=616e7b4119c815669741b1498e484cc9 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_stat)=8d6221dd5830bb8556933f709785159b from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_recovery_c)=8fbdf7f5fbed44328b6f47e264e40b04 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_hacks)=4b91ca1c0f2e532381540c600c8f68f9 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Parsing_consistency_c)=98422d6150e8e75c924e3218773d2c7f from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=c27cc596f61f2fe841756a1eb6f2dbb3 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes_cache)=501495792a37f67ea3d416dbadb288cf from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Includes)=8142fb6aa74e59a5e3e3aa98508c21d2 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Data)=6367255feb9d0efbcb32ebc54b8a6b23 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Danger)=fc135ee02602eb66c4ab4d2f01adf853 from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocamlx(Cpp_token_c)=e409381d16ad6f49f3efd62dcaf1c84b from /usr/lib64/coccinelle/ocaml/parse_c.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/parser_c.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=fba411d153eb8cd74a18008b8fa60511 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Data)=f1e77fd9ab0da0da16f81ef5ba0b94a7 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=ab8fcba87ecb70e076e31dd3193e2eb6 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=616e7b4119c815669741b1498e484cc9 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Lexer_parser)=c27cc596f61f2fe841756a1eb6f2dbb3 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocamlx(Data)=6367255feb9d0efbcb32ebc54b8a6b23 from /usr/lib64/coccinelle/ocaml/parser_c.cmx INFO: ignoring Requires ocaml(Token_views_c)=78f5d727e1e95a9e36e2ad6e3e3a8a31 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Parsing_stat)=e237f972be2d04314ecb78c50eae224b from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Lexer_parser)=03b5600d82fa99fa01cea07f6b66fbf2 from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Cpp_token_c)=1ebb58c4c18becdae971b0e700f875fb from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/exposed_modules.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/externalanalysis.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/externalanalysis.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocamlx(Control_flow_c)=566b7dfb04e4a80aabd2426c22a8d2c0 from /usr/lib64/coccinelle/ocaml/pretty_print_c.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/lexer_c.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Semantic_c)=fba411d153eb8cd74a18008b8fa60511 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Data)=f1e77fd9ab0da0da16f81ef5ba0b94a7 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=ab8fcba87ecb70e076e31dd3193e2eb6 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Semantic_c)=616e7b4119c815669741b1498e484cc9 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocamlx(Data)=6367255feb9d0efbcb32ebc54b8a6b23 from /usr/lib64/coccinelle/ocaml/lexer_c.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Ograph_extended)=957b493e30e5e7cfe7a3b07ea4a23d60 from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Control_flow_c)=5c354a19270c6b429df2dcd5a85cbc5e from /usr/lib64/coccinelle/ocaml/lib_parsing_c.cmx INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/ast_c.cmi INFO: ignoring Requires ocaml(Token_annot)=c3e7005c8d97ab08b427f2b944ef6d87 from /usr/lib64/coccinelle/ocaml/ast_c.cmx INFO: ignoring Requires ocamlx(Token_annot)=ab8fcba87ecb70e076e31dd3193e2eb6 from /usr/lib64/coccinelle/ocaml/ast_c.cmx Provides: coccinelle = 1.1.1-22.20230624git0afff7f.fc39 coccinelle(riscv-64) = 1.1.1-22.20230624git0afff7f.fc39 ocaml(Ast0_cocci) = 552690a0e22a18d4a7a352b3dd719387 ocaml(Ast_c) = 47abcbd2748b0a5d16cf4a6da3b6aba5 ocaml(Ast_cocci) = 4dd4d0d103e075f86affdc04c7761cab ocaml(Coccilib) = 5161cd979a470ea9afcdccf47e641b30 ocaml(Commands) = 4bcaa54c10cda9a34414ba7b1236ca63 ocaml(Common) = 94a7897b63212f48d7cc034b60eb7ce7 ocaml(Config) = c404b84273516b06954782b73268166b ocaml(Dumper) = 1958fba2bd02536f572627aecc04537b ocaml(Exposed_modules) = 17e7b7df731d3c4c22c7138e4f9be6ca ocaml(Externalanalysis) = 7aaa014168420fe26e82c9d831e57381 ocaml(Flag) = a47826ec5c5b143a29a3565cf7a76bec ocaml(Flag_parsing_c) = 50521e250e9efab18ac33f55c225c641 ocaml(Iteration) = 091f7d6004e6bc4191e0cfaf0fc95fa0 ocaml(Lexer_c) = c66492e7a94b46e70ecb2152eb8fc31f ocaml(Lib_parsing_c) = df9efa908ac2c7a3026f9c85bc6df507 ocaml(Ocamlcocci_aux) = c4453aa42c4ec5e1c2ec2712bf1bc32a ocaml(Parmap) = eee089ea679cccc26e00996e18573906 ocaml(Parse_c) = 756b0396240f73d7f43157f5dadaff3a ocaml(Parser_c) = 20fde5b1ab01c148486cfd77790b3ea1 ocaml(Prepare_ocamlcocci) = 0a7ad34e3c0cf773e8d756448df9212f ocaml(Pretty_print_c) = 94e34b24f9aa9d7b864e574ba47db39f ocaml(Regexp) = 0b874676005a466a1cb7cdf463b80404 ocaml(Run_ocamlcocci) = e72d865b9409b1cf273769535684ec53 ocaml(Token_c) = a5ee8a5a3e6817d7511d802b61e68730 ocaml(Visitor_c) = 261cda1019c4eefb0ec0851b7c644863 ocaml(Yes_prepare_ocamlcocci) = b828f3fb55f9a39bcb9a06584076e9de ocamlx(Ast0_cocci) = 5bd96e2a624c1706aa8164d28f5b01d5 ocamlx(Ast_c) = 8146b3008e97f203b216a98b19e3109b ocamlx(Ast_cocci) = 350c1bc33890e34b2e2ef7a9f9bfe37e ocamlx(Coccilib) = fb33a7b59f757bb329c397a39c50857c ocamlx(Commands) = 0b569085e9128eab497c3877ae4b6af8 ocamlx(Common) = d1f47627c45d0f282a27da2af478edda ocamlx(Config) = ffd2b85bf3ab3acb4b1fe0aa836ddedb ocamlx(Dumper) = 01b9f038d385adcdd83320ad9ead1e1f ocamlx(Exposed_modules) = de1bdadc7937d362f4743b8211b18e79 ocamlx(Externalanalysis) = 4d19ebeafb19dc41bdd2f8c4b940fa47 ocamlx(Flag) = b178ab39c6fb41b7a1a74d37e386bf8d ocamlx(Flag_parsing_c) = 6ad2c9e47ae28020d7d52f535e63745f ocamlx(Iteration) = 4a7ea352212e27c26e118515566ba84d ocamlx(Lexer_c) = 499006174c0939698e950c7e66492121 ocamlx(Lib_parsing_c) = c5244b6dafd6ce78a2650895030d27b9 ocamlx(Ocamlcocci_aux) = 325cac6a673a09bfa33e0f02429ac503 ocamlx(Parmap) = 7c86089811feace185180324494ea7bb ocamlx(Parse_c) = bcdad5e8ae31a4dad5d09e2437515205 ocamlx(Parser_c) = d03ee71087beaecf353dc24de9d81d6a ocamlx(Prepare_ocamlcocci) = c24b76ebd1c344d16b7cf2911da8dc32 ocamlx(Pretty_print_c) = e3b45015cc705a48edaf218f6937aacc ocamlx(Regexp) = 5db70c8478dbecfe1a7f24287851a9b1 ocamlx(Run_ocamlcocci) = da7d9de244ddade4112f07947ef6088c ocamlx(Token_c) = f9d1288ae7d6ff77a257ed143aac75f7 ocamlx(Visitor_c) = 079900f57e00fef4c4430ca66a394313 ocamlx(Yes_prepare_ocamlcocci) = 1d5540225841efd7fc3315ef7f1d9f06 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.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(64bit) libpcre.so.1()(64bit) ocaml(Ast0_cocci) = 552690a0e22a18d4a7a352b3dd719387 ocaml(Ast_c) = 47abcbd2748b0a5d16cf4a6da3b6aba5 ocaml(Ast_cocci) = 4dd4d0d103e075f86affdc04c7761cab ocaml(Bytearray) = 290c3205739badc7f4643c9eaa2883f8 ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalOO) = aea913efb75d4b8c0600eeba0222f7d8 ocaml(Coccilib) = 5161cd979a470ea9afcdccf47e641b30 ocaml(Commands) = 4bcaa54c10cda9a34414ba7b1236ca63 ocaml(Common) = 94a7897b63212f48d7cc034b60eb7ce7 ocaml(Config) = c404b84273516b06954782b73268166b ocaml(Dumper) = 1958fba2bd02536f572627aecc04537b ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456 ocaml(Exposed_modules) = 17e7b7df731d3c4c22c7138e4f9be6ca ocaml(Externalanalysis) = 7aaa014168420fe26e82c9d831e57381 ocaml(Flag) = a47826ec5c5b143a29a3565cf7a76bec ocaml(Flag_parsing_c) = 50521e250e9efab18ac33f55c225c641 ocaml(Iteration) = 091f7d6004e6bc4191e0cfaf0fc95fa0 ocaml(Lexer_c) = c66492e7a94b46e70ecb2152eb8fc31f ocaml(Lib_parsing_c) = df9efa908ac2c7a3026f9c85bc6df507 ocaml(Ocamlcocci_aux) = c4453aa42c4ec5e1c2ec2712bf1bc32a ocaml(Parmap_compat) = 751d8333d89b25a04ac58445f5c63422 ocaml(Parmap_utils) = d2e2eaf409e0ccd92ddfd6a7e0f64612 ocaml(Parse_c) = 756b0396240f73d7f43157f5dadaff3a ocaml(Parser_c) = 20fde5b1ab01c148486cfd77790b3ea1 ocaml(Pretty_print_c) = 94e34b24f9aa9d7b864e574ba47db39f ocaml(Regexp) = 0b874676005a466a1cb7cdf463b80404 ocaml(Setcore) = 1285dae8e358eddae3282a78c2ee91dc ocaml(Stdcompat) = c1d4ea87b74cc6213b97a63276f85869 ocaml(Stdcompat__init) = 46fc223017fff3f82ab1662bfbcdab36 ocaml(Stdcompat__stdlib_s) = b4299ad3579df7f574f80108cd775290 ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Gc) = c3ec15218bd26e175e6d959e216eb39a ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Marshal) = 182731e5f563b7657acd24ad778f3615 ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d ocaml(Token_c) = a5ee8a5a3e6817d7511d802b61e68730 ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Visitor_c) = 261cda1019c4eefb0ec0851b7c644863 ocaml(Yes_prepare_ocamlcocci) = b828f3fb55f9a39bcb9a06584076e9de ocamlx(Ast0_cocci) = 5bd96e2a624c1706aa8164d28f5b01d5 ocamlx(Ast_c) = 8146b3008e97f203b216a98b19e3109b ocamlx(Ast_cocci) = 350c1bc33890e34b2e2ef7a9f9bfe37e ocamlx(Bytearray) = 70df50aa2316a0ff3cf8b5065fcc6e5a ocamlx(CamlinternalOO) = 1bdd8a1f15e1c6ed06c7e29bea5bb5c3 ocamlx(Coccilib) = fb33a7b59f757bb329c397a39c50857c ocamlx(Commands) = 0b569085e9128eab497c3877ae4b6af8 ocamlx(Common) = d1f47627c45d0f282a27da2af478edda ocamlx(Config) = ffd2b85bf3ab3acb4b1fe0aa836ddedb ocamlx(Dumper) = 01b9f038d385adcdd83320ad9ead1e1f ocamlx(Dynlink) = bfa54c003fcd217b91ef34258ab0d332 ocamlx(Exposed_modules) = de1bdadc7937d362f4743b8211b18e79 ocamlx(Externalanalysis) = 4d19ebeafb19dc41bdd2f8c4b940fa47 ocamlx(Flag) = b178ab39c6fb41b7a1a74d37e386bf8d ocamlx(Flag_parsing_c) = 6ad2c9e47ae28020d7d52f535e63745f ocamlx(Iteration) = 4a7ea352212e27c26e118515566ba84d ocamlx(Lexer_c) = 499006174c0939698e950c7e66492121 ocamlx(Lib_parsing_c) = c5244b6dafd6ce78a2650895030d27b9 ocamlx(Ocamlcocci_aux) = 325cac6a673a09bfa33e0f02429ac503 ocamlx(Parmap_compat) = 798f4b8c735179cd00215c6e06721499 ocamlx(Parmap_utils) = 118c4cf26b5490facf825c1a79ea07fa ocamlx(Parse_c) = bcdad5e8ae31a4dad5d09e2437515205 ocamlx(Parser_c) = d03ee71087beaecf353dc24de9d81d6a ocamlx(Pretty_print_c) = e3b45015cc705a48edaf218f6937aacc ocamlx(Regexp) = 5db70c8478dbecfe1a7f24287851a9b1 ocamlx(Setcore) = ca265bb583c26c62943b6ead2488e6a3 ocamlx(Stdlib) = 29fc6b4fd90dc91235156e20d0575996 ocamlx(Stdlib__Arg) = 2df71eccebe0b6136a2e86c3c8daffc0 ocamlx(Stdlib__Array) = bb1212fc50265efb994301edbd2f0ecc ocamlx(Stdlib__Bigarray) = e1b7afcdc9470c9db61e096627ede209 ocamlx(Stdlib__Buffer) = 673e1a9feee4c24aeb62fe0f3e3ec4ad ocamlx(Stdlib__Filename) = d28509257398356aab9aed2edf11d6cb ocamlx(Stdlib__Format) = 983da56657d4a84e1921601ebd2ba5fd ocamlx(Stdlib__Gc) = 69b30dbb497b1693413644ac9604be89 ocamlx(Stdlib__Hashtbl) = c60c5e9b84ec15b69584c299944d0abb ocamlx(Stdlib__Int64) = 371b761429600b4a3480435d7bb83c8a ocamlx(Stdlib__Lexing) = 4ba20253768aee73219c565dee7243bd ocamlx(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7 ocamlx(Stdlib__Map) = f9b31d0fc661b76354b76376270f8fae ocamlx(Stdlib__Marshal) = eb9932635a49a93c31c0e9a675c07fff ocamlx(Stdlib__Obj) = 23286e910874d627cdfbcadb3610dcf9 ocamlx(Stdlib__Parsing) = a4138a3a0c08cdb070011623c83ca032 ocamlx(Stdlib__Printexc) = 92fa2375a865927827b95a710fd8db2b ocamlx(Stdlib__Printf) = 5637860688f82d7f837407cfaf0a6fae ocamlx(Stdlib__Random) = bd6cc79123202b55fdf31fc087aa06eb ocamlx(Stdlib__Set) = 9d41b0f6935651fa2b340a0986078a0a ocamlx(Stdlib__String) = 16f00be18fe41d5b5f3bc6b9bf6629df ocamlx(Stdlib__Sys) = b7b20574aeaf6b9579b0e18cd71b27d3 ocamlx(Str) = 4f153d0614e739753ccb1a58e9ecaa38 ocamlx(Token_c) = f9d1288ae7d6ff77a257ed143aac75f7 ocamlx(Unix) = f98e9ef7f9e913e26df2cf0d3af4252b ocamlx(Visitor_c) = 079900f57e00fef4c4430ca66a394313 ocamlx(Yes_prepare_ocamlcocci) = 1d5540225841efd7fc3315ef7f1d9f06 python(abi) = 3.12 rtld(GNU_HASH) Processing files: coccinelle-bash-completion-1.1.1-22.20230624git0afff7f.fc39.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.jE5Ct3 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.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-22.20230624git0afff7f.fc39.riscv64/usr/share/licenses/coccinelle-bash-completion + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/license.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/licenses/coccinelle-bash-completion + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/copyright.txt /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/licenses/coccinelle-bash-completion + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-bash-completion = 1.1.1-22.20230624git0afff7f.fc39 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-22.20230624git0afff7f.fc39.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.zJbJV4 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle-doc + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle-doc + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/docs /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-doc = 1.1.1-22.20230624git0afff7f.fc39 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-22.20230624git0afff7f.fc39.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.R21cZ5 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle-examples + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle-examples + cp -pr /builddir/build/BUILD/coccinelle-0afff7fab0dde3d100f078ce8fd9688693ec3237/demos /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64/usr/share/doc/coccinelle-examples + RPM_EC=0 ++ jobs -p + exit 0 Provides: coccinelle-examples = 1.1.1-22.20230624git0afff7f.fc39 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64 Wrote: /builddir/build/RPMS/coccinelle-bash-completion-1.1.1-22.20230624git0afff7f.fc39.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-examples-1.1.1-22.20230624git0afff7f.fc39.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-doc-1.1.1-22.20230624git0afff7f.fc39.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-1.1.1-22.20230624git0afff7f.fc39.riscv64.rpm Child return code was: 0