Diff of the two buildlogs: -- --- b1/build.log 2024-04-27 03:15:17.449872330 +0000 +++ b2/build.log 2024-04-27 03:49:59.813110880 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Fri Apr 26 14:17:24 -12 2024 -I: pbuilder-time-stamp: 1714184245 +I: Current time: Sat Apr 27 17:15:44 +14 2024 +I: pbuilder-time-stamp: 1714187744 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-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/26868/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/20557/tmp/hooks/D01_modify_environment starting +debug: Running on virt32b. +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 Apr 27 03:17 /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/20557/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/20557/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='armhf' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=5 ' - DISTRIBUTION='trixie' - HOME='/root' - HOST_ARCH='armhf' + 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]="arm-unknown-linux-gnueabihf") + 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=armhf + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 ' + DIRSTACK=() + DISTRIBUTION=trixie + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=arm + HOST_ARCH=armhf IFS=' ' - INVOCATION_ID='51f26ca040744191ad705794a7e755be' - 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='26868' - PS1='# ' - PS2='> ' + INVOCATION_ID=34bc7f5efece45b2a4616c9ee14bec7d + LANG=C + LANGUAGE=it_CH:it + LC_ALL=C + MACHTYPE=arm-unknown-linux-gnueabihf + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnueabihf + 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=20557 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.j2SQ5KxP/pbuilderrc_6FAK --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.j2SQ5KxP/b1 --logfile b1/build.log coccinelle_1.1.1.deb-5.dsc' - SUDO_GID='114' - SUDO_UID='109' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://10.0.0.15:3142/' + 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.j2SQ5KxP/pbuilderrc_kLjM --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.j2SQ5KxP/b2 --logfile b2/build.log coccinelle_1.1.1.deb-5.dsc' + SUDO_GID=112 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://10.0.0.15:3142/ I: uname -a - Linux ff64a 6.1.0-20-arm64 #1 SMP Debian 6.1.85-1 (2024-04-11) aarch64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-20-armmp-lpae #1 SMP Debian 6.1.85-1 (2024-04-11) armv7l GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Apr 24 11:26 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/26868/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Apr 26 11:24 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/20557/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -282,7 +314,7 @@ Get: 136 http://deb.debian.org/debian trixie/main armhf texlive-latex-recommended all 2023.20240207-1 [8843 kB] Get: 137 http://deb.debian.org/debian trixie/main armhf texlive-pictures all 2023.20240207-1 [16.7 MB] Get: 138 http://deb.debian.org/debian trixie/main armhf texlive-latex-extra all 2023.20240207-1 [19.7 MB] -Fetched 874 MB in 1min 6s (13.2 MB/s) +Fetched 874 MB in 1min 10s (12.4 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libpython3.11-minimal:armhf. (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 ... 19467 files and directories currently installed.) @@ -737,8 +769,8 @@ Setting up tzdata (2024a-3) ... Current default time zone: 'Etc/UTC' -Local time is now: Sat Apr 27 02:25:42 UTC 2024. -Universal Time is now: Sat Apr 27 02:25:42 UTC 2024. +Local time is now: Sat Apr 27 03:28:18 UTC 2024. +Universal Time is now: Sat Apr 27 03:28:18 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... @@ -876,7 +908,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/20557/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for trixie +I: user script /srv/workspace/pbuilder/20557/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 @@ -886,7 +922,7 @@ debian/rules clean dh clean --with ocaml,python3,autoreconf dh_auto_clean - make -j5 distclean + make -j4 distclean make[1]: Entering directory '/build/reproducible-path/coccinelle-1.1.1.deb' CLEAN commons CLEAN globals @@ -928,7 +964,7 @@ checking whether make supports nested variables... yes configure: determining version suffix checking for date... /usr/bin/date -configure: version suffix set to Fri, 26 Apr 2024 15:01:53 -1200 +configure: version suffix set to Sat, 27 Apr 2024 17:41:46 +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) @@ -947,7 +983,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 @@ -1061,7 +1097,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) @@ -3600,7 +3636,7 @@ make[2]: Leaving directory '/build/reproducible-path/coccinelle-1.1.1.deb/docs/manual' make[1]: Leaving directory '/build/reproducible-path/coccinelle-1.1.1.deb' dh_auto_build -Ncoccinelle-doc - make -j5 + make -j4 make[1]: Entering directory '/build/reproducible-path/coccinelle-1.1.1.deb' /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib/ocaml/pyml -I /usr/lib/ocaml/parmap -I /usr/lib/ocaml/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) OCAMLYACC parsing_c/parser_c.mly @@ -3632,9 +3668,9 @@ OCAMLDEP read_options.mli OCAMLDEP testing.mli OCAMLDEP cocci.mli +OCAMLDEP flag_cocci.mli OCAMLDEP extra/maintainers.mli OCAMLDEP extra/kbuild.mli -OCAMLDEP flag_cocci.mli OCAMLDEP extra/classic_patch.mli OCAMLDEP popl09/popl.mli OCAMLDEP popl09/popltoctl.mli @@ -3770,20 +3806,20 @@ 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 14 states, 681 transitions, table size 2808 bytes OCAMLLEX parsing_cocci/lexer_cocci.mll OCAMLDEP tools/spgen/source/main.ml ocamllex warning: File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string. -143 states, 8123 transitions, table size 33350 bytes -23641 additional bytes used for bindings OCAMLDEP tools/spgen/source/spgen_test.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 -400 states, 6934 transitions, table size 30136 bytes -4105 additional bytes used for bindings OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/rule_header.ml @@ -3792,12 +3828,12 @@ OCAMLDEP tools/spgen/source/position_generator.ml OCAMLDEP tools/spgen/source/user_input.ml OCAMLDEP tools/spgen/source/snapshot.ml +564 states, 26650 transitions, table size 109984 bytes +17879 additional bytes used for bindings OCAMLDEP tools/spgen/source/meta_variable.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/globals.ml -564 states, 26650 transitions, table size 109984 bytes -17879 additional bytes used for bindings OCAMLDEP main.ml OCAMLDEP enter.ml OCAMLDEP read_options.ml @@ -3810,8 +3846,8 @@ OCAMLDEP popl09/popl.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/flag_popl.ml -OCAMLDEP popl09/insert_quantifiers.ml OCAMLDEP popl09/pretty_print_popl.ml +OCAMLDEP popl09/insert_quantifiers.ml OCAMLDEP popl09/asttopopl.ml OCAMLDEP popl09/ast_popl.ml OCAMLDEP engine/ctlcocci_integration.ml @@ -3964,6 +4000,9 @@ OCAMLC ctl/ast_ctl.mli OCAMLC engine/flag_matcher.mli OCAMLC popl09/flag_popl.mli +OCAMLC extra/classic_patch.mli +OCAMLC extra/kbuild.mli +OCAMLC extra/maintainers.mli OCAMLC flag_cocci.mli OCAMLC read_options.mli OCAMLC enter.mli @@ -3971,8 +4010,8 @@ OCAMLC tools/spgen/source/spgen_lexer.mli OCAMLC tools/spgen/source/spgen.mli OCAMLC tools/spgen/source/spgen_test.mli -OCAMLC tools/spgen/source/main.mli cp globals/regexp.cmi ocaml/regexp.cmi +OCAMLC tools/spgen/source/main.mli cp globals/config.cmi ocaml/config.cmi cp globals/flag.cmi ocaml/flag.cmi cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi @@ -3998,6 +4037,7 @@ OCAMLC parsing_cocci/cocci_grep.ml OCAMLC parsing_cocci/dpll.ml OCAMLC parsing_cocci/git_grep.ml +OCAMLC parsing_cocci/re_constraints.mli OCAMLC parsing_cocci/command_line.ml OCAMLC parsing_cocci/cocci_args.ml OCAMLC parsing_c/token_annot.ml @@ -4011,15 +4051,31 @@ OCAMLC ctl/ast_ctl.ml OCAMLC ctl/pretty_print_ctl.mli OCAMLC ctl/ctl_engine.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. +File "commons/common.ml", line 5306, characters 4-14: +5306 | write_file file2 (unwords ys); + ^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. +File "commons/common.ml", line 5333, characters 4-14: +5333 | write_file "/tmp/diff1" xstr; + ^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC ocaml/yes_prepare_ocamlcocci.mli +File "commons/common.ml", line 5334, characters 4-14: +5334 | write_file "/tmp/diff2" ystr; + ^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLC engine/flag_matcher.ml OCAMLC engine/check_exhaustive_pattern.mli OCAMLC popl09/ast_popl.mli OCAMLC popl09/flag_popl.ml -OCAMLC extra/classic_patch.mli -OCAMLC extra/kbuild.mli -OCAMLC extra/maintainers.mli +OCAMLC extra/classic_patch.ml +OCAMLC extra/kbuild.ml +OCAMLC extra/maintainers.ml OCAMLC flag_cocci.ml OCAMLC read_options.ml OCAMLC tools/spgen/source/globals.mli @@ -4039,22 +4095,6 @@ OCAMLC commons/ograph_extended.ml OCAMLC -o globals/globals.cma OCAMLC parsing_cocci/ast_cocci.ml -File "commons/common.ml", line 5305, characters 4-14: -5305 | write_file file1 (unwords xs); - ^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. -File "commons/common.ml", line 5306, characters 4-14: -5306 | write_file file2 (unwords ys); - ^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. -File "commons/common.ml", line 5333, characters 4-14: -5333 | write_file "/tmp/diff1" xstr; - ^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. -File "commons/common.ml", line 5334, characters 4-14: -5334 | write_file "/tmp/diff2" ystr; - ^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC parsing_cocci/ast0_cocci.mli OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLC parsing_cocci/visitor_ast.mli @@ -4066,7 +4106,6 @@ OCAMLC parsing_cocci/get_constants2.mli OCAMLC parsing_cocci/adjacency.mli OCAMLC parsing_cocci/commas_on_lists.mli -OCAMLC parsing_cocci/re_constraints.mli OCAMLC parsing_c/parsing_stat.ml OCAMLC parsing_c/token_c.ml OCAMLC parsing_c/ast_c.mli @@ -4075,13 +4114,16 @@ OCAMLC ctl/ctl_engine.ml OCAMLC ctl/wrapper_ctl.mli OCAMLC ocaml/prepare_ocamlcocci.ml +OCAMLC ocaml/run_ocamlcocci.mli +OCAMLC python/pycocci_aux.mli +OCAMLC python/pycocci.mli +OCAMLC engine/c_vs_c.mli +OCAMLC engine/isomorphisms_c_c.mli OCAMLC popl09/ast_popl.ml OCAMLC popl09/asttopopl.mli OCAMLC popl09/insert_quantifiers.mli OCAMLC popl09/pretty_print_popl.mli -OCAMLC extra/classic_patch.ml -OCAMLC extra/kbuild.ml -OCAMLC extra/maintainers.ml +OCAMLC -o extra/extra.cma OCAMLC testing.mli OCAMLC tools/spgen/source/globals.ml OCAMLC tools/spgen/source/ast_tostring.ml @@ -4104,7 +4146,6 @@ OCAMLC parsing_cocci/compute_lines.mli OCAMLC parsing_cocci/iso_pattern.mli OCAMLC parsing_cocci/comm_assoc.mli -OCAMLC parsing_cocci/iso_compile.mli OCAMLC parsing_cocci/single_statement.mli OCAMLC parsing_cocci/simple_assignments.mli OCAMLC parsing_cocci/get_metas.mli @@ -4145,21 +4186,18 @@ OCAMLC ctl/wrapper_ctl.ml OCAMLC ocaml/externalanalysis.mli OCAMLC ocaml/ocamlcocci_aux.mli -OCAMLC ocaml/run_ocamlcocci.mli -OCAMLC python/pycocci_aux.mli -OCAMLC python/pycocci.mli OCAMLC engine/lib_engine.mli OCAMLC engine/check_exhaustive_pattern.ml OCAMLC engine/check_reachability.mli -OCAMLC engine/c_vs_c.mli -OCAMLC engine/isomorphisms_c_c.mli +OCAMLC engine/isomorphisms_c_c.ml OCAMLC engine/cocci_vs_c.mli OCAMLC popl09/asttopopl.ml OCAMLC popl09/insert_quantifiers.ml OCAMLC popl09/pretty_print_popl.ml -OCAMLC -o extra/extra.cma OCAMLC tools/spgen/source/snapshot.mli OCAMLC tools/spgen/source/user_input.mli +OCAMLC tools/spgen/source/position_generator.mli +OCAMLC tools/spgen/source/disj_generator.mli OCAMLC tools/spgen/source/rule_body.mli OCAMLC tools/spgen/source/rule_header.mli OCAMLC tools/spgen/source/context_rule.mli @@ -4175,6 +4213,13 @@ OCAMLC parsing_cocci/unparse_ast0.ml OCAMLC parsing_cocci/unify_ast.ml OCAMLC parsing_cocci/compute_lines.ml +OCAMLC parsing_cocci/iso_pattern.ml +OCAMLC parsing_cocci/comm_assoc.ml +OCAMLC parsing_cocci/iso_compile.mli +OCAMLC parsing_cocci/single_statement.ml +OCAMLC parsing_cocci/simple_assignments.ml +OCAMLC parsing_cocci/get_metas.ml +OCAMLC parsing_cocci/check_meta.ml OCAMLC parsing_cocci/top_level.ml OCAMLC parsing_cocci/type_infer.ml OCAMLC parsing_cocci/test_exps.ml @@ -4205,31 +4250,34 @@ OCAMLC parsing_c/parsing_consistency_c.ml OCAMLC parsing_c/unparse_hrule.ml OCAMLC parsing_c/type_c.ml -OCAMLC parsing_c/comment_annotater_c.ml -OCAMLC -o ctl/ctl.cma 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. -OCAMLC ocaml/externalanalysis.ml File "parsing_c/unparse_hrule.ml", line 202, characters 6-33: 202 | Pretty_print_c.pp_param_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -OCAMLC ocaml/ocamlcocci_aux.ml -OCAMLC python/pycocci_aux.ml +OCAMLC parsing_c/comment_annotater_c.ml File "parsing_c/unparse_hrule.ml", line 340, characters 5-31: 340 | Pretty_print_c.pp_type_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. +OCAMLC -o ctl/ctl.cma +OCAMLC ocaml/externalanalysis.ml +OCAMLC ocaml/ocamlcocci_aux.ml +OCAMLC python/pycocci_aux.ml OCAMLC engine/lib_engine.ml OCAMLC engine/pretty_print_engine.mli OCAMLC engine/check_reachability.ml -OCAMLC engine/isomorphisms_c_c.ml OCAMLC engine/pattern_c.mli OCAMLC engine/transformation_c.mli OCAMLC engine/asttomember.mli OCAMLC engine/asttoctl2.mli +File "parsing_c/unparse_cocci.ml", line 70, characters 4-22: +70 | let print_option_space fn = function + ^^^^^^^^^^^^^^^^^^ +Warning 26 [unused-var]: unused variable print_option_space. OCAMLC engine/ctltotex.mli OCAMLC engine/postprocess_transinfo.mli OCAMLC engine/ctlcocci_integration.mli @@ -4237,39 +4285,30 @@ OCAMLC tools/spgen/source/meta_variable.ml OCAMLC tools/spgen/source/snapshot.ml OCAMLC tools/spgen/source/user_input.ml -File "parsing_c/unparse_cocci.ml", line 70, characters 4-22: -70 | let print_option_space fn = function - ^^^^^^^^^^^^^^^^^^ -Warning 26 [unused-var]: unused variable print_option_space. -OCAMLC tools/spgen/source/position_generator.mli File "tools/spgen/source/snapshot.ml", line 130, characters 37-53: 130 | let inc_line snp = inc_current_line (set_mode_context Ast0.NONE snp) ^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label arity was omitted in the application of this function. -OCAMLC tools/spgen/source/disj_generator.mli +OCAMLC tools/spgen/source/position_generator.ml +OCAMLC tools/spgen/source/disj_generator.ml +OCAMLC tools/spgen/source/rule_body.ml OCAMLC tools/spgen/source/rule_header.ml OCAMLC tools/spgen/source/context_rule.ml -OCAMLC tools/spgen/source/script_rule.ml -OCAMLC tools/spgen/source/file_transform.ml -OCAMLC tools/spgen/source/spgen_interactive.ml -OCAMLC tools/spgen/source/spgen_config.ml File "tools/spgen/source/meta_variable.ml", line 568, characters 25-36: 568 | let constr = constraints rn idconstr in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label rn was omitted in the application of this function. +OCAMLC tools/spgen/source/script_rule.ml +OCAMLC tools/spgen/source/file_transform.ml +OCAMLC tools/spgen/source/spgen_interactive.ml +OCAMLC tools/spgen/source/spgen_config.ml OCAMLC tools/spgen/source/spgen.ml 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 OCAMLC parsing_cocci/visitor_ast0.ml OCAMLC parsing_cocci/ast0toast.ml -OCAMLC parsing_cocci/iso_pattern.ml -OCAMLC parsing_cocci/comm_assoc.ml OCAMLC parsing_cocci/iso_compile.ml -OCAMLC parsing_cocci/single_statement.ml -OCAMLC parsing_cocci/simple_assignments.ml -OCAMLC parsing_cocci/get_metas.ml -OCAMLC parsing_cocci/check_meta.ml OCAMLC parsing_cocci/parse_aux.ml MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLC parsing_c/visitor_c.ml @@ -4296,9 +4335,6 @@ OCAMLC popl09/popl.mli OCAMLC cocci.mli OCAMLC main.ml -OCAMLC tools/spgen/source/position_generator.ml -OCAMLC tools/spgen/source/disj_generator.ml -OCAMLC tools/spgen/source/rule_body.ml cp parsing_c/parse_c.cmi ocaml/parse_c.cmi cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo @@ -4307,10 +4343,6 @@ OCAMLC parsing_c/includes_cache.ml OCAMLC parsing_c/control_flow_c_build.ml OCAMLC parsing_c/pretty_print_c.ml -OCAMLC parsing_c/parser_c.ml -OCAMLC parsing_c/cpp_token_c.ml -OCAMLC parsing_c/parsing_hacks.mli -OCAMLC parsing_c/cpp_analysis_c.mli File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: 1626 | (pp_elem_sp pr_elem pr_space).expression ^^^^^^^^^^ @@ -4399,10 +4431,28 @@ 1689 | (pp_elem_sp pr_elem pr_space).toplevel ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. +OCAMLC parsing_c/parser_c.ml +OCAMLC parsing_c/cpp_token_c.ml +OCAMLC parsing_c/parsing_hacks.mli +OCAMLC parsing_c/cpp_analysis_c.mli +OCAMLC parsing_c/parse_c.ml OCAMLC parsing_c/unparse_c.mli OCAMLC parsing_c/cpp_ast_c.mli OCAMLC parsing_c/type_annoter_c.ml +File "parsing_c/parse_c.ml", line 680, characters 1-37: +680 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in + ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ +Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. +File "parsing_c/parse_c.ml", line 1429, characters 2-19: +1429 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); + ^^^^^^^^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. +File "parsing_c/parse_c.ml", line 1440, characters 2-19: +1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); + ^^^^^^^^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC parsing_c/compare_c.ml +OCAMLC parsing_c/test_parsing_c.ml OCAMLC ocaml/exposed_modules.mli OCAMLC ocaml/coccilib.mli OCAMLC -o engine/engine.cma @@ -4410,10 +4460,6 @@ OCAMLC popl09/popl.ml OCAMLC testing.ml OCAMLC enter.ml -cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo -cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo -OCAMLC parsing_c/parsing_hacks.ml -OCAMLC parsing_c/cpp_analysis_c.ml File "enter.ml", line 844, characters 2-20: 844 | Common.short_usage usage_msg short_options; ^^^^^^^^^^^^^^^^^^ @@ -4422,28 +4468,20 @@ 853 | Common.long_usage usage_msg short_options other_options ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels short_opt, long_opt were omitted in the application of this function. -OCAMLC parsing_c/parse_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/pretty_print_c.cmo ocaml/pretty_print_c.cmo +cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo +OCAMLC parsing_c/parsing_hacks.ml +OCAMLC parsing_c/cpp_analysis_c.ml OCAMLC parsing_c/unparse_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. OCAMLC parsing_c/cpp_ast_c.ml -File "parsing_c/parse_c.ml", line 1429, characters 2-19: -1429 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); - ^^^^^^^^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. -File "parsing_c/parse_c.ml", line 1440, characters 2-19: -1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); - ^^^^^^^^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. -OCAMLC parsing_c/test_parsing_c.ml -OCAMLC ocaml/exposed_modules.ml -OCAMLC ocaml/coccilib.ml File "parsing_c/unparse_c.ml", line 275, characters 2-31: 275 | Pretty_print_c.pp_program_gen pr_get_elem pr_space celem; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. +OCAMLC ocaml/exposed_modules.ml +OCAMLC ocaml/coccilib.ml File "ocaml/coccilib.ml", line 116, characters 2-19: 116 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s\n}" env s); ^^^^^^^^^^^^^^^^^ @@ -4457,12 +4495,10 @@ OCAMLC python/yes_pycocci.mli OCAMLC -o popl09/popl09.cma OCAMLC cocci.ml -cp parsing_c/parse_c.cmo ocaml/parse_c.cmo -cp parsing_c/parser_c.cmo ocaml/parser_c.cmo OCAMLC -o parsing_c/parsing_c.cma +OCAMLC -o ocaml/ocaml.cma OCAMLC python/yes_pycocci.ml OCAMLC python/pycocci.ml -OCAMLC -o ocaml/ocaml.cma OCAMLC -o python/python.cma OCAMLDEP parsing_cocci/parser_cocci_menhir.ml OCAMLDEP parsing_cocci/parser_cocci_menhir.mli @@ -4486,7 +4522,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-13643-fb5777-62.c ++++ /tmp/cocci-output-26074-f464ce-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -4504,7 +4540,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-13643-a3105d-a3d.c ++++ /tmp/cocci-output-26074-a9150b-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -4526,7 +4562,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-13643-65609e-a_and_e_ver1.c ++++ /tmp/cocci-output-26074-4fb071-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -4539,7 +4575,7 @@ warning: line 4: should a be a metavariable? diff = --- tests/ab.c -+++ /tmp/cocci-output-13643-3c3477-ab.c ++++ /tmp/cocci-output-26074-e72907-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -4550,7 +4586,7 @@ action.res diff = --- tests/action.c -+++ /tmp/cocci-output-13643-db9643-action.c ++++ /tmp/cocci-output-26074-974acd-action.c @@ -1,10 +1,9 @@ void work() { @@ -4568,7 +4604,7 @@ add1.res diff = --- tests/add1.c -+++ /tmp/cocci-output-13643-e4938a-add1.c ++++ /tmp/cocci-output-26074-11e400-add1.c @@ -7,6 +7,9 @@ static int create_scheduling_groups(void ret = build_groups(sd, i); } @@ -4582,7 +4618,7 @@ addaft.res diff = --- tests/addaft.c -+++ /tmp/cocci-output-13643-1d32ae-addaft.c ++++ /tmp/cocci-output-26074-bed32f-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -4606,7 +4642,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-13643-2860ab-addbefore.c ++++ /tmp/cocci-output-26074-01558e-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -4617,7 +4653,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-13643-ca5dc8-addbeforeafter.c ++++ /tmp/cocci-output-26074-ee226b-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -4630,7 +4666,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-13643-8d19e6-addelse.c ++++ /tmp/cocci-output-26074-880dd9-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -4638,7 +4674,7 @@ addes.res diff = --- tests/addes.c -+++ /tmp/cocci-output-13643-e4bc8e-addes.c ++++ /tmp/cocci-output-26074-3cbaf3-addes.c @@ -1 +1,3 @@ int i; +struct foo { @@ -4646,7 +4682,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-13643-1a5e0c-addfield.c ++++ /tmp/cocci-output-26074-1e0ef3-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -4658,7 +4694,7 @@ addfield2.res diff = --- tests/addfield2.c -+++ /tmp/cocci-output-13643-ffde45-addfield2.c ++++ /tmp/cocci-output-26074-335d31-addfield2.c @@ -1,17 +1,21 @@ struct foo { + int roto; @@ -4684,7 +4720,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-13643-572b44-addif.c ++++ /tmp/cocci-output-26074-9e0707-addif.c @@ -1,7 +1,19 @@ +#ifdef FOO +/* some comment */ @@ -4708,7 +4744,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-13643-781ed7-addif1.c ++++ /tmp/cocci-output-26074-c1d3c8-addif1.c @@ -1,7 +1,15 @@ +#ifdef FOO +int xxx() { @@ -4728,7 +4764,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-13643-78dd37-addif2.c ++++ /tmp/cocci-output-26074-68e2ee-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -4746,7 +4782,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-13643-592753-addifdef.c ++++ /tmp/cocci-output-26074-bde862-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -4765,7 +4801,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-13643-254082-addifelse.c ++++ /tmp/cocci-output-26074-fa99c7-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -4784,7 +4820,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-13643-27bed5-addifelse2.c ++++ /tmp/cocci-output-26074-1ebade-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){ @@ -4804,7 +4840,7 @@ addinc.res diff = --- tests/addinc.c -+++ /tmp/cocci-output-13643-6535f9-addinc.c ++++ /tmp/cocci-output-26074-9ecf33-addinc.c @@ -1,4 +1,5 @@ #ifndef FOO #define FOO @@ -4814,7 +4850,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-13643-143f5b-addtoo.c ++++ /tmp/cocci-output-26074-4e6d1f-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -4838,7 +4874,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-13643-a998e2-addtrace.c ++++ /tmp/cocci-output-26074-bfdef2-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -4871,7 +4907,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-13643-a14b7b-after_if.c ++++ /tmp/cocci-output-26074-e72dc9-after_if.c @@ -1,4 +1,5 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -4882,7 +4918,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-13643-d711d8-allex.c ++++ /tmp/cocci-output-26074-a57b9f-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -4895,7 +4931,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-13643-87abb5-allex2.c ++++ /tmp/cocci-output-26074-0ac150-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -4906,7 +4942,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-13643-4d5a89-allex3.c ++++ /tmp/cocci-output-26074-1f4ee4-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -4916,7 +4952,7 @@ andid.res diff = --- tests/andid.c -+++ /tmp/cocci-output-13643-16efc9-andid.c ++++ /tmp/cocci-output-26074-86a1fc-andid.c @@ -1,5 +1,5 @@ int main () { - int frontandback = 12; @@ -4927,7 +4963,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-13643-11b96a-anon.c ++++ /tmp/cocci-output-26074-61eebe-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -4938,7 +4974,7 @@ anonfield.res diff = --- tests/anonfield.c -+++ /tmp/cocci-output-13643-de36bb-anonfield.c ++++ /tmp/cocci-output-26074-7e115a-anonfield.c @@ -1,3 +1,3 @@ struct { - int; @@ -4947,7 +4983,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-13643-97c1a6-ar.c ++++ /tmp/cocci-output-26074-8ee4b6-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -4961,7 +4997,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-13643-e3ecdd-arg.c ++++ /tmp/cocci-output-26074-956382-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -4976,7 +5012,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-13643-9629f7-argument.c ++++ /tmp/cocci-output-26074-76811d-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -4990,7 +5026,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-13643-6b4bee-arparam.c ++++ /tmp/cocci-output-26074-57d060-arparam.c @@ -1,3 +1,8 @@ +int g(int q[1024]) +{ @@ -5003,7 +5039,7 @@ array_init.res diff = --- tests/array_init.c -+++ /tmp/cocci-output-13643-6d66b1-array_init.c ++++ /tmp/cocci-output-26074-84656d-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"); @@ -5011,7 +5047,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-13643-b33004-array_size.c ++++ /tmp/cocci-output-26074-371f20-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -5019,7 +5055,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-13643-977790-arraysz.c ++++ /tmp/cocci-output-26074-d7779c-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -5029,7 +5065,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-13643-327cb6-as_stm.c ++++ /tmp/cocci-output-26074-0215a2-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -5041,7 +5077,7 @@ warning: line 36: should id be a metavariable? diff = --- tests/attr_with_arguments.c -+++ /tmp/cocci-output-13643-c57955-attr_with_arguments.c ++++ /tmp/cocci-output-26074-e122b7-attr_with_arguments.c @@ -1,9 +1,9 @@ -aarg(1,2) int func() { - int id aarg3(1,2); @@ -5075,7 +5111,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-13643-917eac-attradd.c ++++ /tmp/cocci-output-26074-56b38b-attradd.c @@ -1,3 +1,3 @@ int main () { - char f; @@ -5084,7 +5120,7 @@ attrs2groups.res diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-13643-75f395-attrs2groups.c ++++ /tmp/cocci-output-26074-5ea75b-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -5116,7 +5152,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-13643-6c9713-b1.c ++++ /tmp/cocci-output-26074-dd0dea-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -5132,7 +5168,7 @@ b2.res diff = --- tests/b2.c -+++ /tmp/cocci-output-13643-bc5731-b2.c ++++ /tmp/cocci-output-26074-c51afb-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -5151,7 +5187,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-13643-7de30b-bad_kfree.c ++++ /tmp/cocci-output-26074-e57bb8-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -5164,7 +5200,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-13643-51ebc3-bad_ptr_print.c ++++ /tmp/cocci-output-26074-6fd787-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -5174,7 +5210,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-13643-8a41df-bad_typedef.c ++++ /tmp/cocci-output-26074-dc9abd-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -5194,7 +5230,7 @@ badcfg.res diff = --- tests/badcfg.c -+++ /tmp/cocci-output-13643-1f2346-badcfg.c ++++ /tmp/cocci-output-26074-e238ea-badcfg.c @@ -3,7 +3,7 @@ const char *netdev_cmd_to_name(enum netd #define N(val) \ case NETDEV_##val: \ @@ -5207,7 +5243,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-13643-7fd750-badexp.c ++++ /tmp/cocci-output-26074-216494-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -5234,7 +5270,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-13643-a473b7-badtypedef.c ++++ /tmp/cocci-output-26074-eb44f5-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -5248,7 +5284,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-13643-0a6d3d-badwhen.c ++++ /tmp/cocci-output-26074-16a763-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -5260,7 +5296,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-13643-40009e-badzero.c ++++ /tmp/cocci-output-26074-43664b-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -5277,7 +5313,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-13643-0e8af5-befS.c ++++ /tmp/cocci-output-26074-826239-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -5316,7 +5352,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-13643-3550f0-before.c ++++ /tmp/cocci-output-26074-623dee-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -5327,7 +5363,7 @@ ben.res diff = --- tests/ben.c -+++ /tmp/cocci-output-13643-9e847e-ben.c ++++ /tmp/cocci-output-26074-15b426-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -5367,7 +5403,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-13643-e13f7c-bigin.c ++++ /tmp/cocci-output-26074-b677da-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -5378,7 +5414,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-13643-d9fdba-bigrepl.c ++++ /tmp/cocci-output-26074-61735f-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -5395,7 +5431,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-13643-6f8733-binop.c ++++ /tmp/cocci-output-26074-fc3a39-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -5415,7 +5451,7 @@ warning: rule starting on line 11: metavariable v not used in the - or context code diff = --- tests/bitfield.c -+++ /tmp/cocci-output-13643-11ef8a-bitfield.c ++++ /tmp/cocci-output-26074-0cf1b1-bitfield.c @@ -1,15 +1,15 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -5447,7 +5483,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-13643-afdbde-boolr.c ++++ /tmp/cocci-output-26074-861e27-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -5456,7 +5492,7 @@ bracebraceline.res diff = --- tests/bracebraceline.c -+++ /tmp/cocci-output-13643-f12e46-bracebraceline.c ++++ /tmp/cocci-output-26074-9873e0-bracebraceline.c @@ -1,6 +1,5 @@ int main () { if (x) { @@ -5468,7 +5504,7 @@ braceline.res diff = --- tests/braceline.c -+++ /tmp/cocci-output-13643-d6678a-braceline.c ++++ /tmp/cocci-output-26074-636d7f-braceline.c @@ -1,6 +1,3 @@ int main () { - if (x) { @@ -5480,7 +5516,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-13643-77e804-braces.c ++++ /tmp/cocci-output-26074-1fc955-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -5498,7 +5534,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-13643-db83ad-branchparen.c ++++ /tmp/cocci-output-26074-124550-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -5515,7 +5551,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-13643-fff7da-break.c ++++ /tmp/cocci-output-26074-e30bea-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -5541,7 +5577,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-13643-ffe862-bug1.c ++++ /tmp/cocci-output-26074-bd15b7-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, @@ -5552,7 +5588,7 @@ bugloop.res diff = --- tests/bugloop.c -+++ /tmp/cocci-output-13643-b6c731-bugloop.c ++++ /tmp/cocci-output-26074-dff872-bugloop.c @@ -8,8 +8,8 @@ static int stir_transmit_thread(void *ar while (x) { @@ -5567,7 +5603,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-13643-48edc4-bugon.c ++++ /tmp/cocci-output-26074-daa239-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -5578,7 +5614,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-13643-f6245e-bus.c ++++ /tmp/cocci-output-26074-ce272c-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -5590,7 +5626,7 @@ cards.res diff = --- tests/cards.c -+++ /tmp/cocci-output-13643-e8afcc-cards.c ++++ /tmp/cocci-output-26074-cd06b6-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -5599,7 +5635,7 @@ caseprint.res diff = --- tests/caseprint.c -+++ /tmp/cocci-output-13643-f9c908-caseprint.c ++++ /tmp/cocci-output-26074-d8d4f5-caseprint.c @@ -3,4 +3,10 @@ int f() { case 12: return 0; case 1: return 2; @@ -5614,7 +5650,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-13643-347ded-cast.c ++++ /tmp/cocci-output-26074-9f2c3a-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -5622,7 +5658,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-13643-b64488-cast_iso.c ++++ /tmp/cocci-output-26074-23b6d2-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -5635,7 +5671,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-13643-ae49e5-castdecl.c ++++ /tmp/cocci-output-26074-a38440-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -5654,7 +5690,7 @@ cex_wishlist_complex1.res diff = --- tests/cex_wishlist_complex1.c -+++ /tmp/cocci-output-13643-955711-cex_wishlist_complex1.c ++++ /tmp/cocci-output-26074-dc762c-cex_wishlist_complex1.c @@ -1,6 +1,6 @@ #include int main() { @@ -5666,7 +5702,7 @@ cex_wishlist_complex2.res diff = --- tests/cex_wishlist_complex2.c -+++ /tmp/cocci-output-13643-60011e-cex_wishlist_complex2.c ++++ /tmp/cocci-output-26074-716379-cex_wishlist_complex2.c @@ -2,7 +2,7 @@ int main() { double d; @@ -5679,7 +5715,7 @@ cex_wishlist_complex3.res diff = --- tests/cex_wishlist_complex3.c -+++ /tmp/cocci-output-13643-88e539-cex_wishlist_complex3.c ++++ /tmp/cocci-output-26074-98044d-cex_wishlist_complex3.c @@ -2,7 +2,7 @@ int main() { double d; @@ -5693,7 +5729,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-13643-d241b4-change.c ++++ /tmp/cocci-output-26074-6764a4-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -5704,7 +5740,7 @@ change_type.res diff = --- tests/change_type.c -+++ /tmp/cocci-output-13643-1613ae-change_type.c ++++ /tmp/cocci-output-26074-fa2b5d-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -5714,7 +5750,7 @@ changei.res diff = --- tests/changei.c -+++ /tmp/cocci-output-13643-f7c730-changei.c ++++ /tmp/cocci-output-26074-c9e180-changei.c @@ -1,7 +1,7 @@ -typedef struct i istruct; +typedef struct i xxx; @@ -5730,7 +5766,7 @@ cocci_args.res diff = --- tests/cocci_args.c -+++ /tmp/cocci-output-13643-86c17a-cocci_args.c ++++ /tmp/cocci-output-26074-a959ab-cocci_args.c @@ -1,3 +1,3 @@ int main () { - f(); @@ -5739,7 +5775,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-13643-a9597b-com.c ++++ /tmp/cocci-output-26074-b98e6a-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -5752,7 +5788,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-13643-268cda-comadd.c ++++ /tmp/cocci-output-26074-ec2bf6-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -5762,7 +5798,7 @@ comj.res diff = --- tests/comj.c -+++ /tmp/cocci-output-13643-da48f6-comj.c ++++ /tmp/cocci-output-26074-85f309-comj.c @@ -2,6 +2,8 @@ int foo(int bar) { int i, j; @@ -5774,12 +5810,12 @@ return j; comma.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_eaf74d.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_eaf74d.ml +ocamlc.opt -c /tmp/ocaml_cocci_7148e2.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_7148e2.ml Compilation OK! Loading ML code of the SP... diff = --- tests/comma.c -+++ /tmp/cocci-output-13643-0ae581-comma.c ++++ /tmp/cocci-output-26074-0299a5-comma.c @@ -3,9 +3,9 @@ show_cpuinfo (struct seq_file *m, void * { for (i = 0; i < ARRAY_SIZE(feature_bits) && size > 1; ++i) { @@ -5795,7 +5831,7 @@ comma_call.res diff = --- tests/comma_call.c -+++ /tmp/cocci-output-13643-5a2b11-comma_call.c ++++ /tmp/cocci-output-26074-565b69-comma_call.c @@ -1,10 +1,13 @@ int main() { - if (x) @@ -5817,7 +5853,7 @@ comma_if.res diff = --- tests/comma_if.c -+++ /tmp/cocci-output-13643-85fcb1-comma_if.c ++++ /tmp/cocci-output-26074-b02842-comma_if.c @@ -1,13 +1,19 @@ int main() { - if (uffdio_zeropage.zeropage == -EEXIST) @@ -5847,7 +5883,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-13643-0cb5bd-comment_brace.c ++++ /tmp/cocci-output-26074-5bd63e-comment_brace.c @@ -1,7 +1,9 @@ int main () { @@ -5862,7 +5898,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-13643-5ff8f2-comment_brace2.c ++++ /tmp/cocci-output-26074-546f71-comment_brace2.c @@ -1,7 +1,9 @@ int main () { @@ -5876,8 +5912,8 @@ comment_line.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_fe6690.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_fe6690.ml -File "/tmp/ocaml_cocci_fe6690.ml", line 31, characters 4-5: +ocamlc.opt -c /tmp/ocaml_cocci_6bd074.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_6bd074.ml +File "/tmp/ocaml_cocci_6bd074.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. @@ -5887,7 +5923,7 @@ 1 diff = --- tests/comment_line.c -+++ /tmp/cocci-output-13643-a6ae9e-comment_line.c ++++ /tmp/cocci-output-26074-007278-comment_line.c @@ -1,11 +1,9 @@ int main() { before(); @@ -5902,8 +5938,8 @@ } comment_middle.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_c79bda.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c79bda.ml -File "/tmp/ocaml_cocci_c79bda.ml", line 30, characters 5-6: +ocamlc.opt -c /tmp/ocaml_cocci_547b9a.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_547b9a.ml +File "/tmp/ocaml_cocci_547b9a.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. @@ -5911,7 +5947,7 @@ Loading ML code of the SP... diff = --- tests/comment_middle.c -+++ /tmp/cocci-output-13643-11f897-comment_middle.c ++++ /tmp/cocci-output-26074-44643b-comment_middle.c @@ -5,5 +5,4 @@ struct i { }; @@ -5921,7 +5957,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-13643-7697a1-comments.c ++++ /tmp/cocci-output-26074-c8deaf-comments.c @@ -1,5 +1,16 @@ int main() { @@ -5942,7 +5978,7 @@ compare.res diff = --- tests/compare.c -+++ /tmp/cocci-output-13643-e07700-compare.c ++++ /tmp/cocci-output-26074-96e831-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -5956,7 +5992,7 @@ compare_const2.res diff = --- tests/compare_const2.c -+++ /tmp/cocci-output-13643-808a80-compare_const2.c ++++ /tmp/cocci-output-26074-822e92-compare_const2.c @@ -1,6 +1,6 @@ int main () { // int i,o; @@ -5969,7 +6005,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-13643-ddd762-condexp.c ++++ /tmp/cocci-output-26074-58baa3-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -5985,7 +6021,7 @@ warning: line 3: should text be a metavariable? diff = --- tests/const.c -+++ /tmp/cocci-output-13643-2acc95-const.c ++++ /tmp/cocci-output-26074-7f7dd4-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -5997,7 +6033,7 @@ warning: line 16: should i be a metavariable? diff = --- tests/const1bis.c -+++ /tmp/cocci-output-13643-a3c02d-const1bis.c ++++ /tmp/cocci-output-26074-f4f9ce-const1bis.c @@ -1,25 +1,25 @@ void foo(int j) { - const int i; @@ -6033,7 +6069,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-13643-b10ce5-const_adding.c ++++ /tmp/cocci-output-26074-4d3af1-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -6045,7 +6081,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-13643-2284e5-const_array.c ++++ /tmp/cocci-output-26074-13c860-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -6064,7 +6100,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-13643-85330f-const_implicit_iso.c ++++ /tmp/cocci-output-26074-79289b-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -6074,7 +6110,7 @@ constptr.res diff = --- tests/constptr.c -+++ /tmp/cocci-output-13643-5b0d6a-constptr.c ++++ /tmp/cocci-output-26074-7531ed-constptr.c @@ -1,7 +1,7 @@ int main() { @@ -6090,7 +6126,7 @@ constraints.res diff = --- tests/constraints.c -+++ /tmp/cocci-output-13643-860f03-constraints.c ++++ /tmp/cocci-output-26074-4a43e1-constraints.c @@ -1,23 +1,23 @@ void f() @@ -6125,7 +6161,7 @@ warning: line 9: should f be a metavariable? diff = --- tests/constrem.c -+++ /tmp/cocci-output-13643-536beb-constrem.c ++++ /tmp/cocci-output-26074-b054e9-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -6133,7 +6169,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-13643-7902b6-constructor.c ++++ /tmp/cocci-output-26074-ea0d0b-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -6145,7 +6181,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-13643-6b81df-constty.c ++++ /tmp/cocci-output-26074-f37774-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -6157,7 +6193,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-13643-e8bcea-constx.c ++++ /tmp/cocci-output-26074-5b5460-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -6174,7 +6210,7 @@ } countcalls.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_745cfb.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_745cfb.ml +ocamlc.opt -c /tmp/ocaml_cocci_1556c4.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_1556c4.ml File "tests/countcalls.cocci", line 63, characters 30-46: Alert deprecated: Stdlib.String.lowercase Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. @@ -6185,14 +6221,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-13643-ab332d-cptr.c ++++ /tmp/cocci-output-26074-34b982-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char *const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-13643-181e85-cr.c ++++ /tmp/cocci-output-26074-f99f36-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -6205,7 +6241,7 @@ cr1a.res diff = --- tests/cr1a.c -+++ /tmp/cocci-output-13643-430f91-cr1a.c ++++ /tmp/cocci-output-26074-58aac4-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -6230,7 +6266,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-13643-680fcc-cs_check.c ++++ /tmp/cocci-output-26074-ab01bf-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -6243,7 +6279,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-13643-b5907a-cst.c ++++ /tmp/cocci-output-26074-489f06-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -6254,7 +6290,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-13643-201ef8-cst_null.c ++++ /tmp/cocci-output-26074-456132-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -6290,12 +6326,12 @@ vb->magic = MAGIC_BUFFER; cstr.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_f57173.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f57173.ml +ocamlc.opt -c /tmp/ocaml_cocci_2f667f.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_2f667f.ml Compilation OK! Loading ML code of the SP... diff = --- tests/cstr.c -+++ /tmp/cocci-output-13643-7eece5-cstr.c ++++ /tmp/cocci-output-26074-613c26-cstr.c @@ -1,4 +1,8 @@ int main() { f(1,2,1,2,3); @@ -6309,7 +6345,7 @@ warning: line 4: should foo be a metavariable? diff = --- tests/cststr.c -+++ /tmp/cocci-output-13643-f0c7f8-cststr.c ++++ /tmp/cocci-output-26074-400c6d-cststr.c @@ -1,3 +1,3 @@ int main () { - foo((ptr_t)"blah"); @@ -6319,7 +6355,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-13643-314368-csw.c ++++ /tmp/cocci-output-26074-090f92-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -6338,7 +6374,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-13643-439e88-dbg.c ++++ /tmp/cocci-output-26074-ad6549-dbg.c @@ -4,5 +4,6 @@ static inline void alloc_resource(struct struct resource *pr, *r = &dev->resource[idx]; @@ -6350,7 +6386,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-13643-f1c1d4-dbg1.c ++++ /tmp/cocci-output-26074-72e667-dbg1.c @@ -2,4 +2,5 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) { @@ -6360,7 +6396,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-13643-109234-dc_close.c ++++ /tmp/cocci-output-26074-39cd21-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -6372,7 +6408,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-13643-588c60-debug.c ++++ /tmp/cocci-output-26074-8bb485-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -6382,7 +6418,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-13643-63277d-dec.c ++++ /tmp/cocci-output-26074-94f5c3-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -6392,7 +6428,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-13643-cdb824-decl.c ++++ /tmp/cocci-output-26074-4881f5-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -6404,7 +6440,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-13643-9d5196-decl2.c ++++ /tmp/cocci-output-26074-72c7ce-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -6416,7 +6452,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-13643-903196-decl_space.c ++++ /tmp/cocci-output-26074-6ac91b-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -6428,7 +6464,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-13643-7f5cab-decl_star.c ++++ /tmp/cocci-output-26074-99c7a1-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -6440,7 +6476,7 @@ declmeta.res diff = --- tests/declmeta.c -+++ /tmp/cocci-output-13643-7bf605-declmeta.c ++++ /tmp/cocci-output-26074-5efd02-declmeta.c @@ -1,7 +1,7 @@ -int b,c; +int c; @@ -6455,13 +6491,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-13643-741d12-defe.c ++++ /tmp/cocci-output-26074-d35e13-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-13643-f7ef96-define_exp.c ++++ /tmp/cocci-output-26074-4b4931-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -6472,7 +6508,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-13643-1a004a-define_param.c ++++ /tmp/cocci-output-26074-6463f4-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -6489,7 +6525,7 @@ defineinit.res diff = --- tests/defineinit.c -+++ /tmp/cocci-output-13643-b7fb6f-defineinit.c ++++ /tmp/cocci-output-26074-c2bc09-defineinit.c @@ -1,3 +1,3 @@ #define MYMACRO(adsf) { \ - .foo = (asdf),\ @@ -6499,7 +6535,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-13643-ab05b6-delete_function.c ++++ /tmp/cocci-output-26074-e621ea-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -6516,7 +6552,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-13643-47e7f0-delp.c ++++ /tmp/cocci-output-26074-78dad1-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -6526,7 +6562,7 @@ depfail.res diff = --- tests/depfail.c -+++ /tmp/cocci-output-13643-556bb7-depfail.c ++++ /tmp/cocci-output-26074-3dbd53-depfail.c @@ -1,5 +1,4 @@ int main(void) { @@ -6536,7 +6572,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-13643-7d4c91-deref.c ++++ /tmp/cocci-output-26074-b1240f-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -6549,7 +6585,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-13643-769866-destroy.c ++++ /tmp/cocci-output-26074-bb8b7a-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -6566,7 +6602,7 @@ detect_cast_attr.res diff = --- tests/detect_cast_attr.c -+++ /tmp/cocci-output-13643-ea206d-detect_cast_attr.c ++++ /tmp/cocci-output-26074-406bf4-detect_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -6585,7 +6621,7 @@ warning: line 8: should a be a metavariable? diff = --- tests/detect_macrodecl_attr.c -+++ /tmp/cocci-output-13643-0b22fd-detect_macrodecl_attr.c ++++ /tmp/cocci-output-26074-8772f5-detect_macrodecl_attr.c @@ -1,5 +1,5 @@ #define __macro_attr MACROANNOTATION @@ -6596,7 +6632,7 @@ detect_param_attr.res diff = --- tests/detect_param_attr.c -+++ /tmp/cocci-output-13643-2978b1-detect_param_attr.c ++++ /tmp/cocci-output-26074-d5a99a-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) { @@ -6616,7 +6652,7 @@ detect_struct_endattr.res diff = --- tests/detect_struct_endattr.c -+++ /tmp/cocci-output-13643-a4ce72-detect_struct_endattr.c ++++ /tmp/cocci-output-26074-fec5c4-detect_struct_endattr.c @@ -2,7 +2,6 @@ struct abcd { @@ -6628,7 +6664,7 @@ detect_struct_gccattr.res diff = --- tests/detect_struct_gccattr.c -+++ /tmp/cocci-output-13643-d6eccf-detect_struct_gccattr.c ++++ /tmp/cocci-output-26074-ea17c3-detect_struct_gccattr.c @@ -1,12 +1,10 @@ struct abcd { int a; @@ -6659,7 +6695,7 @@ devlink.res diff = --- tests/devlink.c -+++ /tmp/cocci-output-13643-dd6558-devlink.c ++++ /tmp/cocci-output-26074-254db9-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -6685,7 +6721,7 @@ warning: line 18: should disj_type be a metavariable? diff = --- tests/disj.c -+++ /tmp/cocci-output-13643-bcfe40-disj.c ++++ /tmp/cocci-output-26074-585402-disj.c @@ -1,31 +1,31 @@ void f() { int disj_id0; @@ -6737,7 +6773,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-13643-871912-disjexpr.c ++++ /tmp/cocci-output-26074-e67004-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -6746,7 +6782,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-13643-50782e-disjexpr_ver1.c ++++ /tmp/cocci-output-26074-144e00-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -6755,7 +6791,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-13643-cae2be-disjexpr_ver2.c ++++ /tmp/cocci-output-26074-bf787a-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -6764,7 +6800,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-13643-f4f72c-disjid.c ++++ /tmp/cocci-output-26074-c85a60-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -6778,7 +6814,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-13643-30908b-distribute.c ++++ /tmp/cocci-output-26074-da514f-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -6788,7 +6824,7 @@ dotcall.res diff = --- tests/dotcall.c -+++ /tmp/cocci-output-13643-fcc30d-dotcall.c ++++ /tmp/cocci-output-26074-d5655d-dotcall.c @@ -1,3 +1,2 @@ int main() { - xxx.foobar(); @@ -6796,7 +6832,7 @@ dots_comma.res diff = --- tests/dots_comma.c -+++ /tmp/cocci-output-13643-4b190f-dots_comma.c ++++ /tmp/cocci-output-26074-fe9f69-dots_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -6806,7 +6842,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-13643-45dec0-double.c ++++ /tmp/cocci-output-26074-e08a55-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))) { @@ -6817,7 +6853,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-13643-58efd2-double_assign.c ++++ /tmp/cocci-output-26074-f5fd38-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -6828,7 +6864,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-13643-89e7ce-double_lines.c ++++ /tmp/cocci-output-26074-cfee31-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -6841,7 +6877,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-13643-d58c40-doublepos.c ++++ /tmp/cocci-output-26074-0003f9-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -6851,7 +6887,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-13643-bdce7d-doubleswitch.c ++++ /tmp/cocci-output-26074-cc1769-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; @@ -6864,7 +6900,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-13643-22c186-doundo.c ++++ /tmp/cocci-output-26074-56fba5-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -6875,7 +6911,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-13643-0673b1-dowhile.c ++++ /tmp/cocci-output-26074-b84996-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -6887,7 +6923,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-13643-c8a9d3-dropbr.c ++++ /tmp/cocci-output-26074-a4a648-dropbr.c @@ -1,5 +1,4 @@ int main () { - if (a) { @@ -6899,7 +6935,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-13643-4ee3ab-dropcom.c ++++ /tmp/cocci-output-26074-dc689c-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -6914,7 +6950,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-13643-5caf62-dropenderr.c ++++ /tmp/cocci-output-26074-f3452f-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -6929,7 +6965,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-13643-654c20-dropf.c ++++ /tmp/cocci-output-26074-17dbbc-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -6938,7 +6974,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-13643-048637-dropparam.c ++++ /tmp/cocci-output-26074-9d66aa-dropparam.c @@ -2,12 +2,12 @@ int f(char *x, int y, char* z) { return; } @@ -6957,7 +6993,7 @@ dtest.res diff = --- tests/dtest.c -+++ /tmp/cocci-output-13643-f05183-dtest.c ++++ /tmp/cocci-output-26074-0934e7-dtest.c @@ -1,5 +1,5 @@ int main() { struct sk_buff *e; @@ -6968,7 +7004,7 @@ eb1.res diff = --- tests/eb1.c -+++ /tmp/cocci-output-13643-8d0637-eb1.c ++++ /tmp/cocci-output-26074-bb54a0-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -6987,7 +7023,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-13643-4c7510-edots.c ++++ /tmp/cocci-output-26074-69a3cc-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -7000,7 +7036,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-13643-cad656-edots_ver1.c ++++ /tmp/cocci-output-26074-64f551-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -7015,7 +7051,7 @@ efi3.res diff = --- tests/efi3.c -+++ /tmp/cocci-output-13643-d9b641-efi3.c ++++ /tmp/cocci-output-26074-b2ba72-efi3.c @@ -6,6 +6,6 @@ static efi_status_t virt_efi_get_time(ef goto exit; @@ -7027,7 +7063,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-13643-b28730-elsify.c ++++ /tmp/cocci-output-26074-e2a410-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -7041,7 +7077,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-13643-e1a9d1-empty.c ++++ /tmp/cocci-output-26074-71f7d2-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -7053,7 +7089,7 @@ end_attr.res diff = --- tests/end_attr.c -+++ /tmp/cocci-output-13643-eda432-end_attr.c ++++ /tmp/cocci-output-26074-167424-end_attr.c @@ -1,10 +1,12 @@ int main() { - struct foo x autofree; @@ -7072,7 +7108,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-13643-8c3632-end_commas.c ++++ /tmp/cocci-output-26074-c1770e-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -7086,7 +7122,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-13643-87789d-endif.c ++++ /tmp/cocci-output-26074-07cfee-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -7114,7 +7150,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-13643-bb358e-endnl.c ++++ /tmp/cocci-output-26074-45fb9d-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -7155,12 +7191,12 @@ endpos.res warning: s: metavariable p not used in the - or context code Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_e52f4b.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_e52f4b.ml +ocamlc.opt -c /tmp/ocaml_cocci_98297e.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_98297e.ml Compilation OK! Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-13643-af1559-endpos.c ++++ /tmp/cocci-output-26074-dfdf30-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -7179,7 +7215,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-13643-e4b847-enum.c ++++ /tmp/cocci-output-26074-47ff11-enum.c @@ -18,5 +18,5 @@ xxx static reg_errcode_t regex_compile () @@ -7190,7 +7226,7 @@ enum_assign.res diff = --- tests/enum_assign.c -+++ /tmp/cocci-output-13643-55c85b-enum_assign.c ++++ /tmp/cocci-output-26074-119ff5-enum_assign.c @@ -1,6 +1,7 @@ enum h { - a = 0, @@ -7204,20 +7240,20 @@ enumdots.res diff = --- tests/enumdots.c -+++ /tmp/cocci-output-13643-5a787c-enumdots.c ++++ /tmp/cocci-output-26074-f88fd3-enumdots.c @@ -1,3 +1,2 @@ enum binder_work_type { - BINDER_WORK_TRANSACTION = 12, } t; exitc.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_3ad4b2.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_3ad4b2.ml +ocamlc.opt -c /tmp/ocaml_cocci_928088.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_928088.ml Compilation OK! Loading ML code of the SP... Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-13643-a96506-exitc.c ++++ /tmp/cocci-output-26074-11b5fe-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -7234,7 +7270,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-13643-1c8ecd-exp.c ++++ /tmp/cocci-output-26074-5c3df0-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -7257,7 +7293,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-13643-9e2f3f-expnest.c ++++ /tmp/cocci-output-26074-9c4267-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -7268,7 +7304,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-13643-67a28e-expopt.c ++++ /tmp/cocci-output-26074-a14d71-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -7279,7 +7315,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-13643-06fb4a-expopt2.c ++++ /tmp/cocci-output-26074-a156c8-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -7290,7 +7326,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-13643-ef8ab8-expopt3.c ++++ /tmp/cocci-output-26074-0b9f3e-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7302,7 +7338,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-13643-784945-expopt3_ver1.c ++++ /tmp/cocci-output-26074-821e80-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7315,7 +7351,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-13643-e8e5a3-expopt3_ver2.c ++++ /tmp/cocci-output-26074-b4bc38-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7327,7 +7363,7 @@ exprlist_comma.res diff = --- tests/exprlist_comma.c -+++ /tmp/cocci-output-13643-ecc4ca-exprlist_comma.c ++++ /tmp/cocci-output-26074-1fab9a-exprlist_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -7336,8 +7372,8 @@ } extra.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_87ea05.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_87ea05.ml -File "/tmp/ocaml_cocci_87ea05.ml", line 38, characters 4-6: +ocamlc.opt -c /tmp/ocaml_cocci_f911c0.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f911c0.ml +File "/tmp/ocaml_cocci_f911c0.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. @@ -7345,7 +7381,7 @@ Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-13643-b890ee-extra.c ++++ /tmp/cocci-output-26074-59b121-extra.c @@ -1,12 +1,25 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -7377,7 +7413,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-13643-c02f9c-failing_andany.c ++++ /tmp/cocci-output-26074-3f70fa-failing_andany.c @@ -1,13 +1,9 @@ static int smc_probe1(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -7395,7 +7431,7 @@ far.res diff = --- tests/far.c -+++ /tmp/cocci-output-13643-148af4-far.c ++++ /tmp/cocci-output-26074-453af3-far.c @@ -1,7 +1,7 @@ int main(void) { @@ -7410,7 +7446,7 @@ fields.res diff = --- tests/fields.c -+++ /tmp/cocci-output-13643-5bec30-fields.c ++++ /tmp/cocci-output-26074-f45a0f-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -7423,7 +7459,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-13643-fe38a9-fieldsmin.c ++++ /tmp/cocci-output-26074-ce35b8-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -7432,13 +7468,13 @@ }; finalize_only.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_05f45c.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_05f45c.ml +ocamlc.opt -c /tmp/ocaml_cocci_8c78ef.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_8c78ef.ml Compilation OK! Loading ML code of the SP... find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-13643-268733-find_long.c ++++ /tmp/cocci-output-26074-1f70ef-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -7453,7 +7489,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-13643-3552e1-fix_flow_need.c ++++ /tmp/cocci-output-26074-1b62e7-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -7465,7 +7501,7 @@ flex.res diff = --- tests/flex.c -+++ /tmp/cocci-output-13643-337ecc-flex.c ++++ /tmp/cocci-output-26074-c81a0e-flex.c @@ -3,5 +3,5 @@ struct scmi_msg_resp_sensor_description struct { #define SENSOR_UPDATE_BASE(x) 3 @@ -7476,7 +7512,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-13643-42581a-fn_todo.c ++++ /tmp/cocci-output-26074-7d669c-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; @@ -7488,7 +7524,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-13643-9d2a06-fnptr.c ++++ /tmp/cocci-output-26074-3626bf-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, @@ -7500,14 +7536,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-13643-e71601-fnret.c ++++ /tmp/cocci-output-26074-1b1543-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-13643-76f201-fnty.c ++++ /tmp/cocci-output-26074-5723a7-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -7517,14 +7553,14 @@ fntypedef.res diff = --- tests/fntypedef.c -+++ /tmp/cocci-output-13643-9ad6d4-fntypedef.c ++++ /tmp/cocci-output-26074-34f211-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-13643-61f5f6-format.c ++++ /tmp/cocci-output-26074-6b671a-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -7535,14 +7571,14 @@ } format2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_ab151f.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_ab151f.ml +ocamlc.opt -c /tmp/ocaml_cocci_f02e22.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f02e22.ml Compilation OK! Loading ML code of the SP... diff = format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-13643-d9477d-format2.c ++++ /tmp/cocci-output-26074-544e58-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -7551,7 +7587,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-13643-09c264-formatlist.c ++++ /tmp/cocci-output-26074-af3865-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -7569,7 +7605,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-13643-a88c36-fortest.c ++++ /tmp/cocci-output-26074-e4d3b8-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -7609,7 +7645,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-13643-62656a-fortype.c ++++ /tmp/cocci-output-26074-a248dc-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -7620,7 +7656,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-13643-d25b20-four.c ++++ /tmp/cocci-output-26074-baed26-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -7630,7 +7666,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-13643-bd3cf8-foura.c ++++ /tmp/cocci-output-26074-1474bd-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -7640,14 +7676,14 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-13643-f33a8a-fp.c ++++ /tmp/cocci-output-26074-ab7c4e-fp.c @@ -1,3 +1,2 @@ int main(int (*x)(int,int)) { - x(); } fresh_id_script.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_ef5e95.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_ef5e95.ml +ocamlc.opt -c /tmp/ocaml_cocci_934f5b.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_934f5b.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: @@ -7662,7 +7698,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-13643-baeb68-fsh.c ++++ /tmp/cocci-output-26074-1dcd06-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -7674,7 +7710,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-13643-253356-fun.c ++++ /tmp/cocci-output-26074-9ac204-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -7683,7 +7719,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-13643-ca0cbc-func.c ++++ /tmp/cocci-output-26074-96c8d4-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -7697,7 +7733,7 @@ funptr_array.res diff = --- tests/funptr_array.c -+++ /tmp/cocci-output-13643-5ed0f4-funptr_array.c ++++ /tmp/cocci-output-26074-07ad3f-funptr_array.c @@ -1 +1 @@ -int (*x[2])(int x); +int (*x[2])(char x); @@ -7717,7 +7753,7 @@ gadget_misc.res diff = --- tests/gadget_misc.c -+++ /tmp/cocci-output-13643-989f06-gadget_misc.c ++++ /tmp/cocci-output-26074-9830a8-gadget_misc.c @@ -2,6 +2,5 @@ int main() { if(0) @@ -7728,7 +7764,7 @@ gadget_ninelets_typedef.res diff = --- tests/gadget_ninelets_typedef.c -+++ /tmp/cocci-output-13643-911912-gadget_ninelets_typedef.c ++++ /tmp/cocci-output-26074-2d618a-gadget_ninelets_typedef.c @@ -1,21 +1,23 @@ typedef double MyFloat; @@ -7762,7 +7798,7 @@ gadget_remove_mpi_function_calls.res diff = --- tests/gadget_remove_mpi_function_calls.c -+++ /tmp/cocci-output-13643-fb1ec5-gadget_remove_mpi_function_calls.c ++++ /tmp/cocci-output-26074-6f1b5b-gadget_remove_mpi_function_calls.c @@ -2,6 +2,5 @@ int main(int argc, char **argv) { @@ -7773,7 +7809,7 @@ gadget_remove_used_fields.res diff = --- tests/gadget_remove_used_fields.c -+++ /tmp/cocci-output-13643-248332-gadget_remove_used_fields.c ++++ /tmp/cocci-output-26074-31f439-gadget_remove_used_fields.c @@ -1,8 +1,8 @@ -struct particle_data { int i; int j; int k; } * P ; @@ -7795,7 +7831,7 @@ gadget_soa_select.res diff = --- tests/gadget_soa_select.c -+++ /tmp/cocci-output-13643-dcaf16-gadget_soa_select.c ++++ /tmp/cocci-output-26074-00154c-gadget_soa_select.c @@ -1,5 +1,5 @@ struct sph_particle_data_soa_t { - int *Entropy; @@ -7806,7 +7842,7 @@ gadget_sorting_hook.res diff = --- tests/gadget_sorting_hook.c -+++ /tmp/cocci-output-13643-95e442-gadget_sorting_hook.c ++++ /tmp/cocci-output-26074-6a62f0-gadget_sorting_hook.c @@ -21,7 +21,16 @@ int main() any_sort_func(P); @@ -7827,7 +7863,7 @@ gadget_triplets_typedef.res diff = --- tests/gadget_triplets_typedef.c -+++ /tmp/cocci-output-13643-bbbaef-gadget_triplets_typedef.c ++++ /tmp/cocci-output-26074-74404a-gadget_triplets_typedef.c @@ -3,6 +3,8 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -7854,7 +7890,7 @@ gadget_triplets_typedef_ipcc.res diff = --- tests/gadget_triplets_typedef_ipcc.c -+++ /tmp/cocci-output-13643-08be9c-gadget_triplets_typedef_ipcc.c ++++ /tmp/cocci-output-26074-a07e83-gadget_triplets_typedef_ipcc.c @@ -3,6 +3,7 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -7875,7 +7911,7 @@ gcc_attr_with_func.res diff = --- tests/gcc_attr_with_func.c -+++ /tmp/cocci-output-13643-df11e2-gcc_attr_with_func.c ++++ /tmp/cocci-output-26074-814182-gcc_attr_with_func.c @@ -1,8 +1,8 @@ -int __attribute__((always_inline)) func (int a); +int __attribute__((always_inline)) func (); @@ -7904,7 +7940,7 @@ gcc_attr_with_var.res diff = --- tests/gcc_attr_with_var.c -+++ /tmp/cocci-output-13643-e82fcd-gcc_attr_with_var.c ++++ /tmp/cocci-output-26074-541593-gcc_attr_with_var.c @@ -1,39 +1,43 @@ -int var1_end __attribute__((myattr1_end)); +int var1_end __attribute__((section(".shared"))); @@ -7972,7 +8008,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-13643-9d7232-gcc_min_max.c ++++ /tmp/cocci-output-26074-810789-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -7989,7 +8025,7 @@ getc.res diff = --- tests/getc.c -+++ /tmp/cocci-output-13643-05240c-getc.c ++++ /tmp/cocci-output-26074-ccec12-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -7999,7 +8035,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-13643-450b6c-gilles-question.c ++++ /tmp/cocci-output-26074-65ea32-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -8012,7 +8048,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-13643-6a744c-gotobreak.c ++++ /tmp/cocci-output-26074-610794-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -8025,7 +8061,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-13643-164c67-hd.c ++++ /tmp/cocci-output-26074-472703-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -8034,7 +8070,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-13643-2ce157-headers.c ++++ /tmp/cocci-output-26074-dab504-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -8053,7 +8089,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-13643-52349c-hex.c ++++ /tmp/cocci-output-26074-b44fbf-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -8061,7 +8097,7 @@ hil1.res diff = --- tests/hil1.c -+++ /tmp/cocci-output-13643-baabd4-hil1.c ++++ /tmp/cocci-output-26074-c7b3a8-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -8073,12 +8109,12 @@ exn while in timeout_function idcon_ocaml.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_f3688f.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f3688f.ml +ocamlc.opt -c /tmp/ocaml_cocci_7bc704.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_7bc704.ml Compilation OK! Loading ML code of the SP... diff = --- tests/idcon_ocaml.c -+++ /tmp/cocci-output-13643-f89d69-idcon_ocaml.c ++++ /tmp/cocci-output-26074-8b5459-idcon_ocaml.c @@ -1,5 +1,5 @@ void f(void) { - g(a); @@ -8092,7 +8128,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-13643-b4a426-idstr.c ++++ /tmp/cocci-output-26074-b59bbc-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -8101,7 +8137,7 @@ if.res diff = --- tests/if.c -+++ /tmp/cocci-output-13643-3df22a-if.c ++++ /tmp/cocci-output-26074-a6d4a9-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -8143,7 +8179,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-13643-d63be9-ifadd.c ++++ /tmp/cocci-output-26074-f670a6-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -8158,7 +8194,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-13643-6def7a-ifd.c ++++ /tmp/cocci-output-26074-cc14ac-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -8176,7 +8212,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-13643-46be26-ifdef1.c ++++ /tmp/cocci-output-26074-029041-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -8189,7 +8225,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-13643-0c154f-ifdef2.c ++++ /tmp/cocci-output-26074-71d61b-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -8205,7 +8241,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-13643-213979-ifdef3.c ++++ /tmp/cocci-output-26074-567a52-ifdef3.c @@ -2,6 +2,15 @@ #include #include @@ -8227,7 +8263,7 @@ warning: line 9: should irq_desc be a metavariable? diff = --- tests/ifdef4.c -+++ /tmp/cocci-output-13643-d9f760-ifdef4.c ++++ /tmp/cocci-output-26074-2a586f-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -8243,7 +8279,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-13643-1907b3-ifdef5.c ++++ /tmp/cocci-output-26074-499d5e-ifdef5.c @@ -11,3 +11,11 @@ void init_IRQ(void) uselessCall(); } @@ -8259,7 +8295,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-13643-b51014-ifdef6.c ++++ /tmp/cocci-output-26074-d78207-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -8272,7 +8308,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-13643-4b1ddd-ifdef6a.c ++++ /tmp/cocci-output-26074-f5ab23-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -8284,7 +8320,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-13643-7c876d-ifdefmeta.c ++++ /tmp/cocci-output-26074-91a659-ifdefmeta.c @@ -1,26 +1,30 @@ int main() { - buf = alloca(3 @@ -8353,7 +8389,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-13643-f5282d-ifdefmeta1.c ++++ /tmp/cocci-output-26074-6921a8-ifdefmeta1.c @@ -1,17 +1,2 @@ int main() { - buf = alloca(3 @@ -8375,7 +8411,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-13643-4af453-ifdefmeta2.c ++++ /tmp/cocci-output-26074-31d2a0-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -8392,7 +8428,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-13643-fd9a9e-ifdefmeta3.c ++++ /tmp/cocci-output-26074-0aaf7a-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -8409,7 +8445,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-13643-c2fe8c-ifend.c ++++ /tmp/cocci-output-26074-6780cf-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -8419,7 +8455,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-13643-431647-ifgoto.c ++++ /tmp/cocci-output-26074-73c0ac-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -8433,7 +8469,7 @@ ifields.res diff = --- tests/ifields.c -+++ /tmp/cocci-output-13643-44aaaf-ifields.c ++++ /tmp/cocci-output-26074-ce4b88-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -8456,7 +8492,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-13643-4f5d46-ifif.c ++++ /tmp/cocci-output-26074-842ebf-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -8474,7 +8510,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-13643-44b5fa-ifreturn.c ++++ /tmp/cocci-output-26074-2fa7f4-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -8536,7 +8572,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-13643-ef1ba4-ifreturn3.c ++++ /tmp/cocci-output-26074-3c81c4-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -8562,7 +8598,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-13643-0c704f-ifreturn4.c ++++ /tmp/cocci-output-26074-c56473-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -8586,7 +8622,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-13643-adad83-ifreturn6.c ++++ /tmp/cocci-output-26074-62d652-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -8600,7 +8636,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-13643-ffc209-ifzer.c ++++ /tmp/cocci-output-26074-ab46d2-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). */ @@ -8611,7 +8647,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-13643-3c8abc-ifzz.c ++++ /tmp/cocci-output-26074-2edcb4-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -8627,7 +8663,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-13643-220bc6-inc.c ++++ /tmp/cocci-output-26074-60a440-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -8636,7 +8672,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-13643-e919e2-incl.c ++++ /tmp/cocci-output-26074-50c7e2-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -8649,7 +8685,7 @@ incl2.res diff = --- tests/incl2.c -+++ /tmp/cocci-output-13643-d2983d-incl2.c ++++ /tmp/cocci-output-26074-b9b9cb-incl2.c @@ -1,3 +1,4 @@ +#include "beginning.h" #include @@ -8658,7 +8694,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-13643-02cba0-inclifdef.c ++++ /tmp/cocci-output-26074-1b7578-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -8668,7 +8704,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-13643-331c0f-include.c ++++ /tmp/cocci-output-26074-b14da7-include.c @@ -1,8 +1,6 @@ #include @@ -8681,7 +8717,7 @@ incompatible_value.res diff = --- tests/incompatible_value.c -+++ /tmp/cocci-output-13643-bab459-incompatible_value.c ++++ /tmp/cocci-output-26074-3f31ac-incompatible_value.c @@ -4,6 +4,6 @@ int main() { } @@ -8698,7 +8734,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-13643-8eabb3-inherited.c ++++ /tmp/cocci-output-26074-4fefc3-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -8709,7 +8745,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-13643-a14225-inherited_ver1.c ++++ /tmp/cocci-output-26074-8f0034-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -8725,7 +8761,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-13643-9e2c0d-inhmet.c ++++ /tmp/cocci-output-26074-633523-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -8734,7 +8770,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-13643-88f7c8-inhpos.c ++++ /tmp/cocci-output-26074-570ad1-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -8743,7 +8779,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-13643-a2d5b6-initializer.c ++++ /tmp/cocci-output-26074-cbf80e-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -8757,21 +8793,21 @@ inline.res diff = --- tests/inline.c -+++ /tmp/cocci-output-13643-4ab667-inline.c ++++ /tmp/cocci-output-26074-dd197f-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-13643-3a2559-insdef.c ++++ /tmp/cocci-output-26074-398c2d-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include int2bool-local.res diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-13643-8d5b2a-int2bool-local.c ++++ /tmp/cocci-output-26074-91d4da-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -8817,7 +8853,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-13643-046159-introbrace.c ++++ /tmp/cocci-output-26074-ad22ad-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -8836,7 +8872,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-13643-aafc01-invert.c ++++ /tmp/cocci-output-26074-e6d5f9-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -8845,7 +8881,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-13643-5fd63c-ip.c ++++ /tmp/cocci-output-26074-652cf1-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -8874,7 +8910,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-13643-6ee775-ip2.c ++++ /tmp/cocci-output-26074-e6bfb0-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -8899,7 +8935,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-13643-4bb2a5-isococci.c ++++ /tmp/cocci-output-26074-211246-isococci.c @@ -1,6 +1,4 @@ void f(int i) { @@ -8912,7 +8948,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-13643-18706f-isoif.c ++++ /tmp/cocci-output-26074-eb08f7-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -8921,7 +8957,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-13643-a6841c-isotest.c ++++ /tmp/cocci-output-26074-dd4540-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -8934,7 +8970,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-13643-a7739a-isotest2.c ++++ /tmp/cocci-output-26074-6a0050-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -8945,7 +8981,7 @@ iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_7f651e.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_7f651e.ml +ocamlc.opt -c /tmp/ocaml_cocci_675717.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_675717.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -8954,7 +8990,7 @@ exn while in timeout_function iteration_after_merge.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_4c38ec.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_4c38ec.ml +ocamlc.opt -c /tmp/ocaml_cocci_8b63d1.cmo -g -I /build/reproducible-path/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_8b63d1.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function @@ -11491,18 +11527,18 @@ dh_shlibdeps -a dh_installdeb dh_ocaml -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 Control_flow_c W: coccinelle doesn't resolve dependency on unit Parsing_stat +W: coccinelle doesn't resolve dependency on unit Ograph_extended W: coccinelle doesn't resolve dependency on unit Cpp_token_c +W: coccinelle doesn't resolve dependency on unit Lexer_parser W: coccinelle doesn't resolve dependency on unit Token_views_c -W: coccinelle doesn't resolve dependency on unit Ograph_extended -W: coccinelle doesn't resolve dependency on unit Control_flow_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_armhf.deb'. +dpkg-deb: building package 'coccinelle-doc' in '../coccinelle-doc_1.1.1.deb-5_all.deb'. dpkg-deb: building package 'coccinelle' in '../coccinelle_1.1.1.deb-5_armhf.deb'. dpkg-genbuildinfo --build=binary -O../coccinelle_1.1.1.deb-5_armhf.buildinfo dpkg-genchanges --build=binary -O../coccinelle_1.1.1.deb-5_armhf.changes @@ -11511,12 +11547,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/20557/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/20557/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/26868 and its subdirectories -I: Current time: Fri Apr 26 15:15:12 -12 2024 -I: pbuilder-time-stamp: 1714187712 +I: removing directory /srv/workspace/pbuilder/20557 and its subdirectories +I: Current time: Sat Apr 27 17:49:55 +14 2024 +I: pbuilder-time-stamp: 1714189795