Diff of the two buildlogs: -- --- b1/build.log 2024-05-10 02:53:59.691321449 +0000 +++ b2/build.log 2024-05-10 03:06:19.127831503 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Wed Jun 11 21:08:48 -12 2025 -I: pbuilder-time-stamp: 1749719328 +I: Current time: Fri May 10 16:54:03 +14 2024 +I: pbuilder-time-stamp: 1715309643 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration @@ -31,52 +31,84 @@ dpkg-source: info: applying dont-expose-parmap.diff I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/622972/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/3041414/tmp/hooks/D01_modify_environment starting +debug: Running on codethink04-arm64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 May 10 02:54 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/3041414/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/3041414/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='arm64' - DEBIAN_FRONTEND='noninteractive' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="21" [3]="1" [4]="release" [5]="aarch64-unknown-linux-gnu") + BASH_VERSION='5.2.21(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=arm64 + DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' - DISTRIBUTION='unstable' - HOME='/root' - HOST_ARCH='arm64' + DIRSTACK=() + DISTRIBUTION=unstable + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=aarch64 + HOST_ARCH=arm64 IFS=' ' - INVOCATION_ID='5787204c45a245468ac9cb1e2ef1db70' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='622972' - PS1='# ' - PS2='> ' + INVOCATION_ID=3b550e98629f43f8819f95ae4b45061b + LANG=C + LANGUAGE=nl_BE:nl + LC_ALL=C + MACHTYPE=aarch64-unknown-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=3041414 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.lOG9wf8u/pbuilderrc_Z2z2 --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.lOG9wf8u/b1 --logfile b1/build.log coccinelle_1.1.1.deb-5.dsc' - SUDO_GID='109' - SUDO_UID='104' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://192.168.101.4:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.lOG9wf8u/pbuilderrc_sugz --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.lOG9wf8u/b2 --logfile b2/build.log coccinelle_1.1.1.deb-5.dsc' + SUDO_GID=109 + SUDO_UID=104 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://192.168.101.4:3128 I: uname -a - Linux codethink01-arm64 6.1.0-21-cloud-arm64 #1 SMP Debian 6.1.90-1 (2024-05-03) aarch64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-21-cloud-arm64 #1 SMP Debian 6.1.90-1 (2024-05-03) aarch64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Jun 11 14:05 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/622972/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 May 9 07:42 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/3041414/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -273,7 +305,7 @@ Get: 127 http://deb.debian.org/debian unstable/main arm64 texlive-latex-recommended all 2023.20240207-1 [8843 kB] Get: 128 http://deb.debian.org/debian unstable/main arm64 texlive-pictures all 2023.20240207-1 [16.7 MB] Get: 129 http://deb.debian.org/debian unstable/main arm64 texlive-latex-extra all 2023.20240207-1 [19.7 MB] -Fetched 882 MB in 14s (65.3 MB/s) +Fetched 882 MB in 14s (61.7 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libpython3.11-minimal:arm64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19744 files and directories currently installed.) @@ -698,8 +730,8 @@ Setting up tzdata (2024a-4) ... Current default time zone: 'Etc/UTC' -Local time is now: Thu Jun 12 09:10:11 UTC 2025. -Universal Time is now: Thu Jun 12 09:10:11 UTC 2025. +Local time is now: Fri May 10 02:56:10 UTC 2024. +Universal Time is now: Fri May 10 02:56:10 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... @@ -835,7 +867,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/coccinelle-1.1.1.deb/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../coccinelle_1.1.1.deb-5_source.changes +I: user script /srv/workspace/pbuilder/3041414/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for unstable +I: user script /srv/workspace/pbuilder/3041414/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/coccinelle-1.1.1.deb/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../coccinelle_1.1.1.deb-5_source.changes dpkg-buildpackage: info: source package coccinelle dpkg-buildpackage: info: source version 1.1.1.deb-5 dpkg-buildpackage: info: source distribution unstable @@ -887,7 +923,7 @@ checking whether make supports nested variables... yes configure: determining version suffix checking for date... /usr/bin/date -configure: version suffix set to Wed, 11 Jun 2025 21:13:22 -1200 +configure: version suffix set to Fri, 10 May 2024 17:01:30 +1400 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) @@ -906,7 +942,7 @@ 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/bash +checking for bash... /bin/sh checking for tar... /usr/bin/tar checking for patch... /usr/bin/patch checking for echo... /usr/bin/echo @@ -1020,7 +1056,7 @@ make[1]: Entering directory '/build/reproducible-path/coccinelle-1.1.1.deb' /usr/bin/make -C docs/manual pdf make[2]: Entering directory '/build/reproducible-path/coccinelle-1.1.1.deb/docs/manual' -./find-xxdate: 12: opam: not found +./find-xxdate: line 12: opam: command not found *** Hevea: Unable to find xxdate.exe *** /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex) @@ -3728,18 +3764,18 @@ OCAMLLEX parsing_c/lexer_c.mll OCAMLLEX parsing_cocci/lexer_script.mll 25 states, 314 transitions, table size 1406 bytes -OCAMLLEX parsing_cocci/lexer_cli.mll 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings -OCAMLLEX parsing_cocci/lexer_cocci.mll +OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes -OCAMLDEP tools/spgen/source/main.ml +OCAMLLEX parsing_cocci/lexer_cocci.mll ocamllex warning: File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string. +OCAMLDEP tools/spgen/source/main.ml OCAMLDEP tools/spgen/source/spgen_test.ml -OCAMLDEP tools/spgen/source/spgen.ml 400 states, 6934 transitions, table size 30136 bytes 4105 additional bytes used for bindings +OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/file_transform.ml @@ -3747,8 +3783,6 @@ OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/rule_header.ml OCAMLDEP tools/spgen/source/rule_body.ml -564 states, 26650 transitions, table size 109984 bytes -17879 additional bytes used for bindings OCAMLDEP tools/spgen/source/disj_generator.ml OCAMLDEP tools/spgen/source/position_generator.ml OCAMLDEP tools/spgen/source/user_input.ml @@ -3763,6 +3797,8 @@ OCAMLDEP testing.ml OCAMLDEP cocci.ml OCAMLDEP flag_cocci.ml +564 states, 26650 transitions, table size 109984 bytes +17879 additional bytes used for bindings OCAMLDEP extra/maintainers.ml OCAMLDEP extra/kbuild.ml OCAMLDEP extra/classic_patch.ml @@ -3792,9 +3828,9 @@ OCAMLDEP python/yes_pycocci.ml OCAMLDEP python/pycocci_aux.ml OCAMLDEP ocaml/run_ocamlcocci.ml -OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/ocamlcocci_aux.ml +OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/externalanalysis.ml @@ -3977,7 +4013,6 @@ OCAMLOPT popl09/flag_popl.ml OCAMLOPT flag_cocci.ml OCAMLOPT tools/spgen/source/spgen_lexer.ml -cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi cp parsing_c/token_c.cmo ocaml/token_c.cmo cp globals/regexp.cmo ocaml/regexp.cmo cp globals/config.cmo ocaml/config.cmo @@ -3991,6 +4026,9 @@ cp commons/commands.cmx ocaml/commands.cmx cp commons/ocamlextra/dumper.cmx ocaml/dumper.cmx OCAMLOPT commons/common.ml +OCAMLOPT globals/flag.ml +OCAMLOPT globals/regexp.ml +OCAMLC parsing_cocci/ast0_cocci.mli File "commons/common.ml", line 5305, characters 4-14: 5305 | write_file file1 (unwords xs); ^^^^^^^^^^ @@ -4007,9 +4045,6 @@ 5334 | write_file "/tmp/diff2" ystr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. -OCAMLOPT globals/flag.ml -OCAMLOPT globals/regexp.ml -OCAMLC parsing_cocci/ast0_cocci.mli OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLC parsing_cocci/visitor_ast.mli OCAMLC parsing_cocci/stmtlist.mli @@ -4031,8 +4066,8 @@ OCAMLC tools/spgen/source/detect_patch.mli OCAMLC tools/spgen/source/meta_variable.mli OCAMLC tools/spgen/source/file_transform.mli +cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi -OCAMLC parsing_c/ast_c.ml cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo OCAMLC parsing_cocci/ast0_cocci.ml cp globals/regexp.cmx ocaml/regexp.cmx @@ -4042,12 +4077,11 @@ OCAMLC parsing_cocci/unparse_ast0.mli OCAMLC parsing_cocci/unify_ast.mli OCAMLC parsing_cocci/compute_lines.mli -OCAMLC parsing_cocci/comm_assoc.mli File "commons/common.ml", line 5305, characters 4-14: 5305 | write_file file1 (unwords xs); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. -OCAMLC parsing_cocci/single_statement.mli +OCAMLC parsing_cocci/comm_assoc.mli File "commons/common.ml", line 5306, characters 4-14: 5306 | write_file file2 (unwords ys); ^^^^^^^^^^ @@ -4060,6 +4094,7 @@ 5334 | write_file "/tmp/diff2" ystr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. +OCAMLC parsing_cocci/single_statement.mli OCAMLC parsing_cocci/simple_assignments.mli OCAMLC parsing_cocci/get_metas.mli OCAMLC parsing_cocci/check_meta.mli @@ -4109,12 +4144,9 @@ OCAMLC tools/spgen/source/rule_body.mli OCAMLC tools/spgen/source/rule_header.mli OCAMLC tools/spgen/source/context_rule.mli -OCAMLC tools/spgen/source/script_rule.mli -OCAMLC tools/spgen/source/spgen_interactive.mli -OCAMLC tools/spgen/source/spgen_config.mli cp parsing_c/ast_c.cmi ocaml/ast_c.cmi cp parsing_c/parser_c.cmi ocaml/parser_c.cmi -cp parsing_c/ast_c.cmo ocaml/ast_c.cmo +OCAMLC parsing_c/ast_c.ml cp commons/common.cmo ocaml/common.cmo cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo OCAMLC parsing_cocci/visitor_ast0.mli @@ -4136,18 +4168,17 @@ OCAMLC engine/ctltotex.mli OCAMLC engine/postprocess_transinfo.mli OCAMLC engine/ctlcocci_integration.mli -OCAMLOPT extra/classic_patch.ml -OCAMLOPT extra/kbuild.ml -OCAMLOPT extra/maintainers.ml -OCAMLOPT read_options.ml OCAMLC tools/spgen/source/position_generator.mli -cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi OCAMLC tools/spgen/source/disj_generator.mli +OCAMLC tools/spgen/source/script_rule.mli +OCAMLC tools/spgen/source/spgen_interactive.mli +OCAMLC tools/spgen/source/spgen_config.mli +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/visitor_c.cmi ocaml/visitor_c.cmi +cp parsing_c/ast_c.cmo ocaml/ast_c.cmo OCAMLC parsing_c/lexer_c.ml OCAMLC parsing_c/visitor_c.ml -cp commons/common.cmx ocaml/common.cmx OCAMLOPT commons/ograph_simple.ml OCAMLOPT commons/ograph_extended.ml OCAMLOPT globals/iteration.ml @@ -4167,31 +4198,37 @@ OCAMLOPT ctl/pretty_print_ctl.ml OCAMLC popl09/popltoctl.mli OCAMLC popl09/popl.mli -OCAMLOPT -o extra/extra.cmxa +OCAMLOPT extra/classic_patch.ml +OCAMLOPT extra/kbuild.ml +OCAMLOPT extra/maintainers.ml +OCAMLOPT read_options.ml cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi -cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo OCAMLC parsing_c/parser_c.ml +cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo OCAMLC parsing_c/pretty_print_c.ml OCAMLC parsing_c/lib_parsing_c.ml -cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo cp parsing_c/token_c.cmx ocaml/token_c.cmx cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx cp globals/iteration.cmx ocaml/iteration.cmx +cp commons/common.cmx ocaml/common.cmx OCAMLOPT -o commons/commons.cmxa OCAMLOPT -o globals/globals.cmxa OCAMLC parsing_c/parsing_hacks.mli OCAMLC parsing_c/cpp_analysis_c.mli OCAMLC parsing_c/parse_c.mli OCAMLOPT ctl/ctl_engine.ml -OCAMLOPT popl09/ast_popl.ml -OCAMLOPT tools/spgen/source/globals.ml -OCAMLOPT tools/spgen/source/ast_tostring.ml -cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx +cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo +OCAMLOPT -o extra/extra.cmxa OCAMLOPT parsing_cocci/ast0_cocci.ml OCAMLOPT parsing_cocci/pretty_print_cocci.ml OCAMLOPT parsing_c/ast_c.ml OCAMLC parsing_c/unparse_c.mli OCAMLC parsing_c/cpp_ast_c.mli +OCAMLC ocaml/exposed_modules.mli +OCAMLC ocaml/coccilib.mli +OCAMLOPT popl09/ast_popl.ml +OCAMLC cocci.mli +OCAMLOPT tools/spgen/source/globals.ml File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: 1626 | (pp_elem_sp pr_elem pr_space).expression ^^^^^^^^^^ @@ -4212,6 +4249,7 @@ 1638 | (pp_elem_sp pr_elem pr_space).arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. +OCAMLOPT tools/spgen/source/ast_tostring.ml File "parsing_c/pretty_print_c.ml", line 1641, characters 3-13: 1641 | (pp_elem_sp pr_elem pr_space).statement ^^^^^^^^^^ @@ -4220,7 +4258,6 @@ 1644 | (pp_elem_sp pr_elem pr_space).statement_seq_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -OCAMLC ocaml/exposed_modules.mli File "parsing_c/pretty_print_c.ml", line 1647, characters 3-13: 1647 | (pp_elem_sp pr_elem pr_space).decl ^^^^^^^^^^ @@ -4281,20 +4318,21 @@ 1689 | (pp_elem_sp pr_elem pr_space).toplevel ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -OCAMLC ocaml/coccilib.mli -OCAMLOPT popl09/insert_quantifiers.ml -OCAMLC cocci.mli cp parsing_c/parse_c.cmi ocaml/parse_c.cmi OCAMLC parsing_c/parse_c.ml cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo +cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx +OCAMLOPT popl09/insert_quantifiers.ml cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo -cp parsing_c/parser_c.cmo ocaml/parser_c.cmo File "parsing_c/parse_c.ml", line 680, characters 1-37: 680 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. -OCAMLOPT parsing_c/includes.ml -OCAMLOPT parsing_c/control_flow_c.ml +OCAMLOPT parsing_cocci/visitor_ast0_types.ml +OCAMLOPT parsing_cocci/visitor_ast.ml +OCAMLOPT parsing_cocci/compute_lines.ml +OCAMLOPT parsing_cocci/top_level.ml +OCAMLOPT parsing_cocci/arity.ml File "parsing_c/parse_c.ml", line 1429, characters 2-19: 1429 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); ^^^^^^^^^^^^^^^^^ @@ -4303,39 +4341,37 @@ 1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. +OCAMLOPT parsing_cocci/index.ml +OCAMLOPT parsing_cocci/data.ml +OCAMLOPT parsing_c/includes.ml +OCAMLOPT parsing_c/control_flow_c.ml OCAMLOPT parsing_c/lexer_parser.ml OCAMLOPT parsing_c/type_c.ml OCAMLOPT ocaml/externalanalysis.ml OCAMLOPT engine/isomorphisms_c_c.ml +cp parsing_c/parse_c.cmo ocaml/parse_c.cmo +cp parsing_c/parser_c.cmo ocaml/parser_c.cmo cp parsing_c/ast_c.cmx ocaml/ast_c.cmx cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx -OCAMLOPT parsing_cocci/visitor_ast0_types.ml -OCAMLOPT parsing_cocci/visitor_ast.ml -OCAMLOPT parsing_cocci/compute_lines.ml -OCAMLOPT parsing_cocci/top_level.ml -OCAMLOPT parsing_cocci/arity.ml -OCAMLOPT parsing_cocci/index.ml -OCAMLOPT parsing_cocci/data.ml +OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLOPT parsing_c/visitor_c.ml OCAMLOPT engine/check_exhaustive_pattern.ml OCAMLOPT popl09/asttopopl.ml OCAMLOPT popl09/pretty_print_popl.ml -cp parsing_c/parse_c.cmo ocaml/parse_c.cmo -OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLC python/yes_pycocci.mli +OCAMLOPT parsing_c/lib_parsing_c.ml +OCAMLOPT parsing_c/parsing_consistency_c.ml +cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx OCAMLOPT ctl/wrapper_ctl.ml OCAMLOPT -o ctl/ctl.cmxa OCAMLOPT engine/lib_engine.ml OCAMLOPT engine/check_reachability.ml -OCAMLOPT engine/ctltotex.ml -OCAMLOPT parsing_c/lib_parsing_c.ml -OCAMLOPT parsing_c/parsing_consistency_c.ml -cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx OCAMLOPT parsing_c/includes_cache.ml OCAMLOPT parsing_c/control_flow_c_build.ml OCAMLOPT parsing_c/pretty_print_c.ml OCAMLOPT parsing_c/danger.ml OCAMLOPT engine/c_vs_c.ml +OCAMLOPT engine/ctltotex.ml cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: 1626 | (pp_elem_sp pr_elem pr_space).expression @@ -4425,24 +4461,24 @@ 1689 | (pp_elem_sp pr_elem pr_space).toplevel ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -OCAMLOPT parsing_cocci/stmtlist.ml -OCAMLOPT parsing_cocci/free_vars.ml -OCAMLOPT parsing_cocci/safe_for_multi_decls.ml -OCAMLOPT parsing_cocci/cleanup_rules.ml -OCAMLOPT parsing_cocci/disjdistr.ml -OCAMLOPT parsing_cocci/get_constants2.ml -OCAMLOPT parsing_cocci/re_constraints.ml -OCAMLOPT engine/asttomember.ml OCAMLOPT parsing_c/parser_c.ml OCAMLOPT parsing_c/unparse_cocci.ml OCAMLOPT ocaml/ocamlcocci_aux.ml OCAMLOPT python/pycocci_aux.ml OCAMLOPT engine/pretty_print_engine.ml +cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx File "parsing_c/unparse_cocci.ml", line 91, characters 2-35: 91 | Pretty_print_c.mk_pretty_printers pr_celem pr_cspace ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space, pr_nl, pr_indent, pr_outdent, pr_unindent were omitted in the application of this function. -cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx +OCAMLOPT parsing_cocci/stmtlist.ml +OCAMLOPT parsing_cocci/free_vars.ml +OCAMLOPT parsing_cocci/safe_for_multi_decls.ml +OCAMLOPT parsing_cocci/cleanup_rules.ml +OCAMLOPT parsing_cocci/disjdistr.ml +OCAMLOPT parsing_cocci/get_constants2.ml +OCAMLOPT parsing_cocci/re_constraints.ml +OCAMLOPT engine/asttomember.ml OCAMLOPT engine/asttoctl2.ml File "parsing_c/unparse_cocci.ml", line 70, characters 4-22: 70 | let print_option_space fn = function @@ -4459,8 +4495,8 @@ OCAMLOPT parsing_cocci/adjust_pragmas.ml OCAMLOPT parsing_cocci/adjacency.ml OCAMLOPT parsing_cocci/commas_on_lists.ml -OCAMLOPT tools/spgen/source/detect_patch.ml OCAMLOPT parsing_c/unparse_hrule.ml +OCAMLOPT tools/spgen/source/detect_patch.ml File "parsing_c/unparse_hrule.ml", line 202, characters 6-33: 202 | Pretty_print_c.pp_param_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^^ @@ -4469,61 +4505,57 @@ 340 | Pretty_print_c.pp_type_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. +OCAMLOPT parsing_c/lexer_c.ml +OCAMLOPT parsing_c/parse_string_c.ml +OCAMLOPT parsing_c/token_helpers.ml +cp parsing_c/parser_c.cmx ocaml/parser_c.cmx OCAMLOPT tools/spgen/source/snapshot.ml File "tools/spgen/source/snapshot.ml", line 130, characters 37-53: 130 | let inc_line snp = inc_current_line (set_mode_context Ast0.NONE snp) ^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label arity was omitted in the application of this function. OCAMLOPT tools/spgen/source/position_generator.ml +OCAMLOPT parsing_c/token_views_c.ml +OCAMLOPT parsing_c/parsing_recovery_c.ml +OCAMLOPT parsing_c/unparse_c.ml +OCAMLOPT parsing_c/comment_annotater_c.ml +cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx OCAMLOPT parsing_cocci/unparse_ast0.ml OCAMLOPT parsing_cocci/unify_ast.ml OCAMLOPT parsing_cocci/type_infer.ml -OCAMLOPT parsing_c/lexer_c.ml -OCAMLOPT parsing_c/parse_string_c.ml -OCAMLOPT parsing_c/token_helpers.ml OCAMLOPT tools/spgen/source/meta_variable.ml -cp parsing_c/parser_c.cmx ocaml/parser_c.cmx OCAMLOPT tools/spgen/source/disj_generator.ml +File "parsing_c/unparse_c.ml", line 275, characters 2-31: +275 | Pretty_print_c.pp_program_gen pr_get_elem pr_space celem; + ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ +Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. +OCAMLOPT parsing_c/cpp_token_c.ml +OCAMLOPT tools/spgen/source/rule_body.ml File "tools/spgen/source/meta_variable.ml", line 568, characters 25-36: 568 | let constr = constraints rn idconstr in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label rn was omitted in the application of this function. -OCAMLOPT tools/spgen/source/rule_body.ml -OCAMLOPT parsing_c/token_views_c.ml -OCAMLOPT parsing_c/parsing_recovery_c.ml -OCAMLOPT parsing_c/unparse_c.ml -OCAMLOPT parsing_c/comment_annotater_c.ml +OCAMLOPT parsing_c/parsing_hacks.ml OCAMLOPT tools/spgen/source/user_input.ml OCAMLOPT tools/spgen/source/rule_header.ml -OCAMLOPT parsing_cocci/comm_assoc.ml -OCAMLOPT parsing_cocci/context_neg.ml -cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx +OCAMLOPT tools/spgen/source/context_rule.ml +OCAMLOPT tools/spgen/source/file_transform.ml OCAMLOPT tools/spgen/source/script_rule.ml OCAMLOPT tools/spgen/source/spgen_interactive.ml OCAMLOPT tools/spgen/source/spgen_config.ml +OCAMLOPT parsing_cocci/comm_assoc.ml +OCAMLOPT parsing_cocci/context_neg.ml OCAMLOPT popl09/popltoctl.ml -OCAMLOPT tools/spgen/source/file_transform.ml -File "parsing_c/unparse_c.ml", line 275, characters 2-31: -275 | Pretty_print_c.pp_program_gen pr_get_elem pr_space celem; - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -OCAMLOPT parsing_c/cpp_token_c.ml -OCAMLOPT tools/spgen/source/context_rule.ml OCAMLOPT parsing_cocci/iso_pattern.ml OCAMLOPT parsing_cocci/parse_aux.ml OCAMLOPT popl09/popl.ml OCAMLOPT -o popl09/popl09.cmxa -OCAMLOPT parsing_c/parsing_hacks.ml -OCAMLOPT parsing_cocci/insert_plus.ml OCAMLOPT parsing_c/cpp_analysis_c.ml OCAMLOPT parsing_c/parse_c.ml File "parsing_c/parse_c.ml", line 680, characters 1-37: 680 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. -OCAMLDEP parsing_cocci/parser_cocci_menhir.ml -OCAMLDEP parsing_cocci/parser_cocci_menhir.mli -OCAMLC parsing_cocci/parser_cocci_menhir.mli File "parsing_c/parse_c.ml", line 1429, characters 2-19: 1429 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); ^^^^^^^^^^^^^^^^^ @@ -4532,10 +4564,7 @@ 1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. -OCAMLOPT parsing_cocci/single_statement.ml -OCAMLC parsing_cocci/lexer_cocci.mli -OCAMLC parsing_cocci/lexer_script.mli -OCAMLOPT parsing_cocci/function_prototypes.ml +OCAMLOPT parsing_cocci/insert_plus.ml OCAMLOPT parsing_c/cpp_ast_c.ml OCAMLOPT parsing_c/type_annoter_c.ml OCAMLOPT parsing_c/compare_c.ml @@ -4552,15 +4581,22 @@ ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLOPT -o parsing_c/parsing_c.cmxa +OCAMLDEP parsing_cocci/parser_cocci_menhir.ml +OCAMLDEP parsing_cocci/parser_cocci_menhir.mli +OCAMLC parsing_cocci/parser_cocci_menhir.mli +OCAMLC parsing_cocci/lexer_cocci.mli +OCAMLC parsing_cocci/lexer_script.mli +OCAMLOPT parsing_cocci/single_statement.ml +OCAMLOPT parsing_cocci/function_prototypes.ml OCAMLOPT ocaml/yes_prepare_ocamlcocci.ml OCAMLOPT ocaml/run_ocamlcocci.ml OCAMLOPT python/yes_pycocci.ml -OCAMLOPT ocaml/prepare_ocamlcocci.ml OCAMLOPT python/pycocci.ml -OCAMLOPT -o ocaml/ocaml.cmxa +OCAMLOPT ocaml/prepare_ocamlcocci.ml OCAMLOPT -o python/python.cmxa OCAMLOPT engine/cocci_vs_c.ml OCAMLOPT engine/postprocess_transinfo.ml +OCAMLOPT -o ocaml/ocaml.cmxa OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLOPT engine/pattern_c.ml OCAMLOPT engine/transformation_c.ml @@ -4597,7 +4633,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-667994-8574e3-62.c ++++ /tmp/cocci-output-3111491-4bce5a-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -4615,7 +4651,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-667994-ecb29a-a3d.c ++++ /tmp/cocci-output-3111491-050849-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -4637,7 +4673,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-667994-9326a1-a_and_e_ver1.c ++++ /tmp/cocci-output-3111491-6bad7f-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -4650,7 +4686,7 @@ warning: line 4: should a be a metavariable? diff = --- tests/ab.c -+++ /tmp/cocci-output-667994-c1925c-ab.c ++++ /tmp/cocci-output-3111491-73a8a3-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -4661,7 +4697,7 @@ action.res diff = --- tests/action.c -+++ /tmp/cocci-output-667994-3674a7-action.c ++++ /tmp/cocci-output-3111491-337272-action.c @@ -1,10 +1,9 @@ void work() { @@ -4679,7 +4715,7 @@ add1.res diff = --- tests/add1.c -+++ /tmp/cocci-output-667994-5296ba-add1.c ++++ /tmp/cocci-output-3111491-84bc90-add1.c @@ -7,6 +7,9 @@ static int create_scheduling_groups(void ret = build_groups(sd, i); } @@ -4693,7 +4729,7 @@ addaft.res diff = --- tests/addaft.c -+++ /tmp/cocci-output-667994-5fa047-addaft.c ++++ /tmp/cocci-output-3111491-fc3c25-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -4717,7 +4753,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-667994-3b21e0-addbefore.c ++++ /tmp/cocci-output-3111491-063442-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -4728,7 +4764,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-667994-2096a0-addbeforeafter.c ++++ /tmp/cocci-output-3111491-894106-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -4741,7 +4777,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-667994-0d9f08-addelse.c ++++ /tmp/cocci-output-3111491-e56523-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -4749,7 +4785,7 @@ addes.res diff = --- tests/addes.c -+++ /tmp/cocci-output-667994-40cbc4-addes.c ++++ /tmp/cocci-output-3111491-6d8814-addes.c @@ -1 +1,3 @@ int i; +struct foo { @@ -4757,7 +4793,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-667994-1a7ab2-addfield.c ++++ /tmp/cocci-output-3111491-390429-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -4769,7 +4805,7 @@ addfield2.res diff = --- tests/addfield2.c -+++ /tmp/cocci-output-667994-57a507-addfield2.c ++++ /tmp/cocci-output-3111491-566817-addfield2.c @@ -1,17 +1,21 @@ struct foo { + int roto; @@ -4795,7 +4831,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-667994-952113-addif.c ++++ /tmp/cocci-output-3111491-d4043a-addif.c @@ -1,7 +1,19 @@ +#ifdef FOO +/* some comment */ @@ -4819,7 +4855,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-667994-67df6f-addif1.c ++++ /tmp/cocci-output-3111491-a320a7-addif1.c @@ -1,7 +1,15 @@ +#ifdef FOO +int xxx() { @@ -4839,7 +4875,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-667994-b0cd93-addif2.c ++++ /tmp/cocci-output-3111491-3e5309-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -4857,7 +4893,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-667994-2e75db-addifdef.c ++++ /tmp/cocci-output-3111491-224562-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -4876,7 +4912,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-667994-6829e6-addifelse.c ++++ /tmp/cocci-output-3111491-83efe1-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -4895,7 +4931,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-667994-700200-addifelse2.c ++++ /tmp/cocci-output-3111491-ceba34-addifelse2.c @@ -1,8 +1,15 @@ +#if LINUX_VERSION_CODE < KERNEL_VERSION(3,15,0) +static void backport_rfcomm_l2data_ready(struct sock *sk, int unused){ @@ -4915,7 +4951,7 @@ addinc.res diff = --- tests/addinc.c -+++ /tmp/cocci-output-667994-4bb839-addinc.c ++++ /tmp/cocci-output-3111491-f37814-addinc.c @@ -1,4 +1,5 @@ #ifndef FOO #define FOO @@ -4925,7 +4961,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-667994-13d4dc-addtoo.c ++++ /tmp/cocci-output-3111491-4b9b12-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -4949,7 +4985,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-667994-de9a72-addtrace.c ++++ /tmp/cocci-output-3111491-576c42-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -4982,7 +5018,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-667994-e6ab04-after_if.c ++++ /tmp/cocci-output-3111491-b40a1e-after_if.c @@ -1,4 +1,5 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -4993,7 +5029,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-667994-2aac3c-allex.c ++++ /tmp/cocci-output-3111491-c9f833-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -5006,7 +5042,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-667994-c4b977-allex2.c ++++ /tmp/cocci-output-3111491-ca27bd-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -5017,7 +5053,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-667994-b005e8-allex3.c ++++ /tmp/cocci-output-3111491-de1aba-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -5027,7 +5063,7 @@ andid.res diff = --- tests/andid.c -+++ /tmp/cocci-output-667994-140a76-andid.c ++++ /tmp/cocci-output-3111491-31c072-andid.c @@ -1,5 +1,5 @@ int main () { - int frontandback = 12; @@ -5038,7 +5074,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-667994-85e422-anon.c ++++ /tmp/cocci-output-3111491-ca45f4-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -5049,7 +5085,7 @@ anonfield.res diff = --- tests/anonfield.c -+++ /tmp/cocci-output-667994-f852b0-anonfield.c ++++ /tmp/cocci-output-3111491-a23602-anonfield.c @@ -1,3 +1,3 @@ struct { - int; @@ -5058,7 +5094,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-667994-7b5538-ar.c ++++ /tmp/cocci-output-3111491-d1be39-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -5072,7 +5108,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-667994-38583e-arg.c ++++ /tmp/cocci-output-3111491-e907a7-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -5087,7 +5123,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-667994-f94919-argument.c ++++ /tmp/cocci-output-3111491-5abaf0-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -5101,7 +5137,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-667994-46c94c-arparam.c ++++ /tmp/cocci-output-3111491-2ecbd8-arparam.c @@ -1,3 +1,8 @@ +int g(int q[1024]) +{ @@ -5114,7 +5150,7 @@ array_init.res diff = --- tests/array_init.c -+++ /tmp/cocci-output-667994-2e503e-array_init.c ++++ /tmp/cocci-output-3111491-75544f-array_init.c @@ -1,3 +1,2 @@ static int term[MAX_ECARDS] = { 1, 1, 1, 1, 1, 1, 1, 1 }; -MODULE_PARM(term, "1-8i"); @@ -5122,7 +5158,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-667994-b39f9e-array_size.c ++++ /tmp/cocci-output-3111491-b598f9-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -5130,7 +5166,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-667994-364ccc-arraysz.c ++++ /tmp/cocci-output-3111491-548448-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -5140,7 +5176,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-667994-30c696-as_stm.c ++++ /tmp/cocci-output-3111491-853b5f-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -5152,7 +5188,7 @@ warning: line 36: should id be a metavariable? diff = --- tests/attr_with_arguments.c -+++ /tmp/cocci-output-667994-17e55d-attr_with_arguments.c ++++ /tmp/cocci-output-3111491-813b66-attr_with_arguments.c @@ -1,9 +1,9 @@ -aarg(1,2) int func() { - int id aarg3(1,2); @@ -5186,7 +5222,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-667994-2fbf63-attradd.c ++++ /tmp/cocci-output-3111491-07428e-attradd.c @@ -1,3 +1,3 @@ int main () { - char f; @@ -5195,7 +5231,7 @@ attrs2groups.res diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-667994-b47f5f-attrs2groups.c ++++ /tmp/cocci-output-3111491-1b24ee-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -5227,7 +5263,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-667994-25dca2-b1.c ++++ /tmp/cocci-output-3111491-f0d3fd-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -5243,7 +5279,7 @@ b2.res diff = --- tests/b2.c -+++ /tmp/cocci-output-667994-e83174-b2.c ++++ /tmp/cocci-output-3111491-281b35-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -5262,7 +5298,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-667994-0ad62c-bad_kfree.c ++++ /tmp/cocci-output-3111491-fee582-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -5275,7 +5311,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-667994-73ea61-bad_ptr_print.c ++++ /tmp/cocci-output-3111491-e7a4d8-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -5285,7 +5321,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-667994-de4bd7-bad_typedef.c ++++ /tmp/cocci-output-3111491-7f912e-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -5305,7 +5341,7 @@ badcfg.res diff = --- tests/badcfg.c -+++ /tmp/cocci-output-667994-fb063d-badcfg.c ++++ /tmp/cocci-output-3111491-1eabf0-badcfg.c @@ -3,7 +3,7 @@ const char *netdev_cmd_to_name(enum netd #define N(val) \ case NETDEV_##val: \ @@ -5318,7 +5354,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-667994-e0cc80-badexp.c ++++ /tmp/cocci-output-3111491-63560e-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -5345,7 +5381,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-667994-7ab29c-badtypedef.c ++++ /tmp/cocci-output-3111491-5f14c1-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -5359,7 +5395,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-667994-5164ff-badwhen.c ++++ /tmp/cocci-output-3111491-ec6010-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -5371,7 +5407,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-667994-5cd8d7-badzero.c ++++ /tmp/cocci-output-3111491-9e3b94-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -5388,7 +5424,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-667994-ad22f2-befS.c ++++ /tmp/cocci-output-3111491-aae0b2-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -5427,7 +5463,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-667994-1575ef-before.c ++++ /tmp/cocci-output-3111491-9d021d-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -5438,7 +5474,7 @@ ben.res diff = --- tests/ben.c -+++ /tmp/cocci-output-667994-3cb507-ben.c ++++ /tmp/cocci-output-3111491-f88054-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -5478,7 +5514,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-667994-fb48b5-bigin.c ++++ /tmp/cocci-output-3111491-49f0bf-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -5489,7 +5525,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-667994-542cc3-bigrepl.c ++++ /tmp/cocci-output-3111491-66283f-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -5506,7 +5542,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-667994-9bd109-binop.c ++++ /tmp/cocci-output-3111491-ddb415-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -5526,7 +5562,7 @@ warning: rule starting on line 11: metavariable v not used in the - or context code diff = --- tests/bitfield.c -+++ /tmp/cocci-output-667994-79f1eb-bitfield.c ++++ /tmp/cocci-output-3111491-d4f02b-bitfield.c @@ -1,15 +1,15 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -5558,7 +5594,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-667994-534b52-boolr.c ++++ /tmp/cocci-output-3111491-33d09f-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -5567,7 +5603,7 @@ bracebraceline.res diff = --- tests/bracebraceline.c -+++ /tmp/cocci-output-667994-bb5685-bracebraceline.c ++++ /tmp/cocci-output-3111491-e94443-bracebraceline.c @@ -1,6 +1,5 @@ int main () { if (x) { @@ -5579,7 +5615,7 @@ braceline.res diff = --- tests/braceline.c -+++ /tmp/cocci-output-667994-9f97b3-braceline.c ++++ /tmp/cocci-output-3111491-a6559e-braceline.c @@ -1,6 +1,3 @@ int main () { - if (x) { @@ -5591,7 +5627,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-667994-75b9c6-braces.c ++++ /tmp/cocci-output-3111491-cecd7c-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -5609,7 +5645,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-667994-81c089-branchparen.c ++++ /tmp/cocci-output-3111491-f380c9-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -5626,7 +5662,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-667994-483aca-break.c ++++ /tmp/cocci-output-3111491-156700-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -5652,7 +5688,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-667994-a5898c-bug1.c ++++ /tmp/cocci-output-3111491-d2c4b6-bug1.c @@ -1,4 +1,5 @@ -static int typhoon_ioctl(struct video_device *dev, unsigned int cmd,void *arg) +static int typhoon_ioctl(struct inode *i, struct file *f, unsigned int cmd, @@ -5663,7 +5699,7 @@ bugloop.res diff = --- tests/bugloop.c -+++ /tmp/cocci-output-667994-afc16c-bugloop.c ++++ /tmp/cocci-output-3111491-b299f0-bugloop.c @@ -8,8 +8,8 @@ static int stir_transmit_thread(void *ar while (x) { @@ -5678,7 +5714,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-667994-49d2f0-bugon.c ++++ /tmp/cocci-output-3111491-9ed652-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -5689,7 +5725,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-667994-20ac81-bus.c ++++ /tmp/cocci-output-3111491-d028d2-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -5701,7 +5737,7 @@ cards.res diff = --- tests/cards.c -+++ /tmp/cocci-output-667994-692809-cards.c ++++ /tmp/cocci-output-3111491-8f86ba-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -5710,7 +5746,7 @@ caseprint.res diff = --- tests/caseprint.c -+++ /tmp/cocci-output-667994-7a1cd0-caseprint.c ++++ /tmp/cocci-output-3111491-5d4546-caseprint.c @@ -3,4 +3,10 @@ int f() { case 12: return 0; case 1: return 2; @@ -5725,7 +5761,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-667994-3c291b-cast.c ++++ /tmp/cocci-output-3111491-7215b6-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -5733,7 +5769,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-667994-7c6717-cast_iso.c ++++ /tmp/cocci-output-3111491-005863-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -5746,7 +5782,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-667994-27a9a6-castdecl.c ++++ /tmp/cocci-output-3111491-549bcc-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -5765,7 +5801,7 @@ cex_wishlist_complex1.res diff = --- tests/cex_wishlist_complex1.c -+++ /tmp/cocci-output-667994-789392-cex_wishlist_complex1.c ++++ /tmp/cocci-output-3111491-e54d29-cex_wishlist_complex1.c @@ -1,6 +1,6 @@ #include int main() { @@ -5777,7 +5813,7 @@ cex_wishlist_complex2.res diff = --- tests/cex_wishlist_complex2.c -+++ /tmp/cocci-output-667994-afd701-cex_wishlist_complex2.c ++++ /tmp/cocci-output-3111491-b8b24d-cex_wishlist_complex2.c @@ -2,7 +2,7 @@ int main() { double d; @@ -5790,7 +5826,7 @@ cex_wishlist_complex3.res diff = --- tests/cex_wishlist_complex3.c -+++ /tmp/cocci-output-667994-8ff21d-cex_wishlist_complex3.c ++++ /tmp/cocci-output-3111491-2f9a82-cex_wishlist_complex3.c @@ -2,7 +2,7 @@ int main() { double d; @@ -5804,7 +5840,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-667994-f9769e-change.c ++++ /tmp/cocci-output-3111491-d2b8e9-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -5815,7 +5851,7 @@ change_type.res diff = --- tests/change_type.c -+++ /tmp/cocci-output-667994-51ba96-change_type.c ++++ /tmp/cocci-output-3111491-596f7b-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -5825,7 +5861,7 @@ changei.res diff = --- tests/changei.c -+++ /tmp/cocci-output-667994-357c34-changei.c ++++ /tmp/cocci-output-3111491-ed1d2c-changei.c @@ -1,7 +1,7 @@ -typedef struct i istruct; +typedef struct i xxx; @@ -5841,7 +5877,7 @@ cocci_args.res diff = --- tests/cocci_args.c -+++ /tmp/cocci-output-667994-f9d78b-cocci_args.c ++++ /tmp/cocci-output-3111491-75d10d-cocci_args.c @@ -1,3 +1,3 @@ int main () { - f(); @@ -5850,7 +5886,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-667994-5578ef-com.c ++++ /tmp/cocci-output-3111491-9657d0-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -5863,7 +5899,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-667994-89721c-comadd.c ++++ /tmp/cocci-output-3111491-a34bb5-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -5873,7 +5909,7 @@ comj.res diff = --- tests/comj.c -+++ /tmp/cocci-output-667994-addf98-comj.c ++++ /tmp/cocci-output-3111491-19890b-comj.c @@ -2,6 +2,8 @@ int foo(int bar) { int i, j; @@ -5885,12 +5921,12 @@ return j; comma.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_357364.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_357364.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_46898c.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_46898c.ml Compilation OK! Loading ML code of the SP... diff = --- tests/comma.c -+++ /tmp/cocci-output-667994-dbc0c6-comma.c ++++ /tmp/cocci-output-3111491-186b40-comma.c @@ -3,9 +3,9 @@ show_cpuinfo (struct seq_file *m, void * { for (i = 0; i < ARRAY_SIZE(feature_bits) && size > 1; ++i) { @@ -5906,7 +5942,7 @@ comma_call.res diff = --- tests/comma_call.c -+++ /tmp/cocci-output-667994-5f4f6a-comma_call.c ++++ /tmp/cocci-output-3111491-8f2a0b-comma_call.c @@ -1,10 +1,13 @@ int main() { - if (x) @@ -5928,7 +5964,7 @@ comma_if.res diff = --- tests/comma_if.c -+++ /tmp/cocci-output-667994-fc2921-comma_if.c ++++ /tmp/cocci-output-3111491-ee1546-comma_if.c @@ -1,13 +1,19 @@ int main() { - if (uffdio_zeropage.zeropage == -EEXIST) @@ -5958,7 +5994,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-667994-fc3502-comment_brace.c ++++ /tmp/cocci-output-3111491-480412-comment_brace.c @@ -1,7 +1,9 @@ int main () { @@ -5973,7 +6009,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-667994-f811cf-comment_brace2.c ++++ /tmp/cocci-output-3111491-ce196a-comment_brace2.c @@ -1,7 +1,9 @@ int main () { @@ -5987,8 +6023,8 @@ comment_line.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_b51a95.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_b51a95.ml -File "/tmp/ocaml_cocci_b51a95.ml", line 31, characters 4-5: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_337da8.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_337da8.ml +File "/tmp/ocaml_cocci_337da8.ml", line 31, characters 4-5: 31 | let p = match List.nth __args__ 1 with Coccilib.Pos x -> x | _ -> failwith "bad value" in ^ Warning 26 [unused-var]: unused variable p. @@ -5998,7 +6034,7 @@ 1 diff = --- tests/comment_line.c -+++ /tmp/cocci-output-667994-714171-comment_line.c ++++ /tmp/cocci-output-3111491-b68f84-comment_line.c @@ -1,11 +1,9 @@ int main() { before(); @@ -6013,8 +6049,8 @@ } comment_middle.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_46f7de.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_46f7de.ml -File "/tmp/ocaml_cocci_46f7de.ml", line 30, characters 5-6: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_431cd1.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_431cd1.ml +File "/tmp/ocaml_cocci_431cd1.ml", line 30, characters 5-6: 30 | let f = match List.nth __args__ 0 with Coccilib.Str x -> x | _ -> failwith "bad value" in ^ Warning 26 [unused-var]: unused variable f. @@ -6022,7 +6058,7 @@ Loading ML code of the SP... diff = --- tests/comment_middle.c -+++ /tmp/cocci-output-667994-9c4f7b-comment_middle.c ++++ /tmp/cocci-output-3111491-de34af-comment_middle.c @@ -5,5 +5,4 @@ struct i { }; @@ -6032,7 +6068,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-667994-7b8908-comments.c ++++ /tmp/cocci-output-3111491-0e3f21-comments.c @@ -1,5 +1,16 @@ int main() { @@ -6053,7 +6089,7 @@ compare.res diff = --- tests/compare.c -+++ /tmp/cocci-output-667994-9ea449-compare.c ++++ /tmp/cocci-output-3111491-7ca3ea-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -6067,7 +6103,7 @@ compare_const2.res diff = --- tests/compare_const2.c -+++ /tmp/cocci-output-667994-73f44d-compare_const2.c ++++ /tmp/cocci-output-3111491-d31660-compare_const2.c @@ -1,6 +1,6 @@ int main () { // int i,o; @@ -6080,7 +6116,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-667994-91a203-condexp.c ++++ /tmp/cocci-output-3111491-086d75-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -6096,7 +6132,7 @@ warning: line 3: should text be a metavariable? diff = --- tests/const.c -+++ /tmp/cocci-output-667994-0eefa6-const.c ++++ /tmp/cocci-output-3111491-7381d7-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -6108,7 +6144,7 @@ warning: line 16: should i be a metavariable? diff = --- tests/const1bis.c -+++ /tmp/cocci-output-667994-363683-const1bis.c ++++ /tmp/cocci-output-3111491-375f30-const1bis.c @@ -1,25 +1,25 @@ void foo(int j) { - const int i; @@ -6144,7 +6180,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-667994-493c98-const_adding.c ++++ /tmp/cocci-output-3111491-42718b-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -6156,7 +6192,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-667994-a4e875-const_array.c ++++ /tmp/cocci-output-3111491-aed69c-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -6175,7 +6211,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-667994-736caa-const_implicit_iso.c ++++ /tmp/cocci-output-3111491-a2f774-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -6185,7 +6221,7 @@ constptr.res diff = --- tests/constptr.c -+++ /tmp/cocci-output-667994-335116-constptr.c ++++ /tmp/cocci-output-3111491-13e67a-constptr.c @@ -1,7 +1,7 @@ int main() { @@ -6201,7 +6237,7 @@ constraints.res diff = --- tests/constraints.c -+++ /tmp/cocci-output-667994-cfb564-constraints.c ++++ /tmp/cocci-output-3111491-dfb1da-constraints.c @@ -1,23 +1,23 @@ void f() @@ -6236,7 +6272,7 @@ warning: line 9: should f be a metavariable? diff = --- tests/constrem.c -+++ /tmp/cocci-output-667994-bb896a-constrem.c ++++ /tmp/cocci-output-3111491-32b543-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -6244,7 +6280,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-667994-5b178f-constructor.c ++++ /tmp/cocci-output-3111491-3ffb43-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -6256,7 +6292,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-667994-a967ad-constty.c ++++ /tmp/cocci-output-3111491-199ff7-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -6268,7 +6304,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-667994-6d62d1-constx.c ++++ /tmp/cocci-output-3111491-20d8bd-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -6285,7 +6321,7 @@ } countcalls.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_8d1f20.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_8d1f20.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_284969.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_284969.ml File "tests/countcalls.cocci", line 63, characters 30-46: Alert deprecated: Stdlib.String.lowercase Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. @@ -6296,14 +6332,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-667994-c3d121-cptr.c ++++ /tmp/cocci-output-3111491-e20cfc-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char *const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-667994-126cb1-cr.c ++++ /tmp/cocci-output-3111491-49d3d8-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -6316,7 +6352,7 @@ cr1a.res diff = --- tests/cr1a.c -+++ /tmp/cocci-output-667994-2a114b-cr1a.c ++++ /tmp/cocci-output-3111491-16f994-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -6341,7 +6377,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-667994-4d8b96-cs_check.c ++++ /tmp/cocci-output-3111491-66b2e7-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -6354,7 +6390,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-667994-fd5ca0-cst.c ++++ /tmp/cocci-output-3111491-d43f69-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -6365,7 +6401,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-667994-afdcb8-cst_null.c ++++ /tmp/cocci-output-3111491-c3e649-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -6401,12 +6437,12 @@ vb->magic = MAGIC_BUFFER; cstr.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_8b8004.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_8b8004.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_7fd329.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_7fd329.ml Compilation OK! Loading ML code of the SP... diff = --- tests/cstr.c -+++ /tmp/cocci-output-667994-4561fd-cstr.c ++++ /tmp/cocci-output-3111491-2050b5-cstr.c @@ -1,4 +1,8 @@ int main() { f(1,2,1,2,3); @@ -6420,7 +6456,7 @@ warning: line 4: should foo be a metavariable? diff = --- tests/cststr.c -+++ /tmp/cocci-output-667994-c54913-cststr.c ++++ /tmp/cocci-output-3111491-b3bd89-cststr.c @@ -1,3 +1,3 @@ int main () { - foo((ptr_t)"blah"); @@ -6430,7 +6466,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-667994-4d2b72-csw.c ++++ /tmp/cocci-output-3111491-3b22ab-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -6449,7 +6485,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-667994-938313-dbg.c ++++ /tmp/cocci-output-3111491-6ec487-dbg.c @@ -4,5 +4,6 @@ static inline void alloc_resource(struct struct resource *pr, *r = &dev->resource[idx]; @@ -6461,7 +6497,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-667994-0d0ec8-dbg1.c ++++ /tmp/cocci-output-3111491-4844eb-dbg1.c @@ -2,4 +2,5 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) { @@ -6471,7 +6507,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-667994-c45a17-dc_close.c ++++ /tmp/cocci-output-3111491-0fd491-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -6483,7 +6519,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-667994-de1b0b-debug.c ++++ /tmp/cocci-output-3111491-787e10-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -6493,7 +6529,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-667994-a75052-dec.c ++++ /tmp/cocci-output-3111491-9ab600-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -6503,7 +6539,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-667994-68b98b-decl.c ++++ /tmp/cocci-output-3111491-90e387-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -6515,7 +6551,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-667994-85d955-decl2.c ++++ /tmp/cocci-output-3111491-eccb3b-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -6527,7 +6563,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-667994-5104b1-decl_space.c ++++ /tmp/cocci-output-3111491-3d7ea8-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -6539,7 +6575,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-667994-4c1540-decl_star.c ++++ /tmp/cocci-output-3111491-6947dd-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -6551,7 +6587,7 @@ declmeta.res diff = --- tests/declmeta.c -+++ /tmp/cocci-output-667994-9744f7-declmeta.c ++++ /tmp/cocci-output-3111491-0d87a7-declmeta.c @@ -1,7 +1,7 @@ -int b,c; +int c; @@ -6566,13 +6602,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-667994-a1a76d-defe.c ++++ /tmp/cocci-output-3111491-332b45-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-667994-a0798f-define_exp.c ++++ /tmp/cocci-output-3111491-604c09-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -6583,7 +6619,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-667994-ba8e34-define_param.c ++++ /tmp/cocci-output-3111491-5bfb63-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -6600,7 +6636,7 @@ defineinit.res diff = --- tests/defineinit.c -+++ /tmp/cocci-output-667994-20a24f-defineinit.c ++++ /tmp/cocci-output-3111491-970de7-defineinit.c @@ -1,3 +1,3 @@ #define MYMACRO(adsf) { \ - .foo = (asdf),\ @@ -6610,7 +6646,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-667994-965105-delete_function.c ++++ /tmp/cocci-output-3111491-e33100-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -6627,7 +6663,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-667994-aab797-delp.c ++++ /tmp/cocci-output-3111491-9f44a8-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -6637,7 +6673,7 @@ depfail.res diff = --- tests/depfail.c -+++ /tmp/cocci-output-667994-9fc4cd-depfail.c ++++ /tmp/cocci-output-3111491-0cdd23-depfail.c @@ -1,5 +1,4 @@ int main(void) { @@ -6647,7 +6683,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-667994-ae88a0-deref.c ++++ /tmp/cocci-output-3111491-b0abbb-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -6660,7 +6696,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-667994-d60842-destroy.c ++++ /tmp/cocci-output-3111491-8c2d25-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -6677,7 +6713,7 @@ detect_cast_attr.res diff = --- tests/detect_cast_attr.c -+++ /tmp/cocci-output-667994-403dbb-detect_cast_attr.c ++++ /tmp/cocci-output-3111491-d2df90-detect_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -6696,7 +6732,7 @@ warning: line 8: should a be a metavariable? diff = --- tests/detect_macrodecl_attr.c -+++ /tmp/cocci-output-667994-2d02d6-detect_macrodecl_attr.c ++++ /tmp/cocci-output-3111491-1cfb09-detect_macrodecl_attr.c @@ -1,5 +1,5 @@ #define __macro_attr MACROANNOTATION @@ -6707,7 +6743,7 @@ detect_param_attr.res diff = --- tests/detect_param_attr.c -+++ /tmp/cocci-output-667994-63c695-detect_param_attr.c ++++ /tmp/cocci-output-3111491-19f7d6-detect_param_attr.c @@ -1,11 +1,12 @@ -int func1(int __nocast *u, __nocast int z, int q __nocast, int w) { +int func1(char __nocast *u, __nocast int z, char q __nocast, int w) { @@ -6727,7 +6763,7 @@ detect_struct_endattr.res diff = --- tests/detect_struct_endattr.c -+++ /tmp/cocci-output-667994-b89187-detect_struct_endattr.c ++++ /tmp/cocci-output-3111491-31be3a-detect_struct_endattr.c @@ -2,7 +2,6 @@ struct abcd { @@ -6739,7 +6775,7 @@ detect_struct_gccattr.res diff = --- tests/detect_struct_gccattr.c -+++ /tmp/cocci-output-667994-59ddbe-detect_struct_gccattr.c ++++ /tmp/cocci-output-3111491-93e1df-detect_struct_gccattr.c @@ -1,12 +1,10 @@ struct abcd { int a; @@ -6770,7 +6806,7 @@ devlink.res diff = --- tests/devlink.c -+++ /tmp/cocci-output-667994-f6fdf3-devlink.c ++++ /tmp/cocci-output-3111491-01c905-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -6796,7 +6832,7 @@ warning: line 18: should disj_type be a metavariable? diff = --- tests/disj.c -+++ /tmp/cocci-output-667994-ca579c-disj.c ++++ /tmp/cocci-output-3111491-98a5a3-disj.c @@ -1,31 +1,31 @@ void f() { int disj_id0; @@ -6848,7 +6884,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-667994-c447bd-disjexpr.c ++++ /tmp/cocci-output-3111491-2a82b8-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -6857,7 +6893,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-667994-8aa9f8-disjexpr_ver1.c ++++ /tmp/cocci-output-3111491-8b454c-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -6866,7 +6902,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-667994-89f5b1-disjexpr_ver2.c ++++ /tmp/cocci-output-3111491-f888e7-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -6875,7 +6911,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-667994-7e2645-disjid.c ++++ /tmp/cocci-output-3111491-50290a-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -6889,7 +6925,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-667994-608706-distribute.c ++++ /tmp/cocci-output-3111491-ba7b95-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -6899,7 +6935,7 @@ dotcall.res diff = --- tests/dotcall.c -+++ /tmp/cocci-output-667994-08dbe1-dotcall.c ++++ /tmp/cocci-output-3111491-3c7352-dotcall.c @@ -1,3 +1,2 @@ int main() { - xxx.foobar(); @@ -6907,7 +6943,7 @@ dots_comma.res diff = --- tests/dots_comma.c -+++ /tmp/cocci-output-667994-142d8f-dots_comma.c ++++ /tmp/cocci-output-3111491-563f0b-dots_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -6917,7 +6953,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-667994-f76b03-double.c ++++ /tmp/cocci-output-3111491-837d9b-double.c @@ -1,5 +1,5 @@ static void BChannel_proc_xmt(struct BCState *bcs) { - if (!test_bit(BC_FLG_BUSY, &bcs->Flag) && (!skb_queue_len(&bcs->squeue))) { @@ -6928,7 +6964,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-667994-274337-double_assign.c ++++ /tmp/cocci-output-3111491-e62666-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -6939,7 +6975,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-667994-8d05db-double_lines.c ++++ /tmp/cocci-output-3111491-cdc398-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -6952,7 +6988,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-667994-5b9866-doublepos.c ++++ /tmp/cocci-output-3111491-f0a879-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -6962,7 +6998,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-667994-006eaa-doubleswitch.c ++++ /tmp/cocci-output-3111491-ef8f5b-doubleswitch.c @@ -3,8 +3,6 @@ void zfLnxRecvEth(zdev_t* dev, zbuf_t* b #ifdef ZM_AVOID_UDP_LARGE_PACKET_FAIL zbuf_t *new_buf; @@ -6975,7 +7011,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-667994-fd6bf9-doundo.c ++++ /tmp/cocci-output-3111491-91880d-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -6986,7 +7022,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-667994-06c269-dowhile.c ++++ /tmp/cocci-output-3111491-b4e137-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -6998,7 +7034,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-667994-24d8ee-dropbr.c ++++ /tmp/cocci-output-3111491-29bec3-dropbr.c @@ -1,5 +1,4 @@ int main () { - if (a) { @@ -7010,7 +7046,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-667994-767730-dropcom.c ++++ /tmp/cocci-output-3111491-2071f1-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -7025,7 +7061,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-667994-2c54e1-dropenderr.c ++++ /tmp/cocci-output-3111491-7b372e-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -7040,7 +7076,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-667994-d1473f-dropf.c ++++ /tmp/cocci-output-3111491-41ed06-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -7049,7 +7085,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-667994-33f30f-dropparam.c ++++ /tmp/cocci-output-3111491-abb62e-dropparam.c @@ -2,12 +2,12 @@ int f(char *x, int y, char* z) { return; } @@ -7068,7 +7104,7 @@ dtest.res diff = --- tests/dtest.c -+++ /tmp/cocci-output-667994-209390-dtest.c ++++ /tmp/cocci-output-3111491-75e846-dtest.c @@ -1,5 +1,5 @@ int main() { struct sk_buff *e; @@ -7079,7 +7115,7 @@ eb1.res diff = --- tests/eb1.c -+++ /tmp/cocci-output-667994-500ce7-eb1.c ++++ /tmp/cocci-output-3111491-e515f7-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -7098,7 +7134,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-667994-553a76-edots.c ++++ /tmp/cocci-output-3111491-301204-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -7111,7 +7147,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-667994-f4048e-edots_ver1.c ++++ /tmp/cocci-output-3111491-f34160-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -7126,7 +7162,7 @@ efi3.res diff = --- tests/efi3.c -+++ /tmp/cocci-output-667994-a0f5b0-efi3.c ++++ /tmp/cocci-output-3111491-c70ed9-efi3.c @@ -6,6 +6,6 @@ static efi_status_t virt_efi_get_time(ef goto exit; @@ -7138,7 +7174,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-667994-fe9441-elsify.c ++++ /tmp/cocci-output-3111491-8b91c6-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -7152,7 +7188,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-667994-6cb60a-empty.c ++++ /tmp/cocci-output-3111491-e78fef-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -7164,7 +7200,7 @@ end_attr.res diff = --- tests/end_attr.c -+++ /tmp/cocci-output-667994-876199-end_attr.c ++++ /tmp/cocci-output-3111491-8a10fe-end_attr.c @@ -1,10 +1,12 @@ int main() { - struct foo x autofree; @@ -7183,7 +7219,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-667994-d939a1-end_commas.c ++++ /tmp/cocci-output-3111491-9c3683-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -7197,7 +7233,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-667994-97f8bf-endif.c ++++ /tmp/cocci-output-3111491-b7787c-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -7225,7 +7261,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-667994-1ee828-endnl.c ++++ /tmp/cocci-output-3111491-16fb6e-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -7266,12 +7302,12 @@ endpos.res warning: s: metavariable p not used in the - or context code Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_30e032.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_30e032.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_ba9e25.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_ba9e25.ml Compilation OK! Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-667994-d61fa4-endpos.c ++++ /tmp/cocci-output-3111491-0c81ee-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -7290,7 +7326,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-667994-cf4672-enum.c ++++ /tmp/cocci-output-3111491-972355-enum.c @@ -18,5 +18,5 @@ xxx static reg_errcode_t regex_compile () @@ -7301,7 +7337,7 @@ enum_assign.res diff = --- tests/enum_assign.c -+++ /tmp/cocci-output-667994-b5e7c7-enum_assign.c ++++ /tmp/cocci-output-3111491-4d9c5f-enum_assign.c @@ -1,6 +1,7 @@ enum h { - a = 0, @@ -7315,20 +7351,20 @@ enumdots.res diff = --- tests/enumdots.c -+++ /tmp/cocci-output-667994-0e5385-enumdots.c ++++ /tmp/cocci-output-3111491-3b8a7e-enumdots.c @@ -1,3 +1,2 @@ enum binder_work_type { - BINDER_WORK_TRANSACTION = 12, } t; exitc.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_d2ad05.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_d2ad05.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_74e2c7.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_74e2c7.ml Compilation OK! Loading ML code of the SP... Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-667994-2b253c-exitc.c ++++ /tmp/cocci-output-3111491-d68d7b-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -7345,7 +7381,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-667994-81f0b5-exp.c ++++ /tmp/cocci-output-3111491-7f9fe9-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -7368,7 +7404,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-667994-57f870-expnest.c ++++ /tmp/cocci-output-3111491-dfc926-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -7379,7 +7415,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-667994-8372d4-expopt.c ++++ /tmp/cocci-output-3111491-c02692-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -7390,7 +7426,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-667994-89e649-expopt2.c ++++ /tmp/cocci-output-3111491-694434-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -7401,7 +7437,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-667994-4eab5b-expopt3.c ++++ /tmp/cocci-output-3111491-27585b-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7413,7 +7449,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-667994-45c2b1-expopt3_ver1.c ++++ /tmp/cocci-output-3111491-e690da-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7426,7 +7462,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-667994-058e9e-expopt3_ver2.c ++++ /tmp/cocci-output-3111491-176db3-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7438,7 +7474,7 @@ exprlist_comma.res diff = --- tests/exprlist_comma.c -+++ /tmp/cocci-output-667994-693fe9-exprlist_comma.c ++++ /tmp/cocci-output-3111491-f96591-exprlist_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -7447,8 +7483,8 @@ } extra.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_e337da.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_e337da.ml -File "/tmp/ocaml_cocci_e337da.ml", line 38, characters 4-6: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_f43ec1.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f43ec1.ml +File "/tmp/ocaml_cocci_f43ec1.ml", line 38, characters 4-6: 38 | let ff = match List.nth __args__ 1 with Coccilib.Str x -> x | _ -> failwith "bad value" in ^^ Warning 26 [unused-var]: unused variable ff. @@ -7456,7 +7492,7 @@ Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-667994-9ed348-extra.c ++++ /tmp/cocci-output-3111491-7d0869-extra.c @@ -1,12 +1,25 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -7488,7 +7524,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-667994-25ef95-failing_andany.c ++++ /tmp/cocci-output-3111491-bec4f7-failing_andany.c @@ -1,13 +1,9 @@ static int smc_probe1(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -7506,7 +7542,7 @@ far.res diff = --- tests/far.c -+++ /tmp/cocci-output-667994-73a2b5-far.c ++++ /tmp/cocci-output-3111491-3bf192-far.c @@ -1,7 +1,7 @@ int main(void) { @@ -7521,7 +7557,7 @@ fields.res diff = --- tests/fields.c -+++ /tmp/cocci-output-667994-29b98a-fields.c ++++ /tmp/cocci-output-3111491-621f48-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -7534,7 +7570,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-667994-eea6d1-fieldsmin.c ++++ /tmp/cocci-output-3111491-672fe1-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -7543,13 +7579,13 @@ }; finalize_only.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_248bc8.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_248bc8.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_f4f08d.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f4f08d.ml Compilation OK! Loading ML code of the SP... find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-667994-f49c31-find_long.c ++++ /tmp/cocci-output-3111491-d4c740-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -7564,7 +7600,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-667994-db0f41-fix_flow_need.c ++++ /tmp/cocci-output-3111491-ae5f5b-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -7576,7 +7612,7 @@ flex.res diff = --- tests/flex.c -+++ /tmp/cocci-output-667994-64aad8-flex.c ++++ /tmp/cocci-output-3111491-fd8c50-flex.c @@ -3,5 +3,5 @@ struct scmi_msg_resp_sensor_description struct { #define SENSOR_UPDATE_BASE(x) 3 @@ -7587,7 +7623,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-667994-3abf6a-fn_todo.c ++++ /tmp/cocci-output-3111491-cf1819-fn_todo.c @@ -5,6 +5,6 @@ static void task_kill_later(struct asd_a struct Scsi_Host *shost = sas_ha->core.shost; struct sas_task *task = ascb->uldd_task; @@ -7599,7 +7635,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-667994-4eb4ac-fnptr.c ++++ /tmp/cocci-output-3111491-9191ab-fnptr.c @@ -8,5 +8,5 @@ static int sci_request_irq(struct sci_po sci_er_interrupt, sci_rx_interrupt, sci_tx_interrupt, sci_br_interrupt, @@ -7611,14 +7647,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-667994-93c0b3-fnret.c ++++ /tmp/cocci-output-3111491-fca148-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-667994-6d72f1-fnty.c ++++ /tmp/cocci-output-3111491-6b7ed3-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -7628,14 +7664,14 @@ fntypedef.res diff = --- tests/fntypedef.c -+++ /tmp/cocci-output-667994-ee73fb-fntypedef.c ++++ /tmp/cocci-output-3111491-2883f5-fntypedef.c @@ -1 +1 @@ -typedef void (*toto_t)(int a, int b); +typedef void(*toto_t)(int a, int b, int c); format.res diff = --- tests/format.c -+++ /tmp/cocci-output-667994-c9f875-format.c ++++ /tmp/cocci-output-3111491-5395d3-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -7646,14 +7682,14 @@ } format2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_3650d0.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_3650d0.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_7604b7.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_7604b7.ml Compilation OK! Loading ML code of the SP... diff = format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-667994-cfb82e-format2.c ++++ /tmp/cocci-output-3111491-173b5d-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -7662,7 +7698,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-667994-961175-formatlist.c ++++ /tmp/cocci-output-3111491-014f1c-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -7680,7 +7716,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-667994-8035be-fortest.c ++++ /tmp/cocci-output-3111491-787eba-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -7720,7 +7756,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-667994-6b85e4-fortype.c ++++ /tmp/cocci-output-3111491-c938b2-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -7731,7 +7767,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-667994-0cfae2-four.c ++++ /tmp/cocci-output-3111491-f2117d-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -7741,7 +7777,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-667994-be4709-foura.c ++++ /tmp/cocci-output-3111491-a29e36-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -7751,14 +7787,14 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-667994-b785fc-fp.c ++++ /tmp/cocci-output-3111491-c03dd8-fp.c @@ -1,3 +1,2 @@ int main(int (*x)(int,int)) { - x(); } fresh_id_script.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_a98d6c.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_a98d6c.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_dcb095.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_dcb095.ml File "tests/fresh_id_script.cocci", line 11, characters 5-14: Warning 26 [unused-var]: unused variable fresh_ml0. File "tests/fresh_id_script.cocci", line 35, characters 5-14: @@ -7773,7 +7809,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-667994-0a4557-fsh.c ++++ /tmp/cocci-output-3111491-dd6d39-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -7785,7 +7821,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-667994-515189-fun.c ++++ /tmp/cocci-output-3111491-086a7b-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -7794,7 +7830,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-667994-402cd1-func.c ++++ /tmp/cocci-output-3111491-edfae1-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -7808,7 +7844,7 @@ funptr_array.res diff = --- tests/funptr_array.c -+++ /tmp/cocci-output-667994-8248fc-funptr_array.c ++++ /tmp/cocci-output-3111491-5fbecd-funptr_array.c @@ -1 +1 @@ -int (*x[2])(int x); +int (*x[2])(char x); @@ -7828,7 +7864,7 @@ gadget_misc.res diff = --- tests/gadget_misc.c -+++ /tmp/cocci-output-667994-144a53-gadget_misc.c ++++ /tmp/cocci-output-3111491-05370e-gadget_misc.c @@ -2,6 +2,5 @@ int main() { if(0) @@ -7839,7 +7875,7 @@ gadget_ninelets_typedef.res diff = --- tests/gadget_ninelets_typedef.c -+++ /tmp/cocci-output-667994-b9ee75-gadget_ninelets_typedef.c ++++ /tmp/cocci-output-3111491-602c21-gadget_ninelets_typedef.c @@ -1,21 +1,23 @@ typedef double MyFloat; @@ -7873,7 +7909,7 @@ gadget_remove_mpi_function_calls.res diff = --- tests/gadget_remove_mpi_function_calls.c -+++ /tmp/cocci-output-667994-37c763-gadget_remove_mpi_function_calls.c ++++ /tmp/cocci-output-3111491-77304c-gadget_remove_mpi_function_calls.c @@ -2,6 +2,5 @@ int main(int argc, char **argv) { @@ -7884,7 +7920,7 @@ gadget_remove_used_fields.res diff = --- tests/gadget_remove_used_fields.c -+++ /tmp/cocci-output-667994-ada92f-gadget_remove_used_fields.c ++++ /tmp/cocci-output-3111491-2bbf2f-gadget_remove_used_fields.c @@ -1,8 +1,8 @@ -struct particle_data { int i; int j; int k; } * P ; @@ -7906,7 +7942,7 @@ gadget_soa_select.res diff = --- tests/gadget_soa_select.c -+++ /tmp/cocci-output-667994-13f0ff-gadget_soa_select.c ++++ /tmp/cocci-output-3111491-1ea85b-gadget_soa_select.c @@ -1,5 +1,5 @@ struct sph_particle_data_soa_t { - int *Entropy; @@ -7917,7 +7953,7 @@ gadget_sorting_hook.res diff = --- tests/gadget_sorting_hook.c -+++ /tmp/cocci-output-667994-d030b6-gadget_sorting_hook.c ++++ /tmp/cocci-output-3111491-c6c4fb-gadget_sorting_hook.c @@ -21,7 +21,16 @@ int main() any_sort_func(P); @@ -7938,7 +7974,7 @@ gadget_triplets_typedef.res diff = --- tests/gadget_triplets_typedef.c -+++ /tmp/cocci-output-667994-e17c4b-gadget_triplets_typedef.c ++++ /tmp/cocci-output-3111491-53be80-gadget_triplets_typedef.c @@ -3,6 +3,8 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -7965,7 +8001,7 @@ gadget_triplets_typedef_ipcc.res diff = --- tests/gadget_triplets_typedef_ipcc.c -+++ /tmp/cocci-output-667994-c048f9-gadget_triplets_typedef_ipcc.c ++++ /tmp/cocci-output-3111491-d08bca-gadget_triplets_typedef_ipcc.c @@ -3,6 +3,7 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -7986,7 +8022,7 @@ gcc_attr_with_func.res diff = --- tests/gcc_attr_with_func.c -+++ /tmp/cocci-output-667994-2055c7-gcc_attr_with_func.c ++++ /tmp/cocci-output-3111491-ef0925-gcc_attr_with_func.c @@ -1,8 +1,8 @@ -int __attribute__((always_inline)) func (int a); +int __attribute__((always_inline)) func (); @@ -8015,7 +8051,7 @@ gcc_attr_with_var.res diff = --- tests/gcc_attr_with_var.c -+++ /tmp/cocci-output-667994-05beb2-gcc_attr_with_var.c ++++ /tmp/cocci-output-3111491-f94ad8-gcc_attr_with_var.c @@ -1,39 +1,43 @@ -int var1_end __attribute__((myattr1_end)); +int var1_end __attribute__((section(".shared"))); @@ -8083,7 +8119,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-667994-aa62e3-gcc_min_max.c ++++ /tmp/cocci-output-3111491-727343-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -8100,7 +8136,7 @@ getc.res diff = --- tests/getc.c -+++ /tmp/cocci-output-667994-5ad00a-getc.c ++++ /tmp/cocci-output-3111491-6a66ad-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -8110,7 +8146,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-667994-0efc03-gilles-question.c ++++ /tmp/cocci-output-3111491-11b563-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -8123,7 +8159,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-667994-a188a4-gotobreak.c ++++ /tmp/cocci-output-3111491-0fc4d4-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -8136,7 +8172,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-667994-9327c7-hd.c ++++ /tmp/cocci-output-3111491-0184b9-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -8145,7 +8181,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-667994-306323-headers.c ++++ /tmp/cocci-output-3111491-d78337-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -8164,7 +8200,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-667994-d1f476-hex.c ++++ /tmp/cocci-output-3111491-7e4192-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -8172,7 +8208,7 @@ hil1.res diff = --- tests/hil1.c -+++ /tmp/cocci-output-667994-3604a6-hil1.c ++++ /tmp/cocci-output-3111491-3d84d5-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -8184,12 +8220,12 @@ exn while in timeout_function idcon_ocaml.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_737e15.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_737e15.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_072de7.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_072de7.ml Compilation OK! Loading ML code of the SP... diff = --- tests/idcon_ocaml.c -+++ /tmp/cocci-output-667994-109e2c-idcon_ocaml.c ++++ /tmp/cocci-output-3111491-368255-idcon_ocaml.c @@ -1,5 +1,5 @@ void f(void) { - g(a); @@ -8203,7 +8239,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-667994-1e0172-idstr.c ++++ /tmp/cocci-output-3111491-57315f-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -8212,7 +8248,7 @@ if.res diff = --- tests/if.c -+++ /tmp/cocci-output-667994-fe7802-if.c ++++ /tmp/cocci-output-3111491-ff3c0a-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -8254,7 +8290,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-667994-dd60b4-ifadd.c ++++ /tmp/cocci-output-3111491-926af2-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -8269,7 +8305,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-667994-f9fd12-ifd.c ++++ /tmp/cocci-output-3111491-09ce94-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -8287,7 +8323,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-667994-6f5768-ifdef1.c ++++ /tmp/cocci-output-3111491-fbb075-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -8300,7 +8336,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-667994-448839-ifdef2.c ++++ /tmp/cocci-output-3111491-de9f33-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -8316,7 +8352,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-667994-a451c1-ifdef3.c ++++ /tmp/cocci-output-3111491-0d7204-ifdef3.c @@ -2,6 +2,15 @@ #include #include @@ -8338,7 +8374,7 @@ warning: line 9: should irq_desc be a metavariable? diff = --- tests/ifdef4.c -+++ /tmp/cocci-output-667994-0fd961-ifdef4.c ++++ /tmp/cocci-output-3111491-722088-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -8354,7 +8390,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-667994-4f2fbd-ifdef5.c ++++ /tmp/cocci-output-3111491-b09762-ifdef5.c @@ -11,3 +11,11 @@ void init_IRQ(void) uselessCall(); } @@ -8370,7 +8406,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-667994-2222e4-ifdef6.c ++++ /tmp/cocci-output-3111491-4ad646-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -8383,7 +8419,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-667994-0e7998-ifdef6a.c ++++ /tmp/cocci-output-3111491-81b46b-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -8395,7 +8431,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-667994-fb3498-ifdefmeta.c ++++ /tmp/cocci-output-3111491-8e30b3-ifdefmeta.c @@ -1,26 +1,30 @@ int main() { - buf = alloca(3 @@ -8464,7 +8500,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-667994-c0007d-ifdefmeta1.c ++++ /tmp/cocci-output-3111491-f65cae-ifdefmeta1.c @@ -1,17 +1,2 @@ int main() { - buf = alloca(3 @@ -8486,7 +8522,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-667994-83b40b-ifdefmeta2.c ++++ /tmp/cocci-output-3111491-b9c37c-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -8503,7 +8539,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-667994-61cb72-ifdefmeta3.c ++++ /tmp/cocci-output-3111491-22197a-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -8520,7 +8556,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-667994-f876be-ifend.c ++++ /tmp/cocci-output-3111491-11c9f8-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -8530,7 +8566,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-667994-594803-ifgoto.c ++++ /tmp/cocci-output-3111491-69a2ae-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -8544,7 +8580,7 @@ ifields.res diff = --- tests/ifields.c -+++ /tmp/cocci-output-667994-82c219-ifields.c ++++ /tmp/cocci-output-3111491-84d6ca-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -8567,7 +8603,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-667994-2a86c7-ifif.c ++++ /tmp/cocci-output-3111491-559dcc-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -8585,7 +8621,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-667994-62218e-ifreturn.c ++++ /tmp/cocci-output-3111491-417fce-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -8647,7 +8683,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-667994-169a66-ifreturn3.c ++++ /tmp/cocci-output-3111491-613e0d-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -8673,7 +8709,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-667994-c2adc1-ifreturn4.c ++++ /tmp/cocci-output-3111491-b7c55f-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -8697,7 +8733,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-667994-32c11b-ifreturn6.c ++++ /tmp/cocci-output-3111491-81588d-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -8711,7 +8747,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-667994-2c7b14-ifzer.c ++++ /tmp/cocci-output-3111491-d8e5b2-ifzer.c @@ -3,6 +3,5 @@ int main() { and have lived on another thread's stack; that stack may have become unmapped meanwhile (CONFIG_DEBUG_PAGEALLOC). */ @@ -8722,7 +8758,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-667994-4dc33e-ifzz.c ++++ /tmp/cocci-output-3111491-319854-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -8738,7 +8774,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-667994-63fe82-inc.c ++++ /tmp/cocci-output-3111491-1bff32-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -8747,7 +8783,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-667994-e274dd-incl.c ++++ /tmp/cocci-output-3111491-b81c93-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -8760,7 +8796,7 @@ incl2.res diff = --- tests/incl2.c -+++ /tmp/cocci-output-667994-42725a-incl2.c ++++ /tmp/cocci-output-3111491-1fe3ee-incl2.c @@ -1,3 +1,4 @@ +#include "beginning.h" #include @@ -8769,7 +8805,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-667994-8a3a5a-inclifdef.c ++++ /tmp/cocci-output-3111491-e6da19-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -8779,7 +8815,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-667994-1e1b23-include.c ++++ /tmp/cocci-output-3111491-0e1d00-include.c @@ -1,8 +1,6 @@ #include @@ -8792,7 +8828,7 @@ incompatible_value.res diff = --- tests/incompatible_value.c -+++ /tmp/cocci-output-667994-654576-incompatible_value.c ++++ /tmp/cocci-output-3111491-6653d8-incompatible_value.c @@ -4,6 +4,6 @@ int main() { } @@ -8809,7 +8845,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-667994-97f2a0-inherited.c ++++ /tmp/cocci-output-3111491-f49edd-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -8820,7 +8856,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-667994-f750f9-inherited_ver1.c ++++ /tmp/cocci-output-3111491-f821bc-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -8836,7 +8872,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-667994-ef9389-inhmet.c ++++ /tmp/cocci-output-3111491-11a249-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -8845,7 +8881,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-667994-bde258-inhpos.c ++++ /tmp/cocci-output-3111491-45f619-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -8854,7 +8890,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-667994-f2c181-initializer.c ++++ /tmp/cocci-output-3111491-77b53d-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -8868,21 +8904,21 @@ inline.res diff = --- tests/inline.c -+++ /tmp/cocci-output-667994-b02f19-inline.c ++++ /tmp/cocci-output-3111491-92a918-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-667994-af8eab-insdef.c ++++ /tmp/cocci-output-3111491-53b1ba-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include int2bool-local.res diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-667994-139c4e-int2bool-local.c ++++ /tmp/cocci-output-3111491-9bd7de-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -8928,7 +8964,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-667994-ced1ac-introbrace.c ++++ /tmp/cocci-output-3111491-5c3ce4-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -8947,7 +8983,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-667994-ddf839-invert.c ++++ /tmp/cocci-output-3111491-39776d-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -8956,7 +8992,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-667994-8cb984-ip.c ++++ /tmp/cocci-output-3111491-e40f19-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -8985,7 +9021,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-667994-3199eb-ip2.c ++++ /tmp/cocci-output-3111491-8e4b24-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -9010,7 +9046,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-667994-97932c-isococci.c ++++ /tmp/cocci-output-3111491-862a58-isococci.c @@ -1,6 +1,4 @@ void f(int i) { @@ -9023,7 +9059,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-667994-50faae-isoif.c ++++ /tmp/cocci-output-3111491-28fc72-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -9032,7 +9068,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-667994-8caac0-isotest.c ++++ /tmp/cocci-output-3111491-3befbf-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -9045,7 +9081,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-667994-b70572-isotest2.c ++++ /tmp/cocci-output-3111491-0daeab-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -9056,7 +9092,7 @@ iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_d6a8ce.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_d6a8ce.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_259c36.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_259c36.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -9065,7 +9101,7 @@ exn while in timeout_function iteration_after_merge.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_e1d247.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_e1d247.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_b911b7.cmxs -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_b911b7.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function @@ -11603,47 +11639,47 @@ dh_installdeb dh_ocaml W: coccinelle doesn't resolve dependency on unit Includes +W: coccinelle doesn't resolve dependency on unit Token_views_c +W: coccinelle doesn't resolve dependency on unit Parsing_hacks W: coccinelle doesn't resolve dependency on unit Control_flow_c -W: coccinelle doesn't resolve dependency on unit Includes_cache +W: coccinelle doesn't resolve dependency on unit Regexp_str W: coccinelle doesn't resolve dependency on unit Cpp_token_c +W: coccinelle doesn't resolve dependency on unit Control_flow_c +W: coccinelle doesn't resolve dependency on unit Parsing_hacks +W: coccinelle doesn't resolve dependency on unit Includes +W: coccinelle doesn't resolve dependency on unit Includes_cache +W: coccinelle doesn't resolve dependency on unit Token_annot W: coccinelle doesn't resolve dependency on unit Data -W: coccinelle doesn't resolve dependency on unit Semantic_c -W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c -W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci +W: coccinelle doesn't resolve dependency on unit Lexer_parser +W: coccinelle doesn't resolve dependency on unit Includes_cache W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c -W: coccinelle doesn't resolve dependency on unit Danger -W: coccinelle doesn't resolve dependency on unit Parsing_stat -W: coccinelle doesn't resolve dependency on unit Includes_cache -W: coccinelle doesn't resolve dependency on unit Regexp_str -W: coccinelle doesn't resolve dependency on unit Parsing_hacks -W: coccinelle doesn't resolve dependency on unit Danger -W: coccinelle doesn't resolve dependency on unit Parsing_hacks W: coccinelle doesn't resolve dependency on unit Regexp_str W: coccinelle doesn't resolve dependency on unit Parsing_stat +W: coccinelle doesn't resolve dependency on unit Parsing_stat W: coccinelle doesn't resolve dependency on unit Token_helpers -W: coccinelle doesn't resolve dependency on unit Control_flow_c -W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c -W: coccinelle doesn't resolve dependency on unit Lexer_parser -W: coccinelle doesn't resolve dependency on unit Type_annoter_c -W: coccinelle doesn't resolve dependency on unit Ograph_extended -W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci +W: coccinelle doesn't resolve dependency on unit Semantic_c W: coccinelle doesn't resolve dependency on unit Cpp_token_c +W: coccinelle doesn't resolve dependency on unit Token_helpers +W: coccinelle doesn't resolve dependency on unit Danger +W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci W: coccinelle doesn't resolve dependency on unit Lexer_parser -W: coccinelle doesn't resolve dependency on unit Token_annot -W: coccinelle doesn't resolve dependency on unit Token_views_c W: coccinelle doesn't resolve dependency on unit Data +W: coccinelle doesn't resolve dependency on unit Ograph_extended +W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c +W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c W: coccinelle doesn't resolve dependency on unit Type_annoter_c -W: coccinelle doesn't resolve dependency on unit Token_helpers -W: coccinelle doesn't resolve dependency on unit Semantic_c W: coccinelle doesn't resolve dependency on unit Token_annot -W: coccinelle doesn't resolve dependency on unit Includes +W: coccinelle doesn't resolve dependency on unit Semantic_c +W: coccinelle doesn't resolve dependency on unit Danger +W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci +W: coccinelle doesn't resolve dependency on unit Type_annoter_c dh_gencontrol dh_md5sums dh_builddeb -dpkg-deb: building package 'coccinelle-doc' in '../coccinelle-doc_1.1.1.deb-5_all.deb'. dpkg-deb: building package 'coccinelle-dbgsym' in '../coccinelle-dbgsym_1.1.1.deb-5_arm64.deb'. dpkg-deb: building package 'coccinelle' in '../coccinelle_1.1.1.deb-5_arm64.deb'. +dpkg-deb: building package 'coccinelle-doc' in '../coccinelle-doc_1.1.1.deb-5_all.deb'. dpkg-genbuildinfo --build=binary -O../coccinelle_1.1.1.deb-5_arm64.buildinfo dpkg-genchanges --build=binary -O../coccinelle_1.1.1.deb-5_arm64.changes dpkg-genchanges: info: binary-only upload (no source code included) @@ -11651,12 +11687,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/3041414/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/3041414/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/622972 and its subdirectories -I: Current time: Wed Jun 11 21:16:58 -12 2025 -I: pbuilder-time-stamp: 1749719818 +I: removing directory /srv/workspace/pbuilder/3041414 and its subdirectories +I: Current time: Fri May 10 17:06:17 +14 2024 +I: pbuilder-time-stamp: 1715310377