Diff of the two buildlogs: -- --- b1/build.log 2025-01-21 23:58:19.211756870 +0000 +++ b2/build.log 2025-01-22 00:51:32.324757959 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Tue Jan 21 11:47:14 -12 2025 -I: pbuilder-time-stamp: 1737503234 +I: Current time: Wed Jan 22 13:58:42 +14 2025 +I: pbuilder-time-stamp: 1737503922 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration @@ -27,52 +27,84 @@ dpkg-source: info: applying dont-expose-parmap.diff I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/8479/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/5771/tmp/hooks/D01_modify_environment starting +debug: Running on ff4a. +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 21 23:59 /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/5771/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/5771/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='armhf' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 ' - DISTRIBUTION='unstable' - HOME='/root' - HOST_ARCH='armhf' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") + 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=armhf + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 ' + DIRSTACK=() + DISTRIBUTION=unstable + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=arm + HOST_ARCH=armhf IFS=' ' - INVOCATION_ID='a7937013693546038a666cdb10ad9b30' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='8479' - PS1='# ' - PS2='> ' + INVOCATION_ID=9a1009ce5d604526832e15ae30d186a7 + LANG=C + LANGUAGE=it_CH:it + LC_ALL=C + MACHTYPE=arm-unknown-linux-gnueabihf + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnueabihf + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=5771 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.0q1KE42n/pbuilderrc_ty5N --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.0q1KE42n/b1 --logfile b1/build.log coccinelle_1.3.0.deb-1.dsc' - SUDO_GID='110' - SUDO_UID='103' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://10.0.0.15:3142/' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.0q1KE42n/pbuilderrc_QaWN --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.0q1KE42n/b2 --logfile b2/build.log coccinelle_1.3.0.deb-1.dsc' + SUDO_GID=113 + SUDO_UID=107 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://10.0.0.15:3142/ I: uname -a - Linux virt64z 6.1.0-30-arm64 #1 SMP Debian 6.1.124-1 (2025-01-12) aarch64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-30-armmp-lpae #1 SMP Debian 6.1.124-1 (2025-01-12) armv7l GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/8479/tmp/hooks/D02_print_environment finished +I: user script /srv/workspace/pbuilder/5771/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -210,7 +242,7 @@ Get: 78 http://deb.debian.org/debian unstable/main armhf ocaml-findlib armhf 1.9.6-3 [263 kB] Get: 79 http://deb.debian.org/debian unstable/main armhf pkgconf-bin armhf 1.8.1-4 [29.2 kB] Get: 80 http://deb.debian.org/debian unstable/main armhf pkgconf armhf 1.8.1-4 [26.1 kB] -Fetched 84.1 MB in 9s (9295 kB/s) +Fetched 84.1 MB in 14s (5845 kB/s) Preconfiguring packages ... Selecting previously unselected package libpython3.13-minimal:armhf. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19563 files and directories currently installed.) @@ -480,8 +512,8 @@ Setting up tzdata (2025a-1) ... Current default time zone: 'Etc/UTC' -Local time is now: Tue Jan 21 23:48:09 UTC 2025. -Universal Time is now: Tue Jan 21 23:48:09 UTC 2025. +Local time is now: Wed Jan 22 00:03:14 UTC 2025. +Universal Time is now: Wed Jan 22 00:03:14 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... @@ -557,7 +589,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/5771/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for unstable +I: user script /srv/workspace/pbuilder/5771/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 @@ -567,7 +603,7 @@ debian/rules clean dh clean --with ocaml,python3,autoreconf dh_auto_clean - make -j3 distclean + make -j4 distclean make[1]: Entering directory '/build/reproducible-path/coccinelle-1.3.0.deb' CLEAN commons CLEAN globals @@ -581,11 +617,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' @@ -609,7 +645,7 @@ checking whether make supports nested variables... yes configure: determining version suffix checking for date... /usr/bin/date -configure: version suffix set to Tue, 21 Jan 2025 11:48:31 -1200 +configure: version suffix set to Wed, 22 Jan 2025 14:06:37 +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) @@ -628,7 +664,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 @@ -748,7 +784,7 @@ ------------------------------------------------------------------------------ make[1]: Leaving directory '/build/reproducible-path/coccinelle-1.3.0.deb' dh_auto_build - make -j3 + make -j4 make[1]: Entering directory '/build/reproducible-path/coccinelle-1.3.0.deb' OCAMLDEP commons/ocamlextra/dumper.ml OCAMLDEP commons/commands.ml @@ -908,28 +944,26 @@ OCAMLDEP tools/spgen/source/main.ml OCAMLLEX parsing_cocci/lexer_cocci.mll OCAMLLEX parsing_cocci/lexer_cli.mll -OCAMLLEX parsing_cocci/lexer_script.mll 14 states, 681 transitions, table size 2808 bytes -27 states, 322 transitions, table size 1450 bytes +OCAMLLEX parsing_cocci/lexer_script.mll OCAMLLEX parsing_c/lexer_c.mll OCAMLLEX tools/spgen/source/spgen_lexer.mll -143 states, 8123 transitions, table size 33350 bytes -23641 additional bytes used for bindings -404 states, 8859 transitions, table size 37860 bytes -4129 additional bytes used for bindings +27 states, 322 transitions, table size 1450 bytes OCAMLYACC parsing_c/parser_c.mly OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP commons/commands.mli OCAMLDEP commons/common.mli +143 states, 8123 transitions, table size 33350 bytes +23641 additional bytes used for bindings OCAMLDEP commons/ograph_simple.mli +404 states, 8859 transitions, table size 37860 bytes +4129 additional bytes used for bindings OCAMLDEP commons/ograph_extended.mli OCAMLDEP globals/cocciconfig.mli OCAMLDEP globals/flag.mli OCAMLDEP globals/iteration.mli OCAMLDEP globals/regexp_str.mli OCAMLDEP globals/regexp.mli -408 states, 16889 transitions, table size 70004 bytes -10655 additional bytes used for bindings OCAMLDEP parsing_cocci/flag_parsing_cocci.mli OCAMLDEP parsing_cocci/ast_cocci.mli OCAMLDEP parsing_cocci/ast0_cocci.mli @@ -962,6 +996,8 @@ OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/free_vars.mli OCAMLDEP parsing_cocci/check_meta.mli +408 states, 16889 transitions, table size 70004 bytes +10655 additional bytes used for bindings OCAMLDEP parsing_cocci/safe_for_multi_decls.mli OCAMLDEP parsing_cocci/parse_printf.mli OCAMLDEP parsing_cocci/parse_aux.mli @@ -1028,8 +1064,8 @@ OCAMLDEP python/yes_pycocci.mli OCAMLDEP python/pycocci.mli OCAMLDEP engine/flag_matcher.mli -OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/pretty_print_engine.mli +OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/check_exhaustive_pattern.mli OCAMLDEP engine/check_reachability.mli OCAMLDEP engine/c_vs_c.mli @@ -1109,19 +1145,11 @@ OCAMLC parsing_cocci/cocci_args.mli OCAMLC parsing_c/token_annot.mli OCAMLC parsing_c/flag_parsing_c.mli -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.mli OCAMLC ctl/ast_ctl.mli OCAMLC engine/flag_matcher.mli OCAMLC engine/check_exhaustive_pattern.mli OCAMLC popl09/flag_popl.mli -OCAMLC extra/classic_patch.mli -OCAMLC extra/kbuild.mli -OCAMLC extra/maintainers.mli OCAMLC flag_cocci.mli OCAMLC testing.mli OCAMLC read_options.mli @@ -1131,7 +1159,6 @@ OCAMLC tools/spgen/source/spgen.mli OCAMLC tools/spgen/source/spgen_test.mli OCAMLC tools/spgen/source/main.mli -cp parsing_c/token_c.cmi ocaml/token_c.cmi cp globals/regexp.cmi ocaml/regexp.cmi cp globals/cocciconfig.cmi ocaml/cocciconfig.cmi cp globals/flag.cmi ocaml/flag.cmi @@ -1159,15 +1186,15 @@ OCAMLC parsing_cocci/dpll.ml OCAMLC parsing_cocci/git_grep.ml OCAMLC parsing_cocci/patch_diff.ml -OCAMLC parsing_cocci/re_constraints.mli OCAMLC parsing_cocci/command_line.ml OCAMLC parsing_cocci/cocci_args.ml OCAMLC parsing_c/token_annot.ml OCAMLC parsing_c/flag_parsing_c.ml -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 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 @@ -1177,25 +1204,23 @@ OCAMLC engine/flag_matcher.ml OCAMLC popl09/ast_popl.mli OCAMLC popl09/flag_popl.ml -OCAMLC extra/classic_patch.ml -OCAMLC extra/kbuild.ml -OCAMLC extra/maintainers.ml +OCAMLC extra/classic_patch.mli +OCAMLC extra/kbuild.mli +OCAMLC extra/maintainers.mli OCAMLC flag_cocci.ml OCAMLC read_options.ml OCAMLC tools/spgen/source/globals.mli OCAMLC tools/spgen/source/ast_tostring.mli OCAMLC tools/spgen/source/spgen_lexer.ml OCAMLC tools/spgen/source/main.ml -cp parsing_c/ast_c.cmi ocaml/ast_c.cmi +cp parsing_c/token_c.cmi ocaml/token_c.cmi cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi -cp parsing_c/token_c.cmo ocaml/token_c.cmo cp globals/regexp.cmo ocaml/regexp.cmo cp globals/cocciconfig.cmo ocaml/cocciconfig.cmo cp globals/flag.cmo ocaml/flag.cmo cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo cp globals/iteration.cmo ocaml/iteration.cmo cp commons/commands.cmo ocaml/commands.cmo -cp commons/common.cmo ocaml/common.cmo cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo OCAMLC commons/ograph_simple.ml OCAMLC commons/ograph_extended.ml @@ -1205,66 +1230,37 @@ OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLC parsing_cocci/visitor_ast.mli OCAMLC parsing_cocci/stmtlist.mli -OCAMLC parsing_cocci/free_vars.mli OCAMLC parsing_cocci/safe_for_multi_decls.mli OCAMLC parsing_cocci/cleanup_rules.mli OCAMLC parsing_cocci/disjdistr.mli OCAMLC parsing_cocci/get_constants2.mli -OCAMLC parsing_cocci/adjacency.mli -OCAMLC parsing_cocci/commas_on_lists.mli -OCAMLC parsing_cocci/parse_cocci.mli -OCAMLC parsing_c/ast_c.ml -OCAMLC parsing_c/includes.mli -OCAMLC parsing_c/control_flow_c.mli -OCAMLC parsing_c/includes_cache.mli -OCAMLC parsing_c/lexer_parser.mli -OCAMLC parsing_c/parser_c.mli -OCAMLC parsing_c/unparse_cocci.mli -OCAMLC parsing_c/parsing_consistency_c.mli -OCAMLC parsing_c/danger.mli -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 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.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 engine/pattern_c.mli -OCAMLC engine/transformation_c.mli -OCAMLC engine/asttomember.mli -OCAMLC engine/asttoctl2.mli -OCAMLC engine/ctltotex.mli -OCAMLC engine/postprocess_transinfo.mli -OCAMLC engine/ctlcocci_integration.mli OCAMLC popl09/ast_popl.ml OCAMLC popl09/asttopopl.mli OCAMLC popl09/insert_quantifiers.mli OCAMLC popl09/pretty_print_popl.mli -OCAMLC popl09/popltoctl.mli -OCAMLC popl09/popl.mli -OCAMLC -o extra/extra.cma -OCAMLC main.ml +OCAMLC extra/classic_patch.ml +OCAMLC extra/kbuild.ml +OCAMLC extra/maintainers.ml 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/snapshot.mli +OCAMLC tools/spgen/source/rule_body.mli OCAMLC tools/spgen/source/file_transform.mli -OCAMLC tools/spgen/source/spgen_test.ml -cp parsing_c/parser_c.cmi ocaml/parser_c.cmi +cp parsing_c/ast_c.cmi ocaml/ast_c.cmi cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi -cp parsing_c/ast_c.cmo ocaml/ast_c.cmo +cp parsing_c/token_c.cmo ocaml/token_c.cmo +cp commons/common.cmo ocaml/common.cmo cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo OCAMLC -o commons/commons.cma OCAMLC parsing_cocci/ast0_cocci.ml @@ -1278,7 +1274,6 @@ OCAMLC parsing_cocci/compute_lines.mli OCAMLC parsing_cocci/iso_pattern.mli OCAMLC parsing_cocci/comm_assoc.mli -OCAMLC parsing_cocci/iso_compile.mli OCAMLC parsing_cocci/single_statement.mli OCAMLC parsing_cocci/simple_assignments.mli OCAMLC parsing_cocci/get_metas.mli @@ -1294,64 +1289,70 @@ OCAMLC parsing_cocci/insert_plus.mli OCAMLC parsing_cocci/function_prototypes.mli OCAMLC parsing_cocci/data.mli -OCAMLC parsing_cocci/free_vars.ml +OCAMLC parsing_cocci/free_vars.mli OCAMLC parsing_cocci/check_meta.mli OCAMLC parsing_cocci/safe_for_multi_decls.ml -OCAMLC parsing_cocci/parse_aux.mli OCAMLC parsing_cocci/cleanup_rules.ml OCAMLC parsing_cocci/disjdistr.ml -MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLC parsing_cocci/get_constants2.ml OCAMLC parsing_cocci/id_utils.mli -OCAMLC parsing_cocci/adjacency.ml -OCAMLC parsing_cocci/commas_on_lists.ml +OCAMLC parsing_cocci/adjacency.mli +OCAMLC parsing_cocci/commas_on_lists.mli OCAMLC parsing_cocci/re_constraints.ml -OCAMLC parsing_c/includes.ml -OCAMLC parsing_c/control_flow_c.ml -OCAMLC parsing_c/visitor_c.mli -OCAMLC parsing_c/pretty_print_c.mli -OCAMLC parsing_c/control_flow_c_build.mli -OCAMLC parsing_c/lexer_parser.ml -OCAMLC parsing_c/lexer_c.mli -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.ml +OCAMLC parsing_cocci/parse_cocci.mli +OCAMLC parsing_c/ast_c.ml +OCAMLC parsing_c/includes.mli +OCAMLC parsing_c/control_flow_c.mli +OCAMLC parsing_c/includes_cache.mli +OCAMLC parsing_c/lexer_parser.mli +OCAMLC parsing_c/parser_c.mli +OCAMLC parsing_c/unparse_cocci.mli +OCAMLC parsing_c/parsing_consistency_c.mli +OCAMLC parsing_c/danger.mli +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/wrapper_ctl.ml -OCAMLC ocaml/externalanalysis.ml -OCAMLC ocaml/ocamlcocci_aux.ml -OCAMLC python/pycocci_aux.ml -OCAMLC engine/lib_engine.ml -OCAMLC engine/pretty_print_engine.mli -OCAMLC engine/check_reachability.ml -OCAMLC engine/isomorphisms_c_c.ml -OCAMLC engine/asttomember.ml -OCAMLC engine/asttoctl2.ml -OCAMLC engine/ctltotex.ml +OCAMLC ocaml/externalanalysis.mli +OCAMLC ocaml/ocamlcocci_aux.mli +OCAMLC ocaml/run_ocamlcocci.mli +OCAMLC python/pycocci_aux.mli +OCAMLC python/pycocci.mli +OCAMLC engine/lib_engine.mli +OCAMLC engine/check_exhaustive_pattern.ml +OCAMLC engine/check_reachability.mli +OCAMLC engine/c_vs_c.mli +OCAMLC engine/isomorphisms_c_c.mli +OCAMLC engine/cocci_vs_c.mli +OCAMLC engine/pattern_c.mli +OCAMLC engine/transformation_c.mli +OCAMLC engine/asttomember.mli +OCAMLC engine/asttoctl2.mli +OCAMLC engine/ctltotex.mli +OCAMLC engine/postprocess_transinfo.mli +OCAMLC engine/ctlcocci_integration.mli OCAMLC popl09/asttopopl.ml OCAMLC popl09/insert_quantifiers.ml OCAMLC popl09/pretty_print_popl.ml -OCAMLC popl09/popltoctl.ml -OCAMLC popl09/popl.ml +OCAMLC popl09/popltoctl.mli +OCAMLC popl09/popl.mli +OCAMLC -o extra/extra.cma +OCAMLC main.ml OCAMLC tools/spgen/source/detect_patch.ml OCAMLC tools/spgen/source/meta_variable.ml -OCAMLC tools/spgen/source/snapshot.mli +OCAMLC tools/spgen/source/snapshot.ml OCAMLC tools/spgen/source/user_input.mli -OCAMLC tools/spgen/source/rule_body.mli +OCAMLC tools/spgen/source/position_generator.mli +OCAMLC tools/spgen/source/disj_generator.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/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 tools/spgen/source/spgen_test.ml +cp parsing_c/parser_c.cmi ocaml/parser_c.cmi +cp parsing_c/ast_c.cmo ocaml/ast_c.cmo cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo OCAMLC parsing_cocci/visitor_ast0_types.ml OCAMLC parsing_cocci/visitor_ast0.ml @@ -1361,7 +1362,7 @@ OCAMLC parsing_cocci/compute_lines.ml OCAMLC parsing_cocci/iso_pattern.ml OCAMLC parsing_cocci/comm_assoc.ml -OCAMLC parsing_cocci/iso_compile.ml +OCAMLC parsing_cocci/iso_compile.mli OCAMLC parsing_cocci/single_statement.ml OCAMLC parsing_cocci/simple_assignments.ml OCAMLC parsing_cocci/get_metas.ml @@ -1376,9 +1377,58 @@ OCAMLC parsing_cocci/insert_plus.ml OCAMLC parsing_cocci/function_prototypes.ml OCAMLC parsing_cocci/data.ml +OCAMLC parsing_cocci/free_vars.ml OCAMLC parsing_cocci/check_meta.ml -OCAMLC parsing_cocci/parse_aux.ml +OCAMLC parsing_cocci/parse_aux.mli 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 +OCAMLC parsing_c/pretty_print_c.mli +OCAMLC parsing_c/control_flow_c_build.mli +OCAMLC parsing_c/lexer_parser.ml +OCAMLC parsing_c/lexer_c.mli +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.ml +OCAMLC -o ctl/ctl.cma +OCAMLC ocaml/externalanalysis.ml +OCAMLC ocaml/ocamlcocci_aux.ml +OCAMLC python/pycocci_aux.ml +OCAMLC engine/lib_engine.ml +OCAMLC engine/pretty_print_engine.mli +OCAMLC engine/check_reachability.ml +OCAMLC engine/isomorphisms_c_c.ml +OCAMLC engine/asttomember.ml +OCAMLC engine/asttoctl2.ml +OCAMLC engine/ctltotex.ml +OCAMLC popl09/popltoctl.ml +OCAMLC popl09/popl.ml +OCAMLC tools/spgen/source/user_input.ml +OCAMLC tools/spgen/source/position_generator.ml +OCAMLC tools/spgen/source/disj_generator.ml +OCAMLC tools/spgen/source/rule_body.ml +OCAMLC tools/spgen/source/rule_header.ml +OCAMLC tools/spgen/source/context_rule.ml +OCAMLC tools/spgen/source/script_rule.ml +OCAMLC tools/spgen/source/file_transform.ml +OCAMLC tools/spgen/source/spgen_interactive.ml +OCAMLC tools/spgen/source/spgen_config.ml +OCAMLC tools/spgen/source/spgen.ml +cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi +cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi +cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi +OCAMLC parsing_cocci/iso_compile.ml +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 @@ -1389,7 +1439,6 @@ OCAMLC parsing_c/parsing_recovery_c.ml OCAMLC parsing_c/danger.ml OCAMLC parsing_c/parse_c.mli -OCAMLC -o ctl/ctl.cma OCAMLC engine/pretty_print_engine.ml OCAMLC engine/c_vs_c.ml OCAMLC engine/cocci_vs_c.ml @@ -1399,16 +1448,6 @@ OCAMLC engine/ctlcocci_integration.ml OCAMLC -o popl09/popl09.cma OCAMLC cocci.mli -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/spgen_interactive.ml -OCAMLC tools/spgen/source/spgen_config.ml -OCAMLC tools/spgen/source/spgen.ml cp parsing_c/parse_c.cmi ocaml/parse_c.cmi cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo @@ -1429,36 +1468,33 @@ OCAMLC parsing_c/test_parsing_c.ml OCAMLC ocaml/exposed_modules.mli OCAMLC ocaml/coccilib.mli -OCAMLC -o engine/engine.cma OCAMLC testing.ml OCAMLC enter.ml -OCAMLC tools/spgen/source/position_generator.ml -OCAMLC tools/spgen/source/disj_generator.ml -OCAMLC tools/spgen/source/rule_body.ml cp parsing_c/parse_c.cmo ocaml/parse_c.cmo cp parsing_c/parser_c.cmo ocaml/parser_c.cmo cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo -OCAMLDEP parsing_cocci/parser_cocci_menhir.ml -OCAMLDEP parsing_cocci/parser_cocci_menhir.mli OCAMLC parsing_c/parsing_hacks.ml OCAMLC parsing_c/cpp_analysis_c.ml OCAMLC parsing_c/unparse_c.ml OCAMLC parsing_c/cpp_ast_c.ml OCAMLC ocaml/exposed_modules.ml +OCAMLC -o engine/engine.cma +OCAMLC -o parsing_c/parsing_c.cma OCAMLC ocaml/coccilib.ml OCAMLC ocaml/yes_prepare_ocamlcocci.ml OCAMLC ocaml/run_ocamlcocci.ml OCAMLC python/yes_pycocci.mli OCAMLC cocci.ml -OCAMLC parsing_cocci/parser_cocci_menhir.mli -OCAMLC -o parsing_c/parsing_c.cma -OCAMLC -o ocaml/ocaml.cma OCAMLC python/yes_pycocci.ml OCAMLC python/pycocci.ml +OCAMLC -o ocaml/ocaml.cma +OCAMLC -o python/python.cma +OCAMLDEP parsing_cocci/parser_cocci_menhir.ml +OCAMLDEP parsing_cocci/parser_cocci_menhir.mli +OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLC parsing_cocci/lexer_cocci.mli OCAMLC parsing_cocci/lexer_script.mli -OCAMLC -o python/python.cma OCAMLC parsing_cocci/lexer_cocci.ml OCAMLC parsing_cocci/lexer_script.ml OCAMLC parsing_cocci/parse_cocci.ml @@ -1476,7 +1512,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-15465-d3d728-62.c ++++ /tmp/cocci-output-3181-a78462-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -1494,7 +1530,7 @@ a3.res diff = --- tests/a3.c -+++ /tmp/cocci-output-15465-1a2eb7-a3.c ++++ /tmp/cocci-output-3181-fe5087-a3.c @@ -1,5 +1,5 @@ static void a3d_connect() { @@ -1505,7 +1541,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-15465-20d2e1-a3d.c ++++ /tmp/cocci-output-3181-241060-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -1527,7 +1563,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-15465-ad7961-a_and_e_ver1.c ++++ /tmp/cocci-output-3181-00b83c-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -1539,7 +1575,7 @@ ab.res diff = --- tests/ab.c -+++ /tmp/cocci-output-15465-97ae3e-ab.c ++++ /tmp/cocci-output-3181-47b410-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -1550,7 +1586,7 @@ action.res diff = --- tests/action.c -+++ /tmp/cocci-output-15465-698ec1-action.c ++++ /tmp/cocci-output-3181-e4485a-action.c @@ -1,10 +1,8 @@ void work() { @@ -1568,7 +1604,7 @@ SPECIAL NAMES: adding list_for_each_entry as a iterator diff = --- tests/add1.c -+++ /tmp/cocci-output-15465-ab2c78-add1.c ++++ /tmp/cocci-output-3181-f36e08-add1.c @@ -7,6 +7,9 @@ static int create_scheduling_groups(void ret = build_groups(sd, i); } @@ -1595,7 +1631,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-15465-3d3be2-addaft.c ++++ /tmp/cocci-output-3181-4aaeb8-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -1619,7 +1655,7 @@ addafterdecl.res diff = --- tests/addafterdecl.c -+++ /tmp/cocci-output-15465-9b525e-addafterdecl.c ++++ /tmp/cocci-output-3181-225b0e-addafterdecl.c @@ -1,4 +1,5 @@ int main () { int x; @@ -1629,7 +1665,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-15465-029f65-addbefore.c ++++ /tmp/cocci-output-3181-202706-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -1640,7 +1676,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-15465-24020c-addbeforeafter.c ++++ /tmp/cocci-output-3181-add6e4-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -1653,7 +1689,7 @@ addcomm.res diff = --- tests/addcomm.c -+++ /tmp/cocci-output-15465-f0c8db-addcomm.c ++++ /tmp/cocci-output-3181-da3bf8-addcomm.c @@ -1,5 +1,9 @@ int main() { - foo(); @@ -1669,7 +1705,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-15465-8d8eac-addelse.c ++++ /tmp/cocci-output-3181-cee8d6-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -1677,7 +1713,7 @@ addes.res diff = --- tests/addes.c -+++ /tmp/cocci-output-15465-898c6c-addes.c ++++ /tmp/cocci-output-3181-9e8ef9-addes.c @@ -1 +1,3 @@ int i; +struct foo { @@ -1685,7 +1721,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-15465-8f6f3d-addfield.c ++++ /tmp/cocci-output-3181-bf4ba6-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -1697,7 +1733,7 @@ addfield2.res diff = --- tests/addfield2.c -+++ /tmp/cocci-output-15465-3b5596-addfield2.c ++++ /tmp/cocci-output-3181-2fd54d-addfield2.c @@ -1,17 +1,21 @@ struct foo { + int roto; @@ -1723,7 +1759,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-15465-e34431-addif.c ++++ /tmp/cocci-output-3181-f1d424-addif.c @@ -1,7 +1,19 @@ +#ifdef FOO +/* some comment */ @@ -1747,7 +1783,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-15465-e024bf-addif1.c ++++ /tmp/cocci-output-3181-93d384-addif1.c @@ -1,7 +1,15 @@ +#ifdef FOO +int xxx() { @@ -1767,7 +1803,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-15465-665457-addif2.c ++++ /tmp/cocci-output-3181-50a921-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -1785,7 +1821,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-15465-491beb-addifdef.c ++++ /tmp/cocci-output-3181-3c0ba2-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -1804,7 +1840,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-15465-7e19fd-addifelse.c ++++ /tmp/cocci-output-3181-5a3943-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -1823,7 +1859,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-15465-884ece-addifelse2.c ++++ /tmp/cocci-output-3181-f248f2-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) { @@ -1843,7 +1879,7 @@ addinc.res diff = --- tests/addinc.c -+++ /tmp/cocci-output-15465-a6c0ef-addinc.c ++++ /tmp/cocci-output-3181-5d1190-addinc.c @@ -1,4 +1,5 @@ #ifndef FOO #define FOO @@ -1853,7 +1889,7 @@ addnl.res diff = --- tests/addnl.c -+++ /tmp/cocci-output-15465-7ef4ee-addnl.c ++++ /tmp/cocci-output-3181-29398c-addnl.c @@ -1,5 +1,6 @@ int main () { xxx(); @@ -1865,7 +1901,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-15465-b80b59-addtoo.c ++++ /tmp/cocci-output-3181-b43e5c-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -1889,7 +1925,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-15465-c56783-addtrace.c ++++ /tmp/cocci-output-3181-bf73ad-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -1922,7 +1958,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-15465-083776-after_if.c ++++ /tmp/cocci-output-3181-7fa0d8-after_if.c @@ -1,4 +1,4 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -1932,7 +1968,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-15465-ddb45f-allex.c ++++ /tmp/cocci-output-3181-156ce8-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -1945,7 +1981,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-15465-c2bf3a-allex2.c ++++ /tmp/cocci-output-3181-f7812e-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -1956,7 +1992,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-15465-391525-allex3.c ++++ /tmp/cocci-output-3181-c4780c-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -1966,7 +2002,7 @@ andid.res diff = --- tests/andid.c -+++ /tmp/cocci-output-15465-abe667-andid.c ++++ /tmp/cocci-output-3181-bd0bf3-andid.c @@ -1,5 +1,5 @@ int main () { - int frontandback = 12; @@ -1977,7 +2013,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-15465-39a734-anon.c ++++ /tmp/cocci-output-3181-aeba81-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -1988,7 +2024,7 @@ anonfield.res diff = --- tests/anonfield.c -+++ /tmp/cocci-output-15465-6f87ba-anonfield.c ++++ /tmp/cocci-output-3181-141562-anonfield.c @@ -1,3 +1,3 @@ struct { - int; @@ -1997,7 +2033,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-15465-36e720-ar.c ++++ /tmp/cocci-output-3181-e22378-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -2011,7 +2047,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-15465-8fe82f-arg.c ++++ /tmp/cocci-output-3181-a1f95d-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -2026,7 +2062,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-15465-917f92-argument.c ++++ /tmp/cocci-output-3181-b66fca-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -2040,7 +2076,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-15465-ee90b7-arparam.c ++++ /tmp/cocci-output-3181-8fea21-arparam.c @@ -1,3 +1,8 @@ +int g(int q[1024]) +{ @@ -2054,7 +2090,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/array_init.c -+++ /tmp/cocci-output-15465-ef182f-array_init.c ++++ /tmp/cocci-output-3181-36416b-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"); @@ -2062,7 +2098,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-15465-6f7118-array_size.c ++++ /tmp/cocci-output-3181-1b1371-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -2070,7 +2106,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-15465-78aa86-arraysz.c ++++ /tmp/cocci-output-3181-7eb3ca-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -2080,7 +2116,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-15465-e75db4-as_stm.c ++++ /tmp/cocci-output-3181-fdee8a-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -2097,7 +2133,7 @@ SPECIAL NAMES: adding aarg4 as a attribute diff = --- tests/attr_with_arguments.c -+++ /tmp/cocci-output-15465-d5d6e3-attr_with_arguments.c ++++ /tmp/cocci-output-3181-1affa0-attr_with_arguments.c @@ -1,9 +1,9 @@ -aarg(1,2) int func() { - int id aarg3(1,2); @@ -2131,7 +2167,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-15465-b62470-attradd.c ++++ /tmp/cocci-output-3181-52ef51-attradd.c @@ -1,3 +1,5 @@ int main () { - char f; @@ -2145,7 +2181,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attribute_order.c -+++ /tmp/cocci-output-15465-ddec72-attribute_order.c ++++ /tmp/cocci-output-3181-237c7f-attribute_order.c @@ -1,3 +1,3 @@ -int __att1 * __att2 * __att3 foo() { return 0; } + @@ -2155,7 +2191,7 @@ warning: line 5: should variable be a metavariable? diff = --- tests/attributeb.c -+++ /tmp/cocci-output-15465-365283-attributeb.c ++++ /tmp/cocci-output-3181-137259-attributeb.c @@ -1,3 +1,3 @@ int main(){ - [[lucky]] int variable; @@ -2167,7 +2203,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attrreplace.c -+++ /tmp/cocci-output-15465-9db240-attrreplace.c ++++ /tmp/cocci-output-3181-9539f9-attrreplace.c @@ -1,4 +1,7 @@ -int __att1 * __att2 * __att3 foo() { aaa(0); } -int __att1 * __att2 * __att3 bar() { return 0; } @@ -2185,7 +2221,7 @@ SPECIAL NAMES: adding BUG as a declarer diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-15465-da9631-attrs2groups.c ++++ /tmp/cocci-output-3181-b14941-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -2214,7 +2250,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-15465-c949f7-b1.c ++++ /tmp/cocci-output-3181-b5cde7-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -2231,7 +2267,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-15465-fafc2f-b2.c ++++ /tmp/cocci-output-3181-bac634-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -2249,7 +2285,7 @@ bad_iso_example.res diff = --- tests/bad_iso_example.c -+++ /tmp/cocci-output-15465-964fb0-bad_iso_example.c ++++ /tmp/cocci-output-3181-032e27-bad_iso_example.c @@ -1,4 +1,5 @@ int main() { - if ((x = 3)) return; @@ -2260,7 +2296,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-15465-8e3aef-bad_kfree.c ++++ /tmp/cocci-output-3181-21bc3f-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -2273,7 +2309,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-15465-9929d2-bad_ptr_print.c ++++ /tmp/cocci-output-3181-18f289-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -2283,7 +2319,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-15465-b9145d-bad_typedef.c ++++ /tmp/cocci-output-3181-32dc94-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -2303,7 +2339,7 @@ badcfg.res diff = --- tests/badcfg.c -+++ /tmp/cocci-output-15465-e53e15-badcfg.c ++++ /tmp/cocci-output-3181-7f93f9-badcfg.c @@ -3,7 +3,7 @@ const char *netdev_cmd_to_name(enum netd #define N(val) \ case NETDEV_##val: \ @@ -2316,7 +2352,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-15465-fe2665-badexp.c ++++ /tmp/cocci-output-3181-9bdeca-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -2326,7 +2362,7 @@ badpos.res diff = --- tests/badpos.c -+++ /tmp/cocci-output-15465-4ed549-badpos.c ++++ /tmp/cocci-output-3181-2949bd-badpos.c @@ -1,7 +1,7 @@ static irqreturn_t elmc_interrupt(int irq, void *dev_id, struct sger_tp *orig_reg_ptr) @@ -2340,7 +2376,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-15465-12b608-badtypedef.c ++++ /tmp/cocci-output-3181-7025de-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -2354,7 +2390,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-15465-5c92c7-badwhen.c ++++ /tmp/cocci-output-3181-326c3d-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -2366,7 +2402,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-15465-5f8d9a-badzero.c ++++ /tmp/cocci-output-3181-31704e-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -2383,7 +2419,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-15465-8f5fb3-befS.c ++++ /tmp/cocci-output-3181-9fd034-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -2422,7 +2458,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-15465-9b853b-before.c ++++ /tmp/cocci-output-3181-eee180-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -2433,7 +2469,7 @@ befored.res diff = --- tests/befored.c -+++ /tmp/cocci-output-15465-c9110e-befored.c ++++ /tmp/cocci-output-3181-0ca641-befored.c @@ -1,4 +1,8 @@ int main() { + foo(); @@ -2448,7 +2484,7 @@ SPECIAL NAMES: adding GTypeInfo as a type diff = --- tests/ben.c -+++ /tmp/cocci-output-15465-c9048b-ben.c ++++ /tmp/cocci-output-3181-92509d-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -2488,7 +2524,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-15465-01378f-bigin.c ++++ /tmp/cocci-output-3181-07fb9b-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -2499,7 +2535,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-15465-1f9228-bigrepl.c ++++ /tmp/cocci-output-3181-c9ce3e-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -2516,7 +2552,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-15465-9d8b64-binop.c ++++ /tmp/cocci-output-3181-53bce0-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -2537,7 +2573,7 @@ warning: rule starting on line 11: metavariable v not used in the - or context code diff = --- tests/bitfield.c -+++ /tmp/cocci-output-15465-7dab8e-bitfield.c ++++ /tmp/cocci-output-3181-c744cb-bitfield.c @@ -1,15 +1,15 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -2570,7 +2606,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-15465-6e9c88-boolr.c ++++ /tmp/cocci-output-3181-13a9eb-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -2579,7 +2615,7 @@ bracebraceline.res diff = --- tests/bracebraceline.c -+++ /tmp/cocci-output-15465-2d7e30-bracebraceline.c ++++ /tmp/cocci-output-3181-1914c0-bracebraceline.c @@ -1,6 +1,5 @@ int main () { if (x) { @@ -2591,7 +2627,7 @@ braceline.res diff = --- tests/braceline.c -+++ /tmp/cocci-output-15465-b54f36-braceline.c ++++ /tmp/cocci-output-3181-78afa0-braceline.c @@ -1,6 +1,3 @@ int main () { - if (x) { @@ -2603,7 +2639,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-15465-da30d9-braces.c ++++ /tmp/cocci-output-3181-44571c-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -2621,7 +2657,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-15465-1e4804-branchparen.c ++++ /tmp/cocci-output-3181-c34285-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -2638,7 +2674,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-15465-bf4a37-break.c ++++ /tmp/cocci-output-3181-8e5f33-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -2666,7 +2702,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-15465-fef70c-bug1.c ++++ /tmp/cocci-output-3181-695e33-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, @@ -2679,7 +2715,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-15465-03eb8c-bugon.c ++++ /tmp/cocci-output-3181-3786a4-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -2690,7 +2726,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-15465-563b1d-bus.c ++++ /tmp/cocci-output-3181-3072a1-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -2703,7 +2739,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/cards.c -+++ /tmp/cocci-output-15465-975806-cards.c ++++ /tmp/cocci-output-3181-52f00a-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -2712,7 +2748,7 @@ caseprint.res diff = --- tests/caseprint.c -+++ /tmp/cocci-output-15465-f53bc0-caseprint.c ++++ /tmp/cocci-output-3181-47a96c-caseprint.c @@ -3,4 +3,10 @@ int f() { case 12: return 0; case 1: return 2; @@ -2727,7 +2763,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-15465-baf435-cast.c ++++ /tmp/cocci-output-3181-7fbce7-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -2735,7 +2771,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-15465-f17530-cast_iso.c ++++ /tmp/cocci-output-3181-2324f1-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -2748,7 +2784,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-15465-3dedd4-castdecl.c ++++ /tmp/cocci-output-3181-c8dbdb-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -2767,7 +2803,7 @@ cex_snip_field_ok.res diff = --- tests/cex_snip_field_ok.c -+++ /tmp/cocci-output-15465-61939a-cex_snip_field_ok.c ++++ /tmp/cocci-output-3181-4ffcc6-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; }; @@ -2780,7 +2816,7 @@ cex_wishlist_complex1.res diff = --- tests/cex_wishlist_complex1.c -+++ /tmp/cocci-output-15465-6ed813-cex_wishlist_complex1.c ++++ /tmp/cocci-output-3181-49f864-cex_wishlist_complex1.c @@ -1,6 +1,6 @@ #include int main() { @@ -2792,7 +2828,7 @@ cex_wishlist_complex2.res diff = --- tests/cex_wishlist_complex2.c -+++ /tmp/cocci-output-15465-e09fdd-cex_wishlist_complex2.c ++++ /tmp/cocci-output-3181-a49b92-cex_wishlist_complex2.c @@ -2,7 +2,7 @@ int main() { double d; @@ -2805,7 +2841,7 @@ cex_wishlist_complex3.res diff = --- tests/cex_wishlist_complex3.c -+++ /tmp/cocci-output-15465-cd5582-cex_wishlist_complex3.c ++++ /tmp/cocci-output-3181-1a6f22-cex_wishlist_complex3.c @@ -2,7 +2,7 @@ int main() { double d; @@ -2819,7 +2855,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-15465-16d82f-change.c ++++ /tmp/cocci-output-3181-e5b05d-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -2829,14 +2865,14 @@ } change_pragma.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_879f1f.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_879f1f.ml +ocamlc -c /tmp/ocaml_cocci_702eca.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_702eca.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-15465-c9ec8c-change_type.c ++++ /tmp/cocci-output-3181-4bedca-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -2848,7 +2884,7 @@ cocci_args.res diff = --- tests/cocci_args.c -+++ /tmp/cocci-output-15465-3cddb5-cocci_args.c ++++ /tmp/cocci-output-3181-eed398-cocci_args.c @@ -1,3 +1,3 @@ int main () { - f(); @@ -2857,7 +2893,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-15465-afb500-com.c ++++ /tmp/cocci-output-3181-5448e4-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -2870,7 +2906,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-15465-f8cc35-comadd.c ++++ /tmp/cocci-output-3181-bca847-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -2880,7 +2916,7 @@ comj.res diff = --- tests/comj.c -+++ /tmp/cocci-output-15465-9f4730-comj.c ++++ /tmp/cocci-output-3181-6cae1d-comj.c @@ -2,6 +2,8 @@ int foo(int bar) { int i, j; @@ -2892,12 +2928,12 @@ return j; comma.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_805e0c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_805e0c.ml +ocamlc -c /tmp/ocaml_cocci_39d13b.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_39d13b.ml Compilation OK! Loading ML code of the SP... diff = --- tests/comma.c -+++ /tmp/cocci-output-15465-6f7989-comma.c ++++ /tmp/cocci-output-3181-11e69d-comma.c @@ -3,9 +3,9 @@ show_cpuinfo (struct seq_file *m, void * { for (i = 0; i < ARRAY_SIZE(feature_bits) && size > 1; ++i) { @@ -2913,7 +2949,7 @@ comma_call.res diff = --- tests/comma_call.c -+++ /tmp/cocci-output-15465-180e31-comma_call.c ++++ /tmp/cocci-output-3181-f191e8-comma_call.c @@ -1,10 +1,13 @@ int main() { - if (x) @@ -2935,7 +2971,7 @@ comma_if.res diff = --- tests/comma_if.c -+++ /tmp/cocci-output-15465-7e6cd5-comma_if.c ++++ /tmp/cocci-output-3181-c31ccc-comma_if.c @@ -1,13 +1,19 @@ int main() { - if (uffdio_zeropage.zeropage == -EEXIST) @@ -2965,7 +3001,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-15465-618b84-comment_brace.c ++++ /tmp/cocci-output-3181-b86005-comment_brace.c @@ -1,7 +1,10 @@ int main () { @@ -2980,7 +3016,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-15465-b24a35-comment_brace2.c ++++ /tmp/cocci-output-3181-69b537-comment_brace2.c @@ -1,7 +1,10 @@ int main () { @@ -2994,8 +3030,8 @@ comment_line.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_16a05f.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_16a05f.ml -File "/tmp/ocaml_cocci_16a05f.ml", line 31, characters 4-5: +ocamlc -c /tmp/ocaml_cocci_da7303.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_da7303.ml +File "/tmp/ocaml_cocci_da7303.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. @@ -3005,7 +3041,7 @@ 1 diff = --- tests/comment_line.c -+++ /tmp/cocci-output-15465-200cdf-comment_line.c ++++ /tmp/cocci-output-3181-d2145d-comment_line.c @@ -1,11 +1,9 @@ int main() { before(); @@ -3020,8 +3056,8 @@ } comment_middle.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_77f57d.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_77f57d.ml -File "/tmp/ocaml_cocci_77f57d.ml", line 30, characters 5-6: +ocamlc -c /tmp/ocaml_cocci_1f35e3.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_1f35e3.ml +File "/tmp/ocaml_cocci_1f35e3.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. @@ -3029,7 +3065,7 @@ Loading ML code of the SP... diff = --- tests/comment_middle.c -+++ /tmp/cocci-output-15465-73170b-comment_middle.c ++++ /tmp/cocci-output-3181-d4f62b-comment_middle.c @@ -5,5 +5,4 @@ struct i { }; @@ -3041,7 +3077,7 @@ commentend.res diff = --- tests/commentend.c -+++ /tmp/cocci-output-15465-16e69b-commentend.c ++++ /tmp/cocci-output-3181-eacaac-commentend.c @@ -1,5 +1,4 @@ int main () { foo(); @@ -3051,7 +3087,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-15465-359987-comments.c ++++ /tmp/cocci-output-3181-ce9855-comments.c @@ -1,5 +1,16 @@ int main() { @@ -3073,7 +3109,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/compare.c -+++ /tmp/cocci-output-15465-5ac868-compare.c ++++ /tmp/cocci-output-3181-5d2ae8-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -3087,7 +3123,7 @@ compare_const.res diff = --- tests/compare_const.c -+++ /tmp/cocci-output-15465-736c31-compare_const.c ++++ /tmp/cocci-output-3181-c2fc7b-compare_const.c @@ -1,3 +1,3 @@ int main () { - return 0 == x; @@ -3096,7 +3132,7 @@ compare_const2.res diff = --- tests/compare_const2.c -+++ /tmp/cocci-output-15465-27ecc8-compare_const2.c ++++ /tmp/cocci-output-3181-58c220-compare_const2.c @@ -1,6 +1,6 @@ int main () { // int i,o; @@ -3109,7 +3145,7 @@ comreturn.res diff = --- tests/comreturn.c -+++ /tmp/cocci-output-15465-94d6df-comreturn.c ++++ /tmp/cocci-output-3181-0a6720-comreturn.c @@ -1,10 +1,14 @@ int main() { a(); @@ -3128,7 +3164,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-15465-cbbc98-condexp.c ++++ /tmp/cocci-output-3181-db42b5-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -3141,7 +3177,7 @@ const.res diff = --- tests/const.c -+++ /tmp/cocci-output-15465-df3da5-const.c ++++ /tmp/cocci-output-3181-8d96bf-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -3150,7 +3186,7 @@ const1bis.res diff = --- tests/const1bis.c -+++ /tmp/cocci-output-15465-a5045e-const1bis.c ++++ /tmp/cocci-output-3181-78517b-const1bis.c @@ -1,25 +1,25 @@ void foo(int j) { - const int i; @@ -3186,7 +3222,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-15465-f5c50b-const_adding.c ++++ /tmp/cocci-output-3181-a4ef45-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -3198,7 +3234,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-15465-9b9cfc-const_array.c ++++ /tmp/cocci-output-3181-9c4206-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -3217,7 +3253,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-15465-6a9817-const_implicit_iso.c ++++ /tmp/cocci-output-3181-0980af-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -3227,7 +3263,7 @@ constptr.res diff = --- tests/constptr.c -+++ /tmp/cocci-output-15465-2a966d-constptr.c ++++ /tmp/cocci-output-3181-91173d-constptr.c @@ -1,7 +1,7 @@ int main() { @@ -3243,7 +3279,7 @@ constraints.res diff = --- tests/constraints.c -+++ /tmp/cocci-output-15465-8c6b75-constraints.c ++++ /tmp/cocci-output-3181-d5b8af-constraints.c @@ -1,23 +1,23 @@ void f() @@ -3277,7 +3313,7 @@ constrem.res diff = --- tests/constrem.c -+++ /tmp/cocci-output-15465-0ad77b-constrem.c ++++ /tmp/cocci-output-3181-bb48d0-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -3285,7 +3321,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-15465-bf0069-constructor.c ++++ /tmp/cocci-output-3181-b03091-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -3297,7 +3333,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-15465-592b99-constty.c ++++ /tmp/cocci-output-3181-c3667f-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -3309,7 +3345,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-15465-153425-constx.c ++++ /tmp/cocci-output-3181-eb1f08-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -3326,7 +3362,7 @@ } countcalls.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_4d378f.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_4d378f.ml +ocamlc -c /tmp/ocaml_cocci_45081a.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_45081a.ml Compilation OK! Loading ML code of the SP... countcalls_python.res @@ -3334,14 +3370,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-15465-26a3bf-cptr.c ++++ /tmp/cocci-output-3181-47c2fd-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char * const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-15465-426b2e-cr.c ++++ /tmp/cocci-output-3181-4ba711-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -3357,7 +3393,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-15465-73c00a-cr1a.c ++++ /tmp/cocci-output-3181-21d47d-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -3382,7 +3418,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-15465-3d6af4-cs_check.c ++++ /tmp/cocci-output-3181-682924-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -3395,7 +3431,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-15465-b774fc-cst.c ++++ /tmp/cocci-output-3181-5651f2-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -3406,7 +3442,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-15465-bef1fa-cst_null.c ++++ /tmp/cocci-output-3181-ad3c09-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -3442,12 +3478,12 @@ vb->magic = MAGIC_BUFFER; cstr.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_992a37.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_992a37.ml +ocamlc -c /tmp/ocaml_cocci_716793.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_716793.ml Compilation OK! Loading ML code of the SP... diff = --- tests/cstr.c -+++ /tmp/cocci-output-15465-3b17ce-cstr.c ++++ /tmp/cocci-output-3181-3fa3d2-cstr.c @@ -1,4 +1,8 @@ int main() { f(1,2,1,2,3); @@ -3461,7 +3497,7 @@ warning: line 4: should foo be a metavariable? diff = --- tests/cststr.c -+++ /tmp/cocci-output-15465-4109f8-cststr.c ++++ /tmp/cocci-output-3181-0d301c-cststr.c @@ -1,3 +1,3 @@ int main () { - foo((ptr_t)"blah"); @@ -3471,7 +3507,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-15465-f2e2b1-csw.c ++++ /tmp/cocci-output-3181-4054ad-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -3490,7 +3526,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-15465-1d78b5-dbg.c ++++ /tmp/cocci-output-3181-6c321d-dbg.c @@ -5,4 +5,6 @@ static inline void alloc_resource(struct if (pr) @@ -3501,7 +3537,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-15465-f2c5da-dbg1.c ++++ /tmp/cocci-output-3181-163fc9-dbg1.c @@ -2,4 +2,5 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) { @@ -3511,7 +3547,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-15465-430e6f-dc_close.c ++++ /tmp/cocci-output-3181-e9d875-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -3523,7 +3559,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-15465-e46ac4-debug.c ++++ /tmp/cocci-output-3181-dc7b97-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -3533,7 +3569,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-15465-cb4fe7-dec.c ++++ /tmp/cocci-output-3181-a3b6b8-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -3545,7 +3581,7 @@ SPECIAL NAMES: adding __cb as a attribute diff = --- tests/decadd.c -+++ /tmp/cocci-output-15465-f333d1-decadd.c ++++ /tmp/cocci-output-3181-5bdd69-decadd.c @@ -1,3 +1,3 @@ struct x { - DECL(x); @@ -3555,7 +3591,7 @@ decdup2.res diff = --- tests/decdup2.c -+++ /tmp/cocci-output-15465-ba0d6f-decdup2.c ++++ /tmp/cocci-output-3181-403e67-decdup2.c @@ -1,2 +1,3 @@ +int www; BTF_ID_LIST_SINGLE(bpf_ima_inode_hash_btf_ids, struct, inode) @@ -3565,7 +3601,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-15465-0c8c58-decl.c ++++ /tmp/cocci-output-3181-415a74-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -3577,7 +3613,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-15465-381915-decl2.c ++++ /tmp/cocci-output-3181-b17983-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -3589,7 +3625,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-15465-a5419c-decl_space.c ++++ /tmp/cocci-output-3181-ce1a5e-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -3601,7 +3637,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-15465-87929d-decl_star.c ++++ /tmp/cocci-output-3181-7a8ba0-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -3613,7 +3649,7 @@ declend.res diff = --- tests/declend.c -+++ /tmp/cocci-output-15465-8a4f02-declend.c ++++ /tmp/cocci-output-3181-27be8a-declend.c @@ -1,6 +1,5 @@ int x; @@ -3624,7 +3660,7 @@ declmeta.res diff = --- tests/declmeta.c -+++ /tmp/cocci-output-15465-ed933d-declmeta.c ++++ /tmp/cocci-output-3181-2c56b9-declmeta.c @@ -1,7 +1,7 @@ -int b,c; +int c; @@ -3639,13 +3675,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-15465-c0eda4-defe.c ++++ /tmp/cocci-output-3181-4d8467-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-15465-068d60-define_exp.c ++++ /tmp/cocci-output-3181-0330f4-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -3656,7 +3692,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-15465-e03bac-define_param.c ++++ /tmp/cocci-output-3181-582d68-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -3673,7 +3709,7 @@ definedots.res diff = --- tests/definedots.c -+++ /tmp/cocci-output-15465-de5b10-definedots.c ++++ /tmp/cocci-output-3181-14e058-definedots.c @@ -1,3 +1,3 @@ -#define a(x,y...) 3 -#define a(x,...) 3 @@ -3684,7 +3720,7 @@ defineinit.res diff = --- tests/defineinit.c -+++ /tmp/cocci-output-15465-a01d67-defineinit.c ++++ /tmp/cocci-output-3181-f568b5-defineinit.c @@ -1,3 +1,3 @@ #define MYMACRO(adsf) { \ - .foo = (asdf),\ @@ -3694,7 +3730,7 @@ del2.res diff = --- tests/del2.c -+++ /tmp/cocci-output-15465-702c71-del2.c ++++ /tmp/cocci-output-3181-57ed31-del2.c @@ -4,8 +4,5 @@ int my_test_allocate_components(void) if (result != X_SUCCESS) return result; @@ -3707,7 +3743,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-15465-511f54-delete_function.c ++++ /tmp/cocci-output-3181-692bd8-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -3724,7 +3760,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-15465-0c5d5a-delp.c ++++ /tmp/cocci-output-3181-53af36-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -3734,7 +3770,7 @@ depfail.res diff = --- tests/depfail.c -+++ /tmp/cocci-output-15465-f30cca-depfail.c ++++ /tmp/cocci-output-3181-0ba12b-depfail.c @@ -1,5 +1,4 @@ int main(void) { @@ -3744,7 +3780,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-15465-21fd28-deref.c ++++ /tmp/cocci-output-3181-620686-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -3757,7 +3793,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-15465-76a2ce-destroy.c ++++ /tmp/cocci-output-3181-1f8a6e-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -3775,7 +3811,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/detect_cast_attr.c -+++ /tmp/cocci-output-15465-af3c1a-detect_cast_attr.c ++++ /tmp/cocci-output-3181-753455-detect_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -3797,7 +3833,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_6ccdf0.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6ccdf0.ml +ocamlc -c /tmp/ocaml_cocci_b6908a.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_b6908a.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been @@ -3812,7 +3848,7 @@ Loading ML code of the SP... diff = --- tests/detect_macrodecl_attr.c -+++ /tmp/cocci-output-15465-0b941c-detect_macrodecl_attr.c ++++ /tmp/cocci-output-3181-1c9966-detect_macrodecl_attr.c @@ -1,7 +1,5 @@ #define __macro_attr MACROANNOTATION @@ -3827,7 +3863,7 @@ SPECIAL NAMES: adding __attr as a attribute diff = --- tests/detect_param_attr.c -+++ /tmp/cocci-output-15465-007de8-detect_param_attr.c ++++ /tmp/cocci-output-3181-702647-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) { @@ -3848,7 +3884,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/detect_struct_endattr.c -+++ /tmp/cocci-output-15465-4552f0-detect_struct_endattr.c ++++ /tmp/cocci-output-3181-f0f82b-detect_struct_endattr.c @@ -2,7 +2,6 @@ struct abcd { @@ -3860,7 +3896,7 @@ detect_struct_gccattr.res diff = --- tests/detect_struct_gccattr.c -+++ /tmp/cocci-output-15465-dc8926-detect_struct_gccattr.c ++++ /tmp/cocci-output-3181-cb1287-detect_struct_gccattr.c @@ -1,18 +1,15 @@ struct abcd { int a; @@ -3904,7 +3940,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/devlink.c -+++ /tmp/cocci-output-15465-3636ba-devlink.c ++++ /tmp/cocci-output-3181-c112e0-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -3930,7 +3966,7 @@ SPECIAL NAMES: adding DISJ_DECLARER0 as a declarer diff = --- tests/disj.c -+++ /tmp/cocci-output-15465-2645b7-disj.c ++++ /tmp/cocci-output-3181-c15ff1-disj.c @@ -1,31 +1,31 @@ void f() { int disj_id0; @@ -3982,7 +4018,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-15465-89815a-disjexpr.c ++++ /tmp/cocci-output-3181-050d26-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -3991,7 +4027,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-15465-bcdee9-disjexpr_ver1.c ++++ /tmp/cocci-output-3181-ee0362-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -4000,7 +4036,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-15465-cd40f8-disjexpr_ver2.c ++++ /tmp/cocci-output-3181-c9d097-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -4009,7 +4045,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-15465-c5d133-disjid.c ++++ /tmp/cocci-output-3181-5daf94-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -4023,7 +4059,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-15465-44a8f2-distribute.c ++++ /tmp/cocci-output-3181-b1816f-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -4033,7 +4069,7 @@ dotcall.res diff = --- tests/dotcall.c -+++ /tmp/cocci-output-15465-c24ef5-dotcall.c ++++ /tmp/cocci-output-3181-145b27-dotcall.c @@ -1,3 +1,2 @@ int main() { - xxx.foobar(); @@ -4041,7 +4077,7 @@ dots_comma.res diff = --- tests/dots_comma.c -+++ /tmp/cocci-output-15465-c9d9af-dots_comma.c ++++ /tmp/cocci-output-3181-60c16f-dots_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -4051,7 +4087,7 @@ dots_in_block_remove.res diff = --- tests/dots_in_block_remove.c -+++ /tmp/cocci-output-15465-47ee79-dots_in_block_remove.c ++++ /tmp/cocci-output-3181-64c26b-dots_in_block_remove.c @@ -1,10 +1,3 @@ int main() { @@ -4066,7 +4102,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-15465-9c3b29-double.c ++++ /tmp/cocci-output-3181-e5125e-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))) { @@ -4077,7 +4113,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-15465-aedd90-double_assign.c ++++ /tmp/cocci-output-3181-6a3ed2-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -4088,7 +4124,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-15465-efbdeb-double_lines.c ++++ /tmp/cocci-output-3181-50ac5c-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -4101,7 +4137,7 @@ doubleconst.res diff = --- tests/doubleconst.c -+++ /tmp/cocci-output-15465-2c9524-doubleconst.c ++++ /tmp/cocci-output-3181-002586-doubleconst.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -4110,7 +4146,7 @@ doubleconst2.res diff = --- tests/doubleconst2.c -+++ /tmp/cocci-output-15465-687f8d-doubleconst2.c ++++ /tmp/cocci-output-3181-fbb302-doubleconst2.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -4119,7 +4155,7 @@ doubleconst4.res diff = --- tests/doubleconst4.c -+++ /tmp/cocci-output-15465-82d8cc-doubleconst4.c ++++ /tmp/cocci-output-3181-51079c-doubleconst4.c @@ -1,3 +1,3 @@ int main () { - char const* const ccpc = &const_obj; @@ -4128,7 +4164,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-15465-b72c73-doublepos.c ++++ /tmp/cocci-output-3181-7ddcb4-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -4138,7 +4174,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-15465-dcba97-doubleswitch.c ++++ /tmp/cocci-output-3181-d9d8ea-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; @@ -4151,7 +4187,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-15465-3e60b8-doundo.c ++++ /tmp/cocci-output-3181-a5ae84-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -4162,7 +4198,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-15465-69a86b-dowhile.c ++++ /tmp/cocci-output-3181-d6bf46-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -4174,7 +4210,7 @@ dowhile_4.res diff = --- tests/dowhile_4.c -+++ /tmp/cocci-output-15465-8fc08a-dowhile_4.c ++++ /tmp/cocci-output-3181-8f10bd-dowhile_4.c @@ -2,5 +2,4 @@ int fun() { do { printf("dummy message"); @@ -4189,7 +4225,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-15465-f818c3-dowhile_for_complex.c ++++ /tmp/cocci-output-3181-1991f2-dowhile_for_complex.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -4208,7 +4244,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-15465-55b593-dowhile_nested.c ++++ /tmp/cocci-output-3181-143a8f-dowhile_nested.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -4222,7 +4258,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-15465-a66dfd-dropbr.c ++++ /tmp/cocci-output-3181-e754b5-dropbr.c @@ -1,5 +1,4 @@ int main () { - if (a) { @@ -4234,7 +4270,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-15465-c991ff-dropcom.c ++++ /tmp/cocci-output-3181-585760-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -4249,7 +4285,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-15465-f1f8d9-dropenderr.c ++++ /tmp/cocci-output-3181-fcae47-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -4264,7 +4300,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-15465-69aa90-dropf.c ++++ /tmp/cocci-output-3181-57b733-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -4273,7 +4309,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-15465-cfb1b2-dropparam.c ++++ /tmp/cocci-output-3181-18ac3e-dropparam.c @@ -2,11 +2,11 @@ int f(char *x, int y, char* z) { return; } @@ -4291,7 +4327,7 @@ dtest.res diff = --- tests/dtest.c -+++ /tmp/cocci-output-15465-f23189-dtest.c ++++ /tmp/cocci-output-3181-55d6e2-dtest.c @@ -1,5 +1,5 @@ int main() { struct sk_buff *e; @@ -4303,7 +4339,7 @@ SPECIAL NAMES: adding Packet as a type diff = --- tests/eb1.c -+++ /tmp/cocci-output-15465-6a494c-eb1.c ++++ /tmp/cocci-output-3181-dbe6ee-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -4322,7 +4358,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-15465-8c215c-edots.c ++++ /tmp/cocci-output-3181-a63cec-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -4335,7 +4371,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-15465-994fea-edots_ver1.c ++++ /tmp/cocci-output-3181-b6b59d-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -4350,7 +4386,7 @@ efi3.res diff = --- tests/efi3.c -+++ /tmp/cocci-output-15465-9f7831-efi3.c ++++ /tmp/cocci-output-3181-15dd00-efi3.c @@ -6,6 +6,6 @@ static efi_status_t virt_efi_get_time(ef goto exit; @@ -4362,7 +4398,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-15465-ece5d5-elsify.c ++++ /tmp/cocci-output-3181-fe2990-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -4376,7 +4412,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-15465-8ac390-empty.c ++++ /tmp/cocci-output-3181-2e757b-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -4389,7 +4425,7 @@ SPECIAL NAMES: adding autofree as a attribute diff = --- tests/end_attr.c -+++ /tmp/cocci-output-15465-f844b4-end_attr.c ++++ /tmp/cocci-output-3181-9602b9-end_attr.c @@ -1,10 +1,12 @@ int main() { - struct foo x autofree; @@ -4408,7 +4444,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-15465-6cb4eb-end_commas.c ++++ /tmp/cocci-output-3181-f92b26-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -4424,7 +4460,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-15465-56e248-endif.c ++++ /tmp/cocci-output-3181-c9de06-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -4452,7 +4488,7 @@ endmodif.res diff = --- tests/endmodif.c -+++ /tmp/cocci-output-15465-e2f877-endmodif.c ++++ /tmp/cocci-output-3181-03d0d1-endmodif.c @@ -1,11 +1,12 @@ -void f(void) + @@ -4496,7 +4532,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-15465-53ef2c-endnl.c ++++ /tmp/cocci-output-3181-d8ed09-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -4537,12 +4573,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_fae163.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_fae163.ml +ocamlc -c /tmp/ocaml_cocci_51dcd8.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_51dcd8.ml Compilation OK! Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-15465-0a4662-endpos.c ++++ /tmp/cocci-output-3181-f15758-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -4561,7 +4597,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-15465-4cabc1-enum.c ++++ /tmp/cocci-output-3181-b977dd-enum.c @@ -5,5 +5,5 @@ typedef enum static reg_errcode_t regex_compile () @@ -4572,7 +4608,7 @@ enum_assign.res diff = --- tests/enum_assign.c -+++ /tmp/cocci-output-15465-26009a-enum_assign.c ++++ /tmp/cocci-output-3181-e326e1-enum_assign.c @@ -1,6 +1,7 @@ enum h { - a = 0, @@ -4586,27 +4622,27 @@ enumcast.res diff = --- tests/enumcast.c -+++ /tmp/cocci-output-15465-0fbbc2-enumcast.c ++++ /tmp/cocci-output-3181-ca4e18-enumcast.c @@ -1 +1,2 @@ +enum{x = (int)1, }; int main() { return 12; } enumdots.res diff = --- tests/enumdots.c -+++ /tmp/cocci-output-15465-e7c4fb-enumdots.c ++++ /tmp/cocci-output-3181-c7e3f7-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_982510.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_982510.ml +ocamlc -c /tmp/ocaml_cocci_1286c7.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_1286c7.ml Compilation OK! Loading ML code of the SP... Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-15465-a5a383-exitc.c ++++ /tmp/cocci-output-3181-cc8880-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -4623,7 +4659,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-15465-2c1e2d-exp.c ++++ /tmp/cocci-output-3181-3f7b58-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -4646,7 +4682,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-15465-8e16b0-expnest.c ++++ /tmp/cocci-output-3181-7d4197-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -4657,7 +4693,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-15465-c6b81b-expopt.c ++++ /tmp/cocci-output-3181-f904ee-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -4668,7 +4704,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-15465-478621-expopt2.c ++++ /tmp/cocci-output-3181-cbfaf3-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -4679,7 +4715,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-15465-dd462e-expopt3.c ++++ /tmp/cocci-output-3181-896c5d-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4691,7 +4727,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-15465-3df2fa-expopt3_ver1.c ++++ /tmp/cocci-output-3181-d2d455-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4704,7 +4740,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-15465-019c23-expopt3_ver2.c ++++ /tmp/cocci-output-3181-54fb04-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4716,7 +4752,7 @@ exprlist_comma.res diff = --- tests/exprlist_comma.c -+++ /tmp/cocci-output-15465-2c7f9d-exprlist_comma.c ++++ /tmp/cocci-output-3181-92babf-exprlist_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -4726,7 +4762,7 @@ exprun.res diff = --- tests/exprun.c -+++ /tmp/cocci-output-15465-34e703-exprun.c ++++ /tmp/cocci-output-3181-425933-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) @@ -4807,12 +4843,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_8018e2.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_8018e2.ml +ocamlc -c /tmp/ocaml_cocci_ea8d7c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ea8d7c.ml Compilation OK! Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-15465-42931b-extra.c ++++ /tmp/cocci-output-3181-26e877-extra.c @@ -1,12 +1,25 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -4844,7 +4880,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-15465-902558-failing_andany.c ++++ /tmp/cocci-output-3181-2741e4-failing_andany.c @@ -1,13 +1,9 @@ static int smc_probe1(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -4862,7 +4898,7 @@ far.res diff = --- tests/far.c -+++ /tmp/cocci-output-15465-4533ab-far.c ++++ /tmp/cocci-output-3181-b326e4-far.c @@ -1,7 +1,7 @@ int main(void) { @@ -4878,7 +4914,7 @@ SPECIAL NAMES: adding __counted_by as a attribute diff = --- tests/far2.c -+++ /tmp/cocci-output-15465-638b73-far2.c ++++ /tmp/cocci-output-3181-ed6ab6-far2.c @@ -1,4 +1,4 @@ struct foo { size_t element_count; @@ -4888,7 +4924,7 @@ fields.res diff = --- tests/fields.c -+++ /tmp/cocci-output-15465-0a1dc6-fields.c ++++ /tmp/cocci-output-3181-f1ced0-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -4901,7 +4937,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-15465-2553be-fieldsmin.c ++++ /tmp/cocci-output-3181-7ce5f3-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -4910,13 +4946,13 @@ }; finalize_only.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_f98806.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_f98806.ml +ocamlc -c /tmp/ocaml_cocci_6dc6ac.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6dc6ac.ml Compilation OK! Loading ML code of the SP... find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-15465-1f606b-find_long.c ++++ /tmp/cocci-output-3181-24821c-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -4931,7 +4967,7 @@ finish.res diff = --- tests/finish.c -+++ /tmp/cocci-output-15465-d0d477-finish.c ++++ /tmp/cocci-output-3181-8f75f1-finish.c @@ -1,14 +1,7 @@ void ieee80211_color_change_finish(struct ieee80211_vif *vif, u8 link_id) { @@ -4951,7 +4987,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-15465-6d12d7-fix_flow_need.c ++++ /tmp/cocci-output-3181-0d0591-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -4963,7 +4999,7 @@ flex.res diff = --- tests/flex.c -+++ /tmp/cocci-output-15465-9ff7f7-flex.c ++++ /tmp/cocci-output-3181-c899f6-flex.c @@ -3,5 +3,5 @@ struct scmi_msg_resp_sensor_description struct { #define SENSOR_UPDATE_BASE(x) 3 @@ -4974,7 +5010,7 @@ fltst.res diff = --- tests/fltst.c -+++ /tmp/cocci-output-15465-07a28d-fltst.c ++++ /tmp/cocci-output-3181-fc50d8-fltst.c @@ -1,3 +1,3 @@ double aaa() { - return one + two; @@ -4983,7 +5019,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-15465-38eaa3-fn_todo.c ++++ /tmp/cocci-output-3181-4a8264-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; @@ -4995,7 +5031,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-15465-9ef994-fnptr.c ++++ /tmp/cocci-output-3181-735735-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, @@ -5007,14 +5043,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-15465-b8e91d-fnret.c ++++ /tmp/cocci-output-3181-688ef7-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-15465-04d37d-fnty.c ++++ /tmp/cocci-output-3181-a677ac-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -5024,14 +5060,14 @@ fntypedef.res diff = --- tests/fntypedef.c -+++ /tmp/cocci-output-15465-c410b9-fntypedef.c ++++ /tmp/cocci-output-3181-e40319-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-15465-3a16cf-for3.c ++++ /tmp/cocci-output-3181-6890ed-for3.c @@ -1,4 +1,4 @@ int main () { - for(i=0; i!=10; i++) @@ -5041,7 +5077,7 @@ fordots.res diff = --- tests/fordots.c -+++ /tmp/cocci-output-15465-080877-fordots.c ++++ /tmp/cocci-output-3181-aa1eff-fordots.c @@ -1,4 +1,2 @@ int main () { - for(int i = 0; i != 12; i++) a = 2; @@ -5050,7 +5086,7 @@ format.res diff = --- tests/format.c -+++ /tmp/cocci-output-15465-32fd52-format.c ++++ /tmp/cocci-output-3181-50516d-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -5061,14 +5097,14 @@ } format2.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_2dc14e.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_2dc14e.ml +ocamlc -c /tmp/ocaml_cocci_39ebf6.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_39ebf6.ml Compilation OK! Loading ML code of the SP... diff = format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-15465-534a52-format2.c ++++ /tmp/cocci-output-3181-40232f-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -5077,7 +5113,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-15465-6c6e93-formatlist.c ++++ /tmp/cocci-output-3181-e60443-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -5095,7 +5131,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-15465-d84394-fortest.c ++++ /tmp/cocci-output-3181-c4273f-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -5135,7 +5171,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-15465-552ef5-fortype.c ++++ /tmp/cocci-output-3181-978293-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -5146,7 +5182,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-15465-f26e4b-four.c ++++ /tmp/cocci-output-3181-dda3f3-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -5156,7 +5192,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-15465-b447c6-foura.c ++++ /tmp/cocci-output-3181-4979c2-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -5166,19 +5202,19 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-15465-60a324-fp.c ++++ /tmp/cocci-output-3181-136910-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_818711.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_818711.ml +ocamlc -c /tmp/ocaml_cocci_caf274.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_caf274.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr.c -+++ /tmp/cocci-output-15465-03013c-fptr.c ++++ /tmp/cocci-output-3181-1672e9-fptr.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -5189,12 +5225,12 @@ fptr2.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_9774dd.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_9774dd.ml +ocamlc -c /tmp/ocaml_cocci_d8a168.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d8a168.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr2.c -+++ /tmp/cocci-output-15465-4508ec-fptr2.c ++++ /tmp/cocci-output-3181-f749cd-fptr2.c @@ -1,7 +1,7 @@ int foo(int c, int d) { return 0; } @@ -5208,7 +5244,7 @@ fptr3.res diff = --- tests/fptr3.c -+++ /tmp/cocci-output-15465-df4a8b-fptr3.c ++++ /tmp/cocci-output-3181-90480e-fptr3.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -5219,7 +5255,7 @@ fresh_id_script.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_8f24e0.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_8f24e0.ml +ocamlc -c /tmp/ocaml_cocci_157eee.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_157eee.ml File "tests/fresh_id_script.cocci", line 37, characters 4-5: Warning 26 [unused-var]: unused variable i. Compilation OK! @@ -5228,7 +5264,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-15465-cfecdf-fsh.c ++++ /tmp/cocci-output-3181-9f04d6-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -5239,7 +5275,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-15465-090d8c-fun.c ++++ /tmp/cocci-output-3181-b38186-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -5248,7 +5284,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-15465-44448d-func.c ++++ /tmp/cocci-output-3181-aba01b-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -5262,7 +5298,7 @@ funptr_array.res diff = --- tests/funptr_array.c -+++ /tmp/cocci-output-15465-42763e-funptr_array.c ++++ /tmp/cocci-output-3181-86c872-funptr_array.c @@ -1 +1 @@ -int (*x[2])(int x); +int (*x[2])(char x); @@ -5306,7 +5342,7 @@ gadget_misc.res diff = --- tests/gadget_misc.c -+++ /tmp/cocci-output-15465-50eafc-gadget_misc.c ++++ /tmp/cocci-output-3181-1cfd36-gadget_misc.c @@ -2,6 +2,5 @@ int main() { if(0) @@ -5320,7 +5356,7 @@ SPECIAL NAMES: adding double3x3 as a type diff = --- tests/gadget_ninelets_typedef.c -+++ /tmp/cocci-output-15465-929257-gadget_ninelets_typedef.c ++++ /tmp/cocci-output-3181-aa5e0b-gadget_ninelets_typedef.c @@ -1,21 +1,23 @@ typedef double MyFloat; @@ -5354,7 +5390,7 @@ gadget_remove_mpi_function_calls.res diff = --- tests/gadget_remove_mpi_function_calls.c -+++ /tmp/cocci-output-15465-5475a4-gadget_remove_mpi_function_calls.c ++++ /tmp/cocci-output-3181-f151ed-gadget_remove_mpi_function_calls.c @@ -2,6 +2,5 @@ int main(int argc, char **argv) { @@ -5365,7 +5401,7 @@ gadget_remove_used_fields.res diff = --- tests/gadget_remove_used_fields.c -+++ /tmp/cocci-output-15465-1e9887-gadget_remove_used_fields.c ++++ /tmp/cocci-output-3181-f8229e-gadget_remove_used_fields.c @@ -1,8 +1,8 @@ -struct particle_data { int i; int j; int k; } * P ; @@ -5403,7 +5439,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_soa_select.c -+++ /tmp/cocci-output-15465-d9a584-gadget_soa_select.c ++++ /tmp/cocci-output-3181-3abf33-gadget_soa_select.c @@ -1,5 +1,5 @@ struct sph_particle_data_soa_t { - int *Entropy; @@ -5414,7 +5450,7 @@ gadget_sorting_hook.res diff = --- tests/gadget_sorting_hook.c -+++ /tmp/cocci-output-15465-e200c2-gadget_sorting_hook.c ++++ /tmp/cocci-output-3181-5aed6a-gadget_sorting_hook.c @@ -18,10 +18,24 @@ void soa_invalidate_aos__particle_data() int main() @@ -5447,7 +5483,7 @@ SPECIAL NAMES: adding MyFloat3 as a type diff = --- tests/gadget_triplets_typedef.c -+++ /tmp/cocci-output-15465-9e324b-gadget_triplets_typedef.c ++++ /tmp/cocci-output-3181-1ae2b8-gadget_triplets_typedef.c @@ -3,6 +3,8 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -5476,7 +5512,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_triplets_typedef_ipcc.c -+++ /tmp/cocci-output-15465-b98b89-gadget_triplets_typedef_ipcc.c ++++ /tmp/cocci-output-3181-5f4778-gadget_triplets_typedef_ipcc.c @@ -3,6 +3,7 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -5497,7 +5533,7 @@ gcc_attr_with_func.res diff = --- tests/gcc_attr_with_func.c -+++ /tmp/cocci-output-15465-bfcf39-gcc_attr_with_func.c ++++ /tmp/cocci-output-3181-aec693-gcc_attr_with_func.c @@ -1,8 +1,8 @@ -int __attribute__((always_inline)) func (int a); +int __attribute__((always_inline)) func (); @@ -5534,7 +5570,7 @@ gcc_attr_with_var.res diff = --- tests/gcc_attr_with_var.c -+++ /tmp/cocci-output-15465-242df6-gcc_attr_with_var.c ++++ /tmp/cocci-output-3181-64c05a-gcc_attr_with_var.c @@ -1,39 +1,39 @@ -int var1_end __attribute__((myattr1_end)); +int var1_end __attribute__((section(".shared"))); @@ -5593,7 +5629,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-15465-546bb4-gcc_min_max.c ++++ /tmp/cocci-output-3181-0c87a9-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -5613,7 +5649,7 @@ SPECIAL NAMES: adding PVOID as a type diff = --- tests/getc.c -+++ /tmp/cocci-output-15465-9c947c-getc.c ++++ /tmp/cocci-output-3181-9d11b8-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -5623,7 +5659,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-15465-4189b1-gilles-question.c ++++ /tmp/cocci-output-3181-311023-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -5637,7 +5673,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-15465-72f329-gotobreak.c ++++ /tmp/cocci-output-3181-d83e9d-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -5648,7 +5684,7 @@ hashhash.res diff = --- tests/hashhash.c -+++ /tmp/cocci-output-15465-930529-hashhash.c ++++ /tmp/cocci-output-3181-d09540-hashhash.c @@ -1,5 +1,5 @@ #define FOO(x) foo ## x @@ -5661,7 +5697,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-15465-3f7f72-hd.c ++++ /tmp/cocci-output-3181-b527bf-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -5670,7 +5706,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-15465-d8fc2d-headers.c ++++ /tmp/cocci-output-3181-a56910-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -5689,7 +5725,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-15465-146ca3-hex.c ++++ /tmp/cocci-output-3181-4192c3-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -5698,7 +5734,7 @@ SPECIAL NAMES: adding FUNC as a initializer ending in a comma diff = --- tests/hil1.c -+++ /tmp/cocci-output-15465-23b3b3-hil1.c ++++ /tmp/cocci-output-3181-d2fcb6-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -5710,12 +5746,12 @@ exn while in timeout_function id3.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_232264.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_232264.ml +ocamlc -c /tmp/ocaml_cocci_e68402.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e68402.ml Compilation OK! Loading ML code of the SP... diff = --- tests/id3.c -+++ /tmp/cocci-output-15465-29d0d9-id3.c ++++ /tmp/cocci-output-3181-77dda2-id3.c @@ -1,3 +1,3 @@ int foo () { - bar (6); @@ -5725,12 +5761,12 @@ exn while in timeout_function idcon_ocaml.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_add5ed.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_add5ed.ml +ocamlc -c /tmp/ocaml_cocci_d46ab6.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d46ab6.ml Compilation OK! Loading ML code of the SP... diff = --- tests/idcon_ocaml.c -+++ /tmp/cocci-output-15465-19e7be-idcon_ocaml.c ++++ /tmp/cocci-output-3181-ca64c4-idcon_ocaml.c @@ -1,5 +1,5 @@ void f(void) { - g(a); @@ -5744,7 +5780,7 @@ identcall.res diff = --- tests/identcall.c -+++ /tmp/cocci-output-15465-c0eb18-identcall.c ++++ /tmp/cocci-output-3181-fc1e9a-identcall.c @@ -1,3 +1,2 @@ int main () { - target += x(); @@ -5752,7 +5788,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-15465-8c9873-idstr.c ++++ /tmp/cocci-output-3181-b8573a-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -5762,7 +5798,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-15465-908872-if.c ++++ /tmp/cocci-output-3181-fbd717-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -5804,7 +5840,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-15465-c1320b-ifadd.c ++++ /tmp/cocci-output-3181-eed476-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -5819,7 +5855,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-15465-9be25c-ifd.c ++++ /tmp/cocci-output-3181-cd0f25-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -5837,7 +5873,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-15465-5cf03e-ifdef1.c ++++ /tmp/cocci-output-3181-463986-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -5850,7 +5886,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-15465-f58aa1-ifdef2.c ++++ /tmp/cocci-output-3181-7d6a69-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -5866,7 +5902,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-15465-68d675-ifdef3.c ++++ /tmp/cocci-output-3181-dc1aec-ifdef3.c @@ -2,6 +2,15 @@ #include #include @@ -5889,7 +5925,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-15465-189580-ifdef4.c ++++ /tmp/cocci-output-3181-c6e684-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -5905,7 +5941,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-15465-ba1af1-ifdef5.c ++++ /tmp/cocci-output-3181-b92297-ifdef5.c @@ -11,3 +11,11 @@ void init_IRQ(void) uselessCall(); } @@ -5921,7 +5957,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-15465-1fe285-ifdef6.c ++++ /tmp/cocci-output-3181-e88f59-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -5934,7 +5970,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-15465-2d1dd9-ifdef6a.c ++++ /tmp/cocci-output-3181-e46795-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -5946,7 +5982,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-15465-94efdc-ifdefmeta.c ++++ /tmp/cocci-output-3181-775785-ifdefmeta.c @@ -1,26 +1,22 @@ int main() { - buf = alloca(3 @@ -5999,7 +6035,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-15465-318477-ifdefmeta1.c ++++ /tmp/cocci-output-3181-799a18-ifdefmeta1.c @@ -1,17 +1,9 @@ int main() { - buf = alloca(3 @@ -6021,7 +6057,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-15465-631f50-ifdefmeta2.c ++++ /tmp/cocci-output-3181-22693f-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -6038,7 +6074,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-15465-627d1a-ifdefmeta3.c ++++ /tmp/cocci-output-3181-77cc1f-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -6055,7 +6091,7 @@ ifdefmeta4.res diff = --- tests/ifdefmeta4.c -+++ /tmp/cocci-output-15465-9c9e73-ifdefmeta4.c ++++ /tmp/cocci-output-3181-f22f97-ifdefmeta4.c @@ -1,14 +1,12 @@ int main() { - buf = alloca(3 @@ -6079,7 +6115,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-15465-a3e557-ifend.c ++++ /tmp/cocci-output-3181-49d1f8-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -6089,7 +6125,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-15465-8d6c5f-ifgoto.c ++++ /tmp/cocci-output-3181-86e6a4-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -6105,7 +6141,7 @@ SPECIAL NAMES: adding IFaceVtbl as a type diff = --- tests/ifields.c -+++ /tmp/cocci-output-15465-00b2a6-ifields.c ++++ /tmp/cocci-output-3181-5624a4-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -6128,7 +6164,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-15465-611b21-ifif.c ++++ /tmp/cocci-output-3181-35da3a-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -6146,7 +6182,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-15465-20f97d-ifreturn.c ++++ /tmp/cocci-output-3181-a2b154-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -6208,7 +6244,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-15465-0c6ac0-ifreturn3.c ++++ /tmp/cocci-output-3181-e2a18b-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -6234,7 +6270,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-15465-3a9dae-ifreturn4.c ++++ /tmp/cocci-output-3181-fa2f4e-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -6258,7 +6294,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-15465-8fd894-ifreturn6.c ++++ /tmp/cocci-output-3181-4adb83-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -6272,7 +6308,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-15465-0fc94b-ifzer.c ++++ /tmp/cocci-output-3181-bbe2a8-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). */ @@ -6283,7 +6319,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-15465-31d8d4-ifzz.c ++++ /tmp/cocci-output-3181-a87ec0-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -6299,7 +6335,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-15465-ddab6e-inc.c ++++ /tmp/cocci-output-3181-6a6704-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -6308,7 +6344,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-15465-639b6e-incl.c ++++ /tmp/cocci-output-3181-bae3ec-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -6321,7 +6357,7 @@ incl2.res diff = --- tests/incl2.c -+++ /tmp/cocci-output-15465-ef5261-incl2.c ++++ /tmp/cocci-output-3181-de6719-incl2.c @@ -1,3 +1,4 @@ +#include "beginning.h" #include @@ -6330,7 +6366,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-15465-2d7e6d-inclifdef.c ++++ /tmp/cocci-output-3181-e223aa-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -6340,7 +6376,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-15465-31acbe-include.c ++++ /tmp/cocci-output-3181-6bf08a-include.c @@ -1,8 +1,6 @@ #include @@ -6353,7 +6389,7 @@ incompatible_value.res diff = --- tests/incompatible_value.c -+++ /tmp/cocci-output-15465-c3d40c-incompatible_value.c ++++ /tmp/cocci-output-3181-b7865a-incompatible_value.c @@ -4,6 +4,6 @@ int main() { } @@ -6370,7 +6406,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-15465-fb059e-inherited.c ++++ /tmp/cocci-output-3181-eaaaf8-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -6381,7 +6417,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-15465-49bf82-inherited_ver1.c ++++ /tmp/cocci-output-3181-793a6b-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -6397,7 +6433,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-15465-0a982e-inhmet.c ++++ /tmp/cocci-output-3181-f5b95a-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -6406,7 +6442,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-15465-4fadc3-inhpos.c ++++ /tmp/cocci-output-3181-a55e0e-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -6415,7 +6451,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-15465-a38085-initializer.c ++++ /tmp/cocci-output-3181-c601ef-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -6431,14 +6467,14 @@ inline.res diff = --- tests/inline.c -+++ /tmp/cocci-output-15465-f7b412-inline.c ++++ /tmp/cocci-output-3181-294135-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-15465-c209e7-insdef.c ++++ /tmp/cocci-output-3181-a4e343-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include @@ -6452,7 +6488,7 @@ SPECIAL NAMES: adding u32 as a type diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-15465-19b1ed-int2bool-local.c ++++ /tmp/cocci-output-3181-19f6e1-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -6495,7 +6531,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-15465-c4d0c5-introbrace.c ++++ /tmp/cocci-output-3181-f048b5-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -6514,7 +6550,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-15465-10c9a0-invert.c ++++ /tmp/cocci-output-3181-981b68-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -6523,7 +6559,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-15465-f5b967-ip.c ++++ /tmp/cocci-output-3181-8f37fa-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -6552,7 +6588,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-15465-132d3d-ip2.c ++++ /tmp/cocci-output-3181-0418fa-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -6577,7 +6613,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-15465-bc190e-isococci.c ++++ /tmp/cocci-output-3181-f20fe9-isococci.c @@ -1,6 +1,3 @@ void f(int i) { @@ -6590,7 +6626,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-15465-4b719b-isoif.c ++++ /tmp/cocci-output-3181-139b0b-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -6599,7 +6635,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-15465-f08b74-isotest.c ++++ /tmp/cocci-output-3181-bbb2d8-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -6611,7 +6647,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-15465-e581b4-isotest2.c ++++ /tmp/cocci-output-3181-c1a636-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -6622,7 +6658,7 @@ iteration.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_4b3565.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_4b3565.ml +ocamlc -c /tmp/ocaml_cocci_d4f015.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d4f015.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -6631,7 +6667,7 @@ exn while in timeout_function iteration_after_merge.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_ceb10c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ceb10c.ml +ocamlc -c /tmp/ocaml_cocci_0bf122.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_0bf122.ml Compilation OK! Loading ML code of the SP... 2 pending new file instances @@ -6642,7 +6678,7 @@ SPECIAL NAMES: adding list_for_each as a iterator diff = --- tests/iterator.c -+++ /tmp/cocci-output-15465-be4225-iterator.c ++++ /tmp/cocci-output-3181-ef39a9-iterator.c @@ -2,9 +2,5 @@ void pcibios_report_status(u_int status_ { struct list_head *l; @@ -6658,7 +6694,7 @@ SPECIAL NAMES: adding for_each_set_bit as a iterator diff = --- tests/iterprint.c -+++ /tmp/cocci-output-15465-6301cd-iterprint.c ++++ /tmp/cocci-output-3181-b5fa13-iterprint.c @@ -1,6 +1,4 @@ int main () { - for(bit = 0; bit < size; bit++) { @@ -6673,7 +6709,7 @@ julia10.res diff = --- tests/julia10.c -+++ /tmp/cocci-output-15465-341fbd-julia10.c ++++ /tmp/cocci-output-3181-a16290-julia10.c @@ -1,7 +1,5 @@ int main(int x) { f(); @@ -6685,7 +6721,7 @@ julia7.res diff = --- tests/julia7.c -+++ /tmp/cocci-output-15465-76fc4f-julia7.c ++++ /tmp/cocci-output-3181-037983-julia7.c @@ -1,7 +1,6 @@ int main(int x) { foo(); @@ -6698,7 +6734,7 @@ justremove.res diff = --- tests/justremove.c -+++ /tmp/cocci-output-15465-eb81c3-justremove.c ++++ /tmp/cocci-output-3181-af866f-justremove.c @@ -1,17 +1,6 @@ int main () { - if (x) { @@ -6720,7 +6756,7 @@ keep_comma.res diff = --- tests/keep_comma.c -+++ /tmp/cocci-output-15465-784195-keep_comma.c ++++ /tmp/cocci-output-3181-ffc280-keep_comma.c @@ -1,4 +1,4 @@ int main () { - foo(); @@ -6730,7 +6766,7 @@ km.res diff = --- tests/km.c -+++ /tmp/cocci-output-15465-4dddda-km.c ++++ /tmp/cocci-output-3181-f70b10-km.c @@ -1,5 +1,4 @@ int main() { - int *data = kmalloc(element->string.length + 1, GFP_KERNEL); @@ -6741,7 +6777,7 @@ kmalloc.res diff = --- tests/kmalloc.c -+++ /tmp/cocci-output-15465-d42d8c-kmalloc.c ++++ /tmp/cocci-output-3181-fea87b-kmalloc.c @@ -1,9 +1,7 @@ int main() { struct bar *y; @@ -6759,7 +6795,7 @@ warning: r: metavariable S not used in the - or context code diff = --- tests/kmc.c -+++ /tmp/cocci-output-15465-200211-kmc.c ++++ /tmp/cocci-output-3181-6aa9da-kmc.c @@ -10,5 +10,4 @@ dmabounce_register_dev(struct device *de err_destroy: @@ -6769,7 +6805,7 @@ kmtest4.res diff = --- tests/kmtest4.c -+++ /tmp/cocci-output-15465-c7214f-kmtest4.c ++++ /tmp/cocci-output-3181-ace558-kmtest4.c @@ -1,4 +1,4 @@ int main () { x = kzalloc(3); @@ -6782,7 +6818,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/ktype.c -+++ /tmp/cocci-output-15465-2eee0a-ktype.c ++++ /tmp/cocci-output-3181-31afde-ktype.c @@ -3,8 +3,6 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -6798,7 +6834,7 @@ warning: r: metavariable T not used in the - or context code diff = --- tests/ktype2.c -+++ /tmp/cocci-output-15465-5749d2-ktype2.c ++++ /tmp/cocci-output-3181-f8860b-ktype2.c @@ -3,11 +3,8 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -6815,7 +6851,7 @@ labels_metastatement.res diff = --- tests/labels_metastatement.c -+++ /tmp/cocci-output-15465-17cd6b-labels_metastatement.c ++++ /tmp/cocci-output-3181-7a2eec-labels_metastatement.c @@ -1,9 +1,15 @@ int foo(int i) { @@ -6838,7 +6874,7 @@ labels_metastatement_ver1.res diff = --- tests/labels_metastatement_ver1.c -+++ /tmp/cocci-output-15465-5862d0-labels_metastatement_ver1.c ++++ /tmp/cocci-output-3181-6a8838-labels_metastatement_ver1.c @@ -1,5 +1,9 @@ int foo(int i) { @@ -6853,7 +6889,7 @@ lessone.res diff = --- tests/lessone.c -+++ /tmp/cocci-output-15465-d41eee-lessone.c ++++ /tmp/cocci-output-3181-4fde80-lessone.c @@ -1,4 +1,4 @@ int min() { - return 2.56 < 1; @@ -6862,13 +6898,13 @@ lfe.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_b42939.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_b42939.ml +ocamlc -c /tmp/ocaml_cocci_45689e.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_45689e.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-15465-a966ac-lfe.c ++++ /tmp/cocci-output-3181-d9c019-lfe.c @@ -11,13 +11,21 @@ static bool tipc_service_insert_publ(str u32 key = p->key; @@ -6900,7 +6936,7 @@ lid.res diff = --- tests/lid.c -+++ /tmp/cocci-output-15465-8fe3db-lid.c ++++ /tmp/cocci-output-3181-091aae-lid.c @@ -1,6 +1,6 @@ int main () { int a; @@ -6912,7 +6948,7 @@ line_before_last.res diff = --- tests/line_before_last.c -+++ /tmp/cocci-output-15465-e665bc-line_before_last.c ++++ /tmp/cocci-output-3181-60608e-line_before_last.c @@ -1,17 +1,13 @@ int main () { - foo(); @@ -6934,7 +6970,7 @@ lineseq.res diff = --- tests/lineseq.c -+++ /tmp/cocci-output-15465-7693e1-lineseq.c ++++ /tmp/cocci-output-3181-46d712-lineseq.c @@ -1,6 +1,4 @@ int main () { - one(); @@ -6968,7 +7004,7 @@ warning: line 86: should b be a metavariable? diff = --- tests/list_test.c -+++ /tmp/cocci-output-15465-7cc767-list_test.c ++++ /tmp/cocci-output-3181-c5c48e-list_test.c @@ -1,55 +1,53 @@ int main () { - f(a); @@ -7167,14 +7203,14 @@ local.res diff = --- tests/local.c -+++ /tmp/cocci-output-15465-45befb-local.c ++++ /tmp/cocci-output-3181-6b1db6-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-15465-faa327-localglobal.c ++++ /tmp/cocci-output-3181-0d2f0d-localglobal.c @@ -3,5 +3,5 @@ int a; int main(int b) { int c; @@ -7185,7 +7221,7 @@ localid.res diff = --- tests/localid.c -+++ /tmp/cocci-output-15465-37fec6-localid.c ++++ /tmp/cocci-output-3181-f418a6-localid.c @@ -2,8 +2,7 @@ int c; int main () { @@ -7200,7 +7236,7 @@ localmacroparams.res diff = --- tests/localmacroparams.c -+++ /tmp/cocci-output-15465-5953c2-localmacroparams.c ++++ /tmp/cocci-output-3181-5ea2ac-localmacroparams.c @@ -1,2 +1,2 @@ -#define fn1(x) f(x) -#define fn2(x) f(y) @@ -7209,7 +7245,7 @@ log.res diff = --- tests/log.c -+++ /tmp/cocci-output-15465-d2c09d-log.c ++++ /tmp/cocci-output-3181-1ecc63-log.c @@ -8,5 +8,4 @@ static struct var_t vars[] = { @@ -7219,7 +7255,7 @@ long.res diff = --- tests/long.c -+++ /tmp/cocci-output-15465-9b5f31-long.c ++++ /tmp/cocci-output-3181-2fb5f3-long.c @@ -1,4 +1,4 @@ int main () { - hello_world("this is a very long sentence. this is a very long sentence. ", @@ -7230,7 +7266,7 @@ longconst.res diff = --- tests/longconst.c -+++ /tmp/cocci-output-15465-abc919-longconst.c ++++ /tmp/cocci-output-3181-9ccb2c-longconst.c @@ -2,18 +2,18 @@ long function1() { long a; @@ -7267,7 +7303,7 @@ warning: line 5: should a be a metavariable? diff = --- tests/longline2.c -+++ /tmp/cocci-output-15465-3381a1-longline2.c ++++ /tmp/cocci-output-3181-2a0e95-longline2.c @@ -1,8 +1,16 @@ int main() { - f(sdhfkjdkdsahksadsdhjkdsa,sahdjshdkjsahdkjhsakjdsh,a,shdkjsdsdhkjsa,x,y,z); @@ -7292,7 +7328,7 @@ longlong.res diff = --- tests/longlong.c -+++ /tmp/cocci-output-15465-baf4ec-longlong.c ++++ /tmp/cocci-output-3181-fe8955-longlong.c @@ -1,6 +1,6 @@ -long long a; +int a; @@ -7305,7 +7341,7 @@ longlongint.res diff = --- tests/longlongint.c -+++ /tmp/cocci-output-15465-074ffc-longlongint.c ++++ /tmp/cocci-output-3181-241d1f-longlongint.c @@ -1,9 +1,3 @@ int main() { - unsigned int x; @@ -7319,7 +7355,7 @@ loop.res diff = --- tests/loop.c -+++ /tmp/cocci-output-15465-080efb-loop.c ++++ /tmp/cocci-output-3181-683eaa-loop.c @@ -1,5 +1,3 @@ int main() { - f(); @@ -7330,7 +7366,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/lvalue.c -+++ /tmp/cocci-output-15465-7a283c-lvalue.c ++++ /tmp/cocci-output-3181-68acda-lvalue.c @@ -1,4 +1,4 @@ int main() { - x = x + 1; @@ -7342,7 +7378,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/macro.c -+++ /tmp/cocci-output-15465-06d2f3-macro.c ++++ /tmp/cocci-output-3181-7b5409-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))) @@ -7354,7 +7390,7 @@ macro_before_bool.res diff = --- tests/macro_before_bool.c -+++ /tmp/cocci-output-15465-95467b-macro_before_bool.c ++++ /tmp/cocci-output-3181-2aa31f-macro_before_bool.c @@ -1,4 +1,5 @@ static nokprobe_inline bool trace_kprobe_is_return(struct trace_kprobe *tk) { @@ -7364,7 +7400,7 @@ macro_int16.res diff = --- tests/macro_int16.c -+++ /tmp/cocci-output-15465-7c399e-macro_int16.c ++++ /tmp/cocci-output-3181-3cb95b-macro_int16.c @@ -4,6 +4,6 @@ void main(void) { @@ -7376,7 +7412,7 @@ macro_params.res diff = --- tests/macro_params.c -+++ /tmp/cocci-output-15465-ae226d-macro_params.c ++++ /tmp/cocci-output-3181-aa54a3-macro_params.c @@ -5,9 +5,9 @@ int main(int argc, char **argv) { @@ -7392,7 +7428,7 @@ match_init.res diff = --- tests/match_init.c -+++ /tmp/cocci-output-15465-a5021f-match_init.c ++++ /tmp/cocci-output-3181-0ee5bf-match_init.c @@ -1,15 +1,15 @@ int probably_works () { - int x = 3; @@ -7415,7 +7451,7 @@ match_no_meta.res diff = --- tests/match_no_meta.c -+++ /tmp/cocci-output-15465-88210b-match_no_meta.c ++++ /tmp/cocci-output-3181-557415-match_no_meta.c @@ -2,6 +2,4 @@ void main(int i) { foo(1); @@ -7428,7 +7464,7 @@ warning: line 14: should i be a metavariable? diff = --- tests/max.c -+++ /tmp/cocci-output-15465-99c870-max.c ++++ /tmp/cocci-output-3181-c9cc24-max.c @@ -1,3 +1,3 @@ int main () { - if (x < 25) return i; @@ -7438,7 +7474,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/md1.c -+++ /tmp/cocci-output-15465-1ad232-md1.c ++++ /tmp/cocci-output-3181-fec62d-md1.c @@ -1,9 +1,11 @@ struct main { - int a; @@ -7459,7 +7495,7 @@ md2.res diff = --- tests/md2.c -+++ /tmp/cocci-output-15465-27b9a0-md2.c ++++ /tmp/cocci-output-3181-0e7988-md2.c @@ -1,11 +1,11 @@ int main() { - int a; @@ -7480,7 +7516,7 @@ md3.res diff = --- tests/md3.c -+++ /tmp/cocci-output-15465-a41701-md3.c ++++ /tmp/cocci-output-3181-17db95-md3.c @@ -1,5 +1,5 @@ struct s_t { - double one[3]; @@ -7491,7 +7527,7 @@ mdadd.res diff = --- tests/mdadd.c -+++ /tmp/cocci-output-15465-c47edb-mdadd.c ++++ /tmp/cocci-output-3181-f24e4d-mdadd.c @@ -1,3 +1,3 @@ int main () { - int a,b,c; @@ -7500,7 +7536,7 @@ mdec.res diff = --- tests/mdec.c -+++ /tmp/cocci-output-15465-4ee50a-mdec.c ++++ /tmp/cocci-output-3181-10ad8d-mdec.c @@ -1,23 +1,26 @@ int main () { - int a, b, c, d; @@ -7552,8 +7588,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_9aa562.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_9aa562.ml -File "/tmp/ocaml_cocci_9aa562.ml", line 24, characters 4-11: +ocamlc -c /tmp/ocaml_cocci_6905a8.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6905a8.ml +File "/tmp/ocaml_cocci_6905a8.ml", line 24, characters 4-11: 24 | let unbound = List.nth __script_args__ 4 in ^^^^^^^ Warning 26 [unused-var]: unused variable unbound. @@ -7561,7 +7597,7 @@ Loading ML code of the SP... diff = --- tests/mdecl.c -+++ /tmp/cocci-output-15465-2dcbcd-mdecl.c ++++ /tmp/cocci-output-3181-eb7d6f-mdecl.c @@ -1,5 +1,4 @@ -int one () { if (c < 0) return 12; return x < 0; } + @@ -7571,19 +7607,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_c2ccfe.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_c2ccfe.ml +ocamlc -c /tmp/ocaml_cocci_ae4e8c.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ae4e8c.ml Compilation OK! Loading ML code of the SP... diff = --- tests/mdeclp.c -+++ /tmp/cocci-output-15465-1f38ee-mdeclp.c ++++ /tmp/cocci-output-3181-51f5f0-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_0d2572.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_0d2572.ml +ocamlc -c /tmp/ocaml_cocci_9b54b1.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_9b54b1.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been @@ -7597,7 +7633,7 @@ mdeclrep.res diff = --- tests/mdeclrep.c -+++ /tmp/cocci-output-15465-8a988b-mdeclrep.c ++++ /tmp/cocci-output-3181-f7eec9-mdeclrep.c @@ -1,19 +1,22 @@ int main () { - int a,x,c; @@ -7628,7 +7664,7 @@ mdindex.res diff = --- tests/mdindex.c -+++ /tmp/cocci-output-15465-3cc16f-mdindex.c ++++ /tmp/cocci-output-3181-8aaea4-mdindex.c @@ -1,5 +1,5 @@ int main() { @@ -7640,7 +7676,7 @@ memory.res diff = --- tests/memory.c -+++ /tmp/cocci-output-15465-fe6d3f-memory.c ++++ /tmp/cocci-output-3181-7616cd-memory.c @@ -2,6 +2,5 @@ int __queue_add(Queue_t *queue, Scsi_Cmnd *SCpnt, int head) @@ -7651,7 +7687,7 @@ } merge_after_iteration.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_cfbf6e.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_cfbf6e.ml +ocamlc -c /tmp/ocaml_cocci_6cc46a.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6cc46a.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -7661,7 +7697,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/metaattr.c -+++ /tmp/cocci-output-15465-85873f-metaattr.c ++++ /tmp/cocci-output-3181-7987fd-metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -7674,7 +7710,7 @@ warning: line 43: x, previously declared as a metavariable, is used as an identifier diff = --- tests/metaline.c -+++ /tmp/cocci-output-15465-6e338f-metaline.c ++++ /tmp/cocci-output-3181-cd3e8c-metaline.c @@ -1,9 +1,8 @@ int main () { - static int x; @@ -7692,7 +7728,7 @@ metaops.res diff = --- tests/metaops.c -+++ /tmp/cocci-output-15465-235da4-metaops.c ++++ /tmp/cocci-output-3181-cdbf48-metaops.c @@ -2,24 +2,24 @@ int p1() { int x = 0; int y = 1; @@ -7769,7 +7805,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/metaops0.c -+++ /tmp/cocci-output-15465-91e297-metaops0.c ++++ /tmp/cocci-output-3181-be68e9-metaops0.c @@ -1,44 +1,11 @@ int p1() { - int x = 0; @@ -7818,7 +7854,7 @@ metaruleelem.res diff = --- tests/metaruleelem.c -+++ /tmp/cocci-output-15465-649d59-metaruleelem.c ++++ /tmp/cocci-output-3181-6b02f0-metaruleelem.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -7831,7 +7867,7 @@ metastatement2.res diff = --- tests/metastatement2.c -+++ /tmp/cocci-output-15465-30b655-metastatement2.c ++++ /tmp/cocci-output-3181-1a44d2-metastatement2.c @@ -1,6 +1,5 @@ void main(int i) { @@ -7842,7 +7878,7 @@ metastatement_for.res diff = --- tests/metastatement_for.c -+++ /tmp/cocci-output-15465-2a9cc5-metastatement_for.c ++++ /tmp/cocci-output-3181-35acc3-metastatement_for.c @@ -1,9 +1,6 @@ void main(void) { @@ -7856,7 +7892,7 @@ metastatement_if.res diff = --- tests/metastatement_if.c -+++ /tmp/cocci-output-15465-3ff31d-metastatement_if.c ++++ /tmp/cocci-output-3181-d968e1-metastatement_if.c @@ -5,8 +5,4 @@ void main(void) printf("%d", i); } @@ -7869,7 +7905,7 @@ mincom.res diff = --- tests/mincom.c -+++ /tmp/cocci-output-15465-2454d7-mincom.c ++++ /tmp/cocci-output-3181-7454ca-mincom.c @@ -1,5 +1,7 @@ int main () { - if (rc == LS_NONE_FIRST_DE) @@ -7883,14 +7919,14 @@ minenum.res diff = --- tests/minenum.c -+++ /tmp/cocci-output-15465-c7f531-minenum.c ++++ /tmp/cocci-output-3181-703c07-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-15465-4122ce-minenum1.c ++++ /tmp/cocci-output-3181-1f8764-minenum1.c @@ -1,2 +1,2 @@ -enum h { x, a, z, +enum h { x, qq, @@ -7898,7 +7934,7 @@ minfn.res diff = --- tests/minfn.c -+++ /tmp/cocci-output-15465-ccfaec-minfn.c ++++ /tmp/cocci-output-3181-d82afe-minfn.c @@ -1,13 +1,5 @@ int main () { return first; } @@ -7916,7 +7952,7 @@ mini_null_ref.res diff = --- tests/mini_null_ref.c -+++ /tmp/cocci-output-15465-9d43c0-mini_null_ref.c ++++ /tmp/cocci-output-3181-4d1cd8-mini_null_ref.c @@ -2,11 +2,12 @@ static int __devinit w90p910_keypad_prob { const struct w90p910_keypad_platform_data *pdata = @@ -7934,7 +7970,7 @@ miniswap.res diff = --- tests/miniswap.c -+++ /tmp/cocci-output-15465-e9e53c-miniswap.c ++++ /tmp/cocci-output-3181-4a2a70-miniswap.c @@ -1,5 +1,5 @@ static void swap_refcount_rec(void *a, void *b, int size) { @@ -7945,7 +7981,7 @@ minstruct.res diff = --- tests/minstruct.c -+++ /tmp/cocci-output-15465-efe4a7-minstruct.c ++++ /tmp/cocci-output-3181-2d0c1a-minstruct.c @@ -1,5 +1,7 @@ static struct i2c_client client_template = { - .name = "(unset)", @@ -7958,7 +7994,7 @@ minusdots.res diff = --- tests/minusdots.c -+++ /tmp/cocci-output-15465-8c3421-minusdots.c ++++ /tmp/cocci-output-3181-0c3337-minusdots.c @@ -1,9 +1,2 @@ void main(int i) { - @@ -7972,7 +8008,7 @@ minusdots_ver1.res diff = --- tests/minusdots_ver1.c -+++ /tmp/cocci-output-15465-b7efd7-minusdots_ver1.c ++++ /tmp/cocci-output-3181-413364-minusdots_ver1.c @@ -1,6 +1,2 @@ void main(int i) { - @@ -7983,7 +8019,7 @@ move_type.res diff = --- tests/move_type.c -+++ /tmp/cocci-output-15465-6fc21a-move_type.c ++++ /tmp/cocci-output-3181-5be9f3-move_type.c @@ -1,6 +1,6 @@ int main() { - int x; @@ -7995,7 +8031,7 @@ multi.res diff = --- tests/multi.c -+++ /tmp/cocci-output-15465-353eb5-multi.c ++++ /tmp/cocci-output-3181-26ed10-multi.c @@ -3,4 +3,5 @@ int main() { g(1); g(1); @@ -8004,7 +8040,7 @@ } multi_initialize_finalize.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_8d9216.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_8d9216.ml +ocamlc -c /tmp/ocaml_cocci_461d52.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_461d52.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function @@ -8012,7 +8048,7 @@ warning: line 4: should ab be a metavariable? diff = --- tests/multichars.c -+++ /tmp/cocci-output-15465-55546b-multichars.c ++++ /tmp/cocci-output-3181-3f1755-multichars.c @@ -1,5 +1,5 @@ int main () { - f('XYZ',ab); @@ -8025,7 +8061,7 @@ multidec.res diff = --- tests/multidec.c -+++ /tmp/cocci-output-15465-7036b9-multidec.c ++++ /tmp/cocci-output-3181-b3ec9a-multidec.c @@ -1,11 +1,6 @@ int main () { int x = 3,z; @@ -8042,7 +8078,7 @@ multidecl3.res diff = --- tests/multidecl3.c -+++ /tmp/cocci-output-15465-829594-multidecl3.c ++++ /tmp/cocci-output-3181-841e3a-multidecl3.c @@ -1,17 +1,13 @@ int main () { - int *i, i[12], i, k, r; @@ -8066,7 +8102,7 @@ multipath.res diff = --- tests/multipath.c -+++ /tmp/cocci-output-15465-2a971c-multipath.c ++++ /tmp/cocci-output-3181-d370a6-multipath.c @@ -2,8 +2,8 @@ static void multipathd(struct md_thread { for (;;) { @@ -8082,7 +8118,7 @@ warning: rule starting on line 3: metavariable T not used in the - or context code diff = --- tests/multiplus.c -+++ /tmp/cocci-output-15465-44f11d-multiplus.c ++++ /tmp/cocci-output-3181-9ed2ee-multiplus.c @@ -1,4 +1,4 @@ -static void xm_link_timer(void *arg) +static void xm_link_timer(struct work_struct *work) @@ -8092,7 +8128,7 @@ multiremove.res diff = --- tests/multiremove.c -+++ /tmp/cocci-output-15465-232647-multiremove.c ++++ /tmp/cocci-output-3181-48bad0-multiremove.c @@ -1,8 +1,5 @@ int main () { if (x) { xyz1(); } @@ -8105,7 +8141,7 @@ multistruct.res diff = --- tests/multistruct.c -+++ /tmp/cocci-output-15465-8709b8-multistruct.c ++++ /tmp/cocci-output-3181-de0ad1-multistruct.c @@ -1,5 +1,3 @@ -struct one x; @@ -8115,7 +8151,7 @@ multitype.res diff = --- tests/multitype.c -+++ /tmp/cocci-output-15465-fb9904-multitype.c ++++ /tmp/cocci-output-3181-de100e-multitype.c @@ -3,5 +3,5 @@ typedef struct foo { int a; } foo_t; int main() { foo_t * x; @@ -8127,7 +8163,7 @@ warning: non_delayed_fn: metavariable T not used in the - or context code diff = --- tests/multitypedef.c -+++ /tmp/cocci-output-15465-d63f80-multitypedef.c ++++ /tmp/cocci-output-3181-34976d-multitypedef.c @@ -5,5 +5,5 @@ typedef struct HYSDN_CARD { int ergo_inithardware(hysdn_card * card) @@ -8138,7 +8174,7 @@ multivars.res diff = --- tests/multivars.c -+++ /tmp/cocci-output-15465-8f7124-multivars.c ++++ /tmp/cocci-output-3181-13d7b3-multivars.c @@ -1,5 +1,5 @@ void main(int i) { @@ -8153,7 +8189,7 @@ warning: line 4: should kfree be a metavariable? diff = --- tests/mv.c -+++ /tmp/cocci-output-15465-3e0e76-mv.c ++++ /tmp/cocci-output-3181-3a093b-mv.c @@ -1,4 +1,4 @@ int main() { - u8 *xxx __free(kfree); @@ -8163,7 +8199,7 @@ na.res diff = --- tests/na.c -+++ /tmp/cocci-output-15465-f1308f-na.c ++++ /tmp/cocci-output-3181-b60e79-na.c @@ -4,10 +4,10 @@ void foo() { int i; @@ -8182,7 +8218,7 @@ nameless.res diff = --- tests/nameless.c -+++ /tmp/cocci-output-15465-401a94-nameless.c ++++ /tmp/cocci-output-3181-840638-nameless.c @@ -1,6 +1,6 @@ typedef union { int foo; @@ -8200,7 +8236,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-15465-630e06-nest.c ++++ /tmp/cocci-output-3181-2f2f50-nest.c @@ -1,7 +1,7 @@ void info_func(int i) { foo(); @@ -8214,7 +8250,7 @@ nestadd.res diff = --- tests/nestadd.c -+++ /tmp/cocci-output-15465-ba672e-nestadd.c ++++ /tmp/cocci-output-3181-87591f-nestadd.c @@ -1,3 +1,12 @@ int main() { foo(); @@ -8232,7 +8268,7 @@ warning: one: metavariable S not used in the - or context code diff = --- tests/nestone.c -+++ /tmp/cocci-output-15465-8fef14-nestone.c ++++ /tmp/cocci-output-3181-e263aa-nestone.c @@ -1,4 +1,3 @@ int foo() { if (x) { xxx(); return;} @@ -8241,7 +8277,7 @@ nestseq.res diff = --- tests/nestseq.c -+++ /tmp/cocci-output-15465-f69d92-nestseq.c ++++ /tmp/cocci-output-3181-8ac242-nestseq.c @@ -2,4 +2,5 @@ int main () { f(); g(12); @@ -8251,7 +8287,7 @@ neststruct.res diff = --- tests/neststruct.c -+++ /tmp/cocci-output-15465-effee3-neststruct.c ++++ /tmp/cocci-output-3181-6682c9-neststruct.c @@ -8,6 +8,6 @@ struct usb_hub { static int hub_configure(struct usb_hub *hub) @@ -8264,7 +8300,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/nl.c -+++ /tmp/cocci-output-15465-db5a86-nl.c ++++ /tmp/cocci-output-3181-e44a40-nl.c @@ -1,4 +1,4 @@ int main() { - if (x) return; @@ -8275,7 +8311,7 @@ noa.res diff = --- tests/noa.c -+++ /tmp/cocci-output-15465-97888f-noa.c ++++ /tmp/cocci-output-3181-1f6bca-noa.c @@ -2,6 +2,6 @@ int main () { if (x) { a(); } else { a(); } } @@ -8288,7 +8324,7 @@ SPECIAL NAMES: adding gfp_t as a type diff = --- tests/nocast.c -+++ /tmp/cocci-output-15465-a53a09-nocast.c ++++ /tmp/cocci-output-3181-7d749c-nocast.c @@ -1,4 +1,4 @@ -int main (unsigned int __nocast gfp_mask, int x) { +int main (gfp_t gfp_mask, int x) { @@ -8298,7 +8334,7 @@ noret.res diff = --- tests/noret.c -+++ /tmp/cocci-output-15465-281f9a-noret.c ++++ /tmp/cocci-output-3181-bceff6-noret.c @@ -1,18 +1,18 @@ -main (int x); -static xmain (int x); @@ -8330,7 +8366,7 @@ not.res diff = --- tests/not.c -+++ /tmp/cocci-output-15465-ee85f1-not.c ++++ /tmp/cocci-output-3181-f9aa9b-not.c @@ -1,9 +1,9 @@ int main() { int x; @@ -8347,7 +8383,7 @@ notest.res diff = --- tests/notest.c -+++ /tmp/cocci-output-15465-e4c6c7-notest.c ++++ /tmp/cocci-output-3181-d20947-notest.c @@ -1,6 +1,6 @@ int main() { struct foo *x; @@ -8361,7 +8397,7 @@ warning: line 6: should false be a metavariable? diff = --- tests/notnot.c -+++ /tmp/cocci-output-15465-9085c3-notnot.c ++++ /tmp/cocci-output-3181-c7cb7b-notnot.c @@ -1,4 +1,4 @@ bool foo(int bar) { @@ -8371,7 +8407,7 @@ noty.res diff = --- tests/noty.c -+++ /tmp/cocci-output-15465-79ae7f-noty.c ++++ /tmp/cocci-output-3181-0a97e5-noty.c @@ -1,3 +1,4 @@ int main(int *x) { if (NULL == x) { return; } @@ -8380,7 +8416,7 @@ noty2.res diff = --- tests/noty2.c -+++ /tmp/cocci-output-15465-565945-noty2.c ++++ /tmp/cocci-output-3181-3f699a-noty2.c @@ -1,14 +1,11 @@ main () { - foo(); @@ -8400,7 +8436,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/null_bool.c -+++ /tmp/cocci-output-15465-72b633-null_bool.c ++++ /tmp/cocci-output-3181-301427-null_bool.c @@ -1,8 +1,8 @@ int main () { - if (x != NULL) return; @@ -8417,7 +8453,7 @@ null_type.res diff = --- tests/null_type.c -+++ /tmp/cocci-output-15465-da7390-null_type.c ++++ /tmp/cocci-output-3181-e06447-null_type.c @@ -2,7 +2,7 @@ int main(int i) { int *x; @@ -8432,7 +8468,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/oddifdef.c -+++ /tmp/cocci-output-15465-80d866-oddifdef.c ++++ /tmp/cocci-output-3181-55c259-oddifdef.c @@ -7,9 +7,7 @@ void one () { a = 5; @@ -8465,7 +8501,7 @@ of.res diff = --- tests/of.c -+++ /tmp/cocci-output-15465-701e43-of.c ++++ /tmp/cocci-output-3181-ef2d51-of.c @@ -1,16 +1,20 @@ static struct iommu_table *iommu_table_find(struct iommu_table * tbl) { @@ -8492,14 +8528,14 @@ omp.res SPECIAL NAMES: adding ok as a type Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_2a0a27.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_2a0a27.ml +ocamlc -c /tmp/ocaml_cocci_343809.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_343809.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function oneline.res diff = --- tests/oneline.c -+++ /tmp/cocci-output-15465-33d684-oneline.c ++++ /tmp/cocci-output-3181-62ffb7-oneline.c @@ -1,4 +1,4 @@ int main () { - f(); @@ -8510,7 +8546,7 @@ op.res diff = --- tests/op.c -+++ /tmp/cocci-output-15465-80f38b-op.c ++++ /tmp/cocci-output-3181-95b7a2-op.c @@ -1,5 +1,4 @@ int main () { - return 3; @@ -8520,7 +8556,7 @@ opt.res diff = --- tests/opt.c -+++ /tmp/cocci-output-15465-88ac6f-opt.c ++++ /tmp/cocci-output-3181-2a0b69-opt.c @@ -1,3 +1,2 @@ int main () { - yyy(); @@ -8528,7 +8564,7 @@ optional_qualifier.res diff = --- tests/optional_qualifier.c -+++ /tmp/cocci-output-15465-ab2b66-optional_qualifier.c ++++ /tmp/cocci-output-3181-a07afb-optional_qualifier.c @@ -1,2 +1,2 @@ -int a; +const int a; @@ -8536,7 +8572,7 @@ optional_storage.res diff = --- tests/optional_storage.c -+++ /tmp/cocci-output-15465-26e58b-optional_storage.c ++++ /tmp/cocci-output-3181-2fcb8b-optional_storage.c @@ -1,4 +1,4 @@ -int foo1(void) +static int foo1(void) @@ -8546,7 +8582,7 @@ orexp.res diff = --- tests/orexp.c -+++ /tmp/cocci-output-15465-78e306-orexp.c ++++ /tmp/cocci-output-3181-151a7c-orexp.c @@ -1,3 +1,3 @@ int main() { - bar(12+12); @@ -8561,7 +8597,7 @@ warning: xxx: metavariable f not used in the - or context code diff = --- tests/overshoot.c -+++ /tmp/cocci-output-15465-9cadf4-overshoot.c ++++ /tmp/cocci-output-3181-bca1f6-overshoot.c @@ -1,9 +1,8 @@ int main () { a(); @@ -8581,7 +8617,7 @@ warning: line 20: should errp be a metavariable? diff = --- tests/p1p2.c -+++ /tmp/cocci-output-15465-4daef7-p1p2.c ++++ /tmp/cocci-output-3181-bf97a5-p1p2.c @@ -1,3 +1,3 @@ -int main(int x, Error **errp); +int __attribute__((nonnull(1))) main(int x, Error **errp); @@ -8591,7 +8627,7 @@ p9.res diff = --- tests/p9.c -+++ /tmp/cocci-output-15465-fea659-p9.c ++++ /tmp/cocci-output-3181-4ba61c-p9.c @@ -1,3 +1,3 @@ -int f(int, int, int x) { +int f(int v0, int v1, int x) { @@ -8600,7 +8636,7 @@ pa.res diff = --- tests/pa.c -+++ /tmp/cocci-output-15465-8a48c2-pa.c ++++ /tmp/cocci-output-3181-899490-pa.c @@ -4,7 +4,8 @@ char *parse_args(const char *doing, unsigned num, s16 min_level, @@ -8615,7 +8651,7 @@ param.res diff = --- tests/param.c -+++ /tmp/cocci-output-15465-712737-param.c ++++ /tmp/cocci-output-3181-3ca5f3-param.c @@ -1 +1 @@ -void foo() { return; } + @@ -8624,7 +8660,7 @@ warning: line 14: should y be a metavariable? diff = --- tests/param_end.c -+++ /tmp/cocci-output-15465-f12f83-param_end.c ++++ /tmp/cocci-output-3181-c358f9-param_end.c @@ -1,15 +1,15 @@ -int one (int x) { return; } +int one () { return; } @@ -8652,7 +8688,7 @@ param_to_exp.res diff = --- tests/param_to_exp.c -+++ /tmp/cocci-output-15465-478e98-param_to_exp.c ++++ /tmp/cocci-output-3181-7aac30-param_to_exp.c @@ -1,3 +1,4 @@ int main (int x, int y) { + foo(x, y); @@ -8661,14 +8697,14 @@ param_ver1.res diff = --- tests/param_ver1.c -+++ /tmp/cocci-output-15465-35859d-param_ver1.c ++++ /tmp/cocci-output-3181-bc7493-param_ver1.c @@ -1 +1 @@ -void foo(int x) { return; } + parameters_dots.res diff = --- tests/parameters_dots.c -+++ /tmp/cocci-output-15465-7f77f0-parameters_dots.c ++++ /tmp/cocci-output-3181-0eb25b-parameters_dots.c @@ -1,7 +1,3 @@ void main(int i) { - @@ -8680,7 +8716,7 @@ parenmac.res diff = --- tests/parenmac.c -+++ /tmp/cocci-output-15465-177a3f-parenmac.c ++++ /tmp/cocci-output-3181-58c00f-parenmac.c @@ -1 +1 @@ -#define TXSSZ(val) (val<<4) +#define TXSSZ(val) ((val)<<4) @@ -8688,7 +8724,7 @@ warning: rule starting on line 1: metavariable S not used in the - or context code diff = --- tests/partial.c -+++ /tmp/cocci-output-15465-32a543-partial.c ++++ /tmp/cocci-output-3181-bd995f-partial.c @@ -1,3 +1,3 @@ #define CS_THIS_MODULE THIS_MODULE, #define CS_OWNER owner: @@ -8697,7 +8733,7 @@ partialmd.res diff = --- tests/partialmd.c -+++ /tmp/cocci-output-15465-5c4f71-partialmd.c ++++ /tmp/cocci-output-3181-0dd3bf-partialmd.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8707,7 +8743,7 @@ partialmd2.res diff = --- tests/partialmd2.c -+++ /tmp/cocci-output-15465-203466-partialmd2.c ++++ /tmp/cocci-output-3181-03e200-partialmd2.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8717,7 +8753,7 @@ partialmd3.res diff = --- tests/partialmd3.c -+++ /tmp/cocci-output-15465-96ed3c-partialmd3.c ++++ /tmp/cocci-output-3181-890168-partialmd3.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8728,7 +8764,7 @@ warning: line 6: should x be a metavariable? diff = --- tests/pb_distribute_type.c -+++ /tmp/cocci-output-15465-5be1f6-pb_distribute_type.c ++++ /tmp/cocci-output-3181-0e18f6-pb_distribute_type.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8752,7 +8788,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type2.c -+++ /tmp/cocci-output-15465-fcb228-pb_distribute_type2.c ++++ /tmp/cocci-output-3181-83ca96-pb_distribute_type2.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8779,7 +8815,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type4.c -+++ /tmp/cocci-output-15465-65fd5d-pb_distribute_type4.c ++++ /tmp/cocci-output-3181-a07cd2-pb_distribute_type4.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8803,7 +8839,7 @@ warning: line 23: should i be a metavariable? diff = --- tests/pb_params_iso.c -+++ /tmp/cocci-output-15465-931fed-pb_params_iso.c ++++ /tmp/cocci-output-3181-f1e3ea-pb_params_iso.c @@ -1,17 +1,17 @@ -int f(bool a, int i, bool b) { @@ -8829,7 +8865,7 @@ pb_parsing_macro.res diff = --- tests/pb_parsing_macro.c -+++ /tmp/cocci-output-15465-fddc0c-pb_parsing_macro.c ++++ /tmp/cocci-output-3181-4bdb3a-pb_parsing_macro.c @@ -1,4 +1,4 @@ #define FOO_METH_TEST(a) prefix_##a void FOO_METH_TEST(foo)(int x){ @@ -8839,7 +8875,7 @@ pb_tag_symbols.res diff = --- tests/pb_tag_symbols.c -+++ /tmp/cocci-output-15465-643003-pb_tag_symbols.c ++++ /tmp/cocci-output-3181-613b79-pb_tag_symbols.c @@ -1,5 +1,3 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -8849,7 +8885,7 @@ pcim.res diff = --- tests/pcim.c -+++ /tmp/cocci-output-15465-3a827e-pcim.c ++++ /tmp/cocci-output-3181-000f09-pcim.c @@ -1,5 +1,6 @@ int main () { - ctx->sensePA = pci_map_single(adapter->dev, cmd->sense_buffer, @@ -8862,7 +8898,7 @@ pcomma.res diff = --- tests/pcomma.c -+++ /tmp/cocci-output-15465-081576-pcomma.c ++++ /tmp/cocci-output-3181-cf1bf7-pcomma.c @@ -1,14 +1,14 @@ -int main (int x) {} +int main (char c, int x) {} @@ -8889,7 +8925,7 @@ pif.res diff = --- tests/pif.c -+++ /tmp/cocci-output-15465-67dcbc-pif.c ++++ /tmp/cocci-output-3181-ac0b34-pif.c @@ -1,5 +1 @@ -void f(void) -{ @@ -8900,14 +8936,14 @@ plus33.res diff = --- tests/plus33.c -+++ /tmp/cocci-output-15465-58add4-plus33.c ++++ /tmp/cocci-output-3181-0392fe-plus33.c @@ -1 +1,2 @@ +typedef double double3x3[3][3]; int x; pmac.res diff = --- tests/pmac.c -+++ /tmp/cocci-output-15465-47e209-pmac.c ++++ /tmp/cocci-output-3181-fe7c63-pmac.c @@ -4,7 +4,5 @@ #include #endif @@ -8918,12 +8954,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_aa62f5.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_aa62f5.ml +ocamlc -c /tmp/ocaml_cocci_647448.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_647448.ml Compilation OK! Loading ML code of the SP... diff = --- tests/poscon.c -+++ /tmp/cocci-output-15465-9aaba4-poscon.c ++++ /tmp/cocci-output-3181-4c8e16-poscon.c @@ -2,8 +2,8 @@ int main () { f(0); g(0); @@ -8940,7 +8976,7 @@ posiso.res diff = --- tests/posiso.c -+++ /tmp/cocci-output-15465-93d00e-posiso.c ++++ /tmp/cocci-output-3181-5f361c-posiso.c @@ -1,9 +1,7 @@ int main () { int *x; @@ -8954,7 +8990,7 @@ positionc.res diff = --- tests/positionc.c -+++ /tmp/cocci-output-15465-5176b4-positionc.c ++++ /tmp/cocci-output-3181-444a09-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; @@ -8967,7 +9003,7 @@ post.res diff = --- tests/post.c -+++ /tmp/cocci-output-15465-f80582-post.c ++++ /tmp/cocci-output-3181-0ca6ee-post.c @@ -1,8 +1,6 @@ int main() { - f(3, foo + bar, 5); @@ -8980,7 +9016,7 @@ pragma2.res diff = --- tests/pragma2.c -+++ /tmp/cocci-output-15465-8d95e7-pragma2.c ++++ /tmp/cocci-output-3181-5806e5-pragma2.c @@ -4,7 +4,7 @@ int main() int n = 3; // FIXME: problem: uncommenting this breaks matching @@ -8994,7 +9030,7 @@ pragma3.res diff = --- tests/pragma3.c -+++ /tmp/cocci-output-15465-206c5b-pragma3.c ++++ /tmp/cocci-output-3181-a01473-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') */ @@ -9008,7 +9044,7 @@ pragma_and_block_b.res diff = --- tests/pragma_and_block_b.c -+++ /tmp/cocci-output-15465-a70437-pragma_and_block_b.c ++++ /tmp/cocci-output-3181-cae855-pragma_and_block_b.c @@ -1,6 +1,5 @@ int main() { @@ -9019,7 +9055,7 @@ pragmainfo_multiline.res diff = --- tests/pragmainfo_multiline.c -+++ /tmp/cocci-output-15465-62cff3-pragmainfo_multiline.c ++++ /tmp/cocci-output-3181-ee99ab-pragmainfo_multiline.c @@ -1,6 +1,4 @@ int main() { @@ -9030,19 +9066,19 @@ pragmatest1.res diff = --- tests/pragmatest1.c -+++ /tmp/cocci-output-15465-be5b04-pragmatest1.c ++++ /tmp/cocci-output-3181-f60c26-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_d3b64b.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d3b64b.ml +ocamlc -c /tmp/ocaml_cocci_dfed5f.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_dfed5f.ml Compilation OK! Loading ML code of the SP... diff = --- tests/pragmatest2.c -+++ /tmp/cocci-output-15465-de5759-pragmatest2.c ++++ /tmp/cocci-output-3181-dd55ad-pragmatest2.c @@ -1,6 +1,4 @@ #pragma xxx this is a test @@ -9055,7 +9091,7 @@ warning: rule starting on line 1: metavariable E not used in the - or context code diff = --- tests/print_return.c -+++ /tmp/cocci-output-15465-0974ed-print_return.c ++++ /tmp/cocci-output-3181-171440-print_return.c @@ -1,4 +1,3 @@ int config(struct pcmcia_device *link) { - bar(); @@ -9065,7 +9101,7 @@ proto.res diff = --- tests/proto.c -+++ /tmp/cocci-output-15465-b114ec-proto.c ++++ /tmp/cocci-output-3181-cdf929-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); @@ -9080,7 +9116,7 @@ proto2.res diff = --- tests/proto2.c -+++ /tmp/cocci-output-15465-dafa72-proto2.c ++++ /tmp/cocci-output-3181-d3d440-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); @@ -9097,7 +9133,7 @@ proto_ver1.res diff = --- tests/proto_ver1.c -+++ /tmp/cocci-output-15465-7a54b7-proto_ver1.c ++++ /tmp/cocci-output-3181-41baa3-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); @@ -9112,7 +9148,7 @@ proto_ver2.res diff = --- tests/proto_ver2.c -+++ /tmp/cocci-output-15465-b19d78-proto_ver2.c ++++ /tmp/cocci-output-3181-4d57c8-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); @@ -9141,7 +9177,7 @@ protoassert.res diff = --- tests/protoassert.c -+++ /tmp/cocci-output-15465-7c8425-protoassert.c ++++ /tmp/cocci-output-3181-a090fc-protoassert.c @@ -1,6 +1,8 @@ static unsigned mii_rd(ioaddr_t ioaddr, u_char phyaddr, u_char phyreg); @@ -9157,7 +9193,7 @@ ptrar.res diff = --- tests/ptrar.c -+++ /tmp/cocci-output-15465-8ffc9a-ptrar.c ++++ /tmp/cocci-output-3181-10afee-ptrar.c @@ -1,8 +1,8 @@ int main () { struct foo *x; @@ -9174,7 +9210,7 @@ ptrconstptr.res diff = --- tests/ptrconstptr.c -+++ /tmp/cocci-output-15465-d9a3ea-ptrconstptr.c ++++ /tmp/cocci-output-3181-fe7a1e-ptrconstptr.c @@ -1,3 +1,3 @@ void main() { - const char * const * x; @@ -9186,7 +9222,7 @@ warning: rule starting on line 12: metavariable S not used in the - or context code diff = --- tests/putloop.c -+++ /tmp/cocci-output-15465-3b4f78-putloop.c ++++ /tmp/cocci-output-3181-963b24-putloop.c @@ -4,13 +4,11 @@ static int atmel_pctl_dt_node_to_map(str unsigned int *num_maps) { @@ -9217,7 +9253,7 @@ SPECIAL NAMES: adding survived_r1 as a type diff = --- tests/qualifier.c -+++ /tmp/cocci-output-15465-1d4d2a-qualifier.c ++++ /tmp/cocci-output-3181-a48b26-qualifier.c @@ -1,11 +1,11 @@ int *foo(const int *i) { @@ -9255,7 +9291,7 @@ range.res diff = --- tests/range.c -+++ /tmp/cocci-output-15465-97ae67-range.c ++++ /tmp/cocci-output-3181-db7069-range.c @@ -1,17 +1,8 @@ int main() { - f(1); @@ -9278,7 +9314,7 @@ SPECIAL NAMES: adding RB_DECLARE_CALLBACKS_MAX as a declarer diff = --- tests/rb.c -+++ /tmp/cocci-output-15465-a7a188-rb.c ++++ /tmp/cocci-output-3181-64081a-rb.c @@ -1,2 +1 @@ -RB_DECLARE_CALLBACKS_MAX(static, augment_callbacks, struct drbd_interval, -rb, sector_t, end, NODE_END); @@ -9286,7 +9322,7 @@ rcu3.res diff = --- tests/rcu3.c -+++ /tmp/cocci-output-15465-319792-rcu3.c ++++ /tmp/cocci-output-3181-887210-rcu3.c @@ -3,6 +3,6 @@ static struct mtd_chip_driver *get_mtd_c struct list_head *pos; struct mtd_chip_driver *this; @@ -9299,7 +9335,7 @@ refl.res diff = --- tests/refl.c -+++ /tmp/cocci-output-15465-7adbd3-refl.c ++++ /tmp/cocci-output-3181-be74d0-refl.c @@ -1,5 +1,3 @@ int main () { int x; @@ -9309,7 +9345,7 @@ regesc.res diff = --- tests/regesc.c -+++ /tmp/cocci-output-15465-7631d7-regesc.c ++++ /tmp/cocci-output-3181-c1b397-regesc.c @@ -1,5 +1,5 @@ int main () { - f(".foo"); @@ -9321,7 +9357,7 @@ regexp.res diff = --- tests/regexp.c -+++ /tmp/cocci-output-15465-01f923-regexp.c ++++ /tmp/cocci-output-3181-d9fec0-regexp.c @@ -1,9 +1,23 @@ int main(void) { @@ -9349,7 +9385,7 @@ regexp2.res diff = --- tests/regexp2.c -+++ /tmp/cocci-output-15465-09f8e4-regexp2.c ++++ /tmp/cocci-output-3181-bb3fe8-regexp2.c @@ -2,9 +2,23 @@ int main(void) { @@ -9377,7 +9413,7 @@ regexp3.res diff = --- tests/regexp3.c -+++ /tmp/cocci-output-15465-bc2d3a-regexp3.c ++++ /tmp/cocci-output-3181-52a474-regexp3.c @@ -2,10 +2,27 @@ int main(void) { @@ -9408,12 +9444,12 @@ } relevant_position.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_9d109a.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_9d109a.ml +ocamlc -c /tmp/ocaml_cocci_38605f.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_38605f.ml Compilation OK! Loading ML code of the SP... diff = --- tests/relevant_position.c -+++ /tmp/cocci-output-15465-073143-relevant_position.c ++++ /tmp/cocci-output-3181-e26695-relevant_position.c @@ -1,4 +1,4 @@ -struct blah { struct list_head xxx; }; + @@ -9423,7 +9459,7 @@ rem1.res diff = --- tests/rem1.c -+++ /tmp/cocci-output-15465-c8d5cc-rem1.c ++++ /tmp/cocci-output-3181-7e3898-rem1.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9433,7 +9469,7 @@ rem2.res diff = --- tests/rem2.c -+++ /tmp/cocci-output-15465-230419-rem2.c ++++ /tmp/cocci-output-3181-dc09d8-rem2.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9443,7 +9479,7 @@ remaft.res diff = --- tests/remaft.c -+++ /tmp/cocci-output-15465-faffc2-remaft.c ++++ /tmp/cocci-output-3181-89b311-remaft.c @@ -1,8 +1,6 @@ int main() { #ifdef BLAH @@ -9456,7 +9492,7 @@ remcom.res diff = --- tests/remcom.c -+++ /tmp/cocci-output-15465-e0bdd1-remcom.c ++++ /tmp/cocci-output-3181-a999e1-remcom.c @@ -3,20 +3,12 @@ asyncmeta_retry( Operation *op ) { @@ -9484,7 +9520,7 @@ remcom2.res diff = --- tests/remcom2.c -+++ /tmp/cocci-output-15465-cd80b9-remcom2.c ++++ /tmp/cocci-output-3181-66dd19-remcom2.c @@ -2,7 +2,5 @@ int fn() { if (y) { @@ -9496,7 +9532,7 @@ remodif.res diff = --- tests/remodif.c -+++ /tmp/cocci-output-15465-01cc9f-remodif.c ++++ /tmp/cocci-output-3181-34d872-remodif.c @@ -5,7 +5,7 @@ static int hexium_attach(struct saa7146_ DEB_EE("\n"); @@ -9509,7 +9545,7 @@ remove-code-in-branch1.res diff = --- tests/remove-code-in-branch1.c -+++ /tmp/cocci-output-15465-8b0176-remove-code-in-branch1.c ++++ /tmp/cocci-output-3181-93c30d-remove-code-in-branch1.c @@ -1,7 +1,7 @@ int main(void) { @@ -9522,7 +9558,7 @@ remove_call.res diff = --- tests/remove_call.c -+++ /tmp/cocci-output-15465-dcc951-remove_call.c ++++ /tmp/cocci-output-3181-6e5160-remove_call.c @@ -1,6 +1,2 @@ int main () { - int x = 3 + FN() + FN(); @@ -9534,7 +9570,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/remove_cast_attr.c -+++ /tmp/cocci-output-15465-3190ec-remove_cast_attr.c ++++ /tmp/cocci-output-3181-d0a529-remove_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -9551,7 +9587,7 @@ remove_cast_attr_allminus.res diff = --- tests/remove_cast_attr_allminus.c -+++ /tmp/cocci-output-15465-e0d08d-remove_cast_attr_allminus.c ++++ /tmp/cocci-output-3181-4e5b63-remove_cast_attr_allminus.c @@ -2,9 +2,9 @@ int func() @@ -9572,7 +9608,7 @@ SPECIAL NAMES: adding __macro_attr as a attribute diff = --- tests/remove_macrodecl_attr.c -+++ /tmp/cocci-output-15465-0993fd-remove_macrodecl_attr.c ++++ /tmp/cocci-output-3181-cd0707-remove_macrodecl_attr.c @@ -1,3 +1,3 @@ #define __macro_attr MACROANNOTATION @@ -9582,7 +9618,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/remove_metaattr.c -+++ /tmp/cocci-output-15465-80feb1-remove_metaattr.c ++++ /tmp/cocci-output-3181-c0097c-remove_metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -9594,7 +9630,7 @@ SPECIAL NAMES: adding __nocast as a attribute diff = --- tests/remove_param_attrs.c -+++ /tmp/cocci-output-15465-4c56f1-remove_param_attrs.c ++++ /tmp/cocci-output-3181-4ba199-remove_param_attrs.c @@ -6,15 +6,15 @@ int func2(int x, int __nocast y) { return 0; } @@ -9618,7 +9654,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr.c -+++ /tmp/cocci-output-15465-688ed5-remove_struct_endattr.c ++++ /tmp/cocci-output-3181-491a4a-remove_struct_endattr.c @@ -4,4 +4,4 @@ struct abcd { int a; int b; @@ -9629,7 +9665,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr_allminus.c -+++ /tmp/cocci-output-15465-153dec-remove_struct_endattr_allminus.c ++++ /tmp/cocci-output-3181-c7afea-remove_struct_endattr_allminus.c @@ -1,13 +1 @@ #define __struct_endattr MACROANNOTATION - @@ -9647,7 +9683,7 @@ remparam.res diff = --- tests/remparam.c -+++ /tmp/cocci-output-15465-143098-remparam.c ++++ /tmp/cocci-output-3181-7cb82f-remparam.c @@ -1,14 +1,14 @@ static irqreturn_t -snd_ad1889_interrupt(void *dev_id, int x, @@ -9670,7 +9706,7 @@ rems.res diff = --- tests/rems.c -+++ /tmp/cocci-output-15465-135b25-rems.c ++++ /tmp/cocci-output-3181-4b16bc-rems.c @@ -1,5 +1,4 @@ int main () { x(); @@ -9680,7 +9716,7 @@ rems1.res diff = --- tests/rems1.c -+++ /tmp/cocci-output-15465-e13c74-rems1.c ++++ /tmp/cocci-output-3181-e648d6-rems1.c @@ -1,5 +1,4 @@ int main () { x(); @@ -9692,7 +9728,7 @@ warning: line 8: should xxx be a metavariable? diff = --- tests/remstruct.c -+++ /tmp/cocci-output-15465-dd95d1-remstruct.c ++++ /tmp/cocci-output-3181-128068-remstruct.c @@ -1,13 +1,4 @@ -static struct irqchip mpuio_irq_chip = { - .ack = mpuio_ack_irq, @@ -9710,7 +9746,7 @@ remu.res diff = --- tests/remu.c -+++ /tmp/cocci-output-15465-3a83d6-remu.c ++++ /tmp/cocci-output-3181-ee47a8-remu.c @@ -1,5 +1,4 @@ struct anon_vma { int x; @@ -9720,7 +9756,7 @@ replace_typedef.res diff = --- tests/replace_typedef.c -+++ /tmp/cocci-output-15465-9149c7-replace_typedef.c ++++ /tmp/cocci-output-3181-aec5ed-replace_typedef.c @@ -3,8 +3,8 @@ typedef struct foo { int x; } foo_t; typedef int int_t; @@ -9735,7 +9771,7 @@ replacement3.res diff = --- tests/replacement3.c -+++ /tmp/cocci-output-15465-788cb5-replacement3.c ++++ /tmp/cocci-output-3181-69efe9-replacement3.c @@ -1,6 +1,5 @@ int main() { - int *i; @@ -9747,7 +9783,7 @@ reserved.res diff = --- tests/reserved.c -+++ /tmp/cocci-output-15465-099780-reserved.c ++++ /tmp/cocci-output-3181-ef304b-reserved.c @@ -1,7 +1,4 @@ int main() { - f(1,1); @@ -9759,7 +9795,7 @@ retest.res diff = --- tests/retest.c -+++ /tmp/cocci-output-15465-ce79b2-retest.c ++++ /tmp/cocci-output-3181-37a567-retest.c @@ -1,6 +1,6 @@ int main () { foo(); @@ -9771,7 +9807,7 @@ retmacro.res diff = --- tests/retmacro.c -+++ /tmp/cocci-output-15465-ccba3f-retmacro.c ++++ /tmp/cocci-output-3181-939b55-retmacro.c @@ -1,6 +1,6 @@ #define REG_PATTERN_TEST(R, M, W) \ { \ @@ -9794,7 +9830,7 @@ warning: rule starting on line 18: metavariable S not used in the - or context code diff = --- tests/return.c -+++ /tmp/cocci-output-15465-73aeae-return.c ++++ /tmp/cocci-output-3181-0b2b79-return.c @@ -1,6 +1,9 @@ void foo(int y) { int x; @@ -9810,7 +9846,7 @@ return_implicit.res diff = --- tests/return_implicit.c -+++ /tmp/cocci-output-15465-df2fcf-return_implicit.c ++++ /tmp/cocci-output-3181-f0ea33-return_implicit.c @@ -1,4 +1,5 @@ void main(void) { @@ -9820,7 +9856,7 @@ retval.res diff = --- tests/retval.c -+++ /tmp/cocci-output-15465-824f54-retval.c ++++ /tmp/cocci-output-3181-879f89-retval.c @@ -1,21 +1,15 @@ int main () { if (retval1) { @@ -9850,7 +9886,7 @@ retval2.res diff = --- tests/retval2.c -+++ /tmp/cocci-output-15465-449d5a-retval2.c ++++ /tmp/cocci-output-3181-3e8153-retval2.c @@ -11,7 +11,7 @@ int getlen(int *input, size_t maxlen, in return -1; } @@ -9864,7 +9900,7 @@ warning: rule starting on line 8: metavariable p1 not used in the - or context code diff = --- tests/reusevar.c -+++ /tmp/cocci-output-15465-2c0388-reusevar.c ++++ /tmp/cocci-output-3181-b49c3a-reusevar.c @@ -1,8 +1,5 @@ int main () { - f(x); @@ -9882,7 +9918,7 @@ SPECIAL NAMES: adding __ro_after_init as a attribute diff = --- tests/roa.c -+++ /tmp/cocci-output-15465-25bf89-roa.c ++++ /tmp/cocci-output-3181-fd2fbd-roa.c @@ -1,10 +1,10 @@ -struct arm_delay_ops arm_delay_ops __ro_after_init = { +struct found used __ro_after_init = { @@ -9900,7 +9936,7 @@ rptr.res diff = --- tests/rptr.c -+++ /tmp/cocci-output-15465-fcdc65-rptr.c ++++ /tmp/cocci-output-3181-c6ff64-rptr.c @@ -1,6 +1,4 @@ int foo(struct resource *r) { @@ -9913,7 +9949,7 @@ same_expr.res diff = --- tests/same_expr.c -+++ /tmp/cocci-output-15465-5d5543-same_expr.c ++++ /tmp/cocci-output-3181-fbc1da-same_expr.c @@ -1,6 +1,5 @@ void main(int i) { @@ -9924,7 +9960,7 @@ sbef.res diff = --- tests/sbef.c -+++ /tmp/cocci-output-15465-ce4272-sbef.c ++++ /tmp/cocci-output-3181-8b7585-sbef.c @@ -2,6 +2,5 @@ int main () { { a(); @@ -9935,7 +9971,7 @@ sbef2.res diff = --- tests/sbef2.c -+++ /tmp/cocci-output-15465-1f3ac2-sbef2.c ++++ /tmp/cocci-output-3181-b6d69e-sbef2.c @@ -1,5 +1,4 @@ int main() { f(12); @@ -9945,7 +9981,7 @@ scope_problem.res diff = --- tests/scope_problem.c -+++ /tmp/cocci-output-15465-5dbddb-scope_problem.c ++++ /tmp/cocci-output-3181-019973-scope_problem.c @@ -1,15 +1,7 @@ void main(int i) { - @@ -9967,14 +10003,14 @@ SPECIAL NAMES: adding MyFloat as a type diff = --- tests/sd_2.c -+++ /tmp/cocci-output-15465-27723f-sd_2.c ++++ /tmp/cocci-output-3181-46ec73-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-15465-12826b-serio.c ++++ /tmp/cocci-output-3181-efb4c8-serio.c @@ -1,8 +1,8 @@ struct serio { - struct semaphore drv_sem; @@ -9992,7 +10028,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/shared_brace.c -+++ /tmp/cocci-output-15465-9ab80a-shared_brace.c ++++ /tmp/cocci-output-3181-3f5d6f-shared_brace.c @@ -1,9 +1,7 @@ int __init ixj_init(void) @@ -10013,7 +10049,7 @@ warning: line 23: should p be a metavariable? diff = --- tests/signed.c -+++ /tmp/cocci-output-15465-c14559-signed.c ++++ /tmp/cocci-output-3181-5378aa-signed.c @@ -1,5 +1,5 @@ -int main(signed *m, unsigned *p) { - signed x; @@ -10028,7 +10064,7 @@ SPECIAL NAMES: adding DEFINE_MUTEX as a declarer diff = --- tests/sis.c -+++ /tmp/cocci-output-15465-1313bf-sis.c ++++ /tmp/cocci-output-3181-b99e2b-sis.c @@ -1,4 +1,4 @@ -DECLARE_MUTEX(disconnect_sem); +DEFINE_MUTEX(disconnect_sem); @@ -10038,7 +10074,7 @@ sizeof.res diff = --- tests/sizeof.c -+++ /tmp/cocci-output-15465-cd8494-sizeof.c ++++ /tmp/cocci-output-3181-b1a251-sizeof.c @@ -1,7 +1,7 @@ int main (int param) { @@ -10052,7 +10088,7 @@ sizeof_julia.res diff = --- tests/sizeof_julia.c -+++ /tmp/cocci-output-15465-d7bafa-sizeof_julia.c ++++ /tmp/cocci-output-3181-e84c79-sizeof_julia.c @@ -1,5 +1,5 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) @@ -10063,7 +10099,7 @@ sizeptr.res diff = --- tests/sizeptr.c -+++ /tmp/cocci-output-15465-0813d5-sizeptr.c ++++ /tmp/cocci-output-3181-1ea18b-sizeptr.c @@ -5,7 +5,7 @@ int main () { ssize_t b; ptrdiff_t c; @@ -10078,7 +10114,7 @@ sizestar.res diff = --- tests/sizestar.c -+++ /tmp/cocci-output-15465-f39f56-sizestar.c ++++ /tmp/cocci-output-3181-5f0288-sizestar.c @@ -1,7 +1,7 @@ int main () { max = num_var_ranges; @@ -10091,7 +10127,7 @@ sizet1.res diff = --- tests/sizet1.c -+++ /tmp/cocci-output-15465-b736ef-sizet1.c ++++ /tmp/cocci-output-3181-91f3a7-sizet1.c @@ -1,3 +1,2 @@ int main() { - size_t x; @@ -10099,7 +10135,7 @@ skip.res diff = --- tests/skip.c -+++ /tmp/cocci-output-15465-d17546-skip.c ++++ /tmp/cocci-output-3181-8782d5-skip.c @@ -1,5 +1,3 @@ int main () { - f(1); @@ -10110,7 +10146,7 @@ sl2.res diff = --- tests/sl2.c -+++ /tmp/cocci-output-15465-bb8b94-sl2.c ++++ /tmp/cocci-output-3181-3b0f88-sl2.c @@ -1,11 +1,14 @@ int main () { + something(); @@ -10131,12 +10167,12 @@ one(); slen.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_e0c7aa.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e0c7aa.ml +ocamlc -c /tmp/ocaml_cocci_b1af62.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_b1af62.ml Compilation OK! Loading ML code of the SP... diff = --- tests/slen.c -+++ /tmp/cocci-output-15465-797431-slen.c ++++ /tmp/cocci-output-3181-ba1bda-slen.c @@ -3,16 +3,10 @@ int main() { one(); } @@ -10159,7 +10195,7 @@ smallfn.res diff = --- tests/smallfn.c -+++ /tmp/cocci-output-15465-3ffd27-smallfn.c ++++ /tmp/cocci-output-3181-536333-smallfn.c @@ -1,30 +1,65 @@ int main () { if (y) { @@ -10239,7 +10275,7 @@ snprintf.res diff = --- tests/snprintf.c -+++ /tmp/cocci-output-15465-2adf6a-snprintf.c ++++ /tmp/cocci-output-3181-886f56-snprintf.c @@ -1,4 +1,4 @@ static ssize_t idletimer_tg_show(char *buf) { @@ -10249,7 +10285,7 @@ sp.res diff = --- tests/sp.c -+++ /tmp/cocci-output-15465-b93fb9-sp.c ++++ /tmp/cocci-output-3181-01708b-sp.c @@ -1,4 +1,4 @@ -typedef struct { +struct name { @@ -10261,7 +10297,7 @@ spacing.res diff = --- tests/spacing.c -+++ /tmp/cocci-output-15465-d7b54c-spacing.c ++++ /tmp/cocci-output-3181-570ab7-spacing.c @@ -1,8 +1,21 @@ typedef int *foo; @@ -10287,7 +10323,7 @@ spl.res diff = --- tests/spl.c -+++ /tmp/cocci-output-15465-aae6a9-spl.c ++++ /tmp/cocci-output-3181-c9bdc6-spl.c @@ -2,11 +2,13 @@ int main() { spin_lock(&isp116x->lock); /* take idle endpoints out of the schedule */ @@ -10305,7 +10341,7 @@ split_funcall1.res diff = --- tests/split_funcall1.c -+++ /tmp/cocci-output-15465-5c7405-split_funcall1.c ++++ /tmp/cocci-output-3181-eb9d40-split_funcall1.c @@ -1,4 +1,4 @@ int main(void) { @@ -10315,7 +10351,7 @@ split_funcall2.res diff = --- tests/split_funcall2.c -+++ /tmp/cocci-output-15465-cf65f7-split_funcall2.c ++++ /tmp/cocci-output-3181-f84175-split_funcall2.c @@ -1,4 +1,4 @@ int main(void) { @@ -10325,7 +10361,7 @@ square.res diff = --- tests/square.c -+++ /tmp/cocci-output-15465-aa64e3-square.c ++++ /tmp/cocci-output-3181-1be721-square.c @@ -2,7 +2,7 @@ int two() { return 2; } int main() { int a[3]; @@ -10341,7 +10377,7 @@ SPECIAL NAMES: adding LPINT as a type diff = --- tests/starprint.c -+++ /tmp/cocci-output-15465-a03637-starprint.c ++++ /tmp/cocci-output-3181-4c810e-starprint.c @@ -1,6 +1,6 @@ typedef int *LPINT; @@ -10353,7 +10389,7 @@ static.res diff = --- tests/static.c -+++ /tmp/cocci-output-15465-efc6cd-static.c ++++ /tmp/cocci-output-3181-81390c-static.c @@ -1,4 +1,3 @@ static inline int i8042_read_data(void) { @@ -10364,7 +10400,7 @@ stm10.res diff = --- tests/stm10.c -+++ /tmp/cocci-output-15465-9953a7-stm10.c ++++ /tmp/cocci-output-3181-2a0ccf-stm10.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -10376,7 +10412,7 @@ stm10_ver1.res diff = --- tests/stm10_ver1.c -+++ /tmp/cocci-output-15465-b95e8b-stm10_ver1.c ++++ /tmp/cocci-output-3181-019fc0-stm10_ver1.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10387,7 +10423,7 @@ stm2.res diff = --- tests/stm2.c -+++ /tmp/cocci-output-15465-38ff45-stm2.c ++++ /tmp/cocci-output-3181-88590e-stm2.c @@ -1,5 +1,4 @@ int main(int x) { f(); @@ -10397,7 +10433,7 @@ stm3.res diff = --- tests/stm3.c -+++ /tmp/cocci-output-15465-df781e-stm3.c ++++ /tmp/cocci-output-3181-9f4240-stm3.c @@ -1,5 +1,5 @@ int main(int x) { f(); @@ -10408,7 +10444,7 @@ stm4.res diff = --- tests/stm4.c -+++ /tmp/cocci-output-15465-11e693-stm4.c ++++ /tmp/cocci-output-3181-828786-stm4.c @@ -2,4 +2,5 @@ int main(int x) { f(); replace(); @@ -10418,7 +10454,7 @@ stm5.res diff = --- tests/stm5.c -+++ /tmp/cocci-output-15465-5b1a85-stm5.c ++++ /tmp/cocci-output-3181-69f725-stm5.c @@ -1,5 +1,7 @@ int main(int x) { f(); @@ -10430,7 +10466,7 @@ stm6.res diff = --- tests/stm6.c -+++ /tmp/cocci-output-15465-6673da-stm6.c ++++ /tmp/cocci-output-3181-59557a-stm6.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10443,7 +10479,7 @@ stm8.res diff = --- tests/stm8.c -+++ /tmp/cocci-output-15465-8bb071-stm8.c ++++ /tmp/cocci-output-3181-8be3d4-stm8.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10454,7 +10490,7 @@ stm_exp.res diff = --- tests/stm_exp.c -+++ /tmp/cocci-output-15465-dc1eeb-stm_exp.c ++++ /tmp/cocci-output-3181-a354f9-stm_exp.c @@ -1,7 +1,5 @@ int main() { - abs(); @@ -10466,7 +10502,7 @@ stmt.res diff = --- tests/stmt.c -+++ /tmp/cocci-output-15465-b40b7c-stmt.c ++++ /tmp/cocci-output-3181-401155-stmt.c @@ -1,4 +1,5 @@ int f() { int x; @@ -10476,7 +10512,7 @@ stmt_removed_and_added.res diff = --- tests/stmt_removed_and_added.c -+++ /tmp/cocci-output-15465-7dc7bc-stmt_removed_and_added.c ++++ /tmp/cocci-output-3181-e6cf01-stmt_removed_and_added.c @@ -1,6 +1,6 @@ void main() { @@ -10489,7 +10525,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/str_init.c -+++ /tmp/cocci-output-15465-f854e7-str_init.c ++++ /tmp/cocci-output-3181-0ba82d-str_init.c @@ -1,7 +1,3 @@ struct foo x = { - .aaa = 5, @@ -10502,7 +10538,7 @@ warning: rule starting on line 1: metavariable f not used in the - or context code diff = --- tests/strangeorder.c -+++ /tmp/cocci-output-15465-c22744-strangeorder.c ++++ /tmp/cocci-output-3181-0d019e-strangeorder.c @@ -4,8 +4,10 @@ i2c_new_device(struct i2c_adapter *adap, struct i2c_client *client; @@ -10518,7 +10554,7 @@ strid.res diff = --- tests/strid.c -+++ /tmp/cocci-output-15465-986d7a-strid.c ++++ /tmp/cocci-output-3181-41dd4d-strid.c @@ -1,4 +1,4 @@ int main () { struct foo *a; @@ -10528,7 +10564,7 @@ strid2.res diff = --- tests/strid2.c -+++ /tmp/cocci-output-15465-b6990c-strid2.c ++++ /tmp/cocci-output-3181-49fa52-strid2.c @@ -3,8 +3,8 @@ int main () { enum foo1 *b; struct foo a1; @@ -10544,7 +10580,7 @@ strtest.res diff = --- tests/strtest.c -+++ /tmp/cocci-output-15465-c06367-strtest.c ++++ /tmp/cocci-output-3181-64235e-strtest.c @@ -1,3 +1,3 @@ int main() { - printf("hello\n"); @@ -10553,7 +10589,7 @@ struct.res diff = --- tests/struct.c -+++ /tmp/cocci-output-15465-ee8852-struct.c ++++ /tmp/cocci-output-3181-286488-struct.c @@ -8,7 +8,5 @@ struct foo { int main() { @@ -10565,7 +10601,7 @@ struct_metavar.res diff = --- tests/struct_metavar.c -+++ /tmp/cocci-output-15465-e0e5a2-struct_metavar.c ++++ /tmp/cocci-output-3181-83ca09-struct_metavar.c @@ -9,9 +9,6 @@ struct foo { int main() { struct foo *a; @@ -10579,7 +10615,7 @@ struct_typedef.res diff = --- tests/struct_typedef.c -+++ /tmp/cocci-output-15465-8e9168-struct_typedef.c ++++ /tmp/cocci-output-3181-4d5666-struct_typedef.c @@ -1,5 +1,5 @@ -typedef struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -10593,7 +10629,7 @@ warning: line 5: should my_foo be a metavariable? diff = --- tests/structfoo.c -+++ /tmp/cocci-output-15465-3f33eb-structfoo.c ++++ /tmp/cocci-output-3181-ed8c47-structfoo.c @@ -1,4 +1 @@ -struct foo my_foo[] = { -.a = 1, @@ -10603,7 +10639,7 @@ structptr_func.res diff = --- tests/structptr_func.c -+++ /tmp/cocci-output-15465-dd1389-structptr_func.c ++++ /tmp/cocci-output-3181-42ddf4-structptr_func.c @@ -1,5 +1,6 @@ void func(struct socket *sock, struct sockaddr *uaddr, int peer) { @@ -10615,7 +10651,7 @@ substruct.res diff = --- tests/substruct.c -+++ /tmp/cocci-output-15465-6046f8-substruct.c ++++ /tmp/cocci-output-3181-a86984-substruct.c @@ -1,5 +1,5 @@ struct a { int a; } x[2] = { @@ -10627,14 +10663,14 @@ sw.res diff = --- tests/sw.c -+++ /tmp/cocci-output-15465-e1c464-sw.c ++++ /tmp/cocci-output-3181-760a48-sw.c @@ -1 +1 @@ -int f() { switch (x) { case FOO: return; } } + swap3.res diff = --- tests/swap3.c -+++ /tmp/cocci-output-15465-0c66f0-swap3.c ++++ /tmp/cocci-output-3181-776aca-swap3.c @@ -2,7 +2,7 @@ static void __ar955x_tx_iq_cal_sort(stru struct coeff *coeff, int i, int nmeasurement) @@ -10647,7 +10683,7 @@ switch.res diff = --- tests/switch.c -+++ /tmp/cocci-output-15465-e909e3-switch.c ++++ /tmp/cocci-output-3181-07b09d-switch.c @@ -3,6 +3,5 @@ int main () { default: break; @@ -10659,7 +10695,7 @@ warning: switch_1: metavariable S_1 not used in the - or context code diff = --- tests/switchdecl.c -+++ /tmp/cocci-output-15465-a6e9f2-switchdecl.c ++++ /tmp/cocci-output-3181-a5983d-switchdecl.c @@ -4,7 +4,7 @@ switch (2) { int x; @@ -10673,7 +10709,7 @@ warning: line 12: should g be a metavariable? diff = --- tests/symbol.c -+++ /tmp/cocci-output-15465-25fc8c-symbol.c ++++ /tmp/cocci-output-3181-ba36a9-symbol.c @@ -1,7 +1,5 @@ int main() { int f = 0; @@ -10685,7 +10721,7 @@ td.res diff = --- tests/td.c -+++ /tmp/cocci-output-15465-9d6b60-td.c ++++ /tmp/cocci-output-3181-6e4935-td.c @@ -1,5 +1,5 @@ -struct foo {int a;}; +struct foo {int b;}; @@ -10698,7 +10734,7 @@ tdnl.res diff = --- tests/tdnl.c -+++ /tmp/cocci-output-15465-d053e9-tdnl.c ++++ /tmp/cocci-output-3181-563b14-tdnl.c @@ -4,5 +4,4 @@ void main() { @@ -10708,14 +10744,14 @@ tdplus.res diff = --- tests/tdplus.c -+++ /tmp/cocci-output-15465-fb36de-tdplus.c ++++ /tmp/cocci-output-3181-422ebb-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-15465-d2780f-tern.c ++++ /tmp/cocci-output-3181-d6e25b-tern.c @@ -1,4 +1,4 @@ int main () { - return (wc >= 0 && wc <= 0x7f ? wc : 0x7f); @@ -10725,7 +10761,7 @@ test0.res diff = --- tests/test0.c -+++ /tmp/cocci-output-15465-ef11b0-test0.c ++++ /tmp/cocci-output-3181-d5d98a-test0.c @@ -1,5 +1,3 @@ int main(int i) { - f(1); @@ -10735,7 +10771,7 @@ test1.res diff = --- tests/test1.c -+++ /tmp/cocci-output-15465-bbaecf-test1.c ++++ /tmp/cocci-output-3181-58bdb5-test1.c @@ -6,9 +6,9 @@ void main(int foo) { x(); if(1) { @@ -10752,7 +10788,7 @@ test10_ver1.res diff = --- tests/test10_ver1.c -+++ /tmp/cocci-output-15465-685580-test10_ver1.c ++++ /tmp/cocci-output-3181-45da17-test10_ver1.c @@ -3,7 +3,7 @@ void main(int i) { f(1); g(1); @@ -10766,7 +10802,7 @@ test11_ver1.res diff = --- tests/test11_ver1.c -+++ /tmp/cocci-output-15465-9e4c5d-test11_ver1.c ++++ /tmp/cocci-output-3181-7be138-test11_ver1.c @@ -2,6 +2,6 @@ void main(int i) { f(1); g(1); @@ -10778,7 +10814,7 @@ test12.res diff = --- tests/test12.c -+++ /tmp/cocci-output-15465-93b44b-test12.c ++++ /tmp/cocci-output-3181-86715f-test12.c @@ -1,6 +1,6 @@ void main(int foo) { @@ -10790,7 +10826,7 @@ test2.res diff = --- tests/test2.c -+++ /tmp/cocci-output-15465-6fa80f-test2.c ++++ /tmp/cocci-output-3181-42aed0-test2.c @@ -2,7 +2,7 @@ void main() { f(1,2,3); @@ -10804,7 +10840,7 @@ test3.res diff = --- tests/test3.c -+++ /tmp/cocci-output-15465-eaf13d-test3.c ++++ /tmp/cocci-output-3181-6efb72-test3.c @@ -4,7 +4,7 @@ void main() f(3); @@ -10818,7 +10854,7 @@ test4.res diff = --- tests/test4.c -+++ /tmp/cocci-output-15465-392f01-test4.c ++++ /tmp/cocci-output-3181-a1c1d1-test4.c @@ -1,7 +1,6 @@ void main() { @@ -10830,7 +10866,7 @@ test5.res diff = --- tests/test5.c -+++ /tmp/cocci-output-15465-f77839-test5.c ++++ /tmp/cocci-output-3181-20bbf1-test5.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10846,7 +10882,7 @@ test5_ver1.res diff = --- tests/test5_ver1.c -+++ /tmp/cocci-output-15465-9aa133-test5_ver1.c ++++ /tmp/cocci-output-3181-8a20f7-test5_ver1.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10862,7 +10898,7 @@ test6.res diff = --- tests/test6.c -+++ /tmp/cocci-output-15465-2c8751-test6.c ++++ /tmp/cocci-output-3181-31128d-test6.c @@ -4,13 +4,13 @@ void main() { /* a comment */ @@ -10893,7 +10929,7 @@ test7.res diff = --- tests/test7.c -+++ /tmp/cocci-output-15465-0c7226-test7.c ++++ /tmp/cocci-output-3181-c5402d-test7.c @@ -2,10 +2,12 @@ void main() { @@ -10912,7 +10948,7 @@ test8.res diff = --- tests/test8.c -+++ /tmp/cocci-output-15465-09c716-test8.c ++++ /tmp/cocci-output-3181-d7415d-test8.c @@ -1,7 +1,6 @@ -void main(int foo) { +void main(char i, int foo) { @@ -10925,7 +10961,7 @@ test9.res diff = --- tests/test9.c -+++ /tmp/cocci-output-15465-d01b2a-test9.c ++++ /tmp/cocci-output-3181-786a98-test9.c @@ -4,9 +4,9 @@ void main(int foo) { // f(1); // if uncomment then problems g(2); @@ -10941,7 +10977,7 @@ test_s.res diff = --- tests/test_s.c -+++ /tmp/cocci-output-15465-a2785b-test_s.c ++++ /tmp/cocci-output-3181-77b61e-test_s.c @@ -2,7 +2,7 @@ int main () { if (x-one) { one(); @@ -10969,7 +11005,7 @@ warning: line 39: should y be a metavariable? diff = --- tests/test_unsigned_meta.c -+++ /tmp/cocci-output-15465-76b215-test_unsigned_meta.c ++++ /tmp/cocci-output-3181-19873b-test_unsigned_meta.c @@ -1,8 +1,12 @@ int main () { - unsigned int x; @@ -10989,7 +11025,7 @@ testand.res diff = --- tests/testand.c -+++ /tmp/cocci-output-15465-9e955d-testand.c ++++ /tmp/cocci-output-3181-0687b7-testand.c @@ -1,5 +1,5 @@ int main () { f(1,2,3,4); @@ -11001,7 +11037,7 @@ testand2.res diff = --- tests/testand2.c -+++ /tmp/cocci-output-15465-a6630e-testand2.c ++++ /tmp/cocci-output-3181-793b46-testand2.c @@ -1,6 +1,6 @@ int main () { f(1,2,3,4); @@ -11013,7 +11049,7 @@ three_types.res diff = --- tests/three_types.c -+++ /tmp/cocci-output-15465-ddf8f8-three_types.c ++++ /tmp/cocci-output-3181-4f89e1-three_types.c @@ -7,5 +7,5 @@ via_init_dmablit(drm_device_t *dev) { drm_via_blitq_t *blitq; @@ -11024,7 +11060,7 @@ threea.res diff = --- tests/threea.c -+++ /tmp/cocci-output-15465-14fa3f-threea.c ++++ /tmp/cocci-output-3181-5b2c76-threea.c @@ -1,4 +1,3 @@ int main() { f(12); @@ -11033,7 +11069,7 @@ tloop.res diff = --- tests/tloop.c -+++ /tmp/cocci-output-15465-474c14-tloop.c ++++ /tmp/cocci-output-3181-dc8bf4-tloop.c @@ -1,6 +1,5 @@ int foo(void) { @@ -11046,7 +11082,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/top.c -+++ /tmp/cocci-output-15465-cd91b5-top.c ++++ /tmp/cocci-output-3181-b56e71-top.c @@ -1 +1 @@ -MODULE_PARM(suppress_pollack, "i"); +module_param(I, int, 0); @@ -11054,7 +11090,7 @@ SPECIAL NAMES: adding LIST_HEAD as a declarer diff = --- tests/topdec.c -+++ /tmp/cocci-output-15465-898694-topdec.c ++++ /tmp/cocci-output-3181-d44e74-topdec.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -11064,7 +11100,7 @@ topdec_ver1.res diff = --- tests/topdec_ver1.c -+++ /tmp/cocci-output-15465-0f4016-topdec_ver1.c ++++ /tmp/cocci-output-3181-608471-topdec_ver1.c @@ -4,4 +4,4 @@ static int debug; /* Network device part of the driver */ @@ -11074,7 +11110,7 @@ topdec_ver2.res diff = --- tests/topdec_ver2.c -+++ /tmp/cocci-output-15465-bd8956-topdec_ver2.c ++++ /tmp/cocci-output-3181-db1c16-topdec_ver2.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -11084,7 +11120,7 @@ topdecl.res diff = --- tests/topdecl.c -+++ /tmp/cocci-output-15465-7be522-topdecl.c ++++ /tmp/cocci-output-3181-4024b3-topdecl.c @@ -1,3 +1,3 @@ int main () { - int x = foo(); @@ -11095,7 +11131,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/toplevel_macrostmt.c -+++ /tmp/cocci-output-15465-02a77c-toplevel_macrostmt.c ++++ /tmp/cocci-output-3181-460945-toplevel_macrostmt.c @@ -2,7 +2,7 @@ void main(int i) { } @@ -11109,7 +11145,7 @@ warning: line 5: should usb_stor_host_template be a metavariable? diff = --- tests/toplevel_struct.c -+++ /tmp/cocci-output-15465-23f93e-toplevel_struct.c ++++ /tmp/cocci-output-3181-c1818a-toplevel_struct.c @@ -3,6 +3,7 @@ struct SHT usb_stor_host_template = { .name = "usb-storage", .proc_name = "usb-storage", @@ -11135,7 +11171,7 @@ triplet.res diff = --- tests/triplet.c -+++ /tmp/cocci-output-15465-9bdeec-triplet.c ++++ /tmp/cocci-output-3181-8bdf42-triplet.c @@ -1,5 +1,6 @@ typedef double dtriplet_t[3] ; // FIXME: such code would not be parsed on cocci side @@ -11148,7 +11184,7 @@ warning: rule starting on line 10: metavariable B not used in the - or context code diff = --- tests/tup.c -+++ /tmp/cocci-output-15465-c1cbff-tup.c ++++ /tmp/cocci-output-3181-4d50da-tup.c @@ -1,7 +1,7 @@ static int cm206_block_ioctl(struct inode *inode, struct file *file, unsigned cmd, unsigned long arg) @@ -11161,7 +11197,7 @@ twomatch.res diff = --- tests/twomatch.c -+++ /tmp/cocci-output-15465-8dd890-twomatch.c ++++ /tmp/cocci-output-3181-07b4c6-twomatch.c @@ -1,5 +1,5 @@ int main() { bar(12,1); @@ -11173,7 +11209,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/twoproto.c -+++ /tmp/cocci-output-15465-970efe-twoproto.c ++++ /tmp/cocci-output-3181-1eac6a-twoproto.c @@ -1,11 +1,9 @@ static void tc574_config(dev_link_t *link); @@ -11191,7 +11227,7 @@ ty.res diff = --- tests/ty.c -+++ /tmp/cocci-output-15465-ee2938-ty.c ++++ /tmp/cocci-output-3181-9b8eca-ty.c @@ -1,4 +1,4 @@ int main () { - struct foo x; @@ -11202,7 +11238,7 @@ warning: line 7: should x be a metavariable? diff = --- tests/ty1.c -+++ /tmp/cocci-output-15465-778bce-ty1.c ++++ /tmp/cocci-output-3181-7362b7-ty1.c @@ -1,4 +1,3 @@ int fn(int y) { char x; @@ -11211,7 +11247,7 @@ ty_tyexp.res diff = --- tests/ty_tyexp.c -+++ /tmp/cocci-output-15465-44347c-ty_tyexp.c ++++ /tmp/cocci-output-3181-1b3140-ty_tyexp.c @@ -1,11 +1,11 @@ void main(double z) { @@ -11233,7 +11269,7 @@ SPECIAL NAMES: adding uint64_t as a type diff = --- tests/tydisj.c -+++ /tmp/cocci-output-15465-3d8049-tydisj.c ++++ /tmp/cocci-output-3181-0a28e0-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(); @@ -11244,7 +11280,7 @@ SPECIAL NAMES: adding Location as a type diff = --- tests/tyex.c -+++ /tmp/cocci-output-15465-8732a5-tyex.c ++++ /tmp/cocci-output-3181-9759de-tyex.c @@ -1,12 +1,15 @@ typedef struct { double x; @@ -11266,7 +11302,7 @@ type.res diff = --- tests/type.c -+++ /tmp/cocci-output-15465-41f1bb-type.c ++++ /tmp/cocci-output-3181-e3d609-type.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11277,7 +11313,7 @@ type1.res diff = --- tests/type1.c -+++ /tmp/cocci-output-15465-af0757-type1.c ++++ /tmp/cocci-output-3181-c0399c-type1.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11288,7 +11324,7 @@ type_and_var.res diff = --- tests/type_and_var.c -+++ /tmp/cocci-output-15465-49f680-type_and_var.c ++++ /tmp/cocci-output-3181-c49a11-type_and_var.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -11325,7 +11361,7 @@ type_and_var2.res diff = --- tests/type_and_var2.c -+++ /tmp/cocci-output-15465-3be8a9-type_and_var2.c ++++ /tmp/cocci-output-3181-11d03a-type_and_var2.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -11362,7 +11398,7 @@ type_annotated.res diff = --- tests/type_annotated.c -+++ /tmp/cocci-output-15465-762aeb-type_annotated.c ++++ /tmp/cocci-output-3181-9513ae-type_annotated.c @@ -4,7 +4,7 @@ void f1(int z) { struct foo2 j; int k; @@ -11383,7 +11419,7 @@ type_constraints.res diff = --- tests/type_constraints.c -+++ /tmp/cocci-output-15465-947148-type_constraints.c ++++ /tmp/cocci-output-3181-a16f88-type_constraints.c @@ -1,9 +1,9 @@ void f(void) { int i; @@ -11400,7 +11436,7 @@ type_ver1.res diff = --- tests/type_ver1.c -+++ /tmp/cocci-output-15465-94d41a-type_ver1.c ++++ /tmp/cocci-output-3181-3d8303-type_ver1.c @@ -1,5 +1,5 @@ int foo() { - struct foo x; @@ -11411,7 +11447,7 @@ type_ver2.res diff = --- tests/type_ver2.c -+++ /tmp/cocci-output-15465-a28b8c-type_ver2.c ++++ /tmp/cocci-output-3181-0facd5-type_ver2.c @@ -1,5 +1,5 @@ int foo() { - int x[10]; @@ -11423,7 +11459,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef.c -+++ /tmp/cocci-output-15465-9ad202-typedef.c ++++ /tmp/cocci-output-3181-ee6993-typedef.c @@ -1,15 +1,15 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11447,7 +11483,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef3.c -+++ /tmp/cocci-output-15465-431495-typedef3.c ++++ /tmp/cocci-output-3181-84e044-typedef3.c @@ -1,5 +1,5 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11466,7 +11502,7 @@ typeof.res diff = --- tests/typeof.c -+++ /tmp/cocci-output-15465-cbd9b4-typeof.c ++++ /tmp/cocci-output-3181-439e8c-typeof.c @@ -1,6 +1,4 @@ int main() { int x; @@ -11477,7 +11513,7 @@ typeof_expr.res diff = --- tests/typeof_expr.c -+++ /tmp/cocci-output-15465-331b1f-typeof_expr.c ++++ /tmp/cocci-output-3181-d0f88d-typeof_expr.c @@ -1,4 +1,4 @@ int main () { int x = 0; @@ -11487,7 +11523,7 @@ typeofconst_i32l64.res diff = --- tests/typeofconst_i32l64.c -+++ /tmp/cocci-output-15465-c0acb8-typeofconst_i32l64.c ++++ /tmp/cocci-output-3181-38bc21-typeofconst_i32l64.c @@ -1,49 +1,49 @@ void f() { -0; @@ -11584,7 +11620,7 @@ typeofconst_il32.res diff = --- tests/typeofconst_il32.c -+++ /tmp/cocci-output-15465-a90197-typeofconst_il32.c ++++ /tmp/cocci-output-3181-3c42e2-typeofconst_il32.c @@ -1,49 +1,49 @@ void f() { -0; @@ -11681,7 +11717,7 @@ typin.res diff = --- tests/typin.c -+++ /tmp/cocci-output-15465-ae15e4-typin.c ++++ /tmp/cocci-output-3181-6634fd-typin.c @@ -2,7 +2,7 @@ int x; char y; @@ -11704,7 +11740,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-15465-2e93b5-unbrace.c ++++ /tmp/cocci-output-3181-40e799-unbrace.c @@ -5,8 +5,6 @@ static int mlxsw_sp_flower_parse_actions struct netlink_ext_ack *extack) { @@ -11899,7 +11935,7 @@ undref.res diff = --- tests/undref.c -+++ /tmp/cocci-output-15465-131b70-undref.c ++++ /tmp/cocci-output-3181-f472e3-undref.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11907,13 +11943,13 @@ } undref2.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_edfaa2.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_edfaa2.ml +ocamlc -c /tmp/ocaml_cocci_e4dd74.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e4dd74.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref2.c -+++ /tmp/cocci-output-15465-9c634a-undref2.c ++++ /tmp/cocci-output-3181-84a455-undref2.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11921,13 +11957,13 @@ } undref3.res Using bytecode version of ocamlc/ocamlopt/ocamldep -ocamlc -c /tmp/ocaml_cocci_0330e7.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_0330e7.ml +ocamlc -c /tmp/ocaml_cocci_aa957d.cmo -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_aa957d.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref3.c -+++ /tmp/cocci-output-15465-b30eb2-undref3.c ++++ /tmp/cocci-output-3181-5c0800-undref3.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11936,7 +11972,7 @@ unelse.res diff = --- tests/unelse.c -+++ /tmp/cocci-output-15465-5cae09-unelse.c ++++ /tmp/cocci-output-3181-7b5f01-unelse.c @@ -2,8 +2,6 @@ static short find_control(u16 control_in { if (!*pI) @@ -11951,7 +11987,7 @@ unfree.res diff = --- tests/unfree.c -+++ /tmp/cocci-output-15465-5c3889-unfree.c ++++ /tmp/cocci-output-3181-63b084-unfree.c @@ -2,8 +2,7 @@ static void mppe_free(void *arg) { struct ppp_mppe_state *state = (struct ppp_mppe_state *) arg; @@ -11965,7 +12001,7 @@ unl.res diff = --- tests/unl.c -+++ /tmp/cocci-output-15465-82a18f-unl.c ++++ /tmp/cocci-output-3181-368eed-unl.c @@ -1,10 +1,10 @@ int main () { - if (new_pe == NULL) { @@ -11982,7 +12018,7 @@ unstruct.res diff = --- tests/unstruct.c -+++ /tmp/cocci-output-15465-59b143-unstruct.c ++++ /tmp/cocci-output-3181-e0f7f3-unstruct.c @@ -1,4 +1,4 @@ -struct foo x __read_mostly = { .a = 12, }; @@ -11993,7 +12029,7 @@ unused.res diff = --- tests/unused.c -+++ /tmp/cocci-output-15465-290c8a-unused.c ++++ /tmp/cocci-output-3181-6cbc5b-unused.c @@ -2,5 +2,5 @@ static int synth_field_string_size(char { char *start; @@ -12004,7 +12040,7 @@ updassign.res diff = --- tests/updassign.c -+++ /tmp/cocci-output-15465-dfba35-updassign.c ++++ /tmp/cocci-output-3181-b02ba1-updassign.c @@ -1,3 +1,3 @@ int main () { - int r = 1 + 2; @@ -12013,7 +12049,7 @@ useless_cast.res diff = --- tests/useless_cast.c -+++ /tmp/cocci-output-15465-897b2c-useless_cast.c ++++ /tmp/cocci-output-3181-b58ccb-useless_cast.c @@ -8,7 +8,7 @@ struct device { struct device *dev; @@ -12030,7 +12066,7 @@ warning: line 13: should ty_id be a metavariable? diff = --- tests/varargs.c -+++ /tmp/cocci-output-15465-5e6695-varargs.c ++++ /tmp/cocci-output-3181-dff070-varargs.c @@ -1,6 +1,7 @@ static void @@ -12044,7 +12080,7 @@ varargs2.res diff = --- tests/varargs2.c -+++ /tmp/cocci-output-15465-0b32f8-varargs2.c ++++ /tmp/cocci-output-3181-139753-varargs2.c @@ -1,3 +1,4 @@ static void f(char *fmt, ...) { @@ -12053,7 +12089,7 @@ varargs3.res diff = --- tests/varargs3.c -+++ /tmp/cocci-output-15465-27bc95-varargs3.c ++++ /tmp/cocci-output-3181-e9d9fa-varargs3.c @@ -1,4 +1,3 @@ -static int foo(char *fmt, ...) { @@ -12070,7 +12106,7 @@ video1bis.res diff = --- tests/video1bis.c -+++ /tmp/cocci-output-15465-ce45e7-video1bis.c ++++ /tmp/cocci-output-3181-1cbcf3-video1bis.c @@ -3,7 +3,5 @@ void *arg) { if (cmd == VIDIOCGTUNER) { @@ -12082,7 +12118,7 @@ void.res diff = --- tests/void.c -+++ /tmp/cocci-output-15465-7a5a2e-void.c ++++ /tmp/cocci-output-3181-21b434-void.c @@ -2,4 +2,14 @@ int xbar(void) { return; } // this is some info about bar @@ -12101,7 +12137,7 @@ vpos.res diff = --- tests/vpos.c -+++ /tmp/cocci-output-15465-daa11c-vpos.c ++++ /tmp/cocci-output-3181-49eb38-vpos.c @@ -1,9 +1,7 @@ int main() { f(2); @@ -12118,7 +12154,7 @@ SPECIAL NAMES: adding wchar_t as a type diff = --- tests/wchar.c -+++ /tmp/cocci-output-15465-b9341d-wchar.c ++++ /tmp/cocci-output-3181-493135-wchar.c @@ -1,13 +1,4 @@ #include #include @@ -12136,7 +12172,7 @@ weird_argument.res diff = --- tests/weird_argument.c -+++ /tmp/cocci-output-15465-109f96-weird_argument.c ++++ /tmp/cocci-output-3181-c5a9e1-weird_argument.c @@ -1,7 +1,7 @@ static void ewx_i2c_setlines(snd_i2c_bus_t *bus, int clk, int data) { @@ -12152,7 +12188,7 @@ whitespace.res diff = --- tests/whitespace.c -+++ /tmp/cocci-output-15465-6adefa-whitespace.c ++++ /tmp/cocci-output-3181-c95a39-whitespace.c @@ -1,3 +1,3 @@ int main () { - foo(sizeof (struct xxx)); @@ -12161,7 +12197,7 @@ wrongcheck.res diff = --- tests/wrongcheck.c -+++ /tmp/cocci-output-15465-ab1848-wrongcheck.c ++++ /tmp/cocci-output-3181-c53527-wrongcheck.c @@ -1,5 +1,3 @@ int main () { - err = si476x_core_i2c_xfer(core, SI476X_I2C_RECV, @@ -12172,7 +12208,7 @@ warning: rule starting on line 1: metavariable A not used in the + code diff = --- tests/ws2.c -+++ /tmp/cocci-output-15465-83e016-ws2.c ++++ /tmp/cocci-output-3181-de0a57-ws2.c @@ -1,6 +1,5 @@ int main() { - if (foo()) @@ -12185,7 +12221,7 @@ SPECIAL NAMES: adding FOO as a declarer diff = --- tests/xfield.c -+++ /tmp/cocci-output-15465-91ef13-xfield.c ++++ /tmp/cocci-output-3181-a2fc86-xfield.c @@ -1,4 +1,4 @@ -FOO(a2,b2,c2); +int x; @@ -12195,7 +12231,7 @@ y2.res diff = --- tests/y2.c -+++ /tmp/cocci-output-15465-c553bd-y2.c ++++ /tmp/cocci-output-3181-971916-y2.c @@ -1,10 +1,6 @@ static void asuscom_interrupt_ipac(int intno, void *dev_id, struct pt_regs *regs) @@ -12210,7 +12246,7 @@ zero.res diff = --- tests/zero.c -+++ /tmp/cocci-output-15465-e2fd19-zero.c ++++ /tmp/cocci-output-3181-367ce3-zero.c @@ -1,6 +1,2 @@ int main () { - memset(command, 0, sizeof(struct sbp2_command_info)); @@ -12221,7 +12257,7 @@ zeroline.res diff = --- tests/zeroline.c -+++ /tmp/cocci-output-15465-f367cd-zeroline.c ++++ /tmp/cocci-output-3181-544f83-zeroline.c @@ -1,6 +1,7 @@ int main () { - int x; @@ -14070,13 +14106,13 @@ diversion by libc6 to: /lib/ld-linux-armhf.so.3.usr-is-merged dh_installdeb dh_ocaml -W: coccinelle doesn't resolve dependency on unit Control_flow_c -W: coccinelle doesn't resolve dependency on unit Token_annot -W: coccinelle doesn't resolve dependency on unit Token_views_c W: coccinelle doesn't resolve dependency on unit Ograph_extended W: coccinelle doesn't resolve dependency on unit Parsing_stat -W: coccinelle doesn't resolve dependency on unit Lexer_parser 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 Token_views_c +W: coccinelle doesn't resolve dependency on unit Control_flow_c +W: coccinelle doesn't resolve dependency on unit Lexer_parser dh_gencontrol dh_md5sums dh_builddeb @@ -14089,12 +14125,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/5771/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/5771/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/8479 and its subdirectories -I: Current time: Tue Jan 21 11:58:14 -12 2025 -I: pbuilder-time-stamp: 1737503894 +I: removing directory /srv/workspace/pbuilder/5771 and its subdirectories +I: Current time: Wed Jan 22 14:51:27 +14 2025 +I: pbuilder-time-stamp: 1737507087