Diff of the two buildlogs: -- --- b1/build.log 2025-01-23 01:11:28.582857463 +0000 +++ b2/build.log 2025-01-23 01:17:55.189481490 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Tue Feb 24 19:31:27 -12 2026 -I: pbuilder-time-stamp: 1772004687 +I: Current time: Thu Jan 23 15:11:34 +14 2025 +I: pbuilder-time-stamp: 1737594694 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration @@ -28,54 +28,86 @@ 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/91986/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/61014/tmp/hooks/D01_modify_environment starting +debug: Running on ionos2-i386. +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 Jan 23 01:11 /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/61014/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/61014/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='i386' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=22 ' - DISTRIBUTION='trixie' - HOME='/root' - HOST_ARCH='i386' + 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]="37" [3]="1" [4]="release" [5]="i686-pc-linux-gnu") + BASH_VERSION='5.2.37(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=i386 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=10 ' + DIRSTACK=() + DISTRIBUTION=trixie + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=i686 + HOST_ARCH=i386 IFS=' ' - INVOCATION_ID='cf07b57ef73344deb71c061c3f1e532e' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - LD_LIBRARY_PATH='/usr/lib/libeatmydata' - LD_PRELOAD='libeatmydata.so' - 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='91986' - PS1='# ' - PS2='> ' + INVOCATION_ID=0f9c3c70651242c49d5ba0db0b15e847 + LANG=C + LANGUAGE=de_CH:de + LC_ALL=C + LD_LIBRARY_PATH=/usr/lib/libeatmydata + LD_PRELOAD=libeatmydata.so + MACHTYPE=i686-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=61014 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.s9fhgGm7/pbuilderrc_y2yW --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.s9fhgGm7/b1 --logfile b1/build.log coccinelle_1.3.0.deb-1.dsc' - SUDO_GID='112' - SUDO_UID='107' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://213.165.73.152:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.s9fhgGm7/pbuilderrc_WRUZ --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.s9fhgGm7/b2 --logfile b2/build.log coccinelle_1.3.0.deb-1.dsc' + SUDO_GID=112 + SUDO_UID=107 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://46.16.76.132:3128 I: uname -a - Linux ionos16-i386 6.1.0-30-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.124-1 (2025-01-12) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-30-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.124-1 (2025-01-12) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Nov 22 2024 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/91986/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/61014/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -222,7 +254,7 @@ Get: 87 http://deb.debian.org/debian trixie/main i386 ocaml-findlib i386 1.9.6-3 [296 kB] Get: 88 http://deb.debian.org/debian trixie/main i386 pkgconf-bin i386 1.8.1-4 [30.6 kB] Get: 89 http://deb.debian.org/debian trixie/main i386 pkgconf i386 1.8.1-4 [26.2 kB] -Fetched 86.8 MB in 2s (35.0 MB/s) +Fetched 86.8 MB in 2s (38.5 MB/s) Preconfiguring packages ... Selecting previously unselected package libpython3.12-minimal:i386. (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 ... 19842 files and directories currently installed.) @@ -525,8 +557,8 @@ Setting up tzdata (2024b-6) ... Current default time zone: 'Etc/UTC' -Local time is now: Wed Feb 25 07:31:50 UTC 2026. -Universal Time is now: Wed Feb 25 07:31:50 UTC 2026. +Local time is now: Thu Jan 23 01:12:13 UTC 2025. +Universal Time is now: Thu Jan 23 01:12:13 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... @@ -607,7 +639,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/coccinelle-1.3.0.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.3.0.deb-1_source.changes +I: user script /srv/workspace/pbuilder/61014/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for trixie +I: user script /srv/workspace/pbuilder/61014/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/coccinelle-1.3.0.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.3.0.deb-1_source.changes dpkg-buildpackage: info: source package coccinelle dpkg-buildpackage: info: source version 1.3.0.deb-1 dpkg-buildpackage: info: source distribution unstable @@ -617,7 +653,7 @@ debian/rules clean dh clean --with ocaml,python3,autoreconf dh_auto_clean - make -j22 distclean + make -j10 distclean make[1]: Entering directory '/build/reproducible-path/coccinelle-1.3.0.deb' CLEAN commons CLEAN globals @@ -631,11 +667,11 @@ CLEAN extra CLEAN spatch CLEAN spgen +CLEAN exposed-module rm -f coccinelle.cma coccinelle.cmxa coccinelle.a \ coccinelle.cmo coccinelle.cmx coccinelle.o \ coccinelle_modules.cmi coccinelle_modules.cmo \ coccinelle_modules.o coccinelle_modules.cmx -CLEAN exposed-module CLEAN .depend CLEAN configure make[1]: Leaving directory '/build/reproducible-path/coccinelle-1.3.0.deb' @@ -659,7 +695,7 @@ checking whether make supports nested variables... yes configure: determining version suffix checking for date... /usr/bin/date -configure: version suffix set to Tue, 24 Feb 2026 19:32:00 -1200 +configure: version suffix set to Thu, 23 Jan 2025 15:12:40 +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) @@ -678,7 +714,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 @@ -798,7 +834,7 @@ ------------------------------------------------------------------------------ make[1]: Leaving directory '/build/reproducible-path/coccinelle-1.3.0.deb' dh_auto_build - make -j22 + make -j10 make[1]: Entering directory '/build/reproducible-path/coccinelle-1.3.0.deb' OCAMLDEP commons/ocamlextra/dumper.ml OCAMLDEP commons/commands.ml @@ -960,9 +996,9 @@ OCAMLLEX parsing_cocci/lexer_cli.mll OCAMLLEX parsing_cocci/lexer_script.mll OCAMLLEX parsing_c/lexer_c.mll -OCAMLLEX tools/spgen/source/spgen_lexer.mll 14 states, 681 transitions, table size 2808 bytes 27 states, 322 transitions, table size 1450 bytes +OCAMLLEX tools/spgen/source/spgen_lexer.mll OCAMLYACC parsing_c/parser_c.mly OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP commons/commands.mli @@ -984,6 +1020,8 @@ OCAMLDEP parsing_cocci/ast0toast.mli OCAMLDEP parsing_cocci/unparse_ast0.mli OCAMLDEP parsing_cocci/unify_ast.mli +404 states, 8859 transitions, table size 37860 bytes +4129 additional bytes used for bindings OCAMLDEP parsing_cocci/compute_lines.mli OCAMLDEP parsing_cocci/iso_pattern.mli OCAMLDEP parsing_cocci/comm_assoc.mli @@ -991,10 +1029,10 @@ OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/simple_assignments.mli OCAMLDEP parsing_cocci/get_metas.mli -OCAMLDEP parsing_cocci/stmtlist.mli -OCAMLDEP parsing_cocci/top_level.mli 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings +OCAMLDEP parsing_cocci/stmtlist.mli +OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/unitary_ast0.mli @@ -1036,6 +1074,8 @@ OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/includes_cache.mli OCAMLDEP parsing_c/pretty_print_c.mli +408 states, 16889 transitions, table size 70004 bytes +10655 additional bytes used for bindings OCAMLDEP parsing_c/control_flow_c_build.mli OCAMLDEP parsing_c/semantic_c.mli OCAMLDEP parsing_c/lexer_parser.mli @@ -1044,8 +1084,6 @@ OCAMLDEP parsing_c/token_views_c.mli OCAMLDEP parsing_c/cpp_token_c.mli OCAMLDEP parsing_c/parsing_hacks.mli -404 states, 8859 transitions, table size 37860 bytes -4129 additional bytes used for bindings OCAMLDEP parsing_c/cpp_analysis_c.mli OCAMLDEP parsing_c/unparse_cocci.mli OCAMLDEP parsing_c/parsing_recovery_c.mli @@ -1134,11 +1172,9 @@ OCAMLDEP parsing_cocci/lexer_cocci.ml OCAMLDEP parsing_cocci/lexer_cli.ml OCAMLDEP parsing_cocci/lexer_script.ml +OCAMLDEP parsing_c/lexer_c.ml OCAMLDEP tools/spgen/source/spgen_lexer.ml OCAMLDEP parsing_c/parser_c.ml -408 states, 16889 transitions, table size 70004 bytes -10655 additional bytes used for bindings -OCAMLDEP parsing_c/lexer_c.ml OCAMLC commons/ocamlextra/dumper.mli OCAMLC commons/commands.mli OCAMLC commons/common.mli @@ -1170,11 +1206,12 @@ OCAMLC main.mli OCAMLC tools/spgen/source/spgen_lexer.mli OCAMLC tools/spgen/source/spgen.mli -cp globals/regexp.cmi ocaml/regexp.cmi OCAMLC tools/spgen/source/spgen_test.mli OCAMLC tools/spgen/source/main.mli +cp globals/regexp.cmi ocaml/regexp.cmi cp globals/cocciconfig.cmi ocaml/cocciconfig.cmi cp globals/flag.cmi ocaml/flag.cmi +cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi cp globals/iteration.cmi ocaml/iteration.cmi cp commons/commands.cmi ocaml/commands.cmi cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi @@ -1189,58 +1226,44 @@ OCAMLC parsing_cocci/semantic_cocci.ml OCAMLC parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/lexer_cli.ml +OCAMLC parsing_cocci/cocci_grep.ml +OCAMLC parsing_cocci/dpll.ml +OCAMLC parsing_cocci/git_grep.ml +OCAMLC parsing_cocci/patch_diff.ml +OCAMLC parsing_cocci/command_line.ml OCAMLC parsing_cocci/cocci_args.ml OCAMLC parsing_c/token_annot.ml OCAMLC parsing_c/flag_parsing_c.ml +OCAMLC parsing_c/parsing_stat.mli +OCAMLC parsing_c/token_c.mli +OCAMLC parsing_c/semantic_c.mli +OCAMLC parsing_c/compare_c.mli +OCAMLC parsing_c/test_parsing_c.mli OCAMLC ctl/flag_ctl.ml OCAMLC ctl/ast_ctl.ml OCAMLC ctl/pretty_print_ctl.mli +OCAMLC engine/flag_matcher.ml OCAMLC popl09/flag_popl.ml +OCAMLC extra/classic_patch.mli +OCAMLC extra/kbuild.mli +OCAMLC extra/maintainers.mli OCAMLC flag_cocci.ml -OCAMLC tools/spgen/source/main.ml -cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi -cp commons/commands.cmo ocaml/commands.cmo -OCAMLC engine/flag_matcher.ml +OCAMLC testing.mli +OCAMLC read_options.ml OCAMLC tools/spgen/source/spgen_lexer.ml +OCAMLC tools/spgen/source/main.ml +cp parsing_c/token_c.cmi ocaml/token_c.cmi +cp commons/common.cmi ocaml/common.cmi cp globals/regexp.cmo ocaml/regexp.cmo cp globals/cocciconfig.cmo ocaml/cocciconfig.cmo -cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo cp globals/flag.cmo ocaml/flag.cmo cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo +cp commons/commands.cmo ocaml/commands.cmo +cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo OCAMLC commons/common.ml OCAMLC commons/ograph_simple.mli OCAMLC commons/ograph_extended.mli OCAMLC globals/iteration.ml -OCAMLC parsing_cocci/cocci_grep.ml -OCAMLC parsing_cocci/dpll.ml -OCAMLC parsing_cocci/git_grep.ml -OCAMLC parsing_cocci/patch_diff.ml -OCAMLC parsing_cocci/command_line.ml -OCAMLC parsing_c/parsing_stat.mli -OCAMLC parsing_c/token_c.mli -OCAMLC parsing_c/semantic_c.mli -OCAMLC parsing_c/compare_c.mli -OCAMLC parsing_c/test_parsing_c.mli -OCAMLC ctl/pretty_print_ctl.ml -OCAMLC extra/classic_patch.mli -OCAMLC extra/kbuild.mli -OCAMLC extra/maintainers.mli -OCAMLC testing.mli -OCAMLC read_options.ml -cp commons/common.cmi ocaml/common.cmi -OCAMLC extra/classic_patch.ml -OCAMLC parsing_c/semantic_c.ml -OCAMLC extra/kbuild.ml -OCAMLC extra/maintainers.ml -cp parsing_c/token_c.cmi ocaml/token_c.cmi -OCAMLC parsing_c/token_c.ml -OCAMLC parsing_c/parsing_stat.ml -cp globals/iteration.cmo ocaml/iteration.cmo -OCAMLC -o globals/globals.cma -OCAMLC commons/ograph_simple.ml -OCAMLC commons/ograph_extended.ml -OCAMLC ctl/ctl_engine.mli -cp parsing_c/token_c.cmo ocaml/token_c.cmo OCAMLC parsing_cocci/ast_cocci.ml OCAMLC parsing_cocci/ast0_cocci.mli OCAMLC parsing_cocci/pretty_print_cocci.mli @@ -1251,38 +1274,28 @@ OCAMLC parsing_cocci/disjdistr.mli OCAMLC parsing_cocci/get_constants2.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 +OCAMLC parsing_c/semantic_c.ml +OCAMLC ctl/pretty_print_ctl.ml +OCAMLC ctl/ctl_engine.mli OCAMLC ocaml/yes_prepare_ocamlcocci.mli OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLC popl09/ast_popl.mli +OCAMLC extra/classic_patch.ml +OCAMLC extra/kbuild.ml +OCAMLC extra/maintainers.ml OCAMLC tools/spgen/source/globals.mli OCAMLC tools/spgen/source/ast_tostring.mli cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi -OCAMLC ctl/ctl_engine.ml -OCAMLC ctl/wrapper_ctl.mli -OCAMLC -o extra/extra.cma -OCAMLC parsing_cocci/pretty_print_cocci.ml -OCAMLC parsing_cocci/id_utils.mli -OCAMLC tools/spgen/source/ast_tostring.ml -OCAMLC ocaml/prepare_ocamlcocci.ml -OCAMLC tools/spgen/source/globals.ml -OCAMLC popl09/ast_popl.ml -OCAMLC popl09/asttopopl.mli -OCAMLC popl09/insert_quantifiers.mli -OCAMLC popl09/pretty_print_popl.mli -OCAMLC parsing_cocci/id_utils.ml -OCAMLC ctl/wrapper_ctl.ml -OCAMLC parsing_cocci/stmtlist.ml -OCAMLC parsing_cocci/free_vars.mli -OCAMLC parsing_cocci/safe_for_multi_decls.ml -OCAMLC parsing_cocci/cleanup_rules.ml -OCAMLC parsing_cocci/disjdistr.ml -OCAMLC parsing_cocci/get_constants2.ml -OCAMLC popl09/insert_quantifiers.ml -OCAMLC popl09/pretty_print_popl.ml -OCAMLC popl09/asttopopl.ml -OCAMLC parsing_cocci/free_vars.ml +cp parsing_c/token_c.cmo ocaml/token_c.cmo +cp globals/iteration.cmo ocaml/iteration.cmo +OCAMLC commons/ograph_simple.ml +OCAMLC commons/ograph_extended.ml +OCAMLC -o globals/globals.cma OCAMLC parsing_cocci/ast0_cocci.ml +OCAMLC parsing_cocci/pretty_print_cocci.ml OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLC parsing_cocci/visitor_ast.ml OCAMLC parsing_cocci/ast0toast.mli @@ -1293,6 +1306,7 @@ OCAMLC parsing_cocci/single_statement.mli OCAMLC parsing_cocci/simple_assignments.mli OCAMLC parsing_cocci/get_metas.mli +OCAMLC parsing_cocci/stmtlist.ml OCAMLC parsing_cocci/top_level.mli OCAMLC parsing_cocci/type_infer.mli OCAMLC parsing_cocci/test_exps.mli @@ -1304,9 +1318,16 @@ OCAMLC parsing_cocci/insert_plus.mli OCAMLC parsing_cocci/function_prototypes.mli OCAMLC parsing_cocci/data.mli +OCAMLC parsing_cocci/free_vars.mli OCAMLC parsing_cocci/check_meta.mli +OCAMLC parsing_cocci/safe_for_multi_decls.ml +OCAMLC parsing_cocci/cleanup_rules.ml +OCAMLC parsing_cocci/disjdistr.ml +OCAMLC parsing_cocci/get_constants2.ml +OCAMLC parsing_cocci/id_utils.mli OCAMLC parsing_cocci/adjacency.mli OCAMLC parsing_cocci/commas_on_lists.mli +OCAMLC parsing_cocci/re_constraints.ml OCAMLC parsing_cocci/parse_cocci.mli OCAMLC parsing_c/ast_c.ml OCAMLC parsing_c/includes.mli @@ -1320,13 +1341,28 @@ OCAMLC parsing_c/unparse_hrule.mli OCAMLC parsing_c/type_c.mli OCAMLC parsing_c/type_annoter_c.mli +OCAMLC parsing_c/comment_annotater_c.mli +OCAMLC ctl/ctl_engine.ml +OCAMLC ctl/wrapper_ctl.mli OCAMLC ocaml/externalanalysis.mli OCAMLC ocaml/ocamlcocci_aux.mli +OCAMLC ocaml/prepare_ocamlcocci.ml 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/cocci_vs_c.mli +OCAMLC popl09/ast_popl.ml +OCAMLC popl09/asttopopl.mli +OCAMLC popl09/insert_quantifiers.mli +OCAMLC popl09/pretty_print_popl.mli +OCAMLC -o extra/extra.cma +OCAMLC tools/spgen/source/globals.ml +OCAMLC tools/spgen/source/ast_tostring.ml OCAMLC tools/spgen/source/detect_patch.mli OCAMLC tools/spgen/source/meta_variable.mli OCAMLC tools/spgen/source/file_transform.mli @@ -1334,15 +1370,27 @@ cp parsing_c/ast_c.cmi ocaml/ast_c.cmi cp parsing_c/parser_c.cmi ocaml/parser_c.cmi cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi +cp parsing_c/ast_c.cmo ocaml/ast_c.cmo +cp commons/common.cmo ocaml/common.cmo +cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo +cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo +OCAMLC -o commons/commons.cma +OCAMLC parsing_cocci/visitor_ast0_types.ml +OCAMLC parsing_cocci/visitor_ast0.mli OCAMLC parsing_cocci/unparse_ast0.ml OCAMLC parsing_cocci/unify_ast.ml OCAMLC parsing_cocci/compute_lines.ml +OCAMLC parsing_cocci/iso_pattern.mli OCAMLC parsing_cocci/top_level.ml OCAMLC parsing_cocci/arity.ml OCAMLC parsing_cocci/index.ml OCAMLC parsing_cocci/data.ml +OCAMLC parsing_cocci/free_vars.ml +OCAMLC parsing_cocci/check_meta.ml OCAMLC parsing_cocci/parse_aux.mli -OCAMLC parsing_cocci/re_constraints.ml +OCAMLC parsing_cocci/id_utils.ml +OCAMLC parsing_cocci/adjacency.ml +OCAMLC parsing_cocci/commas_on_lists.ml OCAMLC parsing_c/includes.ml OCAMLC parsing_c/control_flow_c.ml OCAMLC parsing_c/visitor_c.mli @@ -1353,51 +1401,20 @@ OCAMLC parsing_c/parse_string_c.mli OCAMLC parsing_c/token_helpers.mli OCAMLC parsing_c/token_views_c.mli +OCAMLC parsing_c/unparse_cocci.ml OCAMLC parsing_c/parsing_recovery_c.mli +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.mli +OCAMLC parsing_c/comment_annotater_c.ml +OCAMLC ctl/wrapper_ctl.ml OCAMLC ocaml/externalanalysis.ml OCAMLC ocaml/ocamlcocci_aux.ml OCAMLC python/pycocci_aux.ml -OCAMLC engine/lib_engine.mli -OCAMLC engine/check_exhaustive_pattern.ml -OCAMLC engine/check_reachability.mli -OCAMLC engine/isomorphisms_c_c.ml -OCAMLC engine/cocci_vs_c.mli -OCAMLC tools/spgen/source/snapshot.mli -OCAMLC tools/spgen/source/user_input.mli -OCAMLC tools/spgen/source/rule_body.mli -OCAMLC tools/spgen/source/rule_header.mli -OCAMLC tools/spgen/source/context_rule.mli -cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi -cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi -cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi -cp parsing_c/ast_c.cmo ocaml/ast_c.cmo -cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo -cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo -OCAMLC parsing_cocci/visitor_ast0_types.ml -OCAMLC parsing_cocci/visitor_ast0.mli -OCAMLC parsing_cocci/iso_pattern.mli -OCAMLC parsing_cocci/parse_aux.ml -MENHIR parsing_cocci/parser_cocci_menhir.mly -OCAMLC parsing_c/visitor_c.ml -OCAMLC parsing_c/lib_parsing_c.mli -OCAMLC parsing_c/lexer_c.ml -OCAMLC parsing_c/parse_string_c.ml -OCAMLC parsing_c/token_helpers.ml -OCAMLC parsing_c/token_views_c.ml -OCAMLC parsing_c/cpp_token_c.mli -OCAMLC parsing_c/unparse_cocci.ml -OCAMLC parsing_c/parsing_recovery_c.ml -OCAMLC parsing_c/parsing_consistency_c.ml -OCAMLC parsing_c/parse_c.mli -OCAMLC parsing_c/unparse_hrule.ml -OCAMLC parsing_c/comment_annotater_c.ml OCAMLC engine/lib_engine.ml OCAMLC engine/pretty_print_engine.mli OCAMLC engine/check_reachability.ml -OCAMLC engine/c_vs_c.ml -OCAMLC engine/cocci_vs_c.ml +OCAMLC engine/isomorphisms_c_c.ml OCAMLC engine/pattern_c.mli OCAMLC engine/transformation_c.mli OCAMLC engine/asttomember.mli @@ -1405,24 +1422,25 @@ OCAMLC engine/ctltotex.mli OCAMLC engine/postprocess_transinfo.mli OCAMLC engine/ctlcocci_integration.mli -OCAMLC cocci.mli +OCAMLC popl09/asttopopl.ml +OCAMLC popl09/insert_quantifiers.ml +OCAMLC popl09/pretty_print_popl.ml +OCAMLC popl09/popltoctl.mli +OCAMLC popl09/popl.mli +OCAMLC main.ml OCAMLC tools/spgen/source/detect_patch.ml OCAMLC tools/spgen/source/meta_variable.ml -OCAMLC tools/spgen/source/snapshot.ml -OCAMLC tools/spgen/source/user_input.ml -OCAMLC tools/spgen/source/position_generator.mli -OCAMLC tools/spgen/source/disj_generator.mli -OCAMLC tools/spgen/source/rule_header.ml -OCAMLC tools/spgen/source/context_rule.ml +OCAMLC tools/spgen/source/snapshot.mli +OCAMLC tools/spgen/source/user_input.mli +OCAMLC tools/spgen/source/rule_body.mli +OCAMLC tools/spgen/source/rule_header.mli +OCAMLC tools/spgen/source/context_rule.mli OCAMLC tools/spgen/source/script_rule.mli -OCAMLC tools/spgen/source/file_transform.ml OCAMLC tools/spgen/source/spgen_interactive.mli OCAMLC tools/spgen/source/spgen_config.mli -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 -cp commons/common.cmo ocaml/common.cmo -OCAMLC -o commons/commons.cma +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 @@ -1438,60 +1456,78 @@ OCAMLC parsing_cocci/adjust_pragmas.ml OCAMLC parsing_cocci/insert_plus.ml OCAMLC parsing_cocci/function_prototypes.ml -OCAMLC parsing_cocci/check_meta.ml -OCAMLC parsing_cocci/adjacency.ml -OCAMLC parsing_cocci/commas_on_lists.ml -OCAMLC parsing_c/lib_parsing_c.ml -OCAMLC parsing_c/includes_cache.ml -OCAMLC parsing_c/pretty_print_c.ml -OCAMLC parsing_c/control_flow_c_build.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 +OCAMLC parsing_cocci/parse_aux.ml +MENHIR parsing_cocci/parser_cocci_menhir.mly +OCAMLC parsing_c/visitor_c.ml +OCAMLC parsing_c/lib_parsing_c.mli +OCAMLC parsing_c/lexer_c.ml +OCAMLC parsing_c/parse_string_c.ml +OCAMLC parsing_c/token_helpers.ml +OCAMLC parsing_c/token_views_c.ml +OCAMLC parsing_c/cpp_token_c.mli +OCAMLC parsing_c/parsing_recovery_c.ml OCAMLC parsing_c/danger.ml -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 -OCAMLC parsing_c/compare_c.ml OCAMLC -o ctl/ctl.cma -OCAMLC ocaml/exposed_modules.mli -OCAMLC ocaml/coccilib.mli OCAMLC engine/pretty_print_engine.ml +OCAMLC engine/c_vs_c.ml +OCAMLC engine/cocci_vs_c.ml OCAMLC engine/pattern_c.ml OCAMLC engine/transformation_c.ml OCAMLC engine/asttomember.ml OCAMLC engine/asttoctl2.ml OCAMLC engine/ctltotex.ml -OCAMLC engine/postprocess_transinfo.ml OCAMLC engine/ctlcocci_integration.ml -OCAMLC popl09/popltoctl.mli -OCAMLC popl09/popl.mli -OCAMLC testing.ml -OCAMLC enter.ml -OCAMLC main.ml -OCAMLC tools/spgen/source/position_generator.ml -OCAMLC tools/spgen/source/disj_generator.ml -OCAMLC tools/spgen/source/rule_body.ml +OCAMLC popl09/popltoctl.ml +OCAMLC popl09/popl.ml +OCAMLC tools/spgen/source/snapshot.ml +OCAMLC tools/spgen/source/user_input.ml +OCAMLC tools/spgen/source/position_generator.mli +OCAMLC tools/spgen/source/disj_generator.mli +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 OCAMLC tools/spgen/source/spgen.ml -cp parsing_c/parse_c.cmo ocaml/parse_c.cmo -cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo +cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi +cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo OCAMLC parsing_cocci/iso_compile.ml +OCAMLC parsing_c/lib_parsing_c.ml +OCAMLC parsing_c/includes_cache.ml +OCAMLC parsing_c/pretty_print_c.ml +OCAMLC parsing_c/control_flow_c_build.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 +OCAMLC parsing_c/parse_c.mli +OCAMLC -o popl09/popl09.cma +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.cmo ocaml/lib_parsing_c.cmo OCAMLC parsing_c/parsing_hacks.ml OCAMLC parsing_c/cpp_analysis_c.ml +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 +OCAMLC parsing_c/compare_c.ml +OCAMLC parsing_c/test_parsing_c.ml +OCAMLC ocaml/exposed_modules.mli +OCAMLC ocaml/coccilib.mli +OCAMLC engine/postprocess_transinfo.ml +OCAMLC cocci.mli +cp parsing_c/parse_c.cmo ocaml/parse_c.cmo +cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo OCAMLC parsing_c/unparse_c.ml OCAMLC parsing_c/cpp_ast_c.ml -OCAMLC parsing_c/test_parsing_c.ml +OCAMLC testing.ml +OCAMLC enter.ml OCAMLC ocaml/exposed_modules.ml -OCAMLC popl09/popltoctl.ml -OCAMLC popl09/popl.ml -cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo -OCAMLC -o popl09/popl09.cma cp parsing_c/parser_c.cmo ocaml/parser_c.cmo OCAMLC -o parsing_c/parsing_c.cma OCAMLC ocaml/coccilib.ml @@ -1526,7 +1562,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-122126-ec45b1-62.c ++++ /tmp/cocci-output-37951-fa94fa-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -1544,7 +1580,7 @@ a3.res diff = --- tests/a3.c -+++ /tmp/cocci-output-122126-fad5a1-a3.c ++++ /tmp/cocci-output-37951-67f143-a3.c @@ -1,5 +1,5 @@ static void a3d_connect() { @@ -1555,7 +1591,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-122126-bce605-a3d.c ++++ /tmp/cocci-output-37951-289cf1-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -1577,7 +1613,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-122126-911abf-a_and_e_ver1.c ++++ /tmp/cocci-output-37951-98f7b1-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -1589,7 +1625,7 @@ ab.res diff = --- tests/ab.c -+++ /tmp/cocci-output-122126-e131f5-ab.c ++++ /tmp/cocci-output-37951-798417-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -1600,7 +1636,7 @@ action.res diff = --- tests/action.c -+++ /tmp/cocci-output-122126-02d2fb-action.c ++++ /tmp/cocci-output-37951-e93945-action.c @@ -1,10 +1,8 @@ void work() { @@ -1618,7 +1654,7 @@ SPECIAL NAMES: adding list_for_each_entry as a iterator diff = --- tests/add1.c -+++ /tmp/cocci-output-122126-a4f2bc-add1.c ++++ /tmp/cocci-output-37951-19c5c4-add1.c @@ -7,6 +7,9 @@ static int create_scheduling_groups(void ret = build_groups(sd, i); } @@ -1645,7 +1681,7 @@ warning: rule starting on line 1, node 29: [endif][1,2,10,11,13] in main may be inconsistently modified warning: rule starting on line 1, node 20: while[1,2,10]* in main may be inconsistently modified --- tests/addaft.c -+++ /tmp/cocci-output-122126-3796eb-addaft.c ++++ /tmp/cocci-output-37951-48c2af-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -1669,7 +1705,7 @@ addafterdecl.res diff = --- tests/addafterdecl.c -+++ /tmp/cocci-output-122126-d83f61-addafterdecl.c ++++ /tmp/cocci-output-37951-014091-addafterdecl.c @@ -1,4 +1,5 @@ int main () { int x; @@ -1679,7 +1715,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-122126-448ef0-addbefore.c ++++ /tmp/cocci-output-37951-18b8ed-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -1690,7 +1726,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-122126-ad4be5-addbeforeafter.c ++++ /tmp/cocci-output-37951-0846fc-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -1703,7 +1739,7 @@ addcomm.res diff = --- tests/addcomm.c -+++ /tmp/cocci-output-122126-bfbebb-addcomm.c ++++ /tmp/cocci-output-37951-b9ad01-addcomm.c @@ -1,5 +1,9 @@ int main() { - foo(); @@ -1719,7 +1755,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-122126-29c75a-addelse.c ++++ /tmp/cocci-output-37951-341f5e-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -1727,7 +1763,7 @@ addes.res diff = --- tests/addes.c -+++ /tmp/cocci-output-122126-98a547-addes.c ++++ /tmp/cocci-output-37951-e10a42-addes.c @@ -1 +1,3 @@ int i; +struct foo { @@ -1735,7 +1771,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-122126-629ca7-addfield.c ++++ /tmp/cocci-output-37951-7396a9-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -1747,7 +1783,7 @@ addfield2.res diff = --- tests/addfield2.c -+++ /tmp/cocci-output-122126-014985-addfield2.c ++++ /tmp/cocci-output-37951-1e41a2-addfield2.c @@ -1,17 +1,21 @@ struct foo { + int roto; @@ -1773,7 +1809,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-122126-10f349-addif.c ++++ /tmp/cocci-output-37951-1a4c07-addif.c @@ -1,7 +1,19 @@ +#ifdef FOO +/* some comment */ @@ -1797,7 +1833,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-122126-f78cf0-addif1.c ++++ /tmp/cocci-output-37951-da9e4f-addif1.c @@ -1,7 +1,15 @@ +#ifdef FOO +int xxx() { @@ -1817,7 +1853,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-122126-1b59fe-addif2.c ++++ /tmp/cocci-output-37951-30f9d3-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -1835,7 +1871,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-122126-0241ed-addifdef.c ++++ /tmp/cocci-output-37951-21e6c4-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -1854,7 +1890,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-122126-adf44a-addifelse.c ++++ /tmp/cocci-output-37951-876f77-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -1873,7 +1909,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-122126-138c04-addifelse2.c ++++ /tmp/cocci-output-37951-929f5c-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) { @@ -1893,7 +1929,7 @@ addinc.res diff = --- tests/addinc.c -+++ /tmp/cocci-output-122126-d068a2-addinc.c ++++ /tmp/cocci-output-37951-6c6cab-addinc.c @@ -1,4 +1,5 @@ #ifndef FOO #define FOO @@ -1903,7 +1939,7 @@ addnl.res diff = --- tests/addnl.c -+++ /tmp/cocci-output-122126-45a827-addnl.c ++++ /tmp/cocci-output-37951-576bdd-addnl.c @@ -1,5 +1,6 @@ int main () { xxx(); @@ -1915,7 +1951,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-122126-297ec7-addtoo.c ++++ /tmp/cocci-output-37951-59bc5e-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -1939,7 +1975,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-122126-880900-addtrace.c ++++ /tmp/cocci-output-37951-39af20-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -1972,7 +2008,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-122126-14e90b-after_if.c ++++ /tmp/cocci-output-37951-3df1c8-after_if.c @@ -1,4 +1,4 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -1982,7 +2018,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-122126-c4d39a-allex.c ++++ /tmp/cocci-output-37951-fed9ef-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -1995,7 +2031,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-122126-66796b-allex2.c ++++ /tmp/cocci-output-37951-f9de10-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -2006,7 +2042,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-122126-2c655c-allex3.c ++++ /tmp/cocci-output-37951-c0982b-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -2016,7 +2052,7 @@ andid.res diff = --- tests/andid.c -+++ /tmp/cocci-output-122126-f954f6-andid.c ++++ /tmp/cocci-output-37951-fa99af-andid.c @@ -1,5 +1,5 @@ int main () { - int frontandback = 12; @@ -2027,7 +2063,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-122126-870c41-anon.c ++++ /tmp/cocci-output-37951-afa747-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -2038,7 +2074,7 @@ anonfield.res diff = --- tests/anonfield.c -+++ /tmp/cocci-output-122126-a1424c-anonfield.c ++++ /tmp/cocci-output-37951-e93eb4-anonfield.c @@ -1,3 +1,3 @@ struct { - int; @@ -2047,7 +2083,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-122126-c0bec0-ar.c ++++ /tmp/cocci-output-37951-5c69ca-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -2061,7 +2097,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-122126-d78748-arg.c ++++ /tmp/cocci-output-37951-c11f5f-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -2076,7 +2112,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-122126-b2fc52-argument.c ++++ /tmp/cocci-output-37951-729dfa-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -2090,7 +2126,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-122126-5c4ceb-arparam.c ++++ /tmp/cocci-output-37951-4520b2-arparam.c @@ -1,3 +1,8 @@ +int g(int q[1024]) +{ @@ -2104,7 +2140,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/array_init.c -+++ /tmp/cocci-output-122126-d9534e-array_init.c ++++ /tmp/cocci-output-37951-cdbc0c-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"); @@ -2112,7 +2148,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-122126-8ca345-array_size.c ++++ /tmp/cocci-output-37951-d174e4-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -2120,7 +2156,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-122126-ea3777-arraysz.c ++++ /tmp/cocci-output-37951-87ace3-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -2130,7 +2166,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-122126-1cff18-as_stm.c ++++ /tmp/cocci-output-37951-a38beb-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -2147,7 +2183,7 @@ SPECIAL NAMES: adding aarg4 as a attribute diff = --- tests/attr_with_arguments.c -+++ /tmp/cocci-output-122126-2d88b2-attr_with_arguments.c ++++ /tmp/cocci-output-37951-8f3aa7-attr_with_arguments.c @@ -1,9 +1,9 @@ -aarg(1,2) int func() { - int id aarg3(1,2); @@ -2181,7 +2217,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-122126-677953-attradd.c ++++ /tmp/cocci-output-37951-2795d6-attradd.c @@ -1,3 +1,5 @@ int main () { - char f; @@ -2195,7 +2231,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attribute_order.c -+++ /tmp/cocci-output-122126-40f59c-attribute_order.c ++++ /tmp/cocci-output-37951-13081f-attribute_order.c @@ -1,3 +1,3 @@ -int __att1 * __att2 * __att3 foo() { return 0; } + @@ -2205,7 +2241,7 @@ warning: line 5: should variable be a metavariable? diff = --- tests/attributeb.c -+++ /tmp/cocci-output-122126-a2982e-attributeb.c ++++ /tmp/cocci-output-37951-d8b5f5-attributeb.c @@ -1,3 +1,3 @@ int main(){ - [[lucky]] int variable; @@ -2217,7 +2253,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attrreplace.c -+++ /tmp/cocci-output-122126-40ff2c-attrreplace.c ++++ /tmp/cocci-output-37951-725c5a-attrreplace.c @@ -1,4 +1,7 @@ -int __att1 * __att2 * __att3 foo() { aaa(0); } -int __att1 * __att2 * __att3 bar() { return 0; } @@ -2235,7 +2271,7 @@ SPECIAL NAMES: adding BUG as a declarer diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-122126-4472c6-attrs2groups.c ++++ /tmp/cocci-output-37951-2f7523-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -2264,7 +2300,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-122126-f85144-b1.c ++++ /tmp/cocci-output-37951-806600-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -2281,7 +2317,7 @@ diff = warning: rule starting on line 1, node 36: foo(...)[1,2,10,11,12,13] in main may be inconsistently modified --- tests/b2.c -+++ /tmp/cocci-output-122126-b83ffd-b2.c ++++ /tmp/cocci-output-37951-a60e32-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -2299,7 +2335,7 @@ bad_iso_example.res diff = --- tests/bad_iso_example.c -+++ /tmp/cocci-output-122126-ccc165-bad_iso_example.c ++++ /tmp/cocci-output-37951-f05196-bad_iso_example.c @@ -1,4 +1,5 @@ int main() { - if ((x = 3)) return; @@ -2310,7 +2346,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-122126-5f017e-bad_kfree.c ++++ /tmp/cocci-output-37951-a406b6-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -2323,7 +2359,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-122126-c84f58-bad_ptr_print.c ++++ /tmp/cocci-output-37951-916888-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -2333,7 +2369,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-122126-dc70d1-bad_typedef.c ++++ /tmp/cocci-output-37951-3a9286-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -2353,7 +2389,7 @@ badcfg.res diff = --- tests/badcfg.c -+++ /tmp/cocci-output-122126-29cd56-badcfg.c ++++ /tmp/cocci-output-37951-7b546d-badcfg.c @@ -3,7 +3,7 @@ const char *netdev_cmd_to_name(enum netd #define N(val) \ case NETDEV_##val: \ @@ -2366,7 +2402,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-122126-23fada-badexp.c ++++ /tmp/cocci-output-37951-0bbb1d-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -2376,7 +2412,7 @@ badpos.res diff = --- tests/badpos.c -+++ /tmp/cocci-output-122126-443ff0-badpos.c ++++ /tmp/cocci-output-37951-b18966-badpos.c @@ -1,7 +1,7 @@ static irqreturn_t elmc_interrupt(int irq, void *dev_id, struct sger_tp *orig_reg_ptr) @@ -2390,7 +2426,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-122126-e1ea33-badtypedef.c ++++ /tmp/cocci-output-37951-fd785e-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -2404,7 +2440,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-122126-239329-badwhen.c ++++ /tmp/cocci-output-37951-8012a1-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -2416,7 +2452,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-122126-05df85-badzero.c ++++ /tmp/cocci-output-37951-5c2e57-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -2433,7 +2469,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-122126-fb7fd0-befS.c ++++ /tmp/cocci-output-37951-200c52-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -2472,7 +2508,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-122126-e115f6-before.c ++++ /tmp/cocci-output-37951-e59354-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -2483,7 +2519,7 @@ befored.res diff = --- tests/befored.c -+++ /tmp/cocci-output-122126-9cae3d-befored.c ++++ /tmp/cocci-output-37951-c074d7-befored.c @@ -1,4 +1,8 @@ int main() { + foo(); @@ -2498,7 +2534,7 @@ SPECIAL NAMES: adding GTypeInfo as a type diff = --- tests/ben.c -+++ /tmp/cocci-output-122126-9b4dc1-ben.c ++++ /tmp/cocci-output-37951-b9d9c7-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -2538,7 +2574,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-122126-87c96f-bigin.c ++++ /tmp/cocci-output-37951-497273-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -2549,7 +2585,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-122126-d90e06-bigrepl.c ++++ /tmp/cocci-output-37951-68cd0a-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -2566,7 +2602,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-122126-8b4862-binop.c ++++ /tmp/cocci-output-37951-a55a98-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -2587,7 +2623,7 @@ warning: rule starting on line 11: metavariable v not used in the - or context code diff = --- tests/bitfield.c -+++ /tmp/cocci-output-122126-833782-bitfield.c ++++ /tmp/cocci-output-37951-96f143-bitfield.c @@ -1,15 +1,15 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -2620,7 +2656,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-122126-44cad1-boolr.c ++++ /tmp/cocci-output-37951-171321-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -2629,7 +2665,7 @@ bracebraceline.res diff = --- tests/bracebraceline.c -+++ /tmp/cocci-output-122126-4abdbc-bracebraceline.c ++++ /tmp/cocci-output-37951-41f6f4-bracebraceline.c @@ -1,6 +1,5 @@ int main () { if (x) { @@ -2641,7 +2677,7 @@ braceline.res diff = --- tests/braceline.c -+++ /tmp/cocci-output-122126-c5d5e2-braceline.c ++++ /tmp/cocci-output-37951-b349bb-braceline.c @@ -1,6 +1,3 @@ int main () { - if (x) { @@ -2653,7 +2689,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-122126-3ba112-braces.c ++++ /tmp/cocci-output-37951-20d0b1-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -2671,7 +2707,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-122126-370f65-branchparen.c ++++ /tmp/cocci-output-37951-789a4a-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -2688,7 +2724,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-122126-7ae863-break.c ++++ /tmp/cocci-output-37951-a1d5a1-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -2716,7 +2752,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-122126-3ca3a1-bug1.c ++++ /tmp/cocci-output-37951-00e562-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, @@ -2729,7 +2765,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-122126-5a4b9c-bugon.c ++++ /tmp/cocci-output-37951-1c91f2-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -2740,7 +2776,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-122126-b62f05-bus.c ++++ /tmp/cocci-output-37951-4d0fa7-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -2753,7 +2789,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/cards.c -+++ /tmp/cocci-output-122126-016d37-cards.c ++++ /tmp/cocci-output-37951-a23149-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -2762,7 +2798,7 @@ caseprint.res diff = --- tests/caseprint.c -+++ /tmp/cocci-output-122126-1d5cd3-caseprint.c ++++ /tmp/cocci-output-37951-bf0ff7-caseprint.c @@ -3,4 +3,10 @@ int f() { case 12: return 0; case 1: return 2; @@ -2777,7 +2813,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-122126-73ee40-cast.c ++++ /tmp/cocci-output-37951-9b03fc-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -2785,7 +2821,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-122126-370854-cast_iso.c ++++ /tmp/cocci-output-37951-729cd0-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -2798,7 +2834,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-122126-5daabe-castdecl.c ++++ /tmp/cocci-output-37951-10b8cb-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -2817,7 +2853,7 @@ cex_snip_field_ok.res diff = --- tests/cex_snip_field_ok.c -+++ /tmp/cocci-output-122126-612ea9-cex_snip_field_ok.c ++++ /tmp/cocci-output-37951-4579db-cex_snip_field_ok.c @@ -1,2 +1,7 @@ -struct str_t { int f1; int f2; int a; int b; }; +struct str_t { int a; }; @@ -2830,7 +2866,7 @@ cex_wishlist_complex1.res diff = --- tests/cex_wishlist_complex1.c -+++ /tmp/cocci-output-122126-dbd817-cex_wishlist_complex1.c ++++ /tmp/cocci-output-37951-e3de61-cex_wishlist_complex1.c @@ -1,6 +1,6 @@ #include int main() { @@ -2842,7 +2878,7 @@ cex_wishlist_complex2.res diff = --- tests/cex_wishlist_complex2.c -+++ /tmp/cocci-output-122126-ac7a8c-cex_wishlist_complex2.c ++++ /tmp/cocci-output-37951-92f49b-cex_wishlist_complex2.c @@ -2,7 +2,7 @@ int main() { double d; @@ -2855,7 +2891,7 @@ cex_wishlist_complex3.res diff = --- tests/cex_wishlist_complex3.c -+++ /tmp/cocci-output-122126-220d08-cex_wishlist_complex3.c ++++ /tmp/cocci-output-37951-2074de-cex_wishlist_complex3.c @@ -2,7 +2,7 @@ int main() { double d; @@ -2869,7 +2905,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-122126-e3de70-change.c ++++ /tmp/cocci-output-37951-93fea8-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -2879,14 +2915,14 @@ } change_pragma.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_c9dea5.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_c9dea5.ml +ocamlc -c /tmp/ocaml_cocci_73b485.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_73b485.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function change_type.res diff = --- tests/change_type.c -+++ /tmp/cocci-output-122126-609b4b-change_type.c ++++ /tmp/cocci-output-37951-952234-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -2898,7 +2934,7 @@ cocci_args.res diff = --- tests/cocci_args.c -+++ /tmp/cocci-output-122126-04e4cf-cocci_args.c ++++ /tmp/cocci-output-37951-917554-cocci_args.c @@ -1,3 +1,3 @@ int main () { - f(); @@ -2907,7 +2943,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-122126-f89ee7-com.c ++++ /tmp/cocci-output-37951-9b1e42-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -2920,7 +2956,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-122126-23b38c-comadd.c ++++ /tmp/cocci-output-37951-478d93-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -2930,7 +2966,7 @@ comj.res diff = --- tests/comj.c -+++ /tmp/cocci-output-122126-fd2347-comj.c ++++ /tmp/cocci-output-37951-b6767a-comj.c @@ -2,6 +2,8 @@ int foo(int bar) { int i, j; @@ -2942,12 +2978,12 @@ return j; comma.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_6ff2de.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6ff2de.ml +ocamlc -c /tmp/ocaml_cocci_f4476b.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_f4476b.ml Compilation OK! Loading ML code of the SP... diff = --- tests/comma.c -+++ /tmp/cocci-output-122126-0af34a-comma.c ++++ /tmp/cocci-output-37951-d56bec-comma.c @@ -3,9 +3,9 @@ show_cpuinfo (struct seq_file *m, void * { for (i = 0; i < ARRAY_SIZE(feature_bits) && size > 1; ++i) { @@ -2963,7 +2999,7 @@ comma_call.res diff = --- tests/comma_call.c -+++ /tmp/cocci-output-122126-6069f1-comma_call.c ++++ /tmp/cocci-output-37951-ac805f-comma_call.c @@ -1,10 +1,13 @@ int main() { - if (x) @@ -2985,7 +3021,7 @@ comma_if.res diff = --- tests/comma_if.c -+++ /tmp/cocci-output-122126-d8a1da-comma_if.c ++++ /tmp/cocci-output-37951-a4e8ef-comma_if.c @@ -1,13 +1,19 @@ int main() { - if (uffdio_zeropage.zeropage == -EEXIST) @@ -3015,7 +3051,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-122126-46b490-comment_brace.c ++++ /tmp/cocci-output-37951-0b1918-comment_brace.c @@ -1,7 +1,10 @@ int main () { @@ -3030,7 +3066,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-122126-b6add2-comment_brace2.c ++++ /tmp/cocci-output-37951-08607a-comment_brace2.c @@ -1,7 +1,10 @@ int main () { @@ -3044,8 +3080,8 @@ comment_line.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_a3ce30.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a3ce30.ml -File "/tmp/ocaml_cocci_a3ce30.ml", line 31, characters 4-5: +ocamlc -c /tmp/ocaml_cocci_7c700c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_7c700c.ml +File "/tmp/ocaml_cocci_7c700c.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. @@ -3055,7 +3091,7 @@ 1 diff = --- tests/comment_line.c -+++ /tmp/cocci-output-122126-5361f8-comment_line.c ++++ /tmp/cocci-output-37951-ecd43b-comment_line.c @@ -1,11 +1,9 @@ int main() { before(); @@ -3070,8 +3106,8 @@ } comment_middle.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_7fa6c2.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_7fa6c2.ml -File "/tmp/ocaml_cocci_7fa6c2.ml", line 30, characters 5-6: +ocamlc -c /tmp/ocaml_cocci_686cc0.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_686cc0.ml +File "/tmp/ocaml_cocci_686cc0.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. @@ -3079,7 +3115,7 @@ Loading ML code of the SP... diff = --- tests/comment_middle.c -+++ /tmp/cocci-output-122126-6338ff-comment_middle.c ++++ /tmp/cocci-output-37951-804a50-comment_middle.c @@ -5,5 +5,4 @@ struct i { }; @@ -3091,7 +3127,7 @@ commentend.res diff = --- tests/commentend.c -+++ /tmp/cocci-output-122126-f85c2a-commentend.c ++++ /tmp/cocci-output-37951-4de547-commentend.c @@ -1,5 +1,4 @@ int main () { foo(); @@ -3101,7 +3137,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-122126-c9f122-comments.c ++++ /tmp/cocci-output-37951-de681f-comments.c @@ -1,5 +1,16 @@ int main() { @@ -3123,7 +3159,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/compare.c -+++ /tmp/cocci-output-122126-be515f-compare.c ++++ /tmp/cocci-output-37951-60a350-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -3137,7 +3173,7 @@ compare_const.res diff = --- tests/compare_const.c -+++ /tmp/cocci-output-122126-b7a2d1-compare_const.c ++++ /tmp/cocci-output-37951-83604a-compare_const.c @@ -1,3 +1,3 @@ int main () { - return 0 == x; @@ -3146,7 +3182,7 @@ compare_const2.res diff = --- tests/compare_const2.c -+++ /tmp/cocci-output-122126-092dec-compare_const2.c ++++ /tmp/cocci-output-37951-9c5356-compare_const2.c @@ -1,6 +1,6 @@ int main () { // int i,o; @@ -3159,7 +3195,7 @@ comreturn.res diff = --- tests/comreturn.c -+++ /tmp/cocci-output-122126-7829bb-comreturn.c ++++ /tmp/cocci-output-37951-0ec80c-comreturn.c @@ -1,10 +1,14 @@ int main() { a(); @@ -3178,7 +3214,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-122126-d5dbe5-condexp.c ++++ /tmp/cocci-output-37951-4d5ff0-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -3191,7 +3227,7 @@ const.res diff = --- tests/const.c -+++ /tmp/cocci-output-122126-60c186-const.c ++++ /tmp/cocci-output-37951-32efb3-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -3200,7 +3236,7 @@ const1bis.res diff = --- tests/const1bis.c -+++ /tmp/cocci-output-122126-fcbdb8-const1bis.c ++++ /tmp/cocci-output-37951-b34afb-const1bis.c @@ -1,25 +1,25 @@ void foo(int j) { - const int i; @@ -3236,7 +3272,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-122126-ee908a-const_adding.c ++++ /tmp/cocci-output-37951-56dbb8-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -3248,7 +3284,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-122126-f6c641-const_array.c ++++ /tmp/cocci-output-37951-9d12c7-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -3267,7 +3303,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-122126-8e21ea-const_implicit_iso.c ++++ /tmp/cocci-output-37951-37c44a-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -3277,7 +3313,7 @@ constptr.res diff = --- tests/constptr.c -+++ /tmp/cocci-output-122126-29aa3f-constptr.c ++++ /tmp/cocci-output-37951-3fcfa8-constptr.c @@ -1,7 +1,7 @@ int main() { @@ -3293,7 +3329,7 @@ constraints.res diff = --- tests/constraints.c -+++ /tmp/cocci-output-122126-6c7c2d-constraints.c ++++ /tmp/cocci-output-37951-680f75-constraints.c @@ -1,23 +1,23 @@ void f() @@ -3327,7 +3363,7 @@ constrem.res diff = --- tests/constrem.c -+++ /tmp/cocci-output-122126-5d1881-constrem.c ++++ /tmp/cocci-output-37951-d38d0f-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -3335,7 +3371,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-122126-f655ce-constructor.c ++++ /tmp/cocci-output-37951-ae581c-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -3347,7 +3383,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-122126-e832db-constty.c ++++ /tmp/cocci-output-37951-285b6a-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -3359,7 +3395,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-122126-a80df1-constx.c ++++ /tmp/cocci-output-37951-29370d-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -3376,7 +3412,7 @@ } countcalls.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_81316c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_81316c.ml +ocamlc -c /tmp/ocaml_cocci_da59e5.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_da59e5.ml Compilation OK! Loading ML code of the SP... countcalls_python.res @@ -3384,14 +3420,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-122126-7d607f-cptr.c ++++ /tmp/cocci-output-37951-431943-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char * const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-122126-8ffad4-cr.c ++++ /tmp/cocci-output-37951-ba2b1e-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -3407,7 +3443,7 @@ warning: rule starting on line 1, node 39: }2[1,2,7,8] in probe_base_port may be inconsistently modified warning: rule starting on line 1, node 20: if[1,2,7,8,9] in probe_base_port may be inconsistently modified --- tests/cr1a.c -+++ /tmp/cocci-output-122126-d310eb-cr1a.c ++++ /tmp/cocci-output-37951-b0ec5c-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -3432,7 +3468,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-122126-a95527-cs_check.c ++++ /tmp/cocci-output-37951-afdb27-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -3445,7 +3481,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-122126-35b547-cst.c ++++ /tmp/cocci-output-37951-167573-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -3456,7 +3492,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-122126-de9bfe-cst_null.c ++++ /tmp/cocci-output-37951-97fa6e-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -3492,12 +3528,12 @@ vb->magic = MAGIC_BUFFER; cstr.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_26d4a9.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_26d4a9.ml +ocamlc -c /tmp/ocaml_cocci_94b4e9.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_94b4e9.ml Compilation OK! Loading ML code of the SP... diff = --- tests/cstr.c -+++ /tmp/cocci-output-122126-047712-cstr.c ++++ /tmp/cocci-output-37951-4b120c-cstr.c @@ -1,4 +1,8 @@ int main() { f(1,2,1,2,3); @@ -3511,7 +3547,7 @@ warning: line 4: should foo be a metavariable? diff = --- tests/cststr.c -+++ /tmp/cocci-output-122126-623d79-cststr.c ++++ /tmp/cocci-output-37951-834963-cststr.c @@ -1,3 +1,3 @@ int main () { - foo((ptr_t)"blah"); @@ -3521,7 +3557,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-122126-8e6769-csw.c ++++ /tmp/cocci-output-37951-528fd9-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -3540,7 +3576,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-122126-d5f98b-dbg.c ++++ /tmp/cocci-output-37951-2f767e-dbg.c @@ -5,4 +5,6 @@ static inline void alloc_resource(struct if (pr) @@ -3551,7 +3587,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-122126-875ff0-dbg1.c ++++ /tmp/cocci-output-37951-90dea5-dbg1.c @@ -2,4 +2,5 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) { @@ -3561,7 +3597,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-122126-a4775f-dc_close.c ++++ /tmp/cocci-output-37951-c366a3-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -3573,7 +3609,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-122126-5c8c3a-debug.c ++++ /tmp/cocci-output-37951-9920ea-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -3583,7 +3619,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-122126-788ed8-dec.c ++++ /tmp/cocci-output-37951-9713df-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -3595,7 +3631,7 @@ SPECIAL NAMES: adding __cb as a attribute diff = --- tests/decadd.c -+++ /tmp/cocci-output-122126-aa1213-decadd.c ++++ /tmp/cocci-output-37951-560e99-decadd.c @@ -1,3 +1,3 @@ struct x { - DECL(x); @@ -3605,7 +3641,7 @@ decdup2.res diff = --- tests/decdup2.c -+++ /tmp/cocci-output-122126-229030-decdup2.c ++++ /tmp/cocci-output-37951-65bc56-decdup2.c @@ -1,2 +1,3 @@ +int www; BTF_ID_LIST_SINGLE(bpf_ima_inode_hash_btf_ids, struct, inode) @@ -3615,7 +3651,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-122126-248319-decl.c ++++ /tmp/cocci-output-37951-f96bf8-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -3627,7 +3663,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-122126-6ff579-decl2.c ++++ /tmp/cocci-output-37951-ff1bfc-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -3639,7 +3675,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-122126-b71aef-decl_space.c ++++ /tmp/cocci-output-37951-414e18-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -3651,7 +3687,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-122126-cfcf34-decl_star.c ++++ /tmp/cocci-output-37951-0fac00-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -3663,7 +3699,7 @@ declend.res diff = --- tests/declend.c -+++ /tmp/cocci-output-122126-7a6433-declend.c ++++ /tmp/cocci-output-37951-e77289-declend.c @@ -1,6 +1,5 @@ int x; @@ -3674,7 +3710,7 @@ declmeta.res diff = --- tests/declmeta.c -+++ /tmp/cocci-output-122126-202932-declmeta.c ++++ /tmp/cocci-output-37951-ad4f54-declmeta.c @@ -1,7 +1,7 @@ -int b,c; +int c; @@ -3689,13 +3725,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-122126-a99816-defe.c ++++ /tmp/cocci-output-37951-c25c7e-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-122126-40408c-define_exp.c ++++ /tmp/cocci-output-37951-451649-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -3706,7 +3742,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-122126-38c883-define_param.c ++++ /tmp/cocci-output-37951-b5242f-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -3723,7 +3759,7 @@ definedots.res diff = --- tests/definedots.c -+++ /tmp/cocci-output-122126-53b8cb-definedots.c ++++ /tmp/cocci-output-37951-1f3320-definedots.c @@ -1,3 +1,3 @@ -#define a(x,y...) 3 -#define a(x,...) 3 @@ -3734,7 +3770,7 @@ defineinit.res diff = --- tests/defineinit.c -+++ /tmp/cocci-output-122126-403bec-defineinit.c ++++ /tmp/cocci-output-37951-5e5bb9-defineinit.c @@ -1,3 +1,3 @@ #define MYMACRO(adsf) { \ - .foo = (asdf),\ @@ -3744,7 +3780,7 @@ del2.res diff = --- tests/del2.c -+++ /tmp/cocci-output-122126-6657bb-del2.c ++++ /tmp/cocci-output-37951-655c2f-del2.c @@ -4,8 +4,5 @@ int my_test_allocate_components(void) if (result != X_SUCCESS) return result; @@ -3757,7 +3793,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-122126-053f0e-delete_function.c ++++ /tmp/cocci-output-37951-083703-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -3774,7 +3810,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-122126-85a02d-delp.c ++++ /tmp/cocci-output-37951-ee6470-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -3784,7 +3820,7 @@ depfail.res diff = --- tests/depfail.c -+++ /tmp/cocci-output-122126-48f16f-depfail.c ++++ /tmp/cocci-output-37951-1aa09e-depfail.c @@ -1,5 +1,4 @@ int main(void) { @@ -3794,7 +3830,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-122126-21340e-deref.c ++++ /tmp/cocci-output-37951-149401-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -3807,7 +3843,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-122126-ccfb76-destroy.c ++++ /tmp/cocci-output-37951-ebbd15-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -3825,7 +3861,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/detect_cast_attr.c -+++ /tmp/cocci-output-122126-e23a00-detect_cast_attr.c ++++ /tmp/cocci-output-37951-8727b0-detect_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -3847,7 +3883,7 @@ SPECIAL NAMES: adding __macro_attr2 as a attribute SPECIAL NAMES: adding check_attr as a type Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_99fcfc.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_99fcfc.ml +ocamlc -c /tmp/ocaml_cocci_13d583.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_13d583.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been @@ -3862,7 +3898,7 @@ Loading ML code of the SP... diff = --- tests/detect_macrodecl_attr.c -+++ /tmp/cocci-output-122126-6b8bc8-detect_macrodecl_attr.c ++++ /tmp/cocci-output-37951-84a07f-detect_macrodecl_attr.c @@ -1,7 +1,5 @@ #define __macro_attr MACROANNOTATION @@ -3877,7 +3913,7 @@ SPECIAL NAMES: adding __attr as a attribute diff = --- tests/detect_param_attr.c -+++ /tmp/cocci-output-122126-2ebf76-detect_param_attr.c ++++ /tmp/cocci-output-37951-af61d2-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) { @@ -3898,7 +3934,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/detect_struct_endattr.c -+++ /tmp/cocci-output-122126-e686a5-detect_struct_endattr.c ++++ /tmp/cocci-output-37951-46e4b5-detect_struct_endattr.c @@ -2,7 +2,6 @@ struct abcd { @@ -3910,7 +3946,7 @@ detect_struct_gccattr.res diff = --- tests/detect_struct_gccattr.c -+++ /tmp/cocci-output-122126-b537b9-detect_struct_gccattr.c ++++ /tmp/cocci-output-37951-730d2a-detect_struct_gccattr.c @@ -1,18 +1,15 @@ struct abcd { int a; @@ -3954,7 +3990,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/devlink.c -+++ /tmp/cocci-output-122126-06c2bc-devlink.c ++++ /tmp/cocci-output-37951-21f438-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -3980,7 +4016,7 @@ SPECIAL NAMES: adding DISJ_DECLARER0 as a declarer diff = --- tests/disj.c -+++ /tmp/cocci-output-122126-d6f678-disj.c ++++ /tmp/cocci-output-37951-f00f00-disj.c @@ -1,31 +1,31 @@ void f() { int disj_id0; @@ -4032,7 +4068,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-122126-e0a0e4-disjexpr.c ++++ /tmp/cocci-output-37951-390a26-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -4041,7 +4077,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-122126-18e16c-disjexpr_ver1.c ++++ /tmp/cocci-output-37951-0ce948-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -4050,7 +4086,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-122126-a29f72-disjexpr_ver2.c ++++ /tmp/cocci-output-37951-bff762-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -4059,7 +4095,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-122126-7be868-disjid.c ++++ /tmp/cocci-output-37951-dda46b-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -4073,7 +4109,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-122126-db278c-distribute.c ++++ /tmp/cocci-output-37951-24840a-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -4083,7 +4119,7 @@ dotcall.res diff = --- tests/dotcall.c -+++ /tmp/cocci-output-122126-743d26-dotcall.c ++++ /tmp/cocci-output-37951-7cc6ae-dotcall.c @@ -1,3 +1,2 @@ int main() { - xxx.foobar(); @@ -4091,7 +4127,7 @@ dots_comma.res diff = --- tests/dots_comma.c -+++ /tmp/cocci-output-122126-179a93-dots_comma.c ++++ /tmp/cocci-output-37951-58f23a-dots_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -4101,7 +4137,7 @@ dots_in_block_remove.res diff = --- tests/dots_in_block_remove.c -+++ /tmp/cocci-output-122126-8e75f8-dots_in_block_remove.c ++++ /tmp/cocci-output-37951-413201-dots_in_block_remove.c @@ -1,10 +1,3 @@ int main() { @@ -4116,7 +4152,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-122126-a87c01-double.c ++++ /tmp/cocci-output-37951-c21260-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))) { @@ -4127,7 +4163,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-122126-2911a8-double_assign.c ++++ /tmp/cocci-output-37951-a6bc63-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -4138,7 +4174,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-122126-4b5adb-double_lines.c ++++ /tmp/cocci-output-37951-857eb8-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -4151,7 +4187,7 @@ doubleconst.res diff = --- tests/doubleconst.c -+++ /tmp/cocci-output-122126-644c6d-doubleconst.c ++++ /tmp/cocci-output-37951-fc8bb9-doubleconst.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -4160,7 +4196,7 @@ doubleconst2.res diff = --- tests/doubleconst2.c -+++ /tmp/cocci-output-122126-31f1d2-doubleconst2.c ++++ /tmp/cocci-output-37951-a334e6-doubleconst2.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -4169,7 +4205,7 @@ doubleconst4.res diff = --- tests/doubleconst4.c -+++ /tmp/cocci-output-122126-98e368-doubleconst4.c ++++ /tmp/cocci-output-37951-cd5b6e-doubleconst4.c @@ -1,3 +1,3 @@ int main () { - char const* const ccpc = &const_obj; @@ -4178,7 +4214,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-122126-e62057-doublepos.c ++++ /tmp/cocci-output-37951-978b2a-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -4188,7 +4224,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-122126-462a22-doubleswitch.c ++++ /tmp/cocci-output-37951-aeb2ed-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; @@ -4201,7 +4237,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-122126-e5c7da-doundo.c ++++ /tmp/cocci-output-37951-640ef0-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -4212,7 +4248,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-122126-236d13-dowhile.c ++++ /tmp/cocci-output-37951-45216d-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -4224,7 +4260,7 @@ dowhile_4.res diff = --- tests/dowhile_4.c -+++ /tmp/cocci-output-122126-f46a1d-dowhile_4.c ++++ /tmp/cocci-output-37951-114de5-dowhile_4.c @@ -2,5 +2,4 @@ int fun() { do { printf("dummy message"); @@ -4239,7 +4275,7 @@ warning: nested, node 21: statement[1,2,4,5,7,8,9] in fun may be inconsistently modified warning: nested, node 20: {3[1,2,4,5,7,8] in fun may be inconsistently modified --- tests/dowhile_for_complex.c -+++ /tmp/cocci-output-122126-bd4b37-dowhile_for_complex.c ++++ /tmp/cocci-output-37951-0b217a-dowhile_for_complex.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -4258,7 +4294,7 @@ warning: nested, node 16: do[1,2,4,5,7]* in fun may be inconsistently modified warning: nested, node 24: }3[1,2,4,5,7,8] in fun may be inconsistently modified --- tests/dowhile_nested.c -+++ /tmp/cocci-output-122126-767363-dowhile_nested.c ++++ /tmp/cocci-output-37951-8d93f6-dowhile_nested.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -4272,7 +4308,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-122126-f7b68d-dropbr.c ++++ /tmp/cocci-output-37951-efe424-dropbr.c @@ -1,5 +1,4 @@ int main () { - if (a) { @@ -4284,7 +4320,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-122126-eee17a-dropcom.c ++++ /tmp/cocci-output-37951-c44586-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -4299,7 +4335,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-122126-156aa1-dropenderr.c ++++ /tmp/cocci-output-37951-232110-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -4314,7 +4350,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-122126-b16dee-dropf.c ++++ /tmp/cocci-output-37951-7288ff-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -4323,7 +4359,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-122126-abe1a6-dropparam.c ++++ /tmp/cocci-output-37951-724b08-dropparam.c @@ -2,11 +2,11 @@ int f(char *x, int y, char* z) { return; } @@ -4341,7 +4377,7 @@ dtest.res diff = --- tests/dtest.c -+++ /tmp/cocci-output-122126-aac1aa-dtest.c ++++ /tmp/cocci-output-37951-e1c82c-dtest.c @@ -1,5 +1,5 @@ int main() { struct sk_buff *e; @@ -4353,7 +4389,7 @@ SPECIAL NAMES: adding Packet as a type diff = --- tests/eb1.c -+++ /tmp/cocci-output-122126-5615de-eb1.c ++++ /tmp/cocci-output-37951-8ddba8-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -4372,7 +4408,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-122126-806de9-edots.c ++++ /tmp/cocci-output-37951-2c9c58-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -4385,7 +4421,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-122126-743392-edots_ver1.c ++++ /tmp/cocci-output-37951-50f1a1-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -4400,7 +4436,7 @@ efi3.res diff = --- tests/efi3.c -+++ /tmp/cocci-output-122126-5993f7-efi3.c ++++ /tmp/cocci-output-37951-399693-efi3.c @@ -6,6 +6,6 @@ static efi_status_t virt_efi_get_time(ef goto exit; @@ -4412,7 +4448,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-122126-3b5463-elsify.c ++++ /tmp/cocci-output-37951-dcf73c-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -4426,7 +4462,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-122126-dcfc01-empty.c ++++ /tmp/cocci-output-37951-a7786e-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -4439,7 +4475,7 @@ SPECIAL NAMES: adding autofree as a attribute diff = --- tests/end_attr.c -+++ /tmp/cocci-output-122126-7679a6-end_attr.c ++++ /tmp/cocci-output-37951-38896c-end_attr.c @@ -1,10 +1,12 @@ int main() { - struct foo x autofree; @@ -4458,7 +4494,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-122126-920510-end_commas.c ++++ /tmp/cocci-output-37951-2b73dd-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -4474,7 +4510,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-122126-68c412-endif.c ++++ /tmp/cocci-output-37951-23976a-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -4502,7 +4538,7 @@ endmodif.res diff = --- tests/endmodif.c -+++ /tmp/cocci-output-122126-e7e2fa-endmodif.c ++++ /tmp/cocci-output-37951-8f93c6-endmodif.c @@ -1,11 +1,12 @@ -void f(void) + @@ -4546,7 +4582,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-122126-d023ed-endnl.c ++++ /tmp/cocci-output-37951-b46104-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -4587,12 +4623,12 @@ endpos.res warning: s: metavariable p not used in the - or context code Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_a1150d.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a1150d.ml +ocamlc -c /tmp/ocaml_cocci_f1156e.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_f1156e.ml Compilation OK! Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-122126-dedcfd-endpos.c ++++ /tmp/cocci-output-37951-b464ed-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -4611,7 +4647,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-122126-fe8243-enum.c ++++ /tmp/cocci-output-37951-8da11f-enum.c @@ -5,5 +5,5 @@ typedef enum static reg_errcode_t regex_compile () @@ -4622,7 +4658,7 @@ enum_assign.res diff = --- tests/enum_assign.c -+++ /tmp/cocci-output-122126-cfe070-enum_assign.c ++++ /tmp/cocci-output-37951-ab83be-enum_assign.c @@ -1,6 +1,7 @@ enum h { - a = 0, @@ -4636,27 +4672,27 @@ enumcast.res diff = --- tests/enumcast.c -+++ /tmp/cocci-output-122126-73ab17-enumcast.c ++++ /tmp/cocci-output-37951-885c1d-enumcast.c @@ -1 +1,2 @@ +enum{x = (int)1, }; int main() { return 12; } enumdots.res diff = --- tests/enumdots.c -+++ /tmp/cocci-output-122126-3cf5c1-enumdots.c ++++ /tmp/cocci-output-37951-3133c9-enumdots.c @@ -1,3 +1,2 @@ enum binder_work_type { - BINDER_WORK_TRANSACTION = 12, } t; exitc.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_51bbed.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_51bbed.ml +ocamlc -c /tmp/ocaml_cocci_094db2.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_094db2.ml Compilation OK! Loading ML code of the SP... Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-122126-0b9f82-exitc.c ++++ /tmp/cocci-output-37951-f74f93-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -4673,7 +4709,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-122126-0c0301-exp.c ++++ /tmp/cocci-output-37951-42c2de-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -4696,7 +4732,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-122126-98b308-expnest.c ++++ /tmp/cocci-output-37951-534cd0-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -4707,7 +4743,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-122126-9e8eee-expopt.c ++++ /tmp/cocci-output-37951-b7e209-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -4718,7 +4754,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-122126-e16af5-expopt2.c ++++ /tmp/cocci-output-37951-d351e5-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -4729,7 +4765,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-122126-51ceea-expopt3.c ++++ /tmp/cocci-output-37951-bb27ef-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4741,7 +4777,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-122126-0e743d-expopt3_ver1.c ++++ /tmp/cocci-output-37951-7818d4-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4754,7 +4790,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-122126-badbc0-expopt3_ver2.c ++++ /tmp/cocci-output-37951-1722bd-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4766,7 +4802,7 @@ exprlist_comma.res diff = --- tests/exprlist_comma.c -+++ /tmp/cocci-output-122126-12eb12-exprlist_comma.c ++++ /tmp/cocci-output-37951-986d8f-exprlist_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -4776,7 +4812,7 @@ exprun.res diff = --- tests/exprun.c -+++ /tmp/cocci-output-122126-c53abd-exprun.c ++++ /tmp/cocci-output-37951-023596-exprun.c @@ -8,37 +8,50 @@ static void ice_dump_common_caps(struct ice_hw *hw, struct ice_hw_common_caps *caps, char const *prefix) @@ -4857,12 +4893,12 @@ ice_info(hw, "%s: wr_csr_prot = 0x%llX\n", prefix, extra.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_b2068c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_b2068c.ml +ocamlc -c /tmp/ocaml_cocci_824d17.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_824d17.ml Compilation OK! Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-122126-25fa3d-extra.c ++++ /tmp/cocci-output-37951-ad38af-extra.c @@ -1,12 +1,25 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -4894,7 +4930,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-122126-4cb624-failing_andany.c ++++ /tmp/cocci-output-37951-49f582-failing_andany.c @@ -1,13 +1,9 @@ static int smc_probe1(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -4912,7 +4948,7 @@ far.res diff = --- tests/far.c -+++ /tmp/cocci-output-122126-1710d6-far.c ++++ /tmp/cocci-output-37951-9eb6ed-far.c @@ -1,7 +1,7 @@ int main(void) { @@ -4928,7 +4964,7 @@ SPECIAL NAMES: adding __counted_by as a attribute diff = --- tests/far2.c -+++ /tmp/cocci-output-122126-8cac03-far2.c ++++ /tmp/cocci-output-37951-284e8e-far2.c @@ -1,4 +1,4 @@ struct foo { size_t element_count; @@ -4938,7 +4974,7 @@ fields.res diff = --- tests/fields.c -+++ /tmp/cocci-output-122126-87c76e-fields.c ++++ /tmp/cocci-output-37951-14f5d1-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -4951,7 +4987,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-122126-ef128a-fieldsmin.c ++++ /tmp/cocci-output-37951-b882c3-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -4960,13 +4996,13 @@ }; finalize_only.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_37b345.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_37b345.ml +ocamlc -c /tmp/ocaml_cocci_522b0c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_522b0c.ml Compilation OK! Loading ML code of the SP... find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-122126-fea44e-find_long.c ++++ /tmp/cocci-output-37951-05d9c5-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -4981,7 +5017,7 @@ finish.res diff = --- tests/finish.c -+++ /tmp/cocci-output-122126-daea7d-finish.c ++++ /tmp/cocci-output-37951-b60658-finish.c @@ -1,14 +1,7 @@ void ieee80211_color_change_finish(struct ieee80211_vif *vif, u8 link_id) { @@ -5001,7 +5037,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-122126-4c5bf2-fix_flow_need.c ++++ /tmp/cocci-output-37951-2bc87f-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -5013,7 +5049,7 @@ flex.res diff = --- tests/flex.c -+++ /tmp/cocci-output-122126-bba35a-flex.c ++++ /tmp/cocci-output-37951-e68c3a-flex.c @@ -3,5 +3,5 @@ struct scmi_msg_resp_sensor_description struct { #define SENSOR_UPDATE_BASE(x) 3 @@ -5024,7 +5060,7 @@ fltst.res diff = --- tests/fltst.c -+++ /tmp/cocci-output-122126-99067b-fltst.c ++++ /tmp/cocci-output-37951-c23349-fltst.c @@ -1,3 +1,3 @@ double aaa() { - return one + two; @@ -5033,7 +5069,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-122126-67c916-fn_todo.c ++++ /tmp/cocci-output-37951-f44dee-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; @@ -5045,7 +5081,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-122126-f5a574-fnptr.c ++++ /tmp/cocci-output-37951-c57b5f-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, @@ -5057,14 +5093,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-122126-f65d75-fnret.c ++++ /tmp/cocci-output-37951-1bc119-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-122126-c9e506-fnty.c ++++ /tmp/cocci-output-37951-29b945-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -5074,14 +5110,14 @@ fntypedef.res diff = --- tests/fntypedef.c -+++ /tmp/cocci-output-122126-f9f78d-fntypedef.c ++++ /tmp/cocci-output-37951-62a73a-fntypedef.c @@ -1 +1 @@ -typedef void (*toto_t)(int a, int b); +typedef void(*toto_t)(int a, int b, int c); for3.res diff = --- tests/for3.c -+++ /tmp/cocci-output-122126-65a520-for3.c ++++ /tmp/cocci-output-37951-1ffe74-for3.c @@ -1,4 +1,4 @@ int main () { - for(i=0; i!=10; i++) @@ -5091,7 +5127,7 @@ fordots.res diff = --- tests/fordots.c -+++ /tmp/cocci-output-122126-743a6a-fordots.c ++++ /tmp/cocci-output-37951-462112-fordots.c @@ -1,4 +1,2 @@ int main () { - for(int i = 0; i != 12; i++) a = 2; @@ -5100,7 +5136,7 @@ format.res diff = --- tests/format.c -+++ /tmp/cocci-output-122126-5cf3b3-format.c ++++ /tmp/cocci-output-37951-8e280f-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -5111,14 +5147,14 @@ } format2.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_b3807e.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_b3807e.ml +ocamlc -c /tmp/ocaml_cocci_99bc5c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_99bc5c.ml Compilation OK! Loading ML code of the SP... diff = format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-122126-bf8571-format2.c ++++ /tmp/cocci-output-37951-d7fd5c-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -5127,7 +5163,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-122126-fcd5ff-formatlist.c ++++ /tmp/cocci-output-37951-e821c1-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -5145,7 +5181,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-122126-5292df-fortest.c ++++ /tmp/cocci-output-37951-c20c21-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -5185,7 +5221,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-122126-75bda9-fortype.c ++++ /tmp/cocci-output-37951-3c063d-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -5196,7 +5232,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-122126-87f6c5-four.c ++++ /tmp/cocci-output-37951-08c795-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -5206,7 +5242,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-122126-855660-foura.c ++++ /tmp/cocci-output-37951-a4142b-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -5216,19 +5252,19 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-122126-9615f2-fp.c ++++ /tmp/cocci-output-37951-be8034-fp.c @@ -1,3 +1,2 @@ int main(int (*x)(int,int)) { - x(); } fptr.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_e52ba6.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e52ba6.ml +ocamlc -c /tmp/ocaml_cocci_dddc23.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_dddc23.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr.c -+++ /tmp/cocci-output-122126-0b6d9d-fptr.c ++++ /tmp/cocci-output-37951-3973a4-fptr.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -5239,12 +5275,12 @@ fptr2.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_d42596.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d42596.ml +ocamlc -c /tmp/ocaml_cocci_5289ab.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5289ab.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr2.c -+++ /tmp/cocci-output-122126-ca317f-fptr2.c ++++ /tmp/cocci-output-37951-cfbbc8-fptr2.c @@ -1,7 +1,7 @@ int foo(int c, int d) { return 0; } @@ -5258,7 +5294,7 @@ fptr3.res diff = --- tests/fptr3.c -+++ /tmp/cocci-output-122126-83f8a9-fptr3.c ++++ /tmp/cocci-output-37951-ab0e29-fptr3.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -5269,7 +5305,7 @@ fresh_id_script.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_2d96fd.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_2d96fd.ml +ocamlc -c /tmp/ocaml_cocci_38ce07.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_38ce07.ml File "tests/fresh_id_script.cocci", line 37, characters 4-5: Warning 26 [unused-var]: unused variable i. Compilation OK! @@ -5278,7 +5314,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-122126-ae2e33-fsh.c ++++ /tmp/cocci-output-37951-ee3999-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -5289,7 +5325,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-122126-676de6-fun.c ++++ /tmp/cocci-output-37951-1acc44-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -5298,7 +5334,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-122126-a54ee6-func.c ++++ /tmp/cocci-output-37951-c82b24-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -5312,7 +5348,7 @@ funptr_array.res diff = --- tests/funptr_array.c -+++ /tmp/cocci-output-122126-ace805-funptr_array.c ++++ /tmp/cocci-output-37951-c220cd-funptr_array.c @@ -1 +1 @@ -int (*x[2])(int x); +int (*x[2])(char x); @@ -5356,7 +5392,7 @@ gadget_misc.res diff = --- tests/gadget_misc.c -+++ /tmp/cocci-output-122126-40c2e3-gadget_misc.c ++++ /tmp/cocci-output-37951-d887a7-gadget_misc.c @@ -2,6 +2,5 @@ int main() { if(0) @@ -5370,7 +5406,7 @@ SPECIAL NAMES: adding double3x3 as a type diff = --- tests/gadget_ninelets_typedef.c -+++ /tmp/cocci-output-122126-ff7b6e-gadget_ninelets_typedef.c ++++ /tmp/cocci-output-37951-221f7c-gadget_ninelets_typedef.c @@ -1,21 +1,23 @@ typedef double MyFloat; @@ -5404,7 +5440,7 @@ gadget_remove_mpi_function_calls.res diff = --- tests/gadget_remove_mpi_function_calls.c -+++ /tmp/cocci-output-122126-e69154-gadget_remove_mpi_function_calls.c ++++ /tmp/cocci-output-37951-c2b9a4-gadget_remove_mpi_function_calls.c @@ -2,6 +2,5 @@ int main(int argc, char **argv) { @@ -5415,7 +5451,7 @@ gadget_remove_used_fields.res diff = --- tests/gadget_remove_used_fields.c -+++ /tmp/cocci-output-122126-41ca29-gadget_remove_used_fields.c ++++ /tmp/cocci-output-37951-9d62af-gadget_remove_used_fields.c @@ -1,8 +1,8 @@ -struct particle_data { int i; int j; int k; } * P ; @@ -5453,7 +5489,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_soa_select.c -+++ /tmp/cocci-output-122126-d62e72-gadget_soa_select.c ++++ /tmp/cocci-output-37951-cdd22f-gadget_soa_select.c @@ -1,5 +1,5 @@ struct sph_particle_data_soa_t { - int *Entropy; @@ -5464,7 +5500,7 @@ gadget_sorting_hook.res diff = --- tests/gadget_sorting_hook.c -+++ /tmp/cocci-output-122126-1b0abb-gadget_sorting_hook.c ++++ /tmp/cocci-output-37951-c17693-gadget_sorting_hook.c @@ -18,10 +18,24 @@ void soa_invalidate_aos__particle_data() int main() @@ -5497,7 +5533,7 @@ SPECIAL NAMES: adding MyFloat3 as a type diff = --- tests/gadget_triplets_typedef.c -+++ /tmp/cocci-output-122126-f8daa8-gadget_triplets_typedef.c ++++ /tmp/cocci-output-37951-669c4a-gadget_triplets_typedef.c @@ -3,6 +3,8 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -5526,7 +5562,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_triplets_typedef_ipcc.c -+++ /tmp/cocci-output-122126-4af25e-gadget_triplets_typedef_ipcc.c ++++ /tmp/cocci-output-37951-51cb8d-gadget_triplets_typedef_ipcc.c @@ -3,6 +3,7 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -5547,7 +5583,7 @@ gcc_attr_with_func.res diff = --- tests/gcc_attr_with_func.c -+++ /tmp/cocci-output-122126-8e9ce2-gcc_attr_with_func.c ++++ /tmp/cocci-output-37951-1d2739-gcc_attr_with_func.c @@ -1,8 +1,8 @@ -int __attribute__((always_inline)) func (int a); +int __attribute__((always_inline)) func (); @@ -5584,7 +5620,7 @@ gcc_attr_with_var.res diff = --- tests/gcc_attr_with_var.c -+++ /tmp/cocci-output-122126-dbaa67-gcc_attr_with_var.c ++++ /tmp/cocci-output-37951-b1302d-gcc_attr_with_var.c @@ -1,39 +1,39 @@ -int var1_end __attribute__((myattr1_end)); +int var1_end __attribute__((section(".shared"))); @@ -5643,7 +5679,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-122126-d44850-gcc_min_max.c ++++ /tmp/cocci-output-37951-47bcfa-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -5663,7 +5699,7 @@ SPECIAL NAMES: adding PVOID as a type diff = --- tests/getc.c -+++ /tmp/cocci-output-122126-006f59-getc.c ++++ /tmp/cocci-output-37951-d8044b-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -5673,7 +5709,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-122126-cef6e9-gilles-question.c ++++ /tmp/cocci-output-37951-49af83-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -5687,7 +5723,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-122126-fd4e44-gotobreak.c ++++ /tmp/cocci-output-37951-aca76a-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -5698,7 +5734,7 @@ hashhash.res diff = --- tests/hashhash.c -+++ /tmp/cocci-output-122126-110f85-hashhash.c ++++ /tmp/cocci-output-37951-5f75ff-hashhash.c @@ -1,5 +1,5 @@ #define FOO(x) foo ## x @@ -5711,7 +5747,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-122126-feb7c4-hd.c ++++ /tmp/cocci-output-37951-871e69-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -5720,7 +5756,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-122126-cf86d2-headers.c ++++ /tmp/cocci-output-37951-aa4888-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -5739,7 +5775,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-122126-4d3a92-hex.c ++++ /tmp/cocci-output-37951-7d0b1e-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -5748,7 +5784,7 @@ SPECIAL NAMES: adding FUNC as a initializer ending in a comma diff = --- tests/hil1.c -+++ /tmp/cocci-output-122126-7b3e3f-hil1.c ++++ /tmp/cocci-output-37951-318e28-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -5760,12 +5796,12 @@ exn while in timeout_function id3.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_1c8306.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_1c8306.ml +ocamlc -c /tmp/ocaml_cocci_dbef5a.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_dbef5a.ml Compilation OK! Loading ML code of the SP... diff = --- tests/id3.c -+++ /tmp/cocci-output-122126-941968-id3.c ++++ /tmp/cocci-output-37951-3e419d-id3.c @@ -1,3 +1,3 @@ int foo () { - bar (6); @@ -5775,12 +5811,12 @@ exn while in timeout_function idcon_ocaml.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_79d240.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_79d240.ml +ocamlc -c /tmp/ocaml_cocci_040b50.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_040b50.ml Compilation OK! Loading ML code of the SP... diff = --- tests/idcon_ocaml.c -+++ /tmp/cocci-output-122126-c9b655-idcon_ocaml.c ++++ /tmp/cocci-output-37951-f11d16-idcon_ocaml.c @@ -1,5 +1,5 @@ void f(void) { - g(a); @@ -5794,7 +5830,7 @@ identcall.res diff = --- tests/identcall.c -+++ /tmp/cocci-output-122126-8fa1a7-identcall.c ++++ /tmp/cocci-output-37951-862c2a-identcall.c @@ -1,3 +1,2 @@ int main () { - target += x(); @@ -5802,7 +5838,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-122126-4e353c-idstr.c ++++ /tmp/cocci-output-37951-bace23-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -5812,7 +5848,7 @@ diff = warning: rule starting on line 11, node 19: g(...)[1,2,4,5,6,7,8] in main1 may be inconsistently modified --- tests/if.c -+++ /tmp/cocci-output-122126-733911-if.c ++++ /tmp/cocci-output-37951-210f42-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -5854,7 +5890,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-122126-caba56-ifadd.c ++++ /tmp/cocci-output-37951-7c37d7-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -5869,7 +5905,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-122126-6ab316-ifd.c ++++ /tmp/cocci-output-37951-c0943e-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -5887,7 +5923,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-122126-c94481-ifdef1.c ++++ /tmp/cocci-output-37951-389975-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -5900,7 +5936,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-122126-8f9463-ifdef2.c ++++ /tmp/cocci-output-37951-bea0fc-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -5916,7 +5952,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-122126-8b5797-ifdef3.c ++++ /tmp/cocci-output-37951-2cc613-ifdef3.c @@ -2,6 +2,15 @@ #include #include @@ -5939,7 +5975,7 @@ diff = warning: Exemple4, node 12: statement[1,2,3,4,5] in init_IRQ may be inconsistently modified --- tests/ifdef4.c -+++ /tmp/cocci-output-122126-ad06a8-ifdef4.c ++++ /tmp/cocci-output-37951-06fb76-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -5955,7 +5991,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-122126-e7625b-ifdef5.c ++++ /tmp/cocci-output-37951-ea7018-ifdef5.c @@ -11,3 +11,11 @@ void init_IRQ(void) uselessCall(); } @@ -5971,7 +6007,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-122126-ec68b0-ifdef6.c ++++ /tmp/cocci-output-37951-10e47f-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -5984,7 +6020,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-122126-41f72f-ifdef6a.c ++++ /tmp/cocci-output-37951-6f32df-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -5996,7 +6032,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-122126-cb8b96-ifdefmeta.c ++++ /tmp/cocci-output-37951-4932c0-ifdefmeta.c @@ -1,26 +1,22 @@ int main() { - buf = alloca(3 @@ -6049,7 +6085,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-122126-521d02-ifdefmeta1.c ++++ /tmp/cocci-output-37951-585db1-ifdefmeta1.c @@ -1,17 +1,9 @@ int main() { - buf = alloca(3 @@ -6071,7 +6107,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-122126-87f036-ifdefmeta2.c ++++ /tmp/cocci-output-37951-cdee13-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -6088,7 +6124,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-122126-eb15ab-ifdefmeta3.c ++++ /tmp/cocci-output-37951-96dced-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -6105,7 +6141,7 @@ ifdefmeta4.res diff = --- tests/ifdefmeta4.c -+++ /tmp/cocci-output-122126-178e5f-ifdefmeta4.c ++++ /tmp/cocci-output-37951-924498-ifdefmeta4.c @@ -1,14 +1,12 @@ int main() { - buf = alloca(3 @@ -6129,7 +6165,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-122126-05b093-ifend.c ++++ /tmp/cocci-output-37951-98e443-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -6139,7 +6175,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-122126-2d9748-ifgoto.c ++++ /tmp/cocci-output-37951-465fa2-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -6155,7 +6191,7 @@ SPECIAL NAMES: adding IFaceVtbl as a type diff = --- tests/ifields.c -+++ /tmp/cocci-output-122126-466fcd-ifields.c ++++ /tmp/cocci-output-37951-21e9f6-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -6178,7 +6214,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-122126-591043-ifif.c ++++ /tmp/cocci-output-37951-dc57b8-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -6196,7 +6232,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-122126-a942ba-ifreturn.c ++++ /tmp/cocci-output-37951-796ae1-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -6258,7 +6294,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-122126-fc1b40-ifreturn3.c ++++ /tmp/cocci-output-37951-cf5adc-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -6284,7 +6320,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-122126-d6f967-ifreturn4.c ++++ /tmp/cocci-output-37951-a5e30c-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -6308,7 +6344,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-122126-9995d1-ifreturn6.c ++++ /tmp/cocci-output-37951-857e65-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -6322,7 +6358,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-122126-4b37b4-ifzer.c ++++ /tmp/cocci-output-37951-25defb-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). */ @@ -6333,7 +6369,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-122126-4ec150-ifzz.c ++++ /tmp/cocci-output-37951-5ba33a-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -6349,7 +6385,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-122126-16a707-inc.c ++++ /tmp/cocci-output-37951-f42b41-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -6358,7 +6394,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-122126-880343-incl.c ++++ /tmp/cocci-output-37951-095c4f-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -6371,7 +6407,7 @@ incl2.res diff = --- tests/incl2.c -+++ /tmp/cocci-output-122126-385e11-incl2.c ++++ /tmp/cocci-output-37951-b3dd5d-incl2.c @@ -1,3 +1,4 @@ +#include "beginning.h" #include @@ -6380,7 +6416,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-122126-7952c7-inclifdef.c ++++ /tmp/cocci-output-37951-4b79ce-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -6390,7 +6426,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-122126-1c636b-include.c ++++ /tmp/cocci-output-37951-39c212-include.c @@ -1,8 +1,6 @@ #include @@ -6403,7 +6439,7 @@ incompatible_value.res diff = --- tests/incompatible_value.c -+++ /tmp/cocci-output-122126-2dd665-incompatible_value.c ++++ /tmp/cocci-output-37951-daff55-incompatible_value.c @@ -4,6 +4,6 @@ int main() { } @@ -6420,7 +6456,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-122126-9a78da-inherited.c ++++ /tmp/cocci-output-37951-87e0ce-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -6431,7 +6467,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-122126-685486-inherited_ver1.c ++++ /tmp/cocci-output-37951-414574-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -6447,7 +6483,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-122126-803dc0-inhmet.c ++++ /tmp/cocci-output-37951-ed7910-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -6456,7 +6492,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-122126-9a2f5c-inhpos.c ++++ /tmp/cocci-output-37951-ea5d81-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -6465,7 +6501,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-122126-c2cef8-initializer.c ++++ /tmp/cocci-output-37951-5b535e-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -6481,14 +6517,14 @@ inline.res diff = --- tests/inline.c -+++ /tmp/cocci-output-122126-8f9382-inline.c ++++ /tmp/cocci-output-37951-ef363f-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-122126-b3b9b6-insdef.c ++++ /tmp/cocci-output-37951-9fbadf-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include @@ -6502,7 +6538,7 @@ SPECIAL NAMES: adding u32 as a type diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-122126-d159e7-int2bool-local.c ++++ /tmp/cocci-output-37951-2fd22d-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -6545,7 +6581,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-122126-efc6da-introbrace.c ++++ /tmp/cocci-output-37951-bf3fd6-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -6564,7 +6600,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-122126-f51774-invert.c ++++ /tmp/cocci-output-37951-b229ae-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -6573,7 +6609,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-122126-1f09c1-ip.c ++++ /tmp/cocci-output-37951-997e9b-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -6602,7 +6638,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-122126-8aadf9-ip2.c ++++ /tmp/cocci-output-37951-7accef-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -6627,7 +6663,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-122126-3909a6-isococci.c ++++ /tmp/cocci-output-37951-69a274-isococci.c @@ -1,6 +1,3 @@ void f(int i) { @@ -6640,7 +6676,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-122126-548421-isoif.c ++++ /tmp/cocci-output-37951-d02497-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -6649,7 +6685,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-122126-02b10b-isotest.c ++++ /tmp/cocci-output-37951-cd0800-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -6661,7 +6697,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-122126-cfb6ef-isotest2.c ++++ /tmp/cocci-output-37951-2fe3a0-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -6672,7 +6708,7 @@ iteration.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_0d5847.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_0d5847.ml +ocamlc -c /tmp/ocaml_cocci_434c0f.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_434c0f.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -6681,7 +6717,7 @@ exn while in timeout_function iteration_after_merge.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_86d9f7.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_86d9f7.ml +ocamlc -c /tmp/ocaml_cocci_9bd051.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_9bd051.ml Compilation OK! Loading ML code of the SP... 2 pending new file instances @@ -6692,7 +6728,7 @@ SPECIAL NAMES: adding list_for_each as a iterator diff = --- tests/iterator.c -+++ /tmp/cocci-output-122126-b65685-iterator.c ++++ /tmp/cocci-output-37951-eb1f4e-iterator.c @@ -2,9 +2,5 @@ void pcibios_report_status(u_int status_ { struct list_head *l; @@ -6708,7 +6744,7 @@ SPECIAL NAMES: adding for_each_set_bit as a iterator diff = --- tests/iterprint.c -+++ /tmp/cocci-output-122126-e77519-iterprint.c ++++ /tmp/cocci-output-37951-c7a245-iterprint.c @@ -1,6 +1,4 @@ int main () { - for(bit = 0; bit < size; bit++) { @@ -6723,7 +6759,7 @@ julia10.res diff = --- tests/julia10.c -+++ /tmp/cocci-output-122126-d7fa16-julia10.c ++++ /tmp/cocci-output-37951-efad7b-julia10.c @@ -1,7 +1,5 @@ int main(int x) { f(); @@ -6735,7 +6771,7 @@ julia7.res diff = --- tests/julia7.c -+++ /tmp/cocci-output-122126-d643ad-julia7.c ++++ /tmp/cocci-output-37951-b94250-julia7.c @@ -1,7 +1,6 @@ int main(int x) { foo(); @@ -6748,7 +6784,7 @@ justremove.res diff = --- tests/justremove.c -+++ /tmp/cocci-output-122126-890067-justremove.c ++++ /tmp/cocci-output-37951-47d9e1-justremove.c @@ -1,17 +1,6 @@ int main () { - if (x) { @@ -6770,7 +6806,7 @@ keep_comma.res diff = --- tests/keep_comma.c -+++ /tmp/cocci-output-122126-9c1596-keep_comma.c ++++ /tmp/cocci-output-37951-99fb4d-keep_comma.c @@ -1,4 +1,4 @@ int main () { - foo(); @@ -6780,7 +6816,7 @@ km.res diff = --- tests/km.c -+++ /tmp/cocci-output-122126-b70d0d-km.c ++++ /tmp/cocci-output-37951-30c574-km.c @@ -1,5 +1,4 @@ int main() { - int *data = kmalloc(element->string.length + 1, GFP_KERNEL); @@ -6791,7 +6827,7 @@ kmalloc.res diff = --- tests/kmalloc.c -+++ /tmp/cocci-output-122126-c7318b-kmalloc.c ++++ /tmp/cocci-output-37951-abb308-kmalloc.c @@ -1,9 +1,7 @@ int main() { struct bar *y; @@ -6809,7 +6845,7 @@ warning: r: metavariable S not used in the - or context code diff = --- tests/kmc.c -+++ /tmp/cocci-output-122126-1e0639-kmc.c ++++ /tmp/cocci-output-37951-f131c7-kmc.c @@ -10,5 +10,4 @@ dmabounce_register_dev(struct device *de err_destroy: @@ -6819,7 +6855,7 @@ kmtest4.res diff = --- tests/kmtest4.c -+++ /tmp/cocci-output-122126-5d4e34-kmtest4.c ++++ /tmp/cocci-output-37951-e5adaf-kmtest4.c @@ -1,4 +1,4 @@ int main () { x = kzalloc(3); @@ -6832,7 +6868,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/ktype.c -+++ /tmp/cocci-output-122126-477d32-ktype.c ++++ /tmp/cocci-output-37951-6fe51d-ktype.c @@ -3,8 +3,6 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -6848,7 +6884,7 @@ warning: r: metavariable T not used in the - or context code diff = --- tests/ktype2.c -+++ /tmp/cocci-output-122126-395bf4-ktype2.c ++++ /tmp/cocci-output-37951-3b8ed6-ktype2.c @@ -3,11 +3,8 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -6865,7 +6901,7 @@ labels_metastatement.res diff = --- tests/labels_metastatement.c -+++ /tmp/cocci-output-122126-cbcddb-labels_metastatement.c ++++ /tmp/cocci-output-37951-2ef89c-labels_metastatement.c @@ -1,9 +1,15 @@ int foo(int i) { @@ -6888,7 +6924,7 @@ labels_metastatement_ver1.res diff = --- tests/labels_metastatement_ver1.c -+++ /tmp/cocci-output-122126-598976-labels_metastatement_ver1.c ++++ /tmp/cocci-output-37951-940250-labels_metastatement_ver1.c @@ -1,5 +1,9 @@ int foo(int i) { @@ -6903,7 +6939,7 @@ lessone.res diff = --- tests/lessone.c -+++ /tmp/cocci-output-122126-d813f1-lessone.c ++++ /tmp/cocci-output-37951-6c5d93-lessone.c @@ -1,4 +1,4 @@ int min() { - return 2.56 < 1; @@ -6912,13 +6948,13 @@ lfe.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_5798c5.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5798c5.ml +ocamlc -c /tmp/ocaml_cocci_d8a3ff.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d8a3ff.ml Compilation OK! Loading ML code of the SP... SPECIAL NAMES: adding list_for_each_entry as a iterator diff = --- tests/lfe.c -+++ /tmp/cocci-output-122126-070a0d-lfe.c ++++ /tmp/cocci-output-37951-efd35a-lfe.c @@ -11,13 +11,21 @@ static bool tipc_service_insert_publ(str u32 key = p->key; @@ -6950,7 +6986,7 @@ lid.res diff = --- tests/lid.c -+++ /tmp/cocci-output-122126-19a4dc-lid.c ++++ /tmp/cocci-output-37951-e6bee7-lid.c @@ -1,6 +1,6 @@ int main () { int a; @@ -6962,7 +6998,7 @@ line_before_last.res diff = --- tests/line_before_last.c -+++ /tmp/cocci-output-122126-3bffa4-line_before_last.c ++++ /tmp/cocci-output-37951-47678c-line_before_last.c @@ -1,17 +1,13 @@ int main () { - foo(); @@ -6984,7 +7020,7 @@ lineseq.res diff = --- tests/lineseq.c -+++ /tmp/cocci-output-122126-728a5e-lineseq.c ++++ /tmp/cocci-output-37951-18cd59-lineseq.c @@ -1,6 +1,4 @@ int main () { - one(); @@ -7018,7 +7054,7 @@ warning: line 86: should b be a metavariable? diff = --- tests/list_test.c -+++ /tmp/cocci-output-122126-9db2f0-list_test.c ++++ /tmp/cocci-output-37951-3c1347-list_test.c @@ -1,55 +1,53 @@ int main () { - f(a); @@ -7217,14 +7253,14 @@ local.res diff = --- tests/local.c -+++ /tmp/cocci-output-122126-63a016-local.c ++++ /tmp/cocci-output-37951-a05bc0-local.c @@ -1 +1 @@ -int f(int xx, int yy) { return 0; } +int f(int a, int b, int yy) { return 0; } localglobal.res diff = --- tests/localglobal.c -+++ /tmp/cocci-output-122126-fd87c9-localglobal.c ++++ /tmp/cocci-output-37951-e4a731-localglobal.c @@ -3,5 +3,5 @@ int a; int main(int b) { int c; @@ -7235,7 +7271,7 @@ localid.res diff = --- tests/localid.c -+++ /tmp/cocci-output-122126-3bc4bf-localid.c ++++ /tmp/cocci-output-37951-b1127a-localid.c @@ -2,8 +2,7 @@ int c; int main () { @@ -7250,7 +7286,7 @@ localmacroparams.res diff = --- tests/localmacroparams.c -+++ /tmp/cocci-output-122126-7f3148-localmacroparams.c ++++ /tmp/cocci-output-37951-265ddd-localmacroparams.c @@ -1,2 +1,2 @@ -#define fn1(x) f(x) -#define fn2(x) f(y) @@ -7259,7 +7295,7 @@ log.res diff = --- tests/log.c -+++ /tmp/cocci-output-122126-719b8f-log.c ++++ /tmp/cocci-output-37951-9a2ea2-log.c @@ -8,5 +8,4 @@ static struct var_t vars[] = { @@ -7269,7 +7305,7 @@ long.res diff = --- tests/long.c -+++ /tmp/cocci-output-122126-2b9aeb-long.c ++++ /tmp/cocci-output-37951-b4bcc5-long.c @@ -1,4 +1,4 @@ int main () { - hello_world("this is a very long sentence. this is a very long sentence. ", @@ -7280,7 +7316,7 @@ longconst.res diff = --- tests/longconst.c -+++ /tmp/cocci-output-122126-ce0245-longconst.c ++++ /tmp/cocci-output-37951-c3a501-longconst.c @@ -2,18 +2,18 @@ long function1() { long a; @@ -7317,7 +7353,7 @@ warning: line 5: should a be a metavariable? diff = --- tests/longline2.c -+++ /tmp/cocci-output-122126-a8cd91-longline2.c ++++ /tmp/cocci-output-37951-e280dd-longline2.c @@ -1,8 +1,16 @@ int main() { - f(sdhfkjdkdsahksadsdhjkdsa,sahdjshdkjsahdkjhsakjdsh,a,shdkjsdsdhkjsa,x,y,z); @@ -7342,7 +7378,7 @@ longlong.res diff = --- tests/longlong.c -+++ /tmp/cocci-output-122126-9b89da-longlong.c ++++ /tmp/cocci-output-37951-038803-longlong.c @@ -1,6 +1,6 @@ -long long a; +int a; @@ -7355,7 +7391,7 @@ longlongint.res diff = --- tests/longlongint.c -+++ /tmp/cocci-output-122126-6c2ed1-longlongint.c ++++ /tmp/cocci-output-37951-488141-longlongint.c @@ -1,9 +1,3 @@ int main() { - unsigned int x; @@ -7369,7 +7405,7 @@ loop.res diff = --- tests/loop.c -+++ /tmp/cocci-output-122126-b407a4-loop.c ++++ /tmp/cocci-output-37951-d30139-loop.c @@ -1,5 +1,3 @@ int main() { - f(); @@ -7380,7 +7416,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/lvalue.c -+++ /tmp/cocci-output-122126-867794-lvalue.c ++++ /tmp/cocci-output-37951-c7a4b1-lvalue.c @@ -1,4 +1,4 @@ int main() { - x = x + 1; @@ -7392,7 +7428,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/macro.c -+++ /tmp/cocci-output-122126-477344-macro.c ++++ /tmp/cocci-output-37951-dabd22-macro.c @@ -1,5 +1,5 @@ -#define SC_FCMND(fcmnd) ((Scsi_Cmnd *)((long)fcmnd - (long)&(((Scsi_Cmnd *)0)->SCp))) +#define SC_FCMND(fcmnd) ((struct scsi_cmnd *)((long)fcmnd - (long)&(((struct scsi_cmnd *)0)->SCp))) @@ -7404,7 +7440,7 @@ macro_before_bool.res diff = --- tests/macro_before_bool.c -+++ /tmp/cocci-output-122126-54eb4f-macro_before_bool.c ++++ /tmp/cocci-output-37951-21a9ba-macro_before_bool.c @@ -1,4 +1,5 @@ static nokprobe_inline bool trace_kprobe_is_return(struct trace_kprobe *tk) { @@ -7414,7 +7450,7 @@ macro_int16.res diff = --- tests/macro_int16.c -+++ /tmp/cocci-output-122126-e672b3-macro_int16.c ++++ /tmp/cocci-output-37951-a3b58b-macro_int16.c @@ -4,6 +4,6 @@ void main(void) { @@ -7426,7 +7462,7 @@ macro_params.res diff = --- tests/macro_params.c -+++ /tmp/cocci-output-122126-d1ba1f-macro_params.c ++++ /tmp/cocci-output-37951-6dec68-macro_params.c @@ -5,9 +5,9 @@ int main(int argc, char **argv) { @@ -7442,7 +7478,7 @@ match_init.res diff = --- tests/match_init.c -+++ /tmp/cocci-output-122126-dbcb55-match_init.c ++++ /tmp/cocci-output-37951-938508-match_init.c @@ -1,15 +1,15 @@ int probably_works () { - int x = 3; @@ -7465,7 +7501,7 @@ match_no_meta.res diff = --- tests/match_no_meta.c -+++ /tmp/cocci-output-122126-5b7834-match_no_meta.c ++++ /tmp/cocci-output-37951-26eae3-match_no_meta.c @@ -2,6 +2,4 @@ void main(int i) { foo(1); @@ -7478,7 +7514,7 @@ warning: line 14: should i be a metavariable? diff = --- tests/max.c -+++ /tmp/cocci-output-122126-36e4e4-max.c ++++ /tmp/cocci-output-37951-085559-max.c @@ -1,3 +1,3 @@ int main () { - if (x < 25) return i; @@ -7488,7 +7524,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/md1.c -+++ /tmp/cocci-output-122126-27536f-md1.c ++++ /tmp/cocci-output-37951-f97a53-md1.c @@ -1,9 +1,11 @@ struct main { - int a; @@ -7509,7 +7545,7 @@ md2.res diff = --- tests/md2.c -+++ /tmp/cocci-output-122126-db8cde-md2.c ++++ /tmp/cocci-output-37951-5b5ad2-md2.c @@ -1,11 +1,11 @@ int main() { - int a; @@ -7530,7 +7566,7 @@ md3.res diff = --- tests/md3.c -+++ /tmp/cocci-output-122126-7ea143-md3.c ++++ /tmp/cocci-output-37951-e60d2e-md3.c @@ -1,5 +1,5 @@ struct s_t { - double one[3]; @@ -7541,7 +7577,7 @@ mdadd.res diff = --- tests/mdadd.c -+++ /tmp/cocci-output-122126-31c483-mdadd.c ++++ /tmp/cocci-output-37951-fac3c5-mdadd.c @@ -1,3 +1,3 @@ int main () { - int a,b,c; @@ -7550,7 +7586,7 @@ mdec.res diff = --- tests/mdec.c -+++ /tmp/cocci-output-122126-994a80-mdec.c ++++ /tmp/cocci-output-37951-fc5a8d-mdec.c @@ -1,23 +1,26 @@ int main () { - int a, b, c, d; @@ -7602,8 +7638,8 @@ mdecl.res warning: rule starting on line 14: inherited metavariable unbound not used in the -, +, or context code Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_ac9565.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ac9565.ml -File "/tmp/ocaml_cocci_ac9565.ml", line 24, characters 4-11: +ocamlc -c /tmp/ocaml_cocci_cc59c1.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_cc59c1.ml +File "/tmp/ocaml_cocci_cc59c1.ml", line 24, characters 4-11: 24 | let unbound = List.nth __script_args__ 4 in ^^^^^^^ Warning 26 [unused-var]: unused variable unbound. @@ -7611,7 +7647,7 @@ Loading ML code of the SP... diff = --- tests/mdecl.c -+++ /tmp/cocci-output-122126-fdfb74-mdecl.c ++++ /tmp/cocci-output-37951-1d6419-mdecl.c @@ -1,5 +1,4 @@ -int one () { if (c < 0) return 12; return x < 0; } + @@ -7621,19 +7657,19 @@ -int one () { int c; if (c) return 12; return x < 0; } mdeclp.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_26d58d.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_26d58d.ml +ocamlc -c /tmp/ocaml_cocci_90dd06.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_90dd06.ml Compilation OK! Loading ML code of the SP... diff = --- tests/mdeclp.c -+++ /tmp/cocci-output-122126-63fb6c-mdeclp.c ++++ /tmp/cocci-output-37951-c40cb0-mdeclp.c @@ -1,2 +1,2 @@ -int one() { return 1; } + int two() { return 1; } mdeclp2.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_eba342.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_eba342.ml +ocamlc -c /tmp/ocaml_cocci_4f49bc.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_4f49bc.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been @@ -7647,7 +7683,7 @@ mdeclrep.res diff = --- tests/mdeclrep.c -+++ /tmp/cocci-output-122126-29f76d-mdeclrep.c ++++ /tmp/cocci-output-37951-c770c9-mdeclrep.c @@ -1,19 +1,22 @@ int main () { - int a,x,c; @@ -7678,7 +7714,7 @@ mdindex.res diff = --- tests/mdindex.c -+++ /tmp/cocci-output-122126-5fa5de-mdindex.c ++++ /tmp/cocci-output-37951-6ea5ec-mdindex.c @@ -1,5 +1,5 @@ int main() { @@ -7690,7 +7726,7 @@ memory.res diff = --- tests/memory.c -+++ /tmp/cocci-output-122126-9674d3-memory.c ++++ /tmp/cocci-output-37951-18e6ba-memory.c @@ -2,6 +2,5 @@ int __queue_add(Queue_t *queue, Scsi_Cmnd *SCpnt, int head) @@ -7701,7 +7737,7 @@ } merge_after_iteration.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_269b00.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_269b00.ml +ocamlc -c /tmp/ocaml_cocci_4699f3.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_4699f3.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -7711,7 +7747,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/metaattr.c -+++ /tmp/cocci-output-122126-35085d-metaattr.c ++++ /tmp/cocci-output-37951-05d4ec-metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -7724,7 +7760,7 @@ warning: line 43: x, previously declared as a metavariable, is used as an identifier diff = --- tests/metaline.c -+++ /tmp/cocci-output-122126-504775-metaline.c ++++ /tmp/cocci-output-37951-647115-metaline.c @@ -1,9 +1,8 @@ int main () { - static int x; @@ -7742,7 +7778,7 @@ metaops.res diff = --- tests/metaops.c -+++ /tmp/cocci-output-122126-c854ea-metaops.c ++++ /tmp/cocci-output-37951-27afad-metaops.c @@ -2,24 +2,24 @@ int p1() { int x = 0; int y = 1; @@ -7819,7 +7855,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/metaops0.c -+++ /tmp/cocci-output-122126-3e345b-metaops0.c ++++ /tmp/cocci-output-37951-6ae7ca-metaops0.c @@ -1,44 +1,11 @@ int p1() { - int x = 0; @@ -7868,7 +7904,7 @@ metaruleelem.res diff = --- tests/metaruleelem.c -+++ /tmp/cocci-output-122126-0f47bb-metaruleelem.c ++++ /tmp/cocci-output-37951-b52d15-metaruleelem.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -7881,7 +7917,7 @@ metastatement2.res diff = --- tests/metastatement2.c -+++ /tmp/cocci-output-122126-762d68-metastatement2.c ++++ /tmp/cocci-output-37951-cf5c97-metastatement2.c @@ -1,6 +1,5 @@ void main(int i) { @@ -7892,7 +7928,7 @@ metastatement_for.res diff = --- tests/metastatement_for.c -+++ /tmp/cocci-output-122126-cd3be2-metastatement_for.c ++++ /tmp/cocci-output-37951-8352b9-metastatement_for.c @@ -1,9 +1,6 @@ void main(void) { @@ -7906,7 +7942,7 @@ metastatement_if.res diff = --- tests/metastatement_if.c -+++ /tmp/cocci-output-122126-b6811d-metastatement_if.c ++++ /tmp/cocci-output-37951-85e9b4-metastatement_if.c @@ -5,8 +5,4 @@ void main(void) printf("%d", i); } @@ -7919,7 +7955,7 @@ mincom.res diff = --- tests/mincom.c -+++ /tmp/cocci-output-122126-9c3f56-mincom.c ++++ /tmp/cocci-output-37951-138afd-mincom.c @@ -1,5 +1,7 @@ int main () { - if (rc == LS_NONE_FIRST_DE) @@ -7933,14 +7969,14 @@ minenum.res diff = --- tests/minenum.c -+++ /tmp/cocci-output-122126-8fa1fa-minenum.c ++++ /tmp/cocci-output-37951-ee1d19-minenum.c @@ -1 +1 @@ -enum h { x, a, z, q, b }; +enum h { x, qq, q, b }; minenum1.res diff = --- tests/minenum1.c -+++ /tmp/cocci-output-122126-6a3add-minenum1.c ++++ /tmp/cocci-output-37951-f37411-minenum1.c @@ -1,2 +1,2 @@ -enum h { x, a, z, +enum h { x, qq, @@ -7948,7 +7984,7 @@ minfn.res diff = --- tests/minfn.c -+++ /tmp/cocci-output-122126-e61fb8-minfn.c ++++ /tmp/cocci-output-37951-048ea1-minfn.c @@ -1,13 +1,5 @@ int main () { return first; } @@ -7966,7 +8002,7 @@ mini_null_ref.res diff = --- tests/mini_null_ref.c -+++ /tmp/cocci-output-122126-355631-mini_null_ref.c ++++ /tmp/cocci-output-37951-907560-mini_null_ref.c @@ -2,11 +2,12 @@ static int __devinit w90p910_keypad_prob { const struct w90p910_keypad_platform_data *pdata = @@ -7984,7 +8020,7 @@ miniswap.res diff = --- tests/miniswap.c -+++ /tmp/cocci-output-122126-c42b5b-miniswap.c ++++ /tmp/cocci-output-37951-208cf0-miniswap.c @@ -1,5 +1,5 @@ static void swap_refcount_rec(void *a, void *b, int size) { @@ -7995,7 +8031,7 @@ minstruct.res diff = --- tests/minstruct.c -+++ /tmp/cocci-output-122126-7253ee-minstruct.c ++++ /tmp/cocci-output-37951-88ed3a-minstruct.c @@ -1,5 +1,7 @@ static struct i2c_client client_template = { - .name = "(unset)", @@ -8008,7 +8044,7 @@ minusdots.res diff = --- tests/minusdots.c -+++ /tmp/cocci-output-122126-7f6408-minusdots.c ++++ /tmp/cocci-output-37951-999603-minusdots.c @@ -1,9 +1,2 @@ void main(int i) { - @@ -8022,7 +8058,7 @@ minusdots_ver1.res diff = --- tests/minusdots_ver1.c -+++ /tmp/cocci-output-122126-17ba78-minusdots_ver1.c ++++ /tmp/cocci-output-37951-1ae693-minusdots_ver1.c @@ -1,6 +1,2 @@ void main(int i) { - @@ -8033,7 +8069,7 @@ move_type.res diff = --- tests/move_type.c -+++ /tmp/cocci-output-122126-533955-move_type.c ++++ /tmp/cocci-output-37951-ad9df6-move_type.c @@ -1,6 +1,6 @@ int main() { - int x; @@ -8045,7 +8081,7 @@ multi.res diff = --- tests/multi.c -+++ /tmp/cocci-output-122126-259b08-multi.c ++++ /tmp/cocci-output-37951-fd5182-multi.c @@ -3,4 +3,5 @@ int main() { g(1); g(1); @@ -8054,7 +8090,7 @@ } multi_initialize_finalize.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_a3a152.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a3a152.ml +ocamlc -c /tmp/ocaml_cocci_1a623f.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_1a623f.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function @@ -8062,7 +8098,7 @@ warning: line 4: should ab be a metavariable? diff = --- tests/multichars.c -+++ /tmp/cocci-output-122126-d243ab-multichars.c ++++ /tmp/cocci-output-37951-1f6f7e-multichars.c @@ -1,5 +1,5 @@ int main () { - f('XYZ',ab); @@ -8075,7 +8111,7 @@ multidec.res diff = --- tests/multidec.c -+++ /tmp/cocci-output-122126-715e3c-multidec.c ++++ /tmp/cocci-output-37951-3530fc-multidec.c @@ -1,11 +1,6 @@ int main () { int x = 3,z; @@ -8092,7 +8128,7 @@ multidecl3.res diff = --- tests/multidecl3.c -+++ /tmp/cocci-output-122126-e780ab-multidecl3.c ++++ /tmp/cocci-output-37951-46a24e-multidecl3.c @@ -1,17 +1,13 @@ int main () { - int *i, i[12], i, k, r; @@ -8116,7 +8152,7 @@ multipath.res diff = --- tests/multipath.c -+++ /tmp/cocci-output-122126-1a09c6-multipath.c ++++ /tmp/cocci-output-37951-4acbbc-multipath.c @@ -2,8 +2,8 @@ static void multipathd(struct md_thread { for (;;) { @@ -8132,7 +8168,7 @@ warning: rule starting on line 3: metavariable T not used in the - or context code diff = --- tests/multiplus.c -+++ /tmp/cocci-output-122126-81f80f-multiplus.c ++++ /tmp/cocci-output-37951-107608-multiplus.c @@ -1,4 +1,4 @@ -static void xm_link_timer(void *arg) +static void xm_link_timer(struct work_struct *work) @@ -8142,7 +8178,7 @@ multiremove.res diff = --- tests/multiremove.c -+++ /tmp/cocci-output-122126-f0420a-multiremove.c ++++ /tmp/cocci-output-37951-2cc0c8-multiremove.c @@ -1,8 +1,5 @@ int main () { if (x) { xyz1(); } @@ -8155,7 +8191,7 @@ multistruct.res diff = --- tests/multistruct.c -+++ /tmp/cocci-output-122126-039660-multistruct.c ++++ /tmp/cocci-output-37951-68ca64-multistruct.c @@ -1,5 +1,3 @@ -struct one x; @@ -8165,7 +8201,7 @@ multitype.res diff = --- tests/multitype.c -+++ /tmp/cocci-output-122126-405487-multitype.c ++++ /tmp/cocci-output-37951-ee20af-multitype.c @@ -3,5 +3,5 @@ typedef struct foo { int a; } foo_t; int main() { foo_t * x; @@ -8177,7 +8213,7 @@ warning: non_delayed_fn: metavariable T not used in the - or context code diff = --- tests/multitypedef.c -+++ /tmp/cocci-output-122126-02cba8-multitypedef.c ++++ /tmp/cocci-output-37951-3c7ced-multitypedef.c @@ -5,5 +5,5 @@ typedef struct HYSDN_CARD { int ergo_inithardware(hysdn_card * card) @@ -8188,7 +8224,7 @@ multivars.res diff = --- tests/multivars.c -+++ /tmp/cocci-output-122126-55b4e8-multivars.c ++++ /tmp/cocci-output-37951-1337a6-multivars.c @@ -1,5 +1,5 @@ void main(int i) { @@ -8203,7 +8239,7 @@ warning: line 4: should kfree be a metavariable? diff = --- tests/mv.c -+++ /tmp/cocci-output-122126-e5e17b-mv.c ++++ /tmp/cocci-output-37951-25adca-mv.c @@ -1,4 +1,4 @@ int main() { - u8 *xxx __free(kfree); @@ -8213,7 +8249,7 @@ na.res diff = --- tests/na.c -+++ /tmp/cocci-output-122126-5a6656-na.c ++++ /tmp/cocci-output-37951-5f0d33-na.c @@ -4,10 +4,10 @@ void foo() { int i; @@ -8232,7 +8268,7 @@ nameless.res diff = --- tests/nameless.c -+++ /tmp/cocci-output-122126-7a0901-nameless.c ++++ /tmp/cocci-output-37951-1dca04-nameless.c @@ -1,6 +1,6 @@ typedef union { int foo; @@ -8250,7 +8286,7 @@ warning: rule starting on line 12, node 14: statement[1,2,4,5,7] in info_func may be inconsistently modified warning: rule starting on line 12, node 13: statement[1,2,4,5,6] in info_func may be inconsistently modified --- tests/nest.c -+++ /tmp/cocci-output-122126-e0c1e6-nest.c ++++ /tmp/cocci-output-37951-983ed1-nest.c @@ -1,7 +1,7 @@ void info_func(int i) { foo(); @@ -8264,7 +8300,7 @@ nestadd.res diff = --- tests/nestadd.c -+++ /tmp/cocci-output-122126-9ab708-nestadd.c ++++ /tmp/cocci-output-37951-f0cd6d-nestadd.c @@ -1,3 +1,12 @@ int main() { foo(); @@ -8282,7 +8318,7 @@ warning: one: metavariable S not used in the - or context code diff = --- tests/nestone.c -+++ /tmp/cocci-output-122126-738cea-nestone.c ++++ /tmp/cocci-output-37951-973f36-nestone.c @@ -1,4 +1,3 @@ int foo() { if (x) { xxx(); return;} @@ -8291,7 +8327,7 @@ nestseq.res diff = --- tests/nestseq.c -+++ /tmp/cocci-output-122126-7f7214-nestseq.c ++++ /tmp/cocci-output-37951-aee2c6-nestseq.c @@ -2,4 +2,5 @@ int main () { f(); g(12); @@ -8301,7 +8337,7 @@ neststruct.res diff = --- tests/neststruct.c -+++ /tmp/cocci-output-122126-4006d8-neststruct.c ++++ /tmp/cocci-output-37951-8390b1-neststruct.c @@ -8,6 +8,6 @@ struct usb_hub { static int hub_configure(struct usb_hub *hub) @@ -8314,7 +8350,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/nl.c -+++ /tmp/cocci-output-122126-68c696-nl.c ++++ /tmp/cocci-output-37951-731131-nl.c @@ -1,4 +1,4 @@ int main() { - if (x) return; @@ -8325,7 +8361,7 @@ noa.res diff = --- tests/noa.c -+++ /tmp/cocci-output-122126-bc2a2f-noa.c ++++ /tmp/cocci-output-37951-09ffec-noa.c @@ -2,6 +2,6 @@ int main () { if (x) { a(); } else { a(); } } @@ -8338,7 +8374,7 @@ SPECIAL NAMES: adding gfp_t as a type diff = --- tests/nocast.c -+++ /tmp/cocci-output-122126-7fc76a-nocast.c ++++ /tmp/cocci-output-37951-ce6115-nocast.c @@ -1,4 +1,4 @@ -int main (unsigned int __nocast gfp_mask, int x) { +int main (gfp_t gfp_mask, int x) { @@ -8348,7 +8384,7 @@ noret.res diff = --- tests/noret.c -+++ /tmp/cocci-output-122126-acf164-noret.c ++++ /tmp/cocci-output-37951-b4f7c0-noret.c @@ -1,18 +1,18 @@ -main (int x); -static xmain (int x); @@ -8380,7 +8416,7 @@ not.res diff = --- tests/not.c -+++ /tmp/cocci-output-122126-3a0b92-not.c ++++ /tmp/cocci-output-37951-d0a538-not.c @@ -1,9 +1,9 @@ int main() { int x; @@ -8397,7 +8433,7 @@ notest.res diff = --- tests/notest.c -+++ /tmp/cocci-output-122126-0aa10c-notest.c ++++ /tmp/cocci-output-37951-ab77a6-notest.c @@ -1,6 +1,6 @@ int main() { struct foo *x; @@ -8411,7 +8447,7 @@ warning: line 6: should false be a metavariable? diff = --- tests/notnot.c -+++ /tmp/cocci-output-122126-ce0fc6-notnot.c ++++ /tmp/cocci-output-37951-f4c811-notnot.c @@ -1,4 +1,4 @@ bool foo(int bar) { @@ -8421,7 +8457,7 @@ noty.res diff = --- tests/noty.c -+++ /tmp/cocci-output-122126-72470e-noty.c ++++ /tmp/cocci-output-37951-3aa842-noty.c @@ -1,3 +1,4 @@ int main(int *x) { if (NULL == x) { return; } @@ -8430,7 +8466,7 @@ noty2.res diff = --- tests/noty2.c -+++ /tmp/cocci-output-122126-7d9207-noty2.c ++++ /tmp/cocci-output-37951-287614-noty2.c @@ -1,14 +1,11 @@ main () { - foo(); @@ -8450,7 +8486,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/null_bool.c -+++ /tmp/cocci-output-122126-91e7be-null_bool.c ++++ /tmp/cocci-output-37951-4190fe-null_bool.c @@ -1,8 +1,8 @@ int main () { - if (x != NULL) return; @@ -8467,7 +8503,7 @@ null_type.res diff = --- tests/null_type.c -+++ /tmp/cocci-output-122126-37fcf5-null_type.c ++++ /tmp/cocci-output-37951-168c9b-null_type.c @@ -2,7 +2,7 @@ int main(int i) { int *x; @@ -8482,7 +8518,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/oddifdef.c -+++ /tmp/cocci-output-122126-1bcf2d-oddifdef.c ++++ /tmp/cocci-output-37951-56739a-oddifdef.c @@ -7,9 +7,7 @@ void one () { a = 5; @@ -8515,7 +8551,7 @@ of.res diff = --- tests/of.c -+++ /tmp/cocci-output-122126-4df633-of.c ++++ /tmp/cocci-output-37951-7cedde-of.c @@ -1,16 +1,20 @@ static struct iommu_table *iommu_table_find(struct iommu_table * tbl) { @@ -8542,14 +8578,14 @@ omp.res SPECIAL NAMES: adding ok as a type Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_519890.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_519890.ml +ocamlc -c /tmp/ocaml_cocci_c880e2.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_c880e2.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function oneline.res diff = --- tests/oneline.c -+++ /tmp/cocci-output-122126-c59f92-oneline.c ++++ /tmp/cocci-output-37951-d849e7-oneline.c @@ -1,4 +1,4 @@ int main () { - f(); @@ -8560,7 +8596,7 @@ op.res diff = --- tests/op.c -+++ /tmp/cocci-output-122126-d85ca3-op.c ++++ /tmp/cocci-output-37951-d31a37-op.c @@ -1,5 +1,4 @@ int main () { - return 3; @@ -8570,7 +8606,7 @@ opt.res diff = --- tests/opt.c -+++ /tmp/cocci-output-122126-183829-opt.c ++++ /tmp/cocci-output-37951-62ec22-opt.c @@ -1,3 +1,2 @@ int main () { - yyy(); @@ -8578,7 +8614,7 @@ optional_qualifier.res diff = --- tests/optional_qualifier.c -+++ /tmp/cocci-output-122126-87daeb-optional_qualifier.c ++++ /tmp/cocci-output-37951-248572-optional_qualifier.c @@ -1,2 +1,2 @@ -int a; +const int a; @@ -8586,7 +8622,7 @@ optional_storage.res diff = --- tests/optional_storage.c -+++ /tmp/cocci-output-122126-7db033-optional_storage.c ++++ /tmp/cocci-output-37951-c82c00-optional_storage.c @@ -1,4 +1,4 @@ -int foo1(void) +static int foo1(void) @@ -8596,7 +8632,7 @@ orexp.res diff = --- tests/orexp.c -+++ /tmp/cocci-output-122126-616f5d-orexp.c ++++ /tmp/cocci-output-37951-5402b2-orexp.c @@ -1,3 +1,3 @@ int main() { - bar(12+12); @@ -8611,7 +8647,7 @@ warning: xxx: metavariable f not used in the - or context code diff = --- tests/overshoot.c -+++ /tmp/cocci-output-122126-918f28-overshoot.c ++++ /tmp/cocci-output-37951-52b90f-overshoot.c @@ -1,9 +1,8 @@ int main () { a(); @@ -8631,7 +8667,7 @@ warning: line 20: should errp be a metavariable? diff = --- tests/p1p2.c -+++ /tmp/cocci-output-122126-1d75fb-p1p2.c ++++ /tmp/cocci-output-37951-2fa164-p1p2.c @@ -1,3 +1,3 @@ -int main(int x, Error **errp); +int __attribute__((nonnull(1))) main(int x, Error **errp); @@ -8641,7 +8677,7 @@ p9.res diff = --- tests/p9.c -+++ /tmp/cocci-output-122126-c5ca69-p9.c ++++ /tmp/cocci-output-37951-eafa3e-p9.c @@ -1,3 +1,3 @@ -int f(int, int, int x) { +int f(int v0, int v1, int x) { @@ -8650,7 +8686,7 @@ pa.res diff = --- tests/pa.c -+++ /tmp/cocci-output-122126-882b4f-pa.c ++++ /tmp/cocci-output-37951-38ad2f-pa.c @@ -4,7 +4,8 @@ char *parse_args(const char *doing, unsigned num, s16 min_level, @@ -8665,7 +8701,7 @@ param.res diff = --- tests/param.c -+++ /tmp/cocci-output-122126-b91c05-param.c ++++ /tmp/cocci-output-37951-71d243-param.c @@ -1 +1 @@ -void foo() { return; } + @@ -8674,7 +8710,7 @@ warning: line 14: should y be a metavariable? diff = --- tests/param_end.c -+++ /tmp/cocci-output-122126-2dbb41-param_end.c ++++ /tmp/cocci-output-37951-a96889-param_end.c @@ -1,15 +1,15 @@ -int one (int x) { return; } +int one () { return; } @@ -8702,7 +8738,7 @@ param_to_exp.res diff = --- tests/param_to_exp.c -+++ /tmp/cocci-output-122126-f383f0-param_to_exp.c ++++ /tmp/cocci-output-37951-8034d1-param_to_exp.c @@ -1,3 +1,4 @@ int main (int x, int y) { + foo(x, y); @@ -8711,14 +8747,14 @@ param_ver1.res diff = --- tests/param_ver1.c -+++ /tmp/cocci-output-122126-77c562-param_ver1.c ++++ /tmp/cocci-output-37951-beef9b-param_ver1.c @@ -1 +1 @@ -void foo(int x) { return; } + parameters_dots.res diff = --- tests/parameters_dots.c -+++ /tmp/cocci-output-122126-8ddff6-parameters_dots.c ++++ /tmp/cocci-output-37951-3ccd16-parameters_dots.c @@ -1,7 +1,3 @@ void main(int i) { - @@ -8730,7 +8766,7 @@ parenmac.res diff = --- tests/parenmac.c -+++ /tmp/cocci-output-122126-3e10d5-parenmac.c ++++ /tmp/cocci-output-37951-861052-parenmac.c @@ -1 +1 @@ -#define TXSSZ(val) (val<<4) +#define TXSSZ(val) ((val)<<4) @@ -8738,7 +8774,7 @@ warning: rule starting on line 1: metavariable S not used in the - or context code diff = --- tests/partial.c -+++ /tmp/cocci-output-122126-8a04ea-partial.c ++++ /tmp/cocci-output-37951-e05eaf-partial.c @@ -1,3 +1,3 @@ #define CS_THIS_MODULE THIS_MODULE, #define CS_OWNER owner: @@ -8747,7 +8783,7 @@ partialmd.res diff = --- tests/partialmd.c -+++ /tmp/cocci-output-122126-b64458-partialmd.c ++++ /tmp/cocci-output-37951-7b9b91-partialmd.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8757,7 +8793,7 @@ partialmd2.res diff = --- tests/partialmd2.c -+++ /tmp/cocci-output-122126-a8ef1e-partialmd2.c ++++ /tmp/cocci-output-37951-f4947f-partialmd2.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8767,7 +8803,7 @@ partialmd3.res diff = --- tests/partialmd3.c -+++ /tmp/cocci-output-122126-fb6eab-partialmd3.c ++++ /tmp/cocci-output-37951-ac316c-partialmd3.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8778,7 +8814,7 @@ warning: line 6: should x be a metavariable? diff = --- tests/pb_distribute_type.c -+++ /tmp/cocci-output-122126-1c52fa-pb_distribute_type.c ++++ /tmp/cocci-output-37951-12a8be-pb_distribute_type.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8802,7 +8838,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type2.c -+++ /tmp/cocci-output-122126-64c354-pb_distribute_type2.c ++++ /tmp/cocci-output-37951-e18567-pb_distribute_type2.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8829,7 +8865,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type4.c -+++ /tmp/cocci-output-122126-17f13f-pb_distribute_type4.c ++++ /tmp/cocci-output-37951-d6ebf0-pb_distribute_type4.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8853,7 +8889,7 @@ warning: line 23: should i be a metavariable? diff = --- tests/pb_params_iso.c -+++ /tmp/cocci-output-122126-d7088b-pb_params_iso.c ++++ /tmp/cocci-output-37951-dfda12-pb_params_iso.c @@ -1,17 +1,17 @@ -int f(bool a, int i, bool b) { @@ -8879,7 +8915,7 @@ pb_parsing_macro.res diff = --- tests/pb_parsing_macro.c -+++ /tmp/cocci-output-122126-782f0b-pb_parsing_macro.c ++++ /tmp/cocci-output-37951-80c1a5-pb_parsing_macro.c @@ -1,4 +1,4 @@ #define FOO_METH_TEST(a) prefix_##a void FOO_METH_TEST(foo)(int x){ @@ -8889,7 +8925,7 @@ pb_tag_symbols.res diff = --- tests/pb_tag_symbols.c -+++ /tmp/cocci-output-122126-809fa1-pb_tag_symbols.c ++++ /tmp/cocci-output-37951-91de28-pb_tag_symbols.c @@ -1,5 +1,3 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -8899,7 +8935,7 @@ pcim.res diff = --- tests/pcim.c -+++ /tmp/cocci-output-122126-e08a53-pcim.c ++++ /tmp/cocci-output-37951-c63fcb-pcim.c @@ -1,5 +1,6 @@ int main () { - ctx->sensePA = pci_map_single(adapter->dev, cmd->sense_buffer, @@ -8912,7 +8948,7 @@ pcomma.res diff = --- tests/pcomma.c -+++ /tmp/cocci-output-122126-9b27c1-pcomma.c ++++ /tmp/cocci-output-37951-fee570-pcomma.c @@ -1,14 +1,14 @@ -int main (int x) {} +int main (char c, int x) {} @@ -8939,7 +8975,7 @@ pif.res diff = --- tests/pif.c -+++ /tmp/cocci-output-122126-afa0d4-pif.c ++++ /tmp/cocci-output-37951-42853e-pif.c @@ -1,5 +1 @@ -void f(void) -{ @@ -8950,14 +8986,14 @@ plus33.res diff = --- tests/plus33.c -+++ /tmp/cocci-output-122126-b162ea-plus33.c ++++ /tmp/cocci-output-37951-b35dd3-plus33.c @@ -1 +1,2 @@ +typedef double double3x3[3][3]; int x; pmac.res diff = --- tests/pmac.c -+++ /tmp/cocci-output-122126-d8587c-pmac.c ++++ /tmp/cocci-output-37951-7c6b01-pmac.c @@ -4,7 +4,5 @@ #include #endif @@ -8968,12 +9004,12 @@ static int snd_pmac_unregister_sleep_notifier(pmac_t *chip); poscon.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_610fc0.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_610fc0.ml +ocamlc -c /tmp/ocaml_cocci_ae2b18.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ae2b18.ml Compilation OK! Loading ML code of the SP... diff = --- tests/poscon.c -+++ /tmp/cocci-output-122126-dddcff-poscon.c ++++ /tmp/cocci-output-37951-d72195-poscon.c @@ -2,8 +2,8 @@ int main () { f(0); g(0); @@ -8990,7 +9026,7 @@ posiso.res diff = --- tests/posiso.c -+++ /tmp/cocci-output-122126-aa5570-posiso.c ++++ /tmp/cocci-output-37951-4afe72-posiso.c @@ -1,9 +1,7 @@ int main () { int *x; @@ -9004,7 +9040,7 @@ positionc.res diff = --- tests/positionc.c -+++ /tmp/cocci-output-122126-0a22be-positionc.c ++++ /tmp/cocci-output-37951-23ee8b-positionc.c @@ -2,8 +2,6 @@ int main () { if (foo(6,7)) x = ret; else x = ret; if (foo(6,7)) x = ret; else x = ret; @@ -9017,7 +9053,7 @@ post.res diff = --- tests/post.c -+++ /tmp/cocci-output-122126-b03ff9-post.c ++++ /tmp/cocci-output-37951-c4bfd8-post.c @@ -1,8 +1,6 @@ int main() { - f(3, foo + bar, 5); @@ -9030,7 +9066,7 @@ pragma2.res diff = --- tests/pragma2.c -+++ /tmp/cocci-output-122126-6b0987-pragma2.c ++++ /tmp/cocci-output-37951-fbefd8-pragma2.c @@ -4,7 +4,7 @@ int main() int n = 3; // FIXME: problem: uncommenting this breaks matching @@ -9044,7 +9080,7 @@ pragma3.res diff = --- tests/pragma3.c -+++ /tmp/cocci-output-122126-367ca8-pragma3.c ++++ /tmp/cocci-output-37951-c3be99-pragma3.c @@ -1,8 +1,4 @@ -#pragma GCC diagnostic push -#pragma GCC diagnostic ignored "-Wgnu-zero-variadic-macro-arguments" /* for gtest under clang (yes, with '#pragma GCC') */ @@ -9058,7 +9094,7 @@ pragma_and_block_b.res diff = --- tests/pragma_and_block_b.c -+++ /tmp/cocci-output-122126-2e0807-pragma_and_block_b.c ++++ /tmp/cocci-output-37951-26d2c1-pragma_and_block_b.c @@ -1,6 +1,5 @@ int main() { @@ -9069,7 +9105,7 @@ pragmainfo_multiline.res diff = --- tests/pragmainfo_multiline.c -+++ /tmp/cocci-output-122126-312d98-pragmainfo_multiline.c ++++ /tmp/cocci-output-37951-70f8bb-pragmainfo_multiline.c @@ -1,6 +1,4 @@ int main() { @@ -9080,19 +9116,19 @@ pragmatest1.res diff = --- tests/pragmatest1.c -+++ /tmp/cocci-output-122126-39aa0c-pragmatest1.c ++++ /tmp/cocci-output-37951-0a5d57-pragmatest1.c @@ -1,3 +1 @@ -#pragma xxx a b c -#pragma xxx (a, b, c) pragmatest2.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_f6484b.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_f6484b.ml +ocamlc -c /tmp/ocaml_cocci_752583.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_752583.ml Compilation OK! Loading ML code of the SP... diff = --- tests/pragmatest2.c -+++ /tmp/cocci-output-122126-dd4df2-pragmatest2.c ++++ /tmp/cocci-output-37951-7879f4-pragmatest2.c @@ -1,6 +1,4 @@ #pragma xxx this is a test @@ -9105,7 +9141,7 @@ warning: rule starting on line 1: metavariable E not used in the - or context code diff = --- tests/print_return.c -+++ /tmp/cocci-output-122126-bbb655-print_return.c ++++ /tmp/cocci-output-37951-4a9f7e-print_return.c @@ -1,4 +1,3 @@ int config(struct pcmcia_device *link) { - bar(); @@ -9115,7 +9151,7 @@ proto.res diff = --- tests/proto.c -+++ /tmp/cocci-output-122126-018e33-proto.c ++++ /tmp/cocci-output-37951-436fd4-proto.c @@ -1,10 +1,2 @@ static void bch_l2l1(struct PStack *st, int pr, void *arg); -static void bch_sched_event(struct BCState *bcs, int event); @@ -9130,7 +9166,7 @@ proto2.res diff = --- tests/proto2.c -+++ /tmp/cocci-output-122126-6eaf70-proto2.c ++++ /tmp/cocci-output-37951-396f37-proto2.c @@ -1,10 +1,9 @@ static void bch_l2l1(struct PStack *st, int pr, void *arg); -static void bch_sched_event(struct BCState *bcs, int event); @@ -9147,7 +9183,7 @@ proto_ver1.res diff = --- tests/proto_ver1.c -+++ /tmp/cocci-output-122126-165b10-proto_ver1.c ++++ /tmp/cocci-output-37951-d2a9e0-proto_ver1.c @@ -1,10 +1,2 @@ void bch_l2l1(struct PStack *st, int pr, void *arg); -void bch_sched_event(struct BCState *bcs, int event); @@ -9162,7 +9198,7 @@ proto_ver2.res diff = --- tests/proto_ver2.c -+++ /tmp/cocci-output-122126-b1cb93-proto_ver2.c ++++ /tmp/cocci-output-37951-c221e8-proto_ver2.c @@ -46,7 +46,6 @@ static inline void dch_int(struct IsdnCa static void __devinit dch_setstack(struct PStack *st, struct IsdnCardState *cs); static void __devinit dch_init(struct IsdnCardState *cs); @@ -9191,7 +9227,7 @@ protoassert.res diff = --- tests/protoassert.c -+++ /tmp/cocci-output-122126-52b444-protoassert.c ++++ /tmp/cocci-output-37951-ac2a28-protoassert.c @@ -1,6 +1,8 @@ static unsigned mii_rd(ioaddr_t ioaddr, u_char phyaddr, u_char phyreg); @@ -9207,7 +9243,7 @@ ptrar.res diff = --- tests/ptrar.c -+++ /tmp/cocci-output-122126-3315d9-ptrar.c ++++ /tmp/cocci-output-37951-83428c-ptrar.c @@ -1,8 +1,8 @@ int main () { struct foo *x; @@ -9224,7 +9260,7 @@ ptrconstptr.res diff = --- tests/ptrconstptr.c -+++ /tmp/cocci-output-122126-b32fbd-ptrconstptr.c ++++ /tmp/cocci-output-37951-de5aed-ptrconstptr.c @@ -1,3 +1,3 @@ void main() { - const char * const * x; @@ -9236,7 +9272,7 @@ warning: rule starting on line 12: metavariable S not used in the - or context code diff = --- tests/putloop.c -+++ /tmp/cocci-output-122126-7ae257-putloop.c ++++ /tmp/cocci-output-37951-c86b4b-putloop.c @@ -4,13 +4,11 @@ static int atmel_pctl_dt_node_to_map(str unsigned int *num_maps) { @@ -9267,7 +9303,7 @@ SPECIAL NAMES: adding survived_r1 as a type diff = --- tests/qualifier.c -+++ /tmp/cocci-output-122126-53e3ab-qualifier.c ++++ /tmp/cocci-output-37951-96097e-qualifier.c @@ -1,11 +1,11 @@ int *foo(const int *i) { @@ -9305,7 +9341,7 @@ range.res diff = --- tests/range.c -+++ /tmp/cocci-output-122126-3ee8fe-range.c ++++ /tmp/cocci-output-37951-507699-range.c @@ -1,17 +1,8 @@ int main() { - f(1); @@ -9328,7 +9364,7 @@ SPECIAL NAMES: adding RB_DECLARE_CALLBACKS_MAX as a declarer diff = --- tests/rb.c -+++ /tmp/cocci-output-122126-a85795-rb.c ++++ /tmp/cocci-output-37951-e5f5f2-rb.c @@ -1,2 +1 @@ -RB_DECLARE_CALLBACKS_MAX(static, augment_callbacks, struct drbd_interval, -rb, sector_t, end, NODE_END); @@ -9336,7 +9372,7 @@ rcu3.res diff = --- tests/rcu3.c -+++ /tmp/cocci-output-122126-105db9-rcu3.c ++++ /tmp/cocci-output-37951-91de6f-rcu3.c @@ -3,6 +3,6 @@ static struct mtd_chip_driver *get_mtd_c struct list_head *pos; struct mtd_chip_driver *this; @@ -9349,7 +9385,7 @@ refl.res diff = --- tests/refl.c -+++ /tmp/cocci-output-122126-09eaaa-refl.c ++++ /tmp/cocci-output-37951-9df2b1-refl.c @@ -1,5 +1,3 @@ int main () { int x; @@ -9359,7 +9395,7 @@ regesc.res diff = --- tests/regesc.c -+++ /tmp/cocci-output-122126-d689b3-regesc.c ++++ /tmp/cocci-output-37951-7f746c-regesc.c @@ -1,5 +1,5 @@ int main () { - f(".foo"); @@ -9371,7 +9407,7 @@ regexp.res diff = --- tests/regexp.c -+++ /tmp/cocci-output-122126-90c5ce-regexp.c ++++ /tmp/cocci-output-37951-4fcbe4-regexp.c @@ -1,9 +1,23 @@ int main(void) { @@ -9399,7 +9435,7 @@ regexp2.res diff = --- tests/regexp2.c -+++ /tmp/cocci-output-122126-4be044-regexp2.c ++++ /tmp/cocci-output-37951-10e305-regexp2.c @@ -2,9 +2,23 @@ int main(void) { @@ -9427,7 +9463,7 @@ regexp3.res diff = --- tests/regexp3.c -+++ /tmp/cocci-output-122126-90362c-regexp3.c ++++ /tmp/cocci-output-37951-10081f-regexp3.c @@ -2,10 +2,27 @@ int main(void) { @@ -9458,12 +9494,12 @@ } relevant_position.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_2d1042.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_2d1042.ml +ocamlc -c /tmp/ocaml_cocci_77a461.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_77a461.ml Compilation OK! Loading ML code of the SP... diff = --- tests/relevant_position.c -+++ /tmp/cocci-output-122126-c83dbe-relevant_position.c ++++ /tmp/cocci-output-37951-b73df3-relevant_position.c @@ -1,4 +1,4 @@ -struct blah { struct list_head xxx; }; + @@ -9473,7 +9509,7 @@ rem1.res diff = --- tests/rem1.c -+++ /tmp/cocci-output-122126-9fb1a8-rem1.c ++++ /tmp/cocci-output-37951-9007c3-rem1.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9483,7 +9519,7 @@ rem2.res diff = --- tests/rem2.c -+++ /tmp/cocci-output-122126-fe681f-rem2.c ++++ /tmp/cocci-output-37951-d84c6a-rem2.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9493,7 +9529,7 @@ remaft.res diff = --- tests/remaft.c -+++ /tmp/cocci-output-122126-864b03-remaft.c ++++ /tmp/cocci-output-37951-7d9e85-remaft.c @@ -1,8 +1,6 @@ int main() { #ifdef BLAH @@ -9506,7 +9542,7 @@ remcom.res diff = --- tests/remcom.c -+++ /tmp/cocci-output-122126-2b12d0-remcom.c ++++ /tmp/cocci-output-37951-82af1a-remcom.c @@ -3,20 +3,12 @@ asyncmeta_retry( Operation *op ) { @@ -9534,7 +9570,7 @@ remcom2.res diff = --- tests/remcom2.c -+++ /tmp/cocci-output-122126-35c274-remcom2.c ++++ /tmp/cocci-output-37951-39585c-remcom2.c @@ -2,7 +2,5 @@ int fn() { if (y) { @@ -9546,7 +9582,7 @@ remodif.res diff = --- tests/remodif.c -+++ /tmp/cocci-output-122126-c0afcd-remodif.c ++++ /tmp/cocci-output-37951-7e32bb-remodif.c @@ -5,7 +5,7 @@ static int hexium_attach(struct saa7146_ DEB_EE("\n"); @@ -9559,7 +9595,7 @@ remove-code-in-branch1.res diff = --- tests/remove-code-in-branch1.c -+++ /tmp/cocci-output-122126-ff326f-remove-code-in-branch1.c ++++ /tmp/cocci-output-37951-34230d-remove-code-in-branch1.c @@ -1,7 +1,7 @@ int main(void) { @@ -9572,7 +9608,7 @@ remove_call.res diff = --- tests/remove_call.c -+++ /tmp/cocci-output-122126-cda39d-remove_call.c ++++ /tmp/cocci-output-37951-5501d1-remove_call.c @@ -1,6 +1,2 @@ int main () { - int x = 3 + FN() + FN(); @@ -9584,7 +9620,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/remove_cast_attr.c -+++ /tmp/cocci-output-122126-0ff32a-remove_cast_attr.c ++++ /tmp/cocci-output-37951-a61152-remove_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -9601,7 +9637,7 @@ remove_cast_attr_allminus.res diff = --- tests/remove_cast_attr_allminus.c -+++ /tmp/cocci-output-122126-edd26a-remove_cast_attr_allminus.c ++++ /tmp/cocci-output-37951-de7385-remove_cast_attr_allminus.c @@ -2,9 +2,9 @@ int func() @@ -9622,7 +9658,7 @@ SPECIAL NAMES: adding __macro_attr as a attribute diff = --- tests/remove_macrodecl_attr.c -+++ /tmp/cocci-output-122126-a27464-remove_macrodecl_attr.c ++++ /tmp/cocci-output-37951-75013e-remove_macrodecl_attr.c @@ -1,3 +1,3 @@ #define __macro_attr MACROANNOTATION @@ -9632,7 +9668,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/remove_metaattr.c -+++ /tmp/cocci-output-122126-bd8cdb-remove_metaattr.c ++++ /tmp/cocci-output-37951-552f6e-remove_metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -9644,7 +9680,7 @@ SPECIAL NAMES: adding __nocast as a attribute diff = --- tests/remove_param_attrs.c -+++ /tmp/cocci-output-122126-1e5bb1-remove_param_attrs.c ++++ /tmp/cocci-output-37951-b07036-remove_param_attrs.c @@ -6,15 +6,15 @@ int func2(int x, int __nocast y) { return 0; } @@ -9668,7 +9704,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr.c -+++ /tmp/cocci-output-122126-0fdef6-remove_struct_endattr.c ++++ /tmp/cocci-output-37951-ce79ce-remove_struct_endattr.c @@ -4,4 +4,4 @@ struct abcd { int a; int b; @@ -9679,7 +9715,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr_allminus.c -+++ /tmp/cocci-output-122126-d293d9-remove_struct_endattr_allminus.c ++++ /tmp/cocci-output-37951-133eeb-remove_struct_endattr_allminus.c @@ -1,13 +1 @@ #define __struct_endattr MACROANNOTATION - @@ -9697,7 +9733,7 @@ remparam.res diff = --- tests/remparam.c -+++ /tmp/cocci-output-122126-dd721f-remparam.c ++++ /tmp/cocci-output-37951-0df6ea-remparam.c @@ -1,14 +1,14 @@ static irqreturn_t -snd_ad1889_interrupt(void *dev_id, int x, @@ -9720,7 +9756,7 @@ rems.res diff = --- tests/rems.c -+++ /tmp/cocci-output-122126-27ad10-rems.c ++++ /tmp/cocci-output-37951-fcb46d-rems.c @@ -1,5 +1,4 @@ int main () { x(); @@ -9730,7 +9766,7 @@ rems1.res diff = --- tests/rems1.c -+++ /tmp/cocci-output-122126-e70941-rems1.c ++++ /tmp/cocci-output-37951-c85bef-rems1.c @@ -1,5 +1,4 @@ int main () { x(); @@ -9742,7 +9778,7 @@ warning: line 8: should xxx be a metavariable? diff = --- tests/remstruct.c -+++ /tmp/cocci-output-122126-3ffe2b-remstruct.c ++++ /tmp/cocci-output-37951-31241d-remstruct.c @@ -1,13 +1,4 @@ -static struct irqchip mpuio_irq_chip = { - .ack = mpuio_ack_irq, @@ -9760,7 +9796,7 @@ remu.res diff = --- tests/remu.c -+++ /tmp/cocci-output-122126-664da5-remu.c ++++ /tmp/cocci-output-37951-4b606e-remu.c @@ -1,5 +1,4 @@ struct anon_vma { int x; @@ -9770,7 +9806,7 @@ replace_typedef.res diff = --- tests/replace_typedef.c -+++ /tmp/cocci-output-122126-9d291c-replace_typedef.c ++++ /tmp/cocci-output-37951-074196-replace_typedef.c @@ -3,8 +3,8 @@ typedef struct foo { int x; } foo_t; typedef int int_t; @@ -9785,7 +9821,7 @@ replacement3.res diff = --- tests/replacement3.c -+++ /tmp/cocci-output-122126-64d269-replacement3.c ++++ /tmp/cocci-output-37951-77b71d-replacement3.c @@ -1,6 +1,5 @@ int main() { - int *i; @@ -9797,7 +9833,7 @@ reserved.res diff = --- tests/reserved.c -+++ /tmp/cocci-output-122126-c2a46a-reserved.c ++++ /tmp/cocci-output-37951-d46091-reserved.c @@ -1,7 +1,4 @@ int main() { - f(1,1); @@ -9809,7 +9845,7 @@ retest.res diff = --- tests/retest.c -+++ /tmp/cocci-output-122126-3b3169-retest.c ++++ /tmp/cocci-output-37951-f415c8-retest.c @@ -1,6 +1,6 @@ int main () { foo(); @@ -9821,7 +9857,7 @@ retmacro.res diff = --- tests/retmacro.c -+++ /tmp/cocci-output-122126-7897aa-retmacro.c ++++ /tmp/cocci-output-37951-40ec2c-retmacro.c @@ -1,6 +1,6 @@ #define REG_PATTERN_TEST(R, M, W) \ { \ @@ -9844,7 +9880,7 @@ warning: rule starting on line 18: metavariable S not used in the - or context code diff = --- tests/return.c -+++ /tmp/cocci-output-122126-fd6387-return.c ++++ /tmp/cocci-output-37951-4e4838-return.c @@ -1,6 +1,9 @@ void foo(int y) { int x; @@ -9860,7 +9896,7 @@ return_implicit.res diff = --- tests/return_implicit.c -+++ /tmp/cocci-output-122126-5f87e7-return_implicit.c ++++ /tmp/cocci-output-37951-9e301f-return_implicit.c @@ -1,4 +1,5 @@ void main(void) { @@ -9870,7 +9906,7 @@ retval.res diff = --- tests/retval.c -+++ /tmp/cocci-output-122126-767e5d-retval.c ++++ /tmp/cocci-output-37951-c156a9-retval.c @@ -1,21 +1,15 @@ int main () { if (retval1) { @@ -9900,7 +9936,7 @@ retval2.res diff = --- tests/retval2.c -+++ /tmp/cocci-output-122126-b850af-retval2.c ++++ /tmp/cocci-output-37951-c3dc68-retval2.c @@ -11,7 +11,7 @@ int getlen(int *input, size_t maxlen, in return -1; } @@ -9914,7 +9950,7 @@ warning: rule starting on line 8: metavariable p1 not used in the - or context code diff = --- tests/reusevar.c -+++ /tmp/cocci-output-122126-bc4bdf-reusevar.c ++++ /tmp/cocci-output-37951-d1ee12-reusevar.c @@ -1,8 +1,5 @@ int main () { - f(x); @@ -9932,7 +9968,7 @@ SPECIAL NAMES: adding __ro_after_init as a attribute diff = --- tests/roa.c -+++ /tmp/cocci-output-122126-084495-roa.c ++++ /tmp/cocci-output-37951-a72566-roa.c @@ -1,10 +1,10 @@ -struct arm_delay_ops arm_delay_ops __ro_after_init = { +struct found used __ro_after_init = { @@ -9950,7 +9986,7 @@ rptr.res diff = --- tests/rptr.c -+++ /tmp/cocci-output-122126-9d240f-rptr.c ++++ /tmp/cocci-output-37951-d2a9df-rptr.c @@ -1,6 +1,4 @@ int foo(struct resource *r) { @@ -9963,7 +9999,7 @@ same_expr.res diff = --- tests/same_expr.c -+++ /tmp/cocci-output-122126-a0b991-same_expr.c ++++ /tmp/cocci-output-37951-bf76df-same_expr.c @@ -1,6 +1,5 @@ void main(int i) { @@ -9974,7 +10010,7 @@ sbef.res diff = --- tests/sbef.c -+++ /tmp/cocci-output-122126-29d724-sbef.c ++++ /tmp/cocci-output-37951-1c30a3-sbef.c @@ -2,6 +2,5 @@ int main () { { a(); @@ -9985,7 +10021,7 @@ sbef2.res diff = --- tests/sbef2.c -+++ /tmp/cocci-output-122126-97b191-sbef2.c ++++ /tmp/cocci-output-37951-ac6678-sbef2.c @@ -1,5 +1,4 @@ int main() { f(12); @@ -9995,7 +10031,7 @@ scope_problem.res diff = --- tests/scope_problem.c -+++ /tmp/cocci-output-122126-df7c3c-scope_problem.c ++++ /tmp/cocci-output-37951-9b8b4c-scope_problem.c @@ -1,15 +1,7 @@ void main(int i) { - @@ -10017,14 +10053,14 @@ SPECIAL NAMES: adding MyFloat as a type diff = --- tests/sd_2.c -+++ /tmp/cocci-output-122126-46f9a0-sd_2.c ++++ /tmp/cocci-output-37951-2f973f-sd_2.c @@ -1 +1 @@ - struct particle_data_extra { MyFloat Mass; }; + struct particle_data_extra { MyFloat *Mass; }; serio.res diff = --- tests/serio.c -+++ /tmp/cocci-output-122126-4c34e8-serio.c ++++ /tmp/cocci-output-37951-3c0374-serio.c @@ -1,8 +1,8 @@ struct serio { - struct semaphore drv_sem; @@ -10042,7 +10078,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/shared_brace.c -+++ /tmp/cocci-output-122126-32caca-shared_brace.c ++++ /tmp/cocci-output-37951-85579e-shared_brace.c @@ -1,9 +1,7 @@ int __init ixj_init(void) @@ -10063,7 +10099,7 @@ warning: line 23: should p be a metavariable? diff = --- tests/signed.c -+++ /tmp/cocci-output-122126-efeceb-signed.c ++++ /tmp/cocci-output-37951-f02f95-signed.c @@ -1,5 +1,5 @@ -int main(signed *m, unsigned *p) { - signed x; @@ -10078,7 +10114,7 @@ SPECIAL NAMES: adding DEFINE_MUTEX as a declarer diff = --- tests/sis.c -+++ /tmp/cocci-output-122126-2a072f-sis.c ++++ /tmp/cocci-output-37951-db485a-sis.c @@ -1,4 +1,4 @@ -DECLARE_MUTEX(disconnect_sem); +DEFINE_MUTEX(disconnect_sem); @@ -10088,7 +10124,7 @@ sizeof.res diff = --- tests/sizeof.c -+++ /tmp/cocci-output-122126-a2a61a-sizeof.c ++++ /tmp/cocci-output-37951-b1aecf-sizeof.c @@ -1,7 +1,7 @@ int main (int param) { @@ -10102,7 +10138,7 @@ sizeof_julia.res diff = --- tests/sizeof_julia.c -+++ /tmp/cocci-output-122126-b73d0a-sizeof_julia.c ++++ /tmp/cocci-output-37951-b39bf3-sizeof_julia.c @@ -1,5 +1,5 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) @@ -10113,7 +10149,7 @@ sizeptr.res diff = --- tests/sizeptr.c -+++ /tmp/cocci-output-122126-3ba211-sizeptr.c ++++ /tmp/cocci-output-37951-56b31f-sizeptr.c @@ -5,7 +5,7 @@ int main () { ssize_t b; ptrdiff_t c; @@ -10128,7 +10164,7 @@ sizestar.res diff = --- tests/sizestar.c -+++ /tmp/cocci-output-122126-4b5283-sizestar.c ++++ /tmp/cocci-output-37951-32d950-sizestar.c @@ -1,7 +1,7 @@ int main () { max = num_var_ranges; @@ -10141,7 +10177,7 @@ sizet1.res diff = --- tests/sizet1.c -+++ /tmp/cocci-output-122126-99e91a-sizet1.c ++++ /tmp/cocci-output-37951-e677bb-sizet1.c @@ -1,3 +1,2 @@ int main() { - size_t x; @@ -10149,7 +10185,7 @@ skip.res diff = --- tests/skip.c -+++ /tmp/cocci-output-122126-0bb055-skip.c ++++ /tmp/cocci-output-37951-35de6c-skip.c @@ -1,5 +1,3 @@ int main () { - f(1); @@ -10160,7 +10196,7 @@ sl2.res diff = --- tests/sl2.c -+++ /tmp/cocci-output-122126-d1de4c-sl2.c ++++ /tmp/cocci-output-37951-957de2-sl2.c @@ -1,11 +1,14 @@ int main () { + something(); @@ -10181,12 +10217,12 @@ one(); slen.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_604595.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_604595.ml +ocamlc -c /tmp/ocaml_cocci_15243c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_15243c.ml Compilation OK! Loading ML code of the SP... diff = --- tests/slen.c -+++ /tmp/cocci-output-122126-3ff030-slen.c ++++ /tmp/cocci-output-37951-5668b8-slen.c @@ -3,16 +3,10 @@ int main() { one(); } @@ -10209,7 +10245,7 @@ smallfn.res diff = --- tests/smallfn.c -+++ /tmp/cocci-output-122126-fda69c-smallfn.c ++++ /tmp/cocci-output-37951-9ba507-smallfn.c @@ -1,30 +1,65 @@ int main () { if (y) { @@ -10289,7 +10325,7 @@ snprintf.res diff = --- tests/snprintf.c -+++ /tmp/cocci-output-122126-5de0ce-snprintf.c ++++ /tmp/cocci-output-37951-8278ff-snprintf.c @@ -1,4 +1,4 @@ static ssize_t idletimer_tg_show(char *buf) { @@ -10299,7 +10335,7 @@ sp.res diff = --- tests/sp.c -+++ /tmp/cocci-output-122126-caf7e2-sp.c ++++ /tmp/cocci-output-37951-9e70a7-sp.c @@ -1,4 +1,4 @@ -typedef struct { +struct name { @@ -10311,7 +10347,7 @@ spacing.res diff = --- tests/spacing.c -+++ /tmp/cocci-output-122126-fec164-spacing.c ++++ /tmp/cocci-output-37951-741527-spacing.c @@ -1,8 +1,21 @@ typedef int *foo; @@ -10337,7 +10373,7 @@ spl.res diff = --- tests/spl.c -+++ /tmp/cocci-output-122126-c0dba1-spl.c ++++ /tmp/cocci-output-37951-a5f038-spl.c @@ -2,11 +2,13 @@ int main() { spin_lock(&isp116x->lock); /* take idle endpoints out of the schedule */ @@ -10355,7 +10391,7 @@ split_funcall1.res diff = --- tests/split_funcall1.c -+++ /tmp/cocci-output-122126-4994b1-split_funcall1.c ++++ /tmp/cocci-output-37951-99fc61-split_funcall1.c @@ -1,4 +1,4 @@ int main(void) { @@ -10365,7 +10401,7 @@ split_funcall2.res diff = --- tests/split_funcall2.c -+++ /tmp/cocci-output-122126-eea849-split_funcall2.c ++++ /tmp/cocci-output-37951-d5d47b-split_funcall2.c @@ -1,4 +1,4 @@ int main(void) { @@ -10375,7 +10411,7 @@ square.res diff = --- tests/square.c -+++ /tmp/cocci-output-122126-80faf1-square.c ++++ /tmp/cocci-output-37951-b17df6-square.c @@ -2,7 +2,7 @@ int two() { return 2; } int main() { int a[3]; @@ -10391,7 +10427,7 @@ SPECIAL NAMES: adding LPINT as a type diff = --- tests/starprint.c -+++ /tmp/cocci-output-122126-8a3231-starprint.c ++++ /tmp/cocci-output-37951-f52ac0-starprint.c @@ -1,6 +1,6 @@ typedef int *LPINT; @@ -10403,7 +10439,7 @@ static.res diff = --- tests/static.c -+++ /tmp/cocci-output-122126-22c60c-static.c ++++ /tmp/cocci-output-37951-ce8e31-static.c @@ -1,4 +1,3 @@ static inline int i8042_read_data(void) { @@ -10414,7 +10450,7 @@ stm10.res diff = --- tests/stm10.c -+++ /tmp/cocci-output-122126-7d79dc-stm10.c ++++ /tmp/cocci-output-37951-a8e5e5-stm10.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -10426,7 +10462,7 @@ stm10_ver1.res diff = --- tests/stm10_ver1.c -+++ /tmp/cocci-output-122126-85696a-stm10_ver1.c ++++ /tmp/cocci-output-37951-78634f-stm10_ver1.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10437,7 +10473,7 @@ stm2.res diff = --- tests/stm2.c -+++ /tmp/cocci-output-122126-9ad65f-stm2.c ++++ /tmp/cocci-output-37951-bad378-stm2.c @@ -1,5 +1,4 @@ int main(int x) { f(); @@ -10447,7 +10483,7 @@ stm3.res diff = --- tests/stm3.c -+++ /tmp/cocci-output-122126-c397cf-stm3.c ++++ /tmp/cocci-output-37951-9fe2f3-stm3.c @@ -1,5 +1,5 @@ int main(int x) { f(); @@ -10458,7 +10494,7 @@ stm4.res diff = --- tests/stm4.c -+++ /tmp/cocci-output-122126-49d5dd-stm4.c ++++ /tmp/cocci-output-37951-34ed1e-stm4.c @@ -2,4 +2,5 @@ int main(int x) { f(); replace(); @@ -10468,7 +10504,7 @@ stm5.res diff = --- tests/stm5.c -+++ /tmp/cocci-output-122126-d976a3-stm5.c ++++ /tmp/cocci-output-37951-e33dc7-stm5.c @@ -1,5 +1,7 @@ int main(int x) { f(); @@ -10480,7 +10516,7 @@ stm6.res diff = --- tests/stm6.c -+++ /tmp/cocci-output-122126-2907cb-stm6.c ++++ /tmp/cocci-output-37951-fa5e35-stm6.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10493,7 +10529,7 @@ stm8.res diff = --- tests/stm8.c -+++ /tmp/cocci-output-122126-bd35ff-stm8.c ++++ /tmp/cocci-output-37951-ca47ba-stm8.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10504,7 +10540,7 @@ stm_exp.res diff = --- tests/stm_exp.c -+++ /tmp/cocci-output-122126-99abf3-stm_exp.c ++++ /tmp/cocci-output-37951-823703-stm_exp.c @@ -1,7 +1,5 @@ int main() { - abs(); @@ -10516,7 +10552,7 @@ stmt.res diff = --- tests/stmt.c -+++ /tmp/cocci-output-122126-e74b33-stmt.c ++++ /tmp/cocci-output-37951-1f0567-stmt.c @@ -1,4 +1,5 @@ int f() { int x; @@ -10526,7 +10562,7 @@ stmt_removed_and_added.res diff = --- tests/stmt_removed_and_added.c -+++ /tmp/cocci-output-122126-6d7ea7-stmt_removed_and_added.c ++++ /tmp/cocci-output-37951-da8609-stmt_removed_and_added.c @@ -1,6 +1,6 @@ void main() { @@ -10539,7 +10575,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/str_init.c -+++ /tmp/cocci-output-122126-f8fdf6-str_init.c ++++ /tmp/cocci-output-37951-eb27f5-str_init.c @@ -1,7 +1,3 @@ struct foo x = { - .aaa = 5, @@ -10552,7 +10588,7 @@ warning: rule starting on line 1: metavariable f not used in the - or context code diff = --- tests/strangeorder.c -+++ /tmp/cocci-output-122126-b1e5da-strangeorder.c ++++ /tmp/cocci-output-37951-18c911-strangeorder.c @@ -4,8 +4,10 @@ i2c_new_device(struct i2c_adapter *adap, struct i2c_client *client; @@ -10568,7 +10604,7 @@ strid.res diff = --- tests/strid.c -+++ /tmp/cocci-output-122126-5090e3-strid.c ++++ /tmp/cocci-output-37951-469a42-strid.c @@ -1,4 +1,4 @@ int main () { struct foo *a; @@ -10578,7 +10614,7 @@ strid2.res diff = --- tests/strid2.c -+++ /tmp/cocci-output-122126-b747bf-strid2.c ++++ /tmp/cocci-output-37951-4ce20f-strid2.c @@ -3,8 +3,8 @@ int main () { enum foo1 *b; struct foo a1; @@ -10594,7 +10630,7 @@ strtest.res diff = --- tests/strtest.c -+++ /tmp/cocci-output-122126-96b9ef-strtest.c ++++ /tmp/cocci-output-37951-5a45dd-strtest.c @@ -1,3 +1,3 @@ int main() { - printf("hello\n"); @@ -10603,7 +10639,7 @@ struct.res diff = --- tests/struct.c -+++ /tmp/cocci-output-122126-427010-struct.c ++++ /tmp/cocci-output-37951-aa0c8c-struct.c @@ -8,7 +8,5 @@ struct foo { int main() { @@ -10615,7 +10651,7 @@ struct_metavar.res diff = --- tests/struct_metavar.c -+++ /tmp/cocci-output-122126-8d5ce7-struct_metavar.c ++++ /tmp/cocci-output-37951-324b33-struct_metavar.c @@ -9,9 +9,6 @@ struct foo { int main() { struct foo *a; @@ -10629,7 +10665,7 @@ struct_typedef.res diff = --- tests/struct_typedef.c -+++ /tmp/cocci-output-122126-f39379-struct_typedef.c ++++ /tmp/cocci-output-37951-c2824f-struct_typedef.c @@ -1,5 +1,5 @@ -typedef struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -10643,7 +10679,7 @@ warning: line 5: should my_foo be a metavariable? diff = --- tests/structfoo.c -+++ /tmp/cocci-output-122126-ceb25f-structfoo.c ++++ /tmp/cocci-output-37951-2ccca9-structfoo.c @@ -1,4 +1 @@ -struct foo my_foo[] = { -.a = 1, @@ -10653,7 +10689,7 @@ structptr_func.res diff = --- tests/structptr_func.c -+++ /tmp/cocci-output-122126-50f20a-structptr_func.c ++++ /tmp/cocci-output-37951-d28909-structptr_func.c @@ -1,5 +1,6 @@ void func(struct socket *sock, struct sockaddr *uaddr, int peer) { @@ -10665,7 +10701,7 @@ substruct.res diff = --- tests/substruct.c -+++ /tmp/cocci-output-122126-85640d-substruct.c ++++ /tmp/cocci-output-37951-da6fc3-substruct.c @@ -1,5 +1,5 @@ struct a { int a; } x[2] = { @@ -10677,14 +10713,14 @@ sw.res diff = --- tests/sw.c -+++ /tmp/cocci-output-122126-cbcfe1-sw.c ++++ /tmp/cocci-output-37951-177e63-sw.c @@ -1 +1 @@ -int f() { switch (x) { case FOO: return; } } + swap3.res diff = --- tests/swap3.c -+++ /tmp/cocci-output-122126-084d85-swap3.c ++++ /tmp/cocci-output-37951-563dea-swap3.c @@ -2,7 +2,7 @@ static void __ar955x_tx_iq_cal_sort(stru struct coeff *coeff, int i, int nmeasurement) @@ -10697,7 +10733,7 @@ switch.res diff = --- tests/switch.c -+++ /tmp/cocci-output-122126-55a5b4-switch.c ++++ /tmp/cocci-output-37951-d426a7-switch.c @@ -3,6 +3,5 @@ int main () { default: break; @@ -10709,7 +10745,7 @@ warning: switch_1: metavariable S_1 not used in the - or context code diff = --- tests/switchdecl.c -+++ /tmp/cocci-output-122126-869756-switchdecl.c ++++ /tmp/cocci-output-37951-e56eeb-switchdecl.c @@ -4,7 +4,7 @@ switch (2) { int x; @@ -10723,7 +10759,7 @@ warning: line 12: should g be a metavariable? diff = --- tests/symbol.c -+++ /tmp/cocci-output-122126-971028-symbol.c ++++ /tmp/cocci-output-37951-792a11-symbol.c @@ -1,7 +1,5 @@ int main() { int f = 0; @@ -10735,7 +10771,7 @@ td.res diff = --- tests/td.c -+++ /tmp/cocci-output-122126-866e5f-td.c ++++ /tmp/cocci-output-37951-7cb6a2-td.c @@ -1,5 +1,5 @@ -struct foo {int a;}; +struct foo {int b;}; @@ -10748,7 +10784,7 @@ tdnl.res diff = --- tests/tdnl.c -+++ /tmp/cocci-output-122126-63dadc-tdnl.c ++++ /tmp/cocci-output-37951-8bee45-tdnl.c @@ -4,5 +4,4 @@ void main() { @@ -10758,14 +10794,14 @@ tdplus.res diff = --- tests/tdplus.c -+++ /tmp/cocci-output-122126-86988a-tdplus.c ++++ /tmp/cocci-output-37951-66c0a5-tdplus.c @@ -1 +1 @@ -typedef int (*filler_t)(int, int); +typedef int (*filler_t)(int, struct address_space *, int); tern.res diff = --- tests/tern.c -+++ /tmp/cocci-output-122126-5d1c0c-tern.c ++++ /tmp/cocci-output-37951-22b8dd-tern.c @@ -1,4 +1,4 @@ int main () { - return (wc >= 0 && wc <= 0x7f ? wc : 0x7f); @@ -10775,7 +10811,7 @@ test0.res diff = --- tests/test0.c -+++ /tmp/cocci-output-122126-0d670a-test0.c ++++ /tmp/cocci-output-37951-b72b5f-test0.c @@ -1,5 +1,3 @@ int main(int i) { - f(1); @@ -10785,7 +10821,7 @@ test1.res diff = --- tests/test1.c -+++ /tmp/cocci-output-122126-d4a6e5-test1.c ++++ /tmp/cocci-output-37951-4a229f-test1.c @@ -6,9 +6,9 @@ void main(int foo) { x(); if(1) { @@ -10802,7 +10838,7 @@ test10_ver1.res diff = --- tests/test10_ver1.c -+++ /tmp/cocci-output-122126-aff25d-test10_ver1.c ++++ /tmp/cocci-output-37951-6760b8-test10_ver1.c @@ -3,7 +3,7 @@ void main(int i) { f(1); g(1); @@ -10816,7 +10852,7 @@ test11_ver1.res diff = --- tests/test11_ver1.c -+++ /tmp/cocci-output-122126-fb8c1e-test11_ver1.c ++++ /tmp/cocci-output-37951-1e9de7-test11_ver1.c @@ -2,6 +2,6 @@ void main(int i) { f(1); g(1); @@ -10828,7 +10864,7 @@ test12.res diff = --- tests/test12.c -+++ /tmp/cocci-output-122126-a675de-test12.c ++++ /tmp/cocci-output-37951-0dc013-test12.c @@ -1,6 +1,6 @@ void main(int foo) { @@ -10840,7 +10876,7 @@ test2.res diff = --- tests/test2.c -+++ /tmp/cocci-output-122126-8905f1-test2.c ++++ /tmp/cocci-output-37951-38cb23-test2.c @@ -2,7 +2,7 @@ void main() { f(1,2,3); @@ -10854,7 +10890,7 @@ test3.res diff = --- tests/test3.c -+++ /tmp/cocci-output-122126-f5dae8-test3.c ++++ /tmp/cocci-output-37951-429fbd-test3.c @@ -4,7 +4,7 @@ void main() f(3); @@ -10868,7 +10904,7 @@ test4.res diff = --- tests/test4.c -+++ /tmp/cocci-output-122126-bba64f-test4.c ++++ /tmp/cocci-output-37951-3467f0-test4.c @@ -1,7 +1,6 @@ void main() { @@ -10880,7 +10916,7 @@ test5.res diff = --- tests/test5.c -+++ /tmp/cocci-output-122126-f09361-test5.c ++++ /tmp/cocci-output-37951-61ac32-test5.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10896,7 +10932,7 @@ test5_ver1.res diff = --- tests/test5_ver1.c -+++ /tmp/cocci-output-122126-a6d8ed-test5_ver1.c ++++ /tmp/cocci-output-37951-00d31c-test5_ver1.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10912,7 +10948,7 @@ test6.res diff = --- tests/test6.c -+++ /tmp/cocci-output-122126-8d4338-test6.c ++++ /tmp/cocci-output-37951-81ed09-test6.c @@ -4,13 +4,13 @@ void main() { /* a comment */ @@ -10943,7 +10979,7 @@ test7.res diff = --- tests/test7.c -+++ /tmp/cocci-output-122126-0bf63d-test7.c ++++ /tmp/cocci-output-37951-92b442-test7.c @@ -2,10 +2,12 @@ void main() { @@ -10962,7 +10998,7 @@ test8.res diff = --- tests/test8.c -+++ /tmp/cocci-output-122126-a4660f-test8.c ++++ /tmp/cocci-output-37951-c40a0b-test8.c @@ -1,7 +1,6 @@ -void main(int foo) { +void main(char i, int foo) { @@ -10975,7 +11011,7 @@ test9.res diff = --- tests/test9.c -+++ /tmp/cocci-output-122126-6a802e-test9.c ++++ /tmp/cocci-output-37951-a572bc-test9.c @@ -4,9 +4,9 @@ void main(int foo) { // f(1); // if uncomment then problems g(2); @@ -10991,7 +11027,7 @@ test_s.res diff = --- tests/test_s.c -+++ /tmp/cocci-output-122126-79a021-test_s.c ++++ /tmp/cocci-output-37951-d3e319-test_s.c @@ -2,7 +2,7 @@ int main () { if (x-one) { one(); @@ -11019,7 +11055,7 @@ warning: line 39: should y be a metavariable? diff = --- tests/test_unsigned_meta.c -+++ /tmp/cocci-output-122126-edc08c-test_unsigned_meta.c ++++ /tmp/cocci-output-37951-4c0d44-test_unsigned_meta.c @@ -1,8 +1,12 @@ int main () { - unsigned int x; @@ -11039,7 +11075,7 @@ testand.res diff = --- tests/testand.c -+++ /tmp/cocci-output-122126-11ae4e-testand.c ++++ /tmp/cocci-output-37951-6be4ce-testand.c @@ -1,5 +1,5 @@ int main () { f(1,2,3,4); @@ -11051,7 +11087,7 @@ testand2.res diff = --- tests/testand2.c -+++ /tmp/cocci-output-122126-897c68-testand2.c ++++ /tmp/cocci-output-37951-3c2530-testand2.c @@ -1,6 +1,6 @@ int main () { f(1,2,3,4); @@ -11063,7 +11099,7 @@ three_types.res diff = --- tests/three_types.c -+++ /tmp/cocci-output-122126-39134c-three_types.c ++++ /tmp/cocci-output-37951-a33e32-three_types.c @@ -7,5 +7,5 @@ via_init_dmablit(drm_device_t *dev) { drm_via_blitq_t *blitq; @@ -11074,7 +11110,7 @@ threea.res diff = --- tests/threea.c -+++ /tmp/cocci-output-122126-8ede9c-threea.c ++++ /tmp/cocci-output-37951-97e21c-threea.c @@ -1,4 +1,3 @@ int main() { f(12); @@ -11083,7 +11119,7 @@ tloop.res diff = --- tests/tloop.c -+++ /tmp/cocci-output-122126-c8fec9-tloop.c ++++ /tmp/cocci-output-37951-5b907a-tloop.c @@ -1,6 +1,5 @@ int foo(void) { @@ -11096,7 +11132,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/top.c -+++ /tmp/cocci-output-122126-527f64-top.c ++++ /tmp/cocci-output-37951-27469e-top.c @@ -1 +1 @@ -MODULE_PARM(suppress_pollack, "i"); +module_param(I, int, 0); @@ -11104,7 +11140,7 @@ SPECIAL NAMES: adding LIST_HEAD as a declarer diff = --- tests/topdec.c -+++ /tmp/cocci-output-122126-1aa896-topdec.c ++++ /tmp/cocci-output-37951-8029d2-topdec.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -11114,7 +11150,7 @@ topdec_ver1.res diff = --- tests/topdec_ver1.c -+++ /tmp/cocci-output-122126-5992a9-topdec_ver1.c ++++ /tmp/cocci-output-37951-63710b-topdec_ver1.c @@ -4,4 +4,4 @@ static int debug; /* Network device part of the driver */ @@ -11124,7 +11160,7 @@ topdec_ver2.res diff = --- tests/topdec_ver2.c -+++ /tmp/cocci-output-122126-60bb8e-topdec_ver2.c ++++ /tmp/cocci-output-37951-23af34-topdec_ver2.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -11134,7 +11170,7 @@ topdecl.res diff = --- tests/topdecl.c -+++ /tmp/cocci-output-122126-f841ea-topdecl.c ++++ /tmp/cocci-output-37951-b27031-topdecl.c @@ -1,3 +1,3 @@ int main () { - int x = foo(); @@ -11145,7 +11181,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/toplevel_macrostmt.c -+++ /tmp/cocci-output-122126-b0af14-toplevel_macrostmt.c ++++ /tmp/cocci-output-37951-269be3-toplevel_macrostmt.c @@ -2,7 +2,7 @@ void main(int i) { } @@ -11159,7 +11195,7 @@ warning: line 5: should usb_stor_host_template be a metavariable? diff = --- tests/toplevel_struct.c -+++ /tmp/cocci-output-122126-6ac284-toplevel_struct.c ++++ /tmp/cocci-output-37951-6f6485-toplevel_struct.c @@ -3,6 +3,7 @@ struct SHT usb_stor_host_template = { .name = "usb-storage", .proc_name = "usb-storage", @@ -11185,7 +11221,7 @@ triplet.res diff = --- tests/triplet.c -+++ /tmp/cocci-output-122126-aeabab-triplet.c ++++ /tmp/cocci-output-37951-27fa0e-triplet.c @@ -1,5 +1,6 @@ typedef double dtriplet_t[3] ; // FIXME: such code would not be parsed on cocci side @@ -11198,7 +11234,7 @@ warning: rule starting on line 10: metavariable B not used in the - or context code diff = --- tests/tup.c -+++ /tmp/cocci-output-122126-de2f8d-tup.c ++++ /tmp/cocci-output-37951-df67d3-tup.c @@ -1,7 +1,7 @@ static int cm206_block_ioctl(struct inode *inode, struct file *file, unsigned cmd, unsigned long arg) @@ -11211,7 +11247,7 @@ twomatch.res diff = --- tests/twomatch.c -+++ /tmp/cocci-output-122126-c6e099-twomatch.c ++++ /tmp/cocci-output-37951-cfe520-twomatch.c @@ -1,5 +1,5 @@ int main() { bar(12,1); @@ -11223,7 +11259,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/twoproto.c -+++ /tmp/cocci-output-122126-9620dc-twoproto.c ++++ /tmp/cocci-output-37951-82dfde-twoproto.c @@ -1,11 +1,9 @@ static void tc574_config(dev_link_t *link); @@ -11241,7 +11277,7 @@ ty.res diff = --- tests/ty.c -+++ /tmp/cocci-output-122126-62809d-ty.c ++++ /tmp/cocci-output-37951-6e29ae-ty.c @@ -1,4 +1,4 @@ int main () { - struct foo x; @@ -11252,7 +11288,7 @@ warning: line 7: should x be a metavariable? diff = --- tests/ty1.c -+++ /tmp/cocci-output-122126-08fd48-ty1.c ++++ /tmp/cocci-output-37951-c1dfff-ty1.c @@ -1,4 +1,3 @@ int fn(int y) { char x; @@ -11261,7 +11297,7 @@ ty_tyexp.res diff = --- tests/ty_tyexp.c -+++ /tmp/cocci-output-122126-e30494-ty_tyexp.c ++++ /tmp/cocci-output-37951-4f5c85-ty_tyexp.c @@ -1,11 +1,11 @@ void main(double z) { @@ -11283,7 +11319,7 @@ SPECIAL NAMES: adding uint64_t as a type diff = --- tests/tydisj.c -+++ /tmp/cocci-output-122126-a4cb37-tydisj.c ++++ /tmp/cocci-output-37951-8d66b0-tydisj.c @@ -1,2 +1,3 @@ -int64_t foo() { int64_t a; int i; return i << 20; } +int64_t foo() { int64_t a; int i; xxx(); @@ -11294,7 +11330,7 @@ SPECIAL NAMES: adding Location as a type diff = --- tests/tyex.c -+++ /tmp/cocci-output-122126-9db382-tyex.c ++++ /tmp/cocci-output-37951-b87b17-tyex.c @@ -1,12 +1,15 @@ typedef struct { double x; @@ -11316,7 +11352,7 @@ type.res diff = --- tests/type.c -+++ /tmp/cocci-output-122126-a506b9-type.c ++++ /tmp/cocci-output-37951-fc0514-type.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11327,7 +11363,7 @@ type1.res diff = --- tests/type1.c -+++ /tmp/cocci-output-122126-d99137-type1.c ++++ /tmp/cocci-output-37951-48d317-type1.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11338,7 +11374,7 @@ type_and_var.res diff = --- tests/type_and_var.c -+++ /tmp/cocci-output-122126-91adc5-type_and_var.c ++++ /tmp/cocci-output-37951-90beeb-type_and_var.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -11375,7 +11411,7 @@ type_and_var2.res diff = --- tests/type_and_var2.c -+++ /tmp/cocci-output-122126-a3d79e-type_and_var2.c ++++ /tmp/cocci-output-37951-5b4a47-type_and_var2.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -11412,7 +11448,7 @@ type_annotated.res diff = --- tests/type_annotated.c -+++ /tmp/cocci-output-122126-8c9947-type_annotated.c ++++ /tmp/cocci-output-37951-aa96e8-type_annotated.c @@ -4,7 +4,7 @@ void f1(int z) { struct foo2 j; int k; @@ -11433,7 +11469,7 @@ type_constraints.res diff = --- tests/type_constraints.c -+++ /tmp/cocci-output-122126-71b46f-type_constraints.c ++++ /tmp/cocci-output-37951-8bfe2e-type_constraints.c @@ -1,9 +1,9 @@ void f(void) { int i; @@ -11450,7 +11486,7 @@ type_ver1.res diff = --- tests/type_ver1.c -+++ /tmp/cocci-output-122126-6b2bf0-type_ver1.c ++++ /tmp/cocci-output-37951-674899-type_ver1.c @@ -1,5 +1,5 @@ int foo() { - struct foo x; @@ -11461,7 +11497,7 @@ type_ver2.res diff = --- tests/type_ver2.c -+++ /tmp/cocci-output-122126-cb3ca7-type_ver2.c ++++ /tmp/cocci-output-37951-4eed9e-type_ver2.c @@ -1,5 +1,5 @@ int foo() { - int x[10]; @@ -11473,7 +11509,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef.c -+++ /tmp/cocci-output-122126-a6eff8-typedef.c ++++ /tmp/cocci-output-37951-db4874-typedef.c @@ -1,15 +1,15 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11497,7 +11533,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef3.c -+++ /tmp/cocci-output-122126-182cad-typedef3.c ++++ /tmp/cocci-output-37951-515130-typedef3.c @@ -1,5 +1,5 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11516,7 +11552,7 @@ typeof.res diff = --- tests/typeof.c -+++ /tmp/cocci-output-122126-5e9840-typeof.c ++++ /tmp/cocci-output-37951-d27f71-typeof.c @@ -1,6 +1,4 @@ int main() { int x; @@ -11527,7 +11563,7 @@ typeof_expr.res diff = --- tests/typeof_expr.c -+++ /tmp/cocci-output-122126-b93898-typeof_expr.c ++++ /tmp/cocci-output-37951-2c3be3-typeof_expr.c @@ -1,4 +1,4 @@ int main () { int x = 0; @@ -11537,7 +11573,7 @@ typeofconst_i32l64.res diff = --- tests/typeofconst_i32l64.c -+++ /tmp/cocci-output-122126-c9f965-typeofconst_i32l64.c ++++ /tmp/cocci-output-37951-96cea6-typeofconst_i32l64.c @@ -1,49 +1,49 @@ void f() { -0; @@ -11634,7 +11670,7 @@ typeofconst_il32.res diff = --- tests/typeofconst_il32.c -+++ /tmp/cocci-output-122126-97520c-typeofconst_il32.c ++++ /tmp/cocci-output-37951-ef26c6-typeofconst_il32.c @@ -1,49 +1,49 @@ void f() { -0; @@ -11731,7 +11767,7 @@ typin.res diff = --- tests/typin.c -+++ /tmp/cocci-output-122126-d431d1-typin.c ++++ /tmp/cocci-output-37951-d73eca-typin.c @@ -2,7 +2,7 @@ int x; char y; @@ -11754,7 +11790,7 @@ warning: rule starting on line 1, node 26: foreach[1,2,12]* in mlxsw_sp_flower_parse_actions may be inconsistently modified warning: rule starting on line 1, node 320: }2[1,2,12,13] in mlxsw_sp_flower_parse_actions may be inconsistently modified --- tests/unbrace.c -+++ /tmp/cocci-output-122126-41aedb-unbrace.c ++++ /tmp/cocci-output-37951-f27e19-unbrace.c @@ -5,8 +5,6 @@ static int mlxsw_sp_flower_parse_actions struct netlink_ext_ack *extack) { @@ -11949,7 +11985,7 @@ undref.res diff = --- tests/undref.c -+++ /tmp/cocci-output-122126-583e74-undref.c ++++ /tmp/cocci-output-37951-2c8f12-undref.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11957,13 +11993,13 @@ } undref2.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_e264a4.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e264a4.ml +ocamlc -c /tmp/ocaml_cocci_9a62a3.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_9a62a3.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref2.c -+++ /tmp/cocci-output-122126-80af35-undref2.c ++++ /tmp/cocci-output-37951-15a8cf-undref2.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11971,13 +12007,13 @@ } undref3.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_8bc525.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_8bc525.ml +ocamlc -c /tmp/ocaml_cocci_25fb7e.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/i386-linux-gnu/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_25fb7e.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref3.c -+++ /tmp/cocci-output-122126-8c4fe3-undref3.c ++++ /tmp/cocci-output-37951-396cc5-undref3.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11986,7 +12022,7 @@ unelse.res diff = --- tests/unelse.c -+++ /tmp/cocci-output-122126-814dfe-unelse.c ++++ /tmp/cocci-output-37951-1f0ad5-unelse.c @@ -2,8 +2,6 @@ static short find_control(u16 control_in { if (!*pI) @@ -12001,7 +12037,7 @@ unfree.res diff = --- tests/unfree.c -+++ /tmp/cocci-output-122126-c205bf-unfree.c ++++ /tmp/cocci-output-37951-87991d-unfree.c @@ -2,8 +2,7 @@ static void mppe_free(void *arg) { struct ppp_mppe_state *state = (struct ppp_mppe_state *) arg; @@ -12015,7 +12051,7 @@ unl.res diff = --- tests/unl.c -+++ /tmp/cocci-output-122126-dedbc9-unl.c ++++ /tmp/cocci-output-37951-c3ffef-unl.c @@ -1,10 +1,10 @@ int main () { - if (new_pe == NULL) { @@ -12032,7 +12068,7 @@ unstruct.res diff = --- tests/unstruct.c -+++ /tmp/cocci-output-122126-d8204c-unstruct.c ++++ /tmp/cocci-output-37951-b36f05-unstruct.c @@ -1,4 +1,4 @@ -struct foo x __read_mostly = { .a = 12, }; @@ -12043,7 +12079,7 @@ unused.res diff = --- tests/unused.c -+++ /tmp/cocci-output-122126-d6e899-unused.c ++++ /tmp/cocci-output-37951-7cd23c-unused.c @@ -2,5 +2,5 @@ static int synth_field_string_size(char { char *start; @@ -12054,7 +12090,7 @@ updassign.res diff = --- tests/updassign.c -+++ /tmp/cocci-output-122126-267319-updassign.c ++++ /tmp/cocci-output-37951-39ce86-updassign.c @@ -1,3 +1,3 @@ int main () { - int r = 1 + 2; @@ -12063,7 +12099,7 @@ useless_cast.res diff = --- tests/useless_cast.c -+++ /tmp/cocci-output-122126-b74cf7-useless_cast.c ++++ /tmp/cocci-output-37951-224ec5-useless_cast.c @@ -8,7 +8,7 @@ struct device { struct device *dev; @@ -12080,7 +12116,7 @@ warning: line 13: should ty_id be a metavariable? diff = --- tests/varargs.c -+++ /tmp/cocci-output-122126-693b39-varargs.c ++++ /tmp/cocci-output-37951-e8cc14-varargs.c @@ -1,6 +1,7 @@ static void @@ -12094,7 +12130,7 @@ varargs2.res diff = --- tests/varargs2.c -+++ /tmp/cocci-output-122126-8382b3-varargs2.c ++++ /tmp/cocci-output-37951-fd55cc-varargs2.c @@ -1,3 +1,4 @@ static void f(char *fmt, ...) { @@ -12103,7 +12139,7 @@ varargs3.res diff = --- tests/varargs3.c -+++ /tmp/cocci-output-122126-e41243-varargs3.c ++++ /tmp/cocci-output-37951-76f146-varargs3.c @@ -1,4 +1,3 @@ -static int foo(char *fmt, ...) { @@ -12120,7 +12156,7 @@ video1bis.res diff = --- tests/video1bis.c -+++ /tmp/cocci-output-122126-5500d9-video1bis.c ++++ /tmp/cocci-output-37951-d412a4-video1bis.c @@ -3,7 +3,5 @@ void *arg) { if (cmd == VIDIOCGTUNER) { @@ -12132,7 +12168,7 @@ void.res diff = --- tests/void.c -+++ /tmp/cocci-output-122126-87e989-void.c ++++ /tmp/cocci-output-37951-d19db6-void.c @@ -2,4 +2,14 @@ int xbar(void) { return; } // this is some info about bar @@ -12151,7 +12187,7 @@ vpos.res diff = --- tests/vpos.c -+++ /tmp/cocci-output-122126-1047a4-vpos.c ++++ /tmp/cocci-output-37951-4bd931-vpos.c @@ -1,9 +1,7 @@ int main() { f(2); @@ -12168,7 +12204,7 @@ SPECIAL NAMES: adding wchar_t as a type diff = --- tests/wchar.c -+++ /tmp/cocci-output-122126-e750c0-wchar.c ++++ /tmp/cocci-output-37951-0a0de2-wchar.c @@ -1,13 +1,4 @@ #include #include @@ -12186,7 +12222,7 @@ weird_argument.res diff = --- tests/weird_argument.c -+++ /tmp/cocci-output-122126-6231d6-weird_argument.c ++++ /tmp/cocci-output-37951-338bf1-weird_argument.c @@ -1,7 +1,7 @@ static void ewx_i2c_setlines(snd_i2c_bus_t *bus, int clk, int data) { @@ -12202,7 +12238,7 @@ whitespace.res diff = --- tests/whitespace.c -+++ /tmp/cocci-output-122126-3ee88c-whitespace.c ++++ /tmp/cocci-output-37951-4c8526-whitespace.c @@ -1,3 +1,3 @@ int main () { - foo(sizeof (struct xxx)); @@ -12211,7 +12247,7 @@ wrongcheck.res diff = --- tests/wrongcheck.c -+++ /tmp/cocci-output-122126-c4d315-wrongcheck.c ++++ /tmp/cocci-output-37951-ea3501-wrongcheck.c @@ -1,5 +1,3 @@ int main () { - err = si476x_core_i2c_xfer(core, SI476X_I2C_RECV, @@ -12222,7 +12258,7 @@ warning: rule starting on line 1: metavariable A not used in the + code diff = --- tests/ws2.c -+++ /tmp/cocci-output-122126-a5f5f2-ws2.c ++++ /tmp/cocci-output-37951-876734-ws2.c @@ -1,6 +1,5 @@ int main() { - if (foo()) @@ -12235,7 +12271,7 @@ SPECIAL NAMES: adding FOO as a declarer diff = --- tests/xfield.c -+++ /tmp/cocci-output-122126-367ff0-xfield.c ++++ /tmp/cocci-output-37951-89c7dc-xfield.c @@ -1,4 +1,4 @@ -FOO(a2,b2,c2); +int x; @@ -12245,7 +12281,7 @@ y2.res diff = --- tests/y2.c -+++ /tmp/cocci-output-122126-9e16c9-y2.c ++++ /tmp/cocci-output-37951-31bcec-y2.c @@ -1,10 +1,6 @@ static void asuscom_interrupt_ipac(int intno, void *dev_id, struct pt_regs *regs) @@ -12260,7 +12296,7 @@ zero.res diff = --- tests/zero.c -+++ /tmp/cocci-output-122126-e33f2f-zero.c ++++ /tmp/cocci-output-37951-72feb6-zero.c @@ -1,6 +1,2 @@ int main () { - memset(command, 0, sizeof(struct sbp2_command_info)); @@ -12271,7 +12307,7 @@ zeroline.res diff = --- tests/zeroline.c -+++ /tmp/cocci-output-122126-a7725e-zeroline.c ++++ /tmp/cocci-output-37951-22f7bd-zeroline.c @@ -1,6 +1,7 @@ int main () { - int x; @@ -14120,18 +14156,18 @@ diversion by libc6 to: /lib/ld-linux.so.2.usr-is-merged dh_installdeb dh_ocaml -W: coccinelle doesn't resolve dependency on unit Ograph_extended -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 Parsing_stat W: coccinelle doesn't resolve dependency on unit Control_flow_c -W: coccinelle doesn't resolve dependency on unit Cpp_token_c W: coccinelle doesn't resolve dependency on unit Token_annot +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 Ograph_extended +W: coccinelle doesn't resolve dependency on unit Token_views_c dh_gencontrol dh_md5sums dh_builddeb -dpkg-deb: building package 'coccinelle-dbgsym' in '../coccinelle-dbgsym_1.3.0.deb-1_i386.deb'. dpkg-deb: building package 'coccinelle' in '../coccinelle_1.3.0.deb-1_i386.deb'. +dpkg-deb: building package 'coccinelle-dbgsym' in '../coccinelle-dbgsym_1.3.0.deb-1_i386.deb'. dpkg-genbuildinfo --build=binary -O../coccinelle_1.3.0.deb-1_i386.buildinfo dpkg-genchanges --build=binary -O../coccinelle_1.3.0.deb-1_i386.changes dpkg-genchanges: info: binary-only upload (no source code included) @@ -14139,12 +14175,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/61014/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/61014/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/91986 and its subdirectories -I: Current time: Tue Feb 24 19:34:27 -12 2026 -I: pbuilder-time-stamp: 1772004867 +I: removing directory /srv/workspace/pbuilder/61014 and its subdirectories +I: Current time: Thu Jan 23 15:17:54 +14 2025 +I: pbuilder-time-stamp: 1737595074