Diff of the two buildlogs: -- --- b1/build.log 2024-07-19 09:37:04.931577012 +0000 +++ b2/build.log 2024-07-19 10:51:18.614435067 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Thu Jul 18 21:21:41 -12 2024 -I: pbuilder-time-stamp: 1721380901 +I: Current time: Fri Jul 19 23:37:22 +14 2024 +I: pbuilder-time-stamp: 1721381842 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration @@ -31,52 +31,84 @@ dpkg-source: info: applying dont-expose-parmap.diff I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/23902/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/1258/tmp/hooks/D01_modify_environment starting +debug: Running on cbxi4b. +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 Jul 19 09:37 /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/1258/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/1258/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='trixie' - HOME='/root' - HOST_ARCH='armhf' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="21" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") + BASH_VERSION='5.2.21(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=armhf + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 ' + DIRSTACK=() + DISTRIBUTION=trixie + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=arm + HOST_ARCH=armhf IFS=' ' - INVOCATION_ID='b7c9194641c14bc8880ecc38d13ff2b8' - 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='23902' - PS1='# ' - PS2='> ' + INVOCATION_ID=e72c776a1eb44961b88b3f95faf1ebf4 + 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=1258 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.nbqe0n4x/pbuilderrc_BJtQ --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.nbqe0n4x/b1 --logfile b1/build.log coccinelle_1.2.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.nbqe0n4x/pbuilderrc_TyVv --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.nbqe0n4x/b2 --logfile b2/build.log coccinelle_1.2.deb-1.dsc' + SUDO_GID=116 + SUDO_UID=112 + 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-23-arm64 #1 SMP Debian 6.1.99-1 (2024-07-15) aarch64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-23-armmp #1 SMP Debian 6.1.99-1 (2024-07-15) armv7l GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Jun 5 22:35 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/23902/tmp/hooks/D02_print_environment finished +I: user script /srv/workspace/pbuilder/1258/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -321,7 +353,7 @@ Get: 173 http://deb.debian.org/debian trixie/main armhf texlive-latex-recommended all 2024.20240706-1 [8847 kB] Get: 174 http://deb.debian.org/debian trixie/main armhf texlive-pictures all 2024.20240706-1 [17.0 MB] Get: 175 http://deb.debian.org/debian trixie/main armhf texlive-latex-extra all 2024.20240706-2 [20.0 MB] -Fetched 895 MB in 16s (56.9 MB/s) +Fetched 895 MB in 1min 58s (7600 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libfftw3-double3: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 ... 19407 files and directories currently installed.) @@ -902,8 +934,8 @@ Setting up tzdata (2024a-4) ... Current default time zone: 'Etc/UTC' -Local time is now: Fri Jul 19 09:24:13 UTC 2024. -Universal Time is now: Fri Jul 19 09:24:13 UTC 2024. +Local time is now: Fri Jul 19 09:48:19 UTC 2024. +Universal Time is now: Fri Jul 19 09:48:19 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libfontenc1:armhf (1:1.1.8-1) ... @@ -1089,7 +1121,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/coccinelle-1.2.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.2.deb-1_source.changes +I: user script /srv/workspace/pbuilder/1258/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for trixie +I: user script /srv/workspace/pbuilder/1258/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/coccinelle-1.2.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.2.deb-1_source.changes dpkg-buildpackage: info: source package coccinelle dpkg-buildpackage: info: source version 1.2.deb-1 dpkg-buildpackage: info: source distribution unstable @@ -1099,7 +1135,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.2.deb' CLEAN commons CLEAN globals @@ -1112,12 +1148,12 @@ CLEAN popl09 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 spgen +CLEAN exposed-module CLEAN .depend CLEAN configure make[1]: Leaving directory '/build/reproducible-path/coccinelle-1.2.deb' @@ -1141,7 +1177,7 @@ checking whether make supports nested variables... yes configure: determining version suffix checking for date... /usr/bin/date -configure: version suffix set to Thu, 18 Jul 2024 21:32:20 -1200 +configure: version suffix set to Sat, 20 Jul 2024 00:34:46 +1400 configure: this configure program uses pkg-config m4 macros configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4) configure: this configure program uses custom m4 macros (see setup/cocci.m4) @@ -1160,7 +1196,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 @@ -3996,7 +4032,7 @@ make[2]: Leaving directory '/build/reproducible-path/coccinelle-1.2.deb/docs/manual' make[1]: Leaving directory '/build/reproducible-path/coccinelle-1.2.deb' dh_auto_build -Ncoccinelle-doc - make -j3 + make -j4 make[1]: Entering directory '/build/reproducible-path/coccinelle-1.2.deb' /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib/ocaml/pyml -I /usr/lib/ocaml/parmap -I /usr/lib/ocaml/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) OCAMLYACC parsing_c/parser_c.mly @@ -4096,8 +4132,8 @@ OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/control_flow_c.mli -OCAMLDEP parsing_c/includes.mli OCAMLDEP parsing_c/ast_c.mli +OCAMLDEP parsing_c/includes.mli OCAMLDEP parsing_c/token_c.mli OCAMLDEP parsing_c/parsing_stat.mli OCAMLDEP parsing_c/flag_parsing_c.mli @@ -4169,14 +4205,14 @@ OCAMLLEX parsing_cocci/lexer_script.mll 27 states, 322 transitions, table size 1450 bytes OCAMLLEX parsing_cocci/lexer_cli.mll -14 states, 681 transitions, table size 2808 bytes OCAMLLEX parsing_cocci/lexer_cocci.mll +14 states, 681 transitions, table size 2808 bytes OCAMLDEP tools/spgen/source/main.ml -408 states, 16889 transitions, table size 70004 bytes -10655 additional bytes used for bindings +OCAMLDEP tools/spgen/source/spgen_test.ml 403 states, 8820 transitions, table size 37698 bytes 4123 additional bytes used for bindings -OCAMLDEP tools/spgen/source/spgen_test.ml +408 states, 16889 transitions, table size 70004 bytes +10655 additional bytes used for bindings OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen_interactive.ml @@ -4192,8 +4228,8 @@ OCAMLDEP tools/spgen/source/meta_variable.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/ast_tostring.ml -OCAMLDEP tools/spgen/source/globals.ml OCAMLDEP main.ml +OCAMLDEP tools/spgen/source/globals.ml OCAMLDEP enter.ml OCAMLDEP read_options.ml OCAMLDEP testing.ml @@ -4238,8 +4274,8 @@ OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ast_ctl.ml -OCAMLDEP ctl/flag_ctl.ml OCAMLDEP parsing_c/test_parsing_c.ml +OCAMLDEP ctl/flag_ctl.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml OCAMLDEP parsing_c/type_annoter_c.ml @@ -4354,8 +4390,8 @@ OCAMLC parsing_cocci/git_grep.mli OCAMLC parsing_cocci/patch_diff.mli OCAMLC parsing_cocci/command_line.mli -OCAMLC parsing_cocci/cocci_args.mli OCAMLC parsing_c/token_annot.mli +OCAMLC parsing_cocci/cocci_args.mli OCAMLC parsing_c/flag_parsing_c.mli OCAMLC parsing_c/parsing_stat.mli OCAMLC parsing_c/token_c.mli @@ -4396,14 +4432,13 @@ OCAMLC globals/iteration.ml OCAMLC globals/regexp_str.ml OCAMLC globals/regexp.ml -OCAMLC parsing_cocci/flag_parsing_cocci.ml OCAMLC parsing_cocci/ast_cocci.mli +OCAMLC parsing_cocci/flag_parsing_cocci.ml OCAMLC parsing_cocci/semantic_cocci.ml OCAMLC parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/lexer_cli.ml OCAMLC parsing_cocci/cocci_grep.ml OCAMLC parsing_cocci/dpll.ml -OCAMLC parsing_cocci/get_constants2.mli OCAMLC parsing_cocci/git_grep.ml OCAMLC parsing_cocci/patch_diff.ml OCAMLC parsing_cocci/re_constraints.mli @@ -4423,21 +4458,18 @@ OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLC engine/flag_matcher.ml OCAMLC engine/check_exhaustive_pattern.mli -OCAMLC engine/c_vs_c.mli -OCAMLC engine/isomorphisms_c_c.mli OCAMLC popl09/ast_popl.mli OCAMLC popl09/flag_popl.ml OCAMLC extra/classic_patch.ml OCAMLC extra/kbuild.ml OCAMLC extra/maintainers.ml OCAMLC flag_cocci.ml -OCAMLC testing.mli -OCAMLC read_options.ml OCAMLC tools/spgen/source/globals.mli +OCAMLC read_options.ml 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 +OCAMLC tools/spgen/source/main.ml cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi cp parsing_c/token_c.cmo ocaml/token_c.cmo cp globals/regexp.cmo ocaml/regexp.cmo @@ -4456,28 +4488,12 @@ OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLC parsing_cocci/visitor_ast.mli OCAMLC parsing_cocci/stmtlist.mli -OCAMLC parsing_cocci/top_level.mli -OCAMLC parsing_cocci/type_infer.mli -OCAMLC parsing_cocci/test_exps.mli -OCAMLC parsing_cocci/unitary_ast0.mli -OCAMLC parsing_cocci/arity.mli -OCAMLC parsing_cocci/index.mli -OCAMLC parsing_cocci/context_neg.mli -OCAMLC parsing_cocci/adjust_pragmas.mli -OCAMLC parsing_cocci/insert_plus.mli -OCAMLC parsing_cocci/function_prototypes.mli -OCAMLC parsing_cocci/data.mli -OCAMLC parsing_cocci/free_vars.mli -OCAMLC parsing_cocci/check_meta.mli OCAMLC parsing_cocci/safe_for_multi_decls.mli OCAMLC parsing_cocci/cleanup_rules.mli OCAMLC parsing_cocci/disjdistr.mli -OCAMLC parsing_cocci/get_constants2.ml -OCAMLC parsing_cocci/id_utils.mli +OCAMLC parsing_cocci/get_constants2.mli OCAMLC parsing_cocci/adjacency.mli OCAMLC parsing_cocci/commas_on_lists.mli -OCAMLC parsing_cocci/re_constraints.ml -OCAMLC parsing_cocci/parse_cocci.mli OCAMLC parsing_c/ast_c.ml OCAMLC parsing_c/includes.mli OCAMLC parsing_c/control_flow_c.mli @@ -4498,12 +4514,13 @@ 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 python/pycocci_aux.mli OCAMLC engine/lib_engine.mli OCAMLC engine/check_exhaustive_pattern.ml OCAMLC engine/check_reachability.mli -OCAMLC engine/isomorphisms_c_c.ml +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 @@ -4519,13 +4536,13 @@ OCAMLC popl09/popltoctl.mli OCAMLC popl09/popl.mli OCAMLC -o extra/extra.cma +OCAMLC testing.mli OCAMLC main.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/file_transform.mli -OCAMLC tools/spgen/source/spgen_test.ml cp parsing_c/parser_c.cmi ocaml/parser_c.cmi cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi cp parsing_c/ast_c.cmo ocaml/ast_c.cmo @@ -4535,39 +4552,36 @@ OCAMLC parsing_cocci/pretty_print_cocci.ml OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLC parsing_cocci/visitor_ast.ml -OCAMLC parsing_cocci/visitor_ast0.mli OCAMLC parsing_cocci/ast0toast.mli OCAMLC parsing_cocci/unparse_ast0.mli OCAMLC parsing_cocci/unify_ast.mli 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 OCAMLC parsing_cocci/stmtlist.ml -OCAMLC parsing_cocci/top_level.ml -OCAMLC parsing_cocci/type_infer.ml -OCAMLC parsing_cocci/test_exps.ml -OCAMLC parsing_cocci/unitary_ast0.ml -OCAMLC parsing_cocci/arity.ml -OCAMLC parsing_cocci/index.ml -OCAMLC parsing_cocci/context_neg.ml -OCAMLC parsing_cocci/adjust_pragmas.ml -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/top_level.mli +OCAMLC parsing_cocci/type_infer.mli +OCAMLC parsing_cocci/test_exps.mli +OCAMLC parsing_cocci/unitary_ast0.mli +OCAMLC parsing_cocci/arity.mli +OCAMLC parsing_cocci/index.mli +OCAMLC parsing_cocci/context_neg.mli +OCAMLC parsing_cocci/adjust_pragmas.mli +OCAMLC parsing_cocci/insert_plus.mli +OCAMLC parsing_cocci/function_prototypes.mli +OCAMLC parsing_cocci/data.mli +OCAMLC parsing_cocci/free_vars.mli +OCAMLC parsing_cocci/check_meta.mli OCAMLC parsing_cocci/safe_for_multi_decls.ml -OCAMLC parsing_cocci/parse_aux.mli OCAMLC parsing_cocci/cleanup_rules.ml OCAMLC parsing_cocci/disjdistr.ml -MENHIR parsing_cocci/parser_cocci_menhir.mly -OCAMLC parsing_cocci/id_utils.ml -OCAMLC parsing_cocci/adjacency.ml -OCAMLC parsing_cocci/commas_on_lists.ml +OCAMLC parsing_cocci/get_constants2.ml +OCAMLC parsing_cocci/id_utils.mli +OCAMLC parsing_cocci/re_constraints.ml +OCAMLC parsing_cocci/parse_cocci.mli OCAMLC parsing_c/includes.ml OCAMLC parsing_c/control_flow_c.ml OCAMLC parsing_c/visitor_c.mli @@ -4591,6 +4605,7 @@ 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 @@ -4599,36 +4614,47 @@ OCAMLC popl09/pretty_print_popl.ml OCAMLC popl09/popltoctl.ml OCAMLC popl09/popl.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/user_input.mli -OCAMLC tools/spgen/source/position_generator.mli -OCAMLC tools/spgen/source/disj_generator.mli OCAMLC tools/spgen/source/rule_body.mli OCAMLC tools/spgen/source/rule_header.mli OCAMLC tools/spgen/source/context_rule.mli 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 +OCAMLC tools/spgen/source/spgen_test.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 cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo OCAMLC parsing_cocci/visitor_ast0_types.ml -OCAMLC parsing_cocci/visitor_ast0.ml -OCAMLC parsing_cocci/ast0toast.ml +OCAMLC parsing_cocci/visitor_ast0.mli OCAMLC parsing_cocci/unparse_ast0.ml OCAMLC parsing_cocci/unify_ast.ml OCAMLC parsing_cocci/compute_lines.ml OCAMLC parsing_cocci/iso_pattern.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 -OCAMLC parsing_cocci/parse_aux.ml +OCAMLC parsing_cocci/top_level.ml +OCAMLC parsing_cocci/type_infer.ml +OCAMLC parsing_cocci/test_exps.ml +OCAMLC parsing_cocci/unitary_ast0.ml +OCAMLC parsing_cocci/arity.ml +OCAMLC parsing_cocci/index.ml +OCAMLC parsing_cocci/context_neg.ml +OCAMLC parsing_cocci/adjust_pragmas.ml +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.mli +OCAMLC parsing_cocci/id_utils.ml +OCAMLC parsing_cocci/adjacency.ml +OCAMLC parsing_cocci/commas_on_lists.ml OCAMLC parsing_c/visitor_c.ml OCAMLC parsing_c/lib_parsing_c.mli OCAMLC parsing_c/lexer_c.ml @@ -4649,14 +4675,16 @@ OCAMLC engine/ctlcocci_integration.ml OCAMLC -o popl09/popl09.cma OCAMLC cocci.mli +OCAMLC tools/spgen/source/detect_patch.ml +OCAMLC tools/spgen/source/meta_variable.ml OCAMLC tools/spgen/source/snapshot.ml OCAMLC tools/spgen/source/user_input.ml -OCAMLC tools/spgen/source/position_generator.ml -OCAMLC tools/spgen/source/disj_generator.ml -OCAMLC tools/spgen/source/rule_body.ml +OCAMLC tools/spgen/source/position_generator.mli +OCAMLC tools/spgen/source/disj_generator.mli OCAMLC tools/spgen/source/rule_header.ml OCAMLC tools/spgen/source/context_rule.ml OCAMLC tools/spgen/source/script_rule.ml +OCAMLC tools/spgen/source/file_transform.ml OCAMLC tools/spgen/source/spgen_interactive.ml OCAMLC tools/spgen/source/spgen_config.ml OCAMLC tools/spgen/source/spgen.ml @@ -4664,8 +4692,11 @@ cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo -OCAMLDEP parsing_cocci/parser_cocci_menhir.ml -OCAMLDEP parsing_cocci/parser_cocci_menhir.mli +OCAMLC parsing_cocci/visitor_ast0.ml +OCAMLC parsing_cocci/ast0toast.ml +OCAMLC parsing_cocci/iso_compile.ml +OCAMLC parsing_cocci/parse_aux.ml +MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLC parsing_c/lib_parsing_c.ml OCAMLC parsing_c/includes_cache.ml OCAMLC parsing_c/pretty_print_c.ml @@ -4685,11 +4716,13 @@ 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 -OCAMLC 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 @@ -4700,17 +4733,20 @@ OCAMLC ocaml/run_ocamlcocci.ml OCAMLC python/yes_pycocci.mli OCAMLC cocci.ml -OCAMLC parsing_cocci/parser_cocci_menhir.ml -OCAMLC parsing_cocci/lexer_cocci.mli -OCAMLC parsing_cocci/lexer_script.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 parsing_cocci/lexer_cocci.ml OCAMLC parsing_cocci/lexer_script.ml OCAMLC parsing_cocci/parse_cocci.ml -OCAMLC -o python/python.cma +OCAMLC parsing_cocci/parser_cocci_menhir.ml OCAMLC -o parsing_cocci/parsing_cocci.cma OCAMLC -o spatch OCAMLC -o tools/spgen/source/spgen @@ -4724,7 +4760,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-877-5e0cd2-62.c ++++ /tmp/cocci-output-2484-68eb5d-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -4742,7 +4778,7 @@ a3.res diff = --- tests/a3.c -+++ /tmp/cocci-output-877-0c1734-a3.c ++++ /tmp/cocci-output-2484-ebe9c3-a3.c @@ -1,5 +1,5 @@ static void a3d_connect() { @@ -4753,7 +4789,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-877-b0cd76-a3d.c ++++ /tmp/cocci-output-2484-5a9e83-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -4775,7 +4811,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-877-7864fc-a_and_e_ver1.c ++++ /tmp/cocci-output-2484-08d24a-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -4787,7 +4823,7 @@ ab.res diff = --- tests/ab.c -+++ /tmp/cocci-output-877-4ebdbe-ab.c ++++ /tmp/cocci-output-2484-7299d8-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -4798,7 +4834,7 @@ action.res diff = --- tests/action.c -+++ /tmp/cocci-output-877-c33adf-action.c ++++ /tmp/cocci-output-2484-bdfd52-action.c @@ -1,10 +1,8 @@ void work() { @@ -4816,7 +4852,7 @@ SPECIAL NAMES: adding list_for_each_entry as a iterator diff = --- tests/add1.c -+++ /tmp/cocci-output-877-240add-add1.c ++++ /tmp/cocci-output-2484-bcbf67-add1.c @@ -7,6 +7,9 @@ static int create_scheduling_groups(void ret = build_groups(sd, i); } @@ -4843,7 +4879,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-877-b78b2e-addaft.c ++++ /tmp/cocci-output-2484-e0cfcd-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -4867,7 +4903,7 @@ addafterdecl.res diff = --- tests/addafterdecl.c -+++ /tmp/cocci-output-877-3de5d5-addafterdecl.c ++++ /tmp/cocci-output-2484-c078c7-addafterdecl.c @@ -1,4 +1,5 @@ int main () { int x; @@ -4877,7 +4913,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-877-05d499-addbefore.c ++++ /tmp/cocci-output-2484-587507-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -4888,7 +4924,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-877-7cc93b-addbeforeafter.c ++++ /tmp/cocci-output-2484-480002-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -4901,7 +4937,7 @@ addcomm.res diff = --- tests/addcomm.c -+++ /tmp/cocci-output-877-e40efc-addcomm.c ++++ /tmp/cocci-output-2484-1a4a84-addcomm.c @@ -1,5 +1,9 @@ int main() { - foo(); @@ -4917,7 +4953,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-877-196da5-addelse.c ++++ /tmp/cocci-output-2484-00fd3e-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -4925,7 +4961,7 @@ addes.res diff = --- tests/addes.c -+++ /tmp/cocci-output-877-ce6575-addes.c ++++ /tmp/cocci-output-2484-35b25a-addes.c @@ -1 +1,3 @@ int i; +struct foo { @@ -4933,7 +4969,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-877-1379b9-addfield.c ++++ /tmp/cocci-output-2484-8792bf-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -4945,7 +4981,7 @@ addfield2.res diff = --- tests/addfield2.c -+++ /tmp/cocci-output-877-b5bc84-addfield2.c ++++ /tmp/cocci-output-2484-540fda-addfield2.c @@ -1,17 +1,21 @@ struct foo { + int roto; @@ -4971,7 +5007,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-877-3e8cd9-addif.c ++++ /tmp/cocci-output-2484-13a633-addif.c @@ -1,7 +1,21 @@ +#ifdef FOO +/* some comment */ @@ -4997,7 +5033,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-877-fd56de-addif1.c ++++ /tmp/cocci-output-2484-bce9a0-addif1.c @@ -1,7 +1,17 @@ +#ifdef FOO +int xxx() { @@ -5019,7 +5055,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-877-b02de2-addif2.c ++++ /tmp/cocci-output-2484-7d32f2-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -5037,7 +5073,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-877-cf9390-addifdef.c ++++ /tmp/cocci-output-2484-8826d7-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -5056,7 +5092,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-877-78813c-addifelse.c ++++ /tmp/cocci-output-2484-ca1ec8-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -5075,7 +5111,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-877-660249-addifelse2.c ++++ /tmp/cocci-output-2484-53b04c-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) { @@ -5095,7 +5131,7 @@ addinc.res diff = --- tests/addinc.c -+++ /tmp/cocci-output-877-d8227d-addinc.c ++++ /tmp/cocci-output-2484-fb9aa7-addinc.c @@ -1,4 +1,5 @@ #ifndef FOO #define FOO @@ -5105,7 +5141,7 @@ addnl.res diff = --- tests/addnl.c -+++ /tmp/cocci-output-877-c1ff13-addnl.c ++++ /tmp/cocci-output-2484-05df4c-addnl.c @@ -1,5 +1,6 @@ int main () { xxx(); @@ -5118,7 +5154,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-877-8d8ac5-addtoo.c ++++ /tmp/cocci-output-2484-611c9a-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -5142,7 +5178,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-877-bc4db7-addtrace.c ++++ /tmp/cocci-output-2484-2f9fb2-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -5175,7 +5211,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-877-898b9f-after_if.c ++++ /tmp/cocci-output-2484-cc25d5-after_if.c @@ -1,4 +1,4 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -5187,7 +5223,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-877-399fee-allex.c ++++ /tmp/cocci-output-2484-ed8afb-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -5200,7 +5236,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-877-b3b7e9-allex2.c ++++ /tmp/cocci-output-2484-3b6d1e-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -5211,7 +5247,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-877-69a365-allex3.c ++++ /tmp/cocci-output-2484-e04856-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -5221,7 +5257,7 @@ andid.res diff = --- tests/andid.c -+++ /tmp/cocci-output-877-ba93c5-andid.c ++++ /tmp/cocci-output-2484-e48b5e-andid.c @@ -1,5 +1,5 @@ int main () { - int frontandback = 12; @@ -5232,7 +5268,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-877-f88101-anon.c ++++ /tmp/cocci-output-2484-bcb6e9-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -5243,7 +5279,7 @@ anonfield.res diff = --- tests/anonfield.c -+++ /tmp/cocci-output-877-1d3239-anonfield.c ++++ /tmp/cocci-output-2484-20420e-anonfield.c @@ -1,3 +1,3 @@ struct { - int; @@ -5252,7 +5288,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-877-3dbdde-ar.c ++++ /tmp/cocci-output-2484-cbd2ac-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -5266,7 +5302,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-877-b3a289-arg.c ++++ /tmp/cocci-output-2484-a27168-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -5281,7 +5317,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-877-02ad0a-argument.c ++++ /tmp/cocci-output-2484-b99fd5-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -5295,7 +5331,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-877-c725e5-arparam.c ++++ /tmp/cocci-output-2484-735fd7-arparam.c @@ -1,3 +1,8 @@ +int g(int q[1024]) +{ @@ -5309,7 +5345,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/array_init.c -+++ /tmp/cocci-output-877-039fef-array_init.c ++++ /tmp/cocci-output-2484-8dc70a-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"); @@ -5317,7 +5353,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-877-743f74-array_size.c ++++ /tmp/cocci-output-2484-f41096-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -5325,7 +5361,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-877-ffb451-arraysz.c ++++ /tmp/cocci-output-2484-23b513-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -5335,7 +5371,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-877-75ce7d-as_stm.c ++++ /tmp/cocci-output-2484-825da7-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -5352,7 +5388,7 @@ SPECIAL NAMES: adding aarg4 as a attribute diff = --- tests/attr_with_arguments.c -+++ /tmp/cocci-output-877-bd130a-attr_with_arguments.c ++++ /tmp/cocci-output-2484-7363fd-attr_with_arguments.c @@ -1,9 +1,9 @@ -aarg(1,2) int func() { - int id aarg3(1,2); @@ -5386,7 +5422,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-877-578573-attradd.c ++++ /tmp/cocci-output-2484-7c4ac6-attradd.c @@ -1,3 +1,5 @@ int main () { - char f; @@ -5400,7 +5436,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attribute_order.c -+++ /tmp/cocci-output-877-e19dae-attribute_order.c ++++ /tmp/cocci-output-2484-2cf6cf-attribute_order.c @@ -1,3 +1,3 @@ -int __att1 * __att2 * __att3 foo() { return 0; } + @@ -5410,7 +5446,7 @@ warning: line 5: should variable be a metavariable? diff = --- tests/attributeb.c -+++ /tmp/cocci-output-877-b9785f-attributeb.c ++++ /tmp/cocci-output-2484-93be73-attributeb.c @@ -1,3 +1,3 @@ int main(){ - [[lucky]] int variable; @@ -5419,7 +5455,7 @@ attributeu.res diff = --- tests/attributeu.cpp -+++ /tmp/cocci-output-877-367e50-attributeu.cpp ++++ /tmp/cocci-output-2484-098047-attributeu.cpp @@ -1,3 +1,3 @@ int main(){ - [[using GCC : lucky]] int variable; @@ -5431,7 +5467,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attrreplace.c -+++ /tmp/cocci-output-877-9037d7-attrreplace.c ++++ /tmp/cocci-output-2484-1abc55-attrreplace.c @@ -1,4 +1,7 @@ -int __att1 * __att2 * __att3 foo() { aaa(0); } -int __att1 * __att2 * __att3 bar() { return 0; } @@ -5449,7 +5485,7 @@ SPECIAL NAMES: adding BUG as a declarer diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-877-94a7e4-attrs2groups.c ++++ /tmp/cocci-output-2484-f32289-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -5484,7 +5520,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-877-4bd18c-b1.c ++++ /tmp/cocci-output-2484-947edd-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -5501,7 +5537,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-877-042501-b2.c ++++ /tmp/cocci-output-2484-c24e1c-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -5520,7 +5556,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-877-0a928f-bad_kfree.c ++++ /tmp/cocci-output-2484-af80a0-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -5533,7 +5569,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-877-b43a22-bad_ptr_print.c ++++ /tmp/cocci-output-2484-0db564-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -5543,7 +5579,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-877-ab3369-bad_typedef.c ++++ /tmp/cocci-output-2484-c95cd6-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -5563,7 +5599,7 @@ badcfg.res diff = --- tests/badcfg.c -+++ /tmp/cocci-output-877-ff69ae-badcfg.c ++++ /tmp/cocci-output-2484-ca81a1-badcfg.c @@ -3,7 +3,7 @@ const char *netdev_cmd_to_name(enum netd #define N(val) \ case NETDEV_##val: \ @@ -5576,7 +5612,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-877-5b5318-badexp.c ++++ /tmp/cocci-output-2484-a23f90-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -5603,7 +5639,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-877-bc2574-badtypedef.c ++++ /tmp/cocci-output-2484-4d5e38-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -5617,7 +5653,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-877-fda43f-badwhen.c ++++ /tmp/cocci-output-2484-7ce026-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -5629,7 +5665,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-877-a768a1-badzero.c ++++ /tmp/cocci-output-2484-366cca-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -5646,7 +5682,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-877-ce6d00-befS.c ++++ /tmp/cocci-output-2484-546c1f-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -5685,7 +5721,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-877-c40f02-before.c ++++ /tmp/cocci-output-2484-356b44-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -5696,7 +5732,7 @@ befored.res diff = --- tests/befored.c -+++ /tmp/cocci-output-877-b397bd-befored.c ++++ /tmp/cocci-output-2484-0deab2-befored.c @@ -1,4 +1,8 @@ int main() { + foo(); @@ -5711,7 +5747,7 @@ SPECIAL NAMES: adding GTypeInfo as a type diff = --- tests/ben.c -+++ /tmp/cocci-output-877-9e140e-ben.c ++++ /tmp/cocci-output-2484-484b4b-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -5751,7 +5787,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-877-425e4e-bigin.c ++++ /tmp/cocci-output-2484-48168f-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -5762,7 +5798,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-877-4d6536-bigrepl.c ++++ /tmp/cocci-output-2484-2afd1c-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -5779,7 +5815,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-877-6217ef-binop.c ++++ /tmp/cocci-output-2484-2bcb61-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -5800,7 +5836,7 @@ warning: rule starting on line 11: metavariable v not used in the - or context code diff = --- tests/bitfield.c -+++ /tmp/cocci-output-877-a97258-bitfield.c ++++ /tmp/cocci-output-2484-be3abf-bitfield.c @@ -1,15 +1,15 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -5831,7 +5867,7 @@ bool1.res diff = --- tests/bool1.cpp -+++ /tmp/cocci-output-877-7328cd-bool1.cpp ++++ /tmp/cocci-output-2484-7dbaed-bool1.cpp @@ -1,3 +1,3 @@ atype f::g() { - return 0; @@ -5842,7 +5878,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-877-7f702f-boolr.c ++++ /tmp/cocci-output-2484-14533c-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -5851,7 +5887,7 @@ bracebraceline.res diff = --- tests/bracebraceline.c -+++ /tmp/cocci-output-877-970785-bracebraceline.c ++++ /tmp/cocci-output-2484-1d67ce-bracebraceline.c @@ -1,6 +1,5 @@ int main () { if (x) { @@ -5863,7 +5899,7 @@ braceline.res diff = --- tests/braceline.c -+++ /tmp/cocci-output-877-4c5d44-braceline.c ++++ /tmp/cocci-output-2484-681a96-braceline.c @@ -1,6 +1,3 @@ int main () { - if (x) { @@ -5875,7 +5911,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-877-2400dc-braces.c ++++ /tmp/cocci-output-2484-08b22c-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -5893,7 +5929,7 @@ bracket.res diff = --- tests/bracket.cpp -+++ /tmp/cocci-output-877-d45ba3-bracket.cpp ++++ /tmp/cocci-output-2484-d8ffdc-bracket.cpp @@ -1,3 +1,3 @@ int main () { - rsb_flags_t flags{flags_}; @@ -5902,7 +5938,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-877-414f5c-branchparen.c ++++ /tmp/cocci-output-2484-bb2e05-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -5919,7 +5955,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-877-02a648-break.c ++++ /tmp/cocci-output-2484-287121-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -5947,7 +5983,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-877-561d4c-bug1.c ++++ /tmp/cocci-output-2484-1bf04f-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, @@ -5960,7 +5996,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-877-f898b5-bugon.c ++++ /tmp/cocci-output-2484-f459f1-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -5971,7 +6007,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-877-618194-bus.c ++++ /tmp/cocci-output-2484-f64d07-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -5984,7 +6020,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/cards.c -+++ /tmp/cocci-output-877-f12ad3-cards.c ++++ /tmp/cocci-output-2484-dcebbc-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -5993,7 +6029,7 @@ caseprint.res diff = --- tests/caseprint.c -+++ /tmp/cocci-output-877-02e9b6-caseprint.c ++++ /tmp/cocci-output-2484-2f9c75-caseprint.c @@ -3,4 +3,10 @@ int f() { case 12: return 0; case 1: return 2; @@ -6008,7 +6044,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-877-cf7e2f-cast.c ++++ /tmp/cocci-output-2484-2dcefe-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -6016,7 +6052,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-877-9beb63-cast_iso.c ++++ /tmp/cocci-output-2484-4e2a5b-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -6029,7 +6065,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-877-27122d-castdecl.c ++++ /tmp/cocci-output-2484-ce6572-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -6048,7 +6084,7 @@ cdstr.res diff = --- tests/cdstr.cpp -+++ /tmp/cocci-output-877-e9552d-cdstr.cpp ++++ /tmp/cocci-output-2484-053574-cdstr.cpp @@ -2,11 +2,11 @@ class X @@ -6066,7 +6102,7 @@ cex_snip_field_bad.res diff = --- tests/cex_snip_field_bad.cpp -+++ /tmp/cocci-output-877-d7988f-cex_snip_field_bad.cpp ++++ /tmp/cocci-output-2484-169cce-cex_snip_field_bad.cpp @@ -1,2 +1,7 @@ -struct str_t { int f1; int f2; int a; int b; }; +struct str_t { int a; }; @@ -6079,7 +6115,7 @@ cex_snip_field_ok.res diff = --- tests/cex_snip_field_ok.c -+++ /tmp/cocci-output-877-726fa5-cex_snip_field_ok.c ++++ /tmp/cocci-output-2484-214b33-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; }; @@ -6092,7 +6128,7 @@ cex_wishlist_complex1.res diff = --- tests/cex_wishlist_complex1.c -+++ /tmp/cocci-output-877-83adb1-cex_wishlist_complex1.c ++++ /tmp/cocci-output-2484-03448f-cex_wishlist_complex1.c @@ -1,6 +1,6 @@ #include int main() { @@ -6104,7 +6140,7 @@ cex_wishlist_complex2.res diff = --- tests/cex_wishlist_complex2.c -+++ /tmp/cocci-output-877-49c871-cex_wishlist_complex2.c ++++ /tmp/cocci-output-2484-1e09e5-cex_wishlist_complex2.c @@ -2,7 +2,7 @@ int main() { double d; @@ -6117,7 +6153,7 @@ cex_wishlist_complex3.res diff = --- tests/cex_wishlist_complex3.c -+++ /tmp/cocci-output-877-6a032e-cex_wishlist_complex3.c ++++ /tmp/cocci-output-2484-b0e86a-cex_wishlist_complex3.c @@ -2,7 +2,7 @@ int main() { double d; @@ -6131,7 +6167,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-877-ff8fa7-change.c ++++ /tmp/cocci-output-2484-da2aef-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -6142,7 +6178,7 @@ change_type.res diff = --- tests/change_type.c -+++ /tmp/cocci-output-877-6bc17c-change_type.c ++++ /tmp/cocci-output-2484-7214ed-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -6152,7 +6188,7 @@ changei.res diff = --- tests/changei.c -+++ /tmp/cocci-output-877-6538b7-changei.c ++++ /tmp/cocci-output-2484-ce0194-changei.c @@ -1,7 +1,7 @@ -typedef struct i istruct; +typedef struct i xxx; @@ -6169,7 +6205,7 @@ cocci_args.res diff = --- tests/cocci_args.c -+++ /tmp/cocci-output-877-3274d6-cocci_args.c ++++ /tmp/cocci-output-2484-de709d-cocci_args.c @@ -1,3 +1,3 @@ int main () { - f(); @@ -6178,7 +6214,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-877-55ba30-com.c ++++ /tmp/cocci-output-2484-40f6be-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -6191,7 +6227,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-877-7bbbc1-comadd.c ++++ /tmp/cocci-output-2484-00d9d2-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -6201,7 +6237,7 @@ comj.res diff = --- tests/comj.c -+++ /tmp/cocci-output-877-bfec36-comj.c ++++ /tmp/cocci-output-2484-56dc82-comj.c @@ -2,6 +2,8 @@ int foo(int bar) { int i, j; @@ -6213,12 +6249,12 @@ return j; comma.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_84840e.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_84840e.ml +ocamlc.opt -c /tmp/ocaml_cocci_5a2458.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_5a2458.ml Compilation OK! Loading ML code of the SP... diff = --- tests/comma.c -+++ /tmp/cocci-output-877-a8eb71-comma.c ++++ /tmp/cocci-output-2484-81f3c2-comma.c @@ -3,9 +3,9 @@ show_cpuinfo (struct seq_file *m, void * { for (i = 0; i < ARRAY_SIZE(feature_bits) && size > 1; ++i) { @@ -6234,7 +6270,7 @@ comma_call.res diff = --- tests/comma_call.c -+++ /tmp/cocci-output-877-29359c-comma_call.c ++++ /tmp/cocci-output-2484-b42572-comma_call.c @@ -1,10 +1,13 @@ int main() { - if (x) @@ -6256,7 +6292,7 @@ comma_if.res diff = --- tests/comma_if.c -+++ /tmp/cocci-output-877-127110-comma_if.c ++++ /tmp/cocci-output-2484-7b761c-comma_if.c @@ -1,13 +1,19 @@ int main() { - if (uffdio_zeropage.zeropage == -EEXIST) @@ -6286,7 +6322,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-877-d9cb03-comment_brace.c ++++ /tmp/cocci-output-2484-1f34e6-comment_brace.c @@ -1,7 +1,10 @@ int main () { @@ -6301,7 +6337,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-877-42612c-comment_brace2.c ++++ /tmp/cocci-output-2484-1263d5-comment_brace2.c @@ -1,7 +1,10 @@ int main () { @@ -6315,8 +6351,8 @@ comment_line.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_f75aca.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f75aca.ml -File "/tmp/ocaml_cocci_f75aca.ml", line 31, characters 4-5: +ocamlc.opt -c /tmp/ocaml_cocci_bc2445.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_bc2445.ml +File "/tmp/ocaml_cocci_bc2445.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. @@ -6326,7 +6362,7 @@ 1 diff = --- tests/comment_line.c -+++ /tmp/cocci-output-877-afbc2d-comment_line.c ++++ /tmp/cocci-output-2484-eef524-comment_line.c @@ -1,11 +1,9 @@ int main() { before(); @@ -6341,8 +6377,8 @@ } comment_middle.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_9fb7c2.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_9fb7c2.ml -File "/tmp/ocaml_cocci_9fb7c2.ml", line 30, characters 5-6: +ocamlc.opt -c /tmp/ocaml_cocci_7cc637.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_7cc637.ml +File "/tmp/ocaml_cocci_7cc637.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. @@ -6350,7 +6386,7 @@ Loading ML code of the SP... diff = --- tests/comment_middle.c -+++ /tmp/cocci-output-877-737efb-comment_middle.c ++++ /tmp/cocci-output-2484-366456-comment_middle.c @@ -5,5 +5,4 @@ struct i { }; @@ -6362,7 +6398,7 @@ commentend.res diff = --- tests/commentend.c -+++ /tmp/cocci-output-877-8431c5-commentend.c ++++ /tmp/cocci-output-2484-95fd6a-commentend.c @@ -1,5 +1,4 @@ int main () { foo(); @@ -6372,7 +6408,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-877-7ccc64-comments.c ++++ /tmp/cocci-output-2484-0f5c27-comments.c @@ -1,5 +1,16 @@ int main() { @@ -6394,7 +6430,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/compare.c -+++ /tmp/cocci-output-877-6510fe-compare.c ++++ /tmp/cocci-output-2484-060f4b-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -6408,7 +6444,7 @@ compare_const.res diff = --- tests/compare_const.c -+++ /tmp/cocci-output-877-9784c7-compare_const.c ++++ /tmp/cocci-output-2484-6d7954-compare_const.c @@ -1,3 +1,3 @@ int main () { - return 0 == x; @@ -6417,7 +6453,7 @@ compare_const2.res diff = --- tests/compare_const2.c -+++ /tmp/cocci-output-877-d2dc41-compare_const2.c ++++ /tmp/cocci-output-2484-4842ce-compare_const2.c @@ -1,6 +1,6 @@ int main () { // int i,o; @@ -6430,7 +6466,7 @@ complexcpp.res diff = --- tests/complexcpp.cpp -+++ /tmp/cocci-output-877-3b929c-complexcpp.cpp ++++ /tmp/cocci-output-2484-050153-complexcpp.cpp @@ -1,3 +1,3 @@ int main() { - std::complex x; @@ -6439,7 +6475,7 @@ comreturn.res diff = --- tests/comreturn.c -+++ /tmp/cocci-output-877-7c7448-comreturn.c ++++ /tmp/cocci-output-2484-2c5e93-comreturn.c @@ -1,10 +1,14 @@ int main() { a(); @@ -6458,7 +6494,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-877-d95aa8-condexp.c ++++ /tmp/cocci-output-2484-f95fde-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -6471,7 +6507,7 @@ const.res diff = --- tests/const.c -+++ /tmp/cocci-output-877-ae2291-const.c ++++ /tmp/cocci-output-2484-8478d4-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -6480,7 +6516,7 @@ const1bis.res diff = --- tests/const1bis.c -+++ /tmp/cocci-output-877-97a411-const1bis.c ++++ /tmp/cocci-output-2484-a07b73-const1bis.c @@ -1,25 +1,25 @@ void foo(int j) { - const int i; @@ -6516,7 +6552,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-877-be90a9-const_adding.c ++++ /tmp/cocci-output-2484-7a08d9-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -6528,7 +6564,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-877-279dd1-const_array.c ++++ /tmp/cocci-output-2484-eb1e93-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -6547,7 +6583,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-877-08b5e3-const_implicit_iso.c ++++ /tmp/cocci-output-2484-f021b8-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -6557,7 +6593,7 @@ constptr.res diff = --- tests/constptr.c -+++ /tmp/cocci-output-877-25b7da-constptr.c ++++ /tmp/cocci-output-2484-914fff-constptr.c @@ -1,7 +1,7 @@ int main() { @@ -6573,7 +6609,7 @@ constraints.res diff = --- tests/constraints.c -+++ /tmp/cocci-output-877-87b634-constraints.c ++++ /tmp/cocci-output-2484-3e82b9-constraints.c @@ -1,23 +1,23 @@ void f() @@ -6607,7 +6643,7 @@ constrem.res diff = --- tests/constrem.c -+++ /tmp/cocci-output-877-155db8-constrem.c ++++ /tmp/cocci-output-2484-243635-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -6615,7 +6651,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-877-80ec63-constructor.c ++++ /tmp/cocci-output-2484-19c5aa-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -6627,7 +6663,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-877-2c306a-constty.c ++++ /tmp/cocci-output-2484-1b53b4-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -6639,7 +6675,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-877-3e89d0-constx.c ++++ /tmp/cocci-output-2484-bb6ad0-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -6656,7 +6692,7 @@ } countcalls.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_16f929.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_16f929.ml +ocamlc.opt -c /tmp/ocaml_cocci_bd8b08.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_bd8b08.ml Compilation OK! Loading ML code of the SP... countcalls_python.res @@ -6664,14 +6700,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-877-411631-cptr.c ++++ /tmp/cocci-output-2484-5159ee-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char * const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-877-1bd5d4-cr.c ++++ /tmp/cocci-output-2484-3678d5-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -6687,7 +6723,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-877-3b5d17-cr1a.c ++++ /tmp/cocci-output-2484-896517-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -6712,7 +6748,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-877-183443-cs_check.c ++++ /tmp/cocci-output-2484-429933-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -6725,7 +6761,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-877-7b8ecf-cst.c ++++ /tmp/cocci-output-2484-0cd397-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -6736,7 +6772,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-877-baa31b-cst_null.c ++++ /tmp/cocci-output-2484-9afba3-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -6772,12 +6808,12 @@ vb->magic = MAGIC_BUFFER; cstr.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_bec2c1.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_bec2c1.ml +ocamlc.opt -c /tmp/ocaml_cocci_aeb80f.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_aeb80f.ml Compilation OK! Loading ML code of the SP... diff = --- tests/cstr.c -+++ /tmp/cocci-output-877-fb5559-cstr.c ++++ /tmp/cocci-output-2484-0a288e-cstr.c @@ -1,4 +1,8 @@ int main() { f(1,2,1,2,3); @@ -6791,7 +6827,7 @@ warning: line 4: should foo be a metavariable? diff = --- tests/cststr.c -+++ /tmp/cocci-output-877-61c18b-cststr.c ++++ /tmp/cocci-output-2484-f01758-cststr.c @@ -1,3 +1,3 @@ int main () { - foo((ptr_t)"blah"); @@ -6801,7 +6837,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-877-eeb861-csw.c ++++ /tmp/cocci-output-2484-1d95fa-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -6822,7 +6858,7 @@ warning: line 6: should blockDim be a metavariable? diff = --- tests/cuda.cpp -+++ /tmp/cocci-output-877-6381b4-cuda.cpp ++++ /tmp/cocci-output-2484-690c01-cuda.cpp @@ -15,6 +15,7 @@ int main() { dim3 blockDim(16, 16, 1); @@ -6834,7 +6870,7 @@ cuda1.res diff = --- tests/cuda1.cpp -+++ /tmp/cocci-output-877-1c6af3-cuda1.cpp ++++ /tmp/cocci-output-2484-6aaeee-cuda1.cpp @@ -1,4 +1,4 @@ int main() { @@ -6844,7 +6880,7 @@ cuda_noattr.res diff = --- tests/cuda_noattr.cpp -+++ /tmp/cocci-output-877-753884-cuda_noattr.cpp ++++ /tmp/cocci-output-2484-03f019-cuda_noattr.cpp @@ -1,6 +1,7 @@ __global__ void kernel_2(int i) @@ -6856,7 +6892,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-877-10b0fa-dbg.c ++++ /tmp/cocci-output-2484-9dec6b-dbg.c @@ -5,4 +5,6 @@ static inline void alloc_resource(struct if (pr) @@ -6867,7 +6903,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-877-3493b3-dbg1.c ++++ /tmp/cocci-output-2484-50ef8c-dbg1.c @@ -2,4 +2,5 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) { @@ -6877,7 +6913,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-877-68b3f7-dc_close.c ++++ /tmp/cocci-output-2484-3c788a-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -6889,7 +6925,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-877-248bc8-debug.c ++++ /tmp/cocci-output-2484-269a7b-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -6899,7 +6935,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-877-6114df-dec.c ++++ /tmp/cocci-output-2484-1ab503-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -6911,7 +6947,7 @@ SPECIAL NAMES: adding __cb as a attribute diff = --- tests/decadd.c -+++ /tmp/cocci-output-877-0a1b37-decadd.c ++++ /tmp/cocci-output-2484-e5ef59-decadd.c @@ -1,3 +1,3 @@ struct x { - DECL(x); @@ -6921,7 +6957,7 @@ decdup2.res diff = --- tests/decdup2.c -+++ /tmp/cocci-output-877-f57569-decdup2.c ++++ /tmp/cocci-output-2484-4cbee1-decdup2.c @@ -1,2 +1,3 @@ +int www; BTF_ID_LIST_SINGLE(bpf_ima_inode_hash_btf_ids, struct, inode) @@ -6931,7 +6967,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-877-5f09fa-decl.c ++++ /tmp/cocci-output-2484-0744d2-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -6943,7 +6979,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-877-8cc6cc-decl2.c ++++ /tmp/cocci-output-2484-ab5be2-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -6957,7 +6993,7 @@ warning: line 4: should v be a metavariable? diff = --- tests/decl_and_ref.cpp -+++ /tmp/cocci-output-877-823b90-decl_and_ref.cpp ++++ /tmp/cocci-output-2484-29a461-decl_and_ref.cpp @@ -3,4 +3,5 @@ int main() int v = 0; int a = 0; @@ -6968,7 +7004,7 @@ warning: line 4: should b be a metavariable? diff = --- tests/decl_andand_ref.cpp -+++ /tmp/cocci-output-877-f203c0-decl_andand_ref.cpp ++++ /tmp/cocci-output-2484-925f0f-decl_andand_ref.cpp @@ -3,4 +3,5 @@ int main() int v = 0; int a = 0; @@ -6980,7 +7016,7 @@ warning: line 4: should v be a metavariable? diff = --- tests/decl_ptr_ref.cpp -+++ /tmp/cocci-output-877-10e6ee-decl_ptr_ref.cpp ++++ /tmp/cocci-output-2484-c0f8ec-decl_ptr_ref.cpp @@ -3,5 +3,6 @@ int main() int v = 0; int a = 0; @@ -6991,7 +7027,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-877-b8a078-decl_space.c ++++ /tmp/cocci-output-2484-3f6b11-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -7003,7 +7039,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-877-159288-decl_star.c ++++ /tmp/cocci-output-2484-635cf7-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -7015,7 +7051,7 @@ declend.res diff = --- tests/declend.c -+++ /tmp/cocci-output-877-160c95-declend.c ++++ /tmp/cocci-output-2484-390018-declend.c @@ -1,6 +1,5 @@ int x; @@ -7026,7 +7062,7 @@ declmeta.res diff = --- tests/declmeta.c -+++ /tmp/cocci-output-877-e8a7f9-declmeta.c ++++ /tmp/cocci-output-2484-c38392-declmeta.c @@ -1,7 +1,7 @@ -int b,c; +int c; @@ -7041,7 +7077,7 @@ decltype.res diff = --- tests/decltype.cpp -+++ /tmp/cocci-output-877-55afbb-decltype.cpp ++++ /tmp/cocci-output-2484-08b972-decltype.cpp @@ -3,5 +3,5 @@ int expr; int main () { decltype(expr) expr2; @@ -7052,13 +7088,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-877-beb942-defe.c ++++ /tmp/cocci-output-2484-dcc7be-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-877-dd6356-define_exp.c ++++ /tmp/cocci-output-2484-ebc80a-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -7069,7 +7105,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-877-fe66d7-define_param.c ++++ /tmp/cocci-output-2484-9e06f8-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -7086,7 +7122,7 @@ definedots.res diff = --- tests/definedots.c -+++ /tmp/cocci-output-877-c15a6e-definedots.c ++++ /tmp/cocci-output-2484-fc4b6d-definedots.c @@ -1,3 +1,3 @@ -#define a(x,y...) 3 -#define a(x,...) 3 @@ -7097,7 +7133,7 @@ defineinit.res diff = --- tests/defineinit.c -+++ /tmp/cocci-output-877-eaef70-defineinit.c ++++ /tmp/cocci-output-2484-661cfc-defineinit.c @@ -1,3 +1,3 @@ #define MYMACRO(adsf) { \ - .foo = (asdf),\ @@ -7107,7 +7143,7 @@ del2.res diff = --- tests/del2.c -+++ /tmp/cocci-output-877-168f8d-del2.c ++++ /tmp/cocci-output-2484-b8f988-del2.c @@ -4,8 +4,5 @@ int my_test_allocate_components(void) if (result != X_SUCCESS) return result; @@ -7120,7 +7156,7 @@ delete.res diff = --- tests/delete.cpp -+++ /tmp/cocci-output-877-71fbae-delete.cpp ++++ /tmp/cocci-output-2484-dbae06-delete.cpp @@ -1,6 +1,5 @@ int main() { @@ -7131,7 +7167,7 @@ delete_array.res diff = --- tests/delete_array.cpp -+++ /tmp/cocci-output-877-ecfdd9-delete_array.cpp ++++ /tmp/cocci-output-2484-cce0ba-delete_array.cpp @@ -2,5 +2,4 @@ int main() { int * a; @@ -7141,7 +7177,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-877-98f376-delete_function.c ++++ /tmp/cocci-output-2484-252070-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -7158,7 +7194,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-877-dc7155-delp.c ++++ /tmp/cocci-output-2484-2dfc06-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -7168,7 +7204,7 @@ depfail.res diff = --- tests/depfail.c -+++ /tmp/cocci-output-877-0ad668-depfail.c ++++ /tmp/cocci-output-2484-4e628b-depfail.c @@ -1,5 +1,4 @@ int main(void) { @@ -7178,7 +7214,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-877-dfd501-deref.c ++++ /tmp/cocci-output-2484-efd08f-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -7191,7 +7227,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-877-3e9b5f-destroy.c ++++ /tmp/cocci-output-2484-7100f7-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -7209,7 +7245,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/detect_cast_attr.c -+++ /tmp/cocci-output-877-084f4c-detect_cast_attr.c ++++ /tmp/cocci-output-2484-c2d329-detect_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -7231,14 +7267,14 @@ SPECIAL NAMES: adding __macro_attr2 as a attribute SPECIAL NAMES: adding check_attr as a type Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_ebfb63.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_ebfb63.ml +ocamlc.opt -c /tmp/ocaml_cocci_b5c893.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_b5c893.ml File "tests/detect_macrodecl_attr.cocci", line 18, characters 6-57: Warning 10 [non-unit-statement]: this expression should have type unit. Compilation OK! Loading ML code of the SP... diff = --- tests/detect_macrodecl_attr.c -+++ /tmp/cocci-output-877-9b321b-detect_macrodecl_attr.c ++++ /tmp/cocci-output-2484-f3b3cc-detect_macrodecl_attr.c @@ -1,7 +1,5 @@ #define __macro_attr MACROANNOTATION @@ -7253,7 +7289,7 @@ SPECIAL NAMES: adding __attr as a attribute diff = --- tests/detect_param_attr.c -+++ /tmp/cocci-output-877-60eb8f-detect_param_attr.c ++++ /tmp/cocci-output-2484-1f23c9-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) { @@ -7274,7 +7310,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/detect_struct_endattr.c -+++ /tmp/cocci-output-877-e18716-detect_struct_endattr.c ++++ /tmp/cocci-output-2484-5dc69c-detect_struct_endattr.c @@ -2,7 +2,6 @@ struct abcd { @@ -7286,7 +7322,7 @@ detect_struct_gccattr.res diff = --- tests/detect_struct_gccattr.c -+++ /tmp/cocci-output-877-b5dbef-detect_struct_gccattr.c ++++ /tmp/cocci-output-2484-618829-detect_struct_gccattr.c @@ -1,18 +1,15 @@ struct abcd { int a; @@ -7330,7 +7366,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/devlink.c -+++ /tmp/cocci-output-877-322108-devlink.c ++++ /tmp/cocci-output-2484-36b566-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -7356,7 +7392,7 @@ SPECIAL NAMES: adding DISJ_DECLARER0 as a declarer diff = --- tests/disj.c -+++ /tmp/cocci-output-877-5c8c8e-disj.c ++++ /tmp/cocci-output-2484-efff34-disj.c @@ -1,31 +1,31 @@ void f() { int disj_id0; @@ -7408,7 +7444,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-877-3c4265-disjexpr.c ++++ /tmp/cocci-output-2484-7376dc-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -7417,7 +7453,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-877-0c037a-disjexpr_ver1.c ++++ /tmp/cocci-output-2484-803f9e-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -7426,7 +7462,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-877-d2e742-disjexpr_ver2.c ++++ /tmp/cocci-output-2484-fad1e4-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -7435,7 +7471,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-877-ba71c2-disjid.c ++++ /tmp/cocci-output-2484-faf8ab-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -7449,7 +7485,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-877-e155c4-distribute.c ++++ /tmp/cocci-output-2484-6929c1-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -7459,7 +7495,7 @@ dotcall.res diff = --- tests/dotcall.c -+++ /tmp/cocci-output-877-742f6c-dotcall.c ++++ /tmp/cocci-output-2484-42ee69-dotcall.c @@ -1,3 +1,2 @@ int main() { - xxx.foobar(); @@ -7467,7 +7503,7 @@ dots_comma.res diff = --- tests/dots_comma.c -+++ /tmp/cocci-output-877-e68514-dots_comma.c ++++ /tmp/cocci-output-2484-d015a5-dots_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -7477,7 +7513,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-877-15c2da-double.c ++++ /tmp/cocci-output-2484-4ada02-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))) { @@ -7488,7 +7524,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-877-b58b37-double_assign.c ++++ /tmp/cocci-output-2484-e0f2cf-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -7499,7 +7535,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-877-15168f-double_lines.c ++++ /tmp/cocci-output-2484-edf7e3-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -7512,7 +7548,7 @@ doubleconst.res diff = --- tests/doubleconst.c -+++ /tmp/cocci-output-877-ad8cfc-doubleconst.c ++++ /tmp/cocci-output-2484-4d28b5-doubleconst.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -7521,7 +7557,7 @@ doubleconst2.res diff = --- tests/doubleconst2.c -+++ /tmp/cocci-output-877-c65d6c-doubleconst2.c ++++ /tmp/cocci-output-2484-c268c3-doubleconst2.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -7530,7 +7566,7 @@ doubleconst4.res diff = --- tests/doubleconst4.c -+++ /tmp/cocci-output-877-f3e2df-doubleconst4.c ++++ /tmp/cocci-output-2484-279079-doubleconst4.c @@ -1,3 +1,3 @@ int main () { - char const* const ccpc = &const_obj; @@ -7539,7 +7575,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-877-539c96-doublepos.c ++++ /tmp/cocci-output-2484-9b74f1-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -7549,7 +7585,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-877-dfd23f-doubleswitch.c ++++ /tmp/cocci-output-2484-18fee0-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; @@ -7562,7 +7598,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-877-187002-doundo.c ++++ /tmp/cocci-output-2484-309027-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -7573,7 +7609,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-877-9db62e-dowhile.c ++++ /tmp/cocci-output-2484-81654a-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -7585,7 +7621,7 @@ dowhile_4.res diff = --- tests/dowhile_4.c -+++ /tmp/cocci-output-877-bda5f1-dowhile_4.c ++++ /tmp/cocci-output-2484-2f4a73-dowhile_4.c @@ -2,5 +2,4 @@ int fun() { do { printf("dummy message"); @@ -7600,7 +7636,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-877-8649cf-dowhile_for_complex.c ++++ /tmp/cocci-output-2484-b0759d-dowhile_for_complex.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -7619,7 +7655,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-877-b9c42c-dowhile_nested.c ++++ /tmp/cocci-output-2484-e661a7-dowhile_nested.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -7633,7 +7669,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-877-391742-dropbr.c ++++ /tmp/cocci-output-2484-a88757-dropbr.c @@ -1,5 +1,4 @@ int main () { - if (a) { @@ -7645,7 +7681,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-877-59da29-dropcom.c ++++ /tmp/cocci-output-2484-ffdf35-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -7660,7 +7696,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-877-e773ff-dropenderr.c ++++ /tmp/cocci-output-2484-a0e574-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -7675,7 +7711,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-877-ffdf05-dropf.c ++++ /tmp/cocci-output-2484-21b8eb-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -7684,7 +7720,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-877-fda53f-dropparam.c ++++ /tmp/cocci-output-2484-9b503d-dropparam.c @@ -2,11 +2,11 @@ int f(char *x, int y, char* z) { return; } @@ -7702,7 +7738,7 @@ dtest.res diff = --- tests/dtest.c -+++ /tmp/cocci-output-877-775766-dtest.c ++++ /tmp/cocci-output-2484-467118-dtest.c @@ -1,5 +1,5 @@ int main() { struct sk_buff *e; @@ -7714,7 +7750,7 @@ SPECIAL NAMES: adding Packet as a type diff = --- tests/eb1.c -+++ /tmp/cocci-output-877-9b1e23-eb1.c ++++ /tmp/cocci-output-2484-309f7d-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -7733,7 +7769,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-877-0094e4-edots.c ++++ /tmp/cocci-output-2484-ea4a11-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -7746,7 +7782,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-877-dd739c-edots_ver1.c ++++ /tmp/cocci-output-2484-ccddc9-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -7761,7 +7797,7 @@ efi3.res diff = --- tests/efi3.c -+++ /tmp/cocci-output-877-f29768-efi3.c ++++ /tmp/cocci-output-2484-978ecc-efi3.c @@ -6,6 +6,6 @@ static efi_status_t virt_efi_get_time(ef goto exit; @@ -7773,7 +7809,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-877-3c4547-elsify.c ++++ /tmp/cocci-output-2484-78a9be-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -7787,7 +7823,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-877-f89049-empty.c ++++ /tmp/cocci-output-2484-cf1df9-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -7801,7 +7837,7 @@ SPECIAL NAMES: adding autofree as a attribute diff = --- tests/end_attr.c -+++ /tmp/cocci-output-877-90bd38-end_attr.c ++++ /tmp/cocci-output-2484-d6f398-end_attr.c @@ -1,10 +1,12 @@ int main() { - struct foo x autofree; @@ -7820,7 +7856,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-877-9a81f0-end_commas.c ++++ /tmp/cocci-output-2484-266ccb-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -7833,7 +7869,7 @@ endcolon.res diff = --- tests/endcolon.cpp -+++ /tmp/cocci-output-877-639d22-endcolon.cpp ++++ /tmp/cocci-output-2484-99978a-endcolon.cpp @@ -1,4 +1,4 @@ int main () { a::b :: c :: @@ -7846,7 +7882,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-877-add179-endif.c ++++ /tmp/cocci-output-2484-634e53-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -7874,7 +7910,7 @@ endline.res diff = --- tests/endline.cpp -+++ /tmp/cocci-output-877-f3c1e1-endline.cpp ++++ /tmp/cocci-output-2484-49496a-endline.cpp @@ -1,4 +1,4 @@ int main() { std::vector:: @@ -7884,7 +7920,7 @@ endmodif.res diff = --- tests/endmodif.c -+++ /tmp/cocci-output-877-c5449d-endmodif.c ++++ /tmp/cocci-output-2484-58b8c0-endmodif.c @@ -1,11 +1,12 @@ -void f(void) + @@ -7928,7 +7964,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-877-36a52b-endnl.c ++++ /tmp/cocci-output-2484-99ff94-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -7969,12 +8005,12 @@ endpos.res warning: s: metavariable p not used in the - or context code Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_9e4b1d.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_9e4b1d.ml +ocamlc.opt -c /tmp/ocaml_cocci_6baf51.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_6baf51.ml Compilation OK! Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-877-9b1980-endpos.c ++++ /tmp/cocci-output-2484-fc2847-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -7993,7 +8029,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-877-78e143-enum.c ++++ /tmp/cocci-output-2484-480469-enum.c @@ -5,5 +5,5 @@ typedef enum static reg_errcode_t regex_compile () @@ -8004,7 +8040,7 @@ enum_assign.res diff = --- tests/enum_assign.c -+++ /tmp/cocci-output-877-f60981-enum_assign.c ++++ /tmp/cocci-output-2484-5f0b6d-enum_assign.c @@ -1,6 +1,7 @@ enum h { - a = 0, @@ -8018,14 +8054,14 @@ enumcast.res diff = --- tests/enumcast.c -+++ /tmp/cocci-output-877-31a79e-enumcast.c ++++ /tmp/cocci-output-2484-77a553-enumcast.c @@ -1 +1,2 @@ +enum{x = (int)1, }; int main() { return 12; } enumcpp.res diff = --- tests/enumcpp.cpp -+++ /tmp/cocci-output-877-f7e14f-enumcpp.cpp ++++ /tmp/cocci-output-2484-6bf8c0-enumcpp.cpp @@ -1,32 +1,3 @@ int main() { @@ -8062,20 +8098,20 @@ enumdots.res diff = --- tests/enumdots.c -+++ /tmp/cocci-output-877-5e063e-enumdots.c ++++ /tmp/cocci-output-2484-19c0c0-enumdots.c @@ -1,3 +1,2 @@ enum binder_work_type { - BINDER_WORK_TRANSACTION = 12, } t; exitc.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_81f5e5.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_81f5e5.ml +ocamlc.opt -c /tmp/ocaml_cocci_c75243.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c75243.ml Compilation OK! Loading ML code of the SP... Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-877-637c3d-exitc.c ++++ /tmp/cocci-output-2484-bb507d-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -8092,7 +8128,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-877-d37503-exp.c ++++ /tmp/cocci-output-2484-36d92c-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -8115,7 +8151,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-877-0cd730-expnest.c ++++ /tmp/cocci-output-2484-c0928d-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -8126,7 +8162,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-877-7ab8df-expopt.c ++++ /tmp/cocci-output-2484-afccef-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -8137,7 +8173,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-877-a17d4a-expopt2.c ++++ /tmp/cocci-output-2484-78af6b-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -8148,7 +8184,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-877-2f68e9-expopt3.c ++++ /tmp/cocci-output-2484-1dd3cd-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -8160,7 +8196,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-877-4918a3-expopt3_ver1.c ++++ /tmp/cocci-output-2484-1e6028-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -8173,7 +8209,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-877-19a43e-expopt3_ver2.c ++++ /tmp/cocci-output-2484-e73cfe-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -8185,7 +8221,7 @@ exprlist_comma.res diff = --- tests/exprlist_comma.c -+++ /tmp/cocci-output-877-379563-exprlist_comma.c ++++ /tmp/cocci-output-2484-6e0731-exprlist_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -8195,7 +8231,7 @@ exprun.res diff = --- tests/exprun.c -+++ /tmp/cocci-output-877-f89947-exprun.c ++++ /tmp/cocci-output-2484-96aeb5-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) @@ -8276,12 +8312,12 @@ ice_info(hw, "%s: wr_csr_prot = 0x%llX\n", prefix, extra.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_d95d41.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_d95d41.ml +ocamlc.opt -c /tmp/ocaml_cocci_cdc4b2.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_cdc4b2.ml Compilation OK! Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-877-6042a3-extra.c ++++ /tmp/cocci-output-2484-8f5572-extra.c @@ -1,12 +1,25 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -8313,7 +8349,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-877-2fc75e-failing_andany.c ++++ /tmp/cocci-output-2484-2aa09d-failing_andany.c @@ -1,13 +1,9 @@ static int smc_probe1(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -8331,7 +8367,7 @@ far.res diff = --- tests/far.c -+++ /tmp/cocci-output-877-573e20-far.c ++++ /tmp/cocci-output-2484-0499f1-far.c @@ -1,7 +1,7 @@ int main(void) { @@ -8347,7 +8383,7 @@ SPECIAL NAMES: adding __counted_by as a attribute diff = --- tests/far2.c -+++ /tmp/cocci-output-877-92255b-far2.c ++++ /tmp/cocci-output-2484-e5caa3-far2.c @@ -1,4 +1,4 @@ struct foo { size_t element_count; @@ -8357,7 +8393,7 @@ fields.res diff = --- tests/fields.c -+++ /tmp/cocci-output-877-2cf816-fields.c ++++ /tmp/cocci-output-2484-523c32-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -8370,7 +8406,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-877-a3c13b-fieldsmin.c ++++ /tmp/cocci-output-2484-7e9806-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -8381,20 +8417,20 @@ finalclass.res diff = --- tests/finalclass.cpp -+++ /tmp/cocci-output-877-d82271-finalclass.cpp ++++ /tmp/cocci-output-2484-12af0a-finalclass.cpp @@ -1,2 +1,2 @@ -class foo final { int x; }; +class foo final { int y; }; finalize_only.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_b3edf0.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_b3edf0.ml +ocamlc.opt -c /tmp/ocaml_cocci_8098d1.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_8098d1.ml Compilation OK! Loading ML code of the SP... find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-877-ff8182-find_long.c ++++ /tmp/cocci-output-2484-f97cef-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -8410,7 +8446,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-877-b32b3f-fix_flow_need.c ++++ /tmp/cocci-output-2484-780a06-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -8422,7 +8458,7 @@ flex.res diff = --- tests/flex.c -+++ /tmp/cocci-output-877-00e849-flex.c ++++ /tmp/cocci-output-2484-923f9f-flex.c @@ -3,5 +3,5 @@ struct scmi_msg_resp_sensor_description struct { #define SENSOR_UPDATE_BASE(x) 3 @@ -8433,7 +8469,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-877-12815f-fn_todo.c ++++ /tmp/cocci-output-2484-4cca88-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; @@ -8445,7 +8481,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-877-f8c102-fnptr.c ++++ /tmp/cocci-output-2484-cc8d62-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, @@ -8457,14 +8493,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-877-33b7ac-fnret.c ++++ /tmp/cocci-output-2484-c62ea5-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-877-3765e7-fnty.c ++++ /tmp/cocci-output-2484-223b2e-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -8474,14 +8510,14 @@ fntypedef.res diff = --- tests/fntypedef.c -+++ /tmp/cocci-output-877-2434c1-fntypedef.c ++++ /tmp/cocci-output-2484-8616a4-fntypedef.c @@ -1 +1 @@ -typedef void (*toto_t)(int a, int b); +typedef void(*toto_t)(int a, int b, int c); forc.res diff = --- tests/forc.cpp -+++ /tmp/cocci-output-877-96672a-forc.cpp ++++ /tmp/cocci-output-2484-fa2dec-forc.cpp @@ -2,9 +2,9 @@ static void Ptngc_widediv() { while (rmask) @@ -8497,7 +8533,7 @@ fordots.res diff = --- tests/fordots.c -+++ /tmp/cocci-output-877-706c18-fordots.c ++++ /tmp/cocci-output-2484-e9df28-fordots.c @@ -1,4 +1,2 @@ int main () { - for(int i = 0; i != 12; i++) a = 2; @@ -8506,7 +8542,7 @@ format.res diff = --- tests/format.c -+++ /tmp/cocci-output-877-338625-format.c ++++ /tmp/cocci-output-2484-20d852-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -8517,14 +8553,14 @@ } format2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_bf6106.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_bf6106.ml +ocamlc.opt -c /tmp/ocaml_cocci_e4f1ec.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_e4f1ec.ml Compilation OK! Loading ML code of the SP... diff = format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-877-4b0cef-format2.c ++++ /tmp/cocci-output-2484-255868-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -8533,7 +8569,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-877-91474c-formatlist.c ++++ /tmp/cocci-output-2484-f15e65-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -8553,7 +8589,7 @@ forrange2.res diff = --- tests/forrange2.cpp -+++ /tmp/cocci-output-877-9e1f93-forrange2.cpp ++++ /tmp/cocci-output-2484-cd5669-forrange2.cpp @@ -2,9 +2,9 @@ m2n::PtrM2N M2NConfiguration::getM2N(con { using std::get; @@ -8569,7 +8605,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-877-6f214c-fortest.c ++++ /tmp/cocci-output-2484-58005e-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -8609,7 +8645,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-877-318133-fortype.c ++++ /tmp/cocci-output-2484-c912e4-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -8620,7 +8656,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-877-4248b0-four.c ++++ /tmp/cocci-output-2484-776b14-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -8630,7 +8666,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-877-4fff30-foura.c ++++ /tmp/cocci-output-2484-d12758-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -8640,19 +8676,19 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-877-c5dd08-fp.c ++++ /tmp/cocci-output-2484-abf94c-fp.c @@ -1,3 +1,2 @@ int main(int (*x)(int,int)) { - x(); } fptr.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_5e2515.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_5e2515.ml +ocamlc.opt -c /tmp/ocaml_cocci_ad9d17.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_ad9d17.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr.c -+++ /tmp/cocci-output-877-3f5dad-fptr.c ++++ /tmp/cocci-output-2484-d6d821-fptr.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -8663,12 +8699,12 @@ fptr2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_c7f5fc.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c7f5fc.ml +ocamlc.opt -c /tmp/ocaml_cocci_04aeac.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_04aeac.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr2.c -+++ /tmp/cocci-output-877-6e898f-fptr2.c ++++ /tmp/cocci-output-2484-0cdcf3-fptr2.c @@ -1,7 +1,7 @@ int foo(int c, int d) { return 0; } @@ -8682,7 +8718,7 @@ fptr3.res diff = --- tests/fptr3.c -+++ /tmp/cocci-output-877-245a0f-fptr3.c ++++ /tmp/cocci-output-2484-6a77eb-fptr3.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -8693,7 +8729,7 @@ fresh_id_script.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_c33a65.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c33a65.ml +ocamlc.opt -c /tmp/ocaml_cocci_0b734f.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_0b734f.ml File "tests/fresh_id_script.cocci", line 37, characters 4-5: Warning 26 [unused-var]: unused variable i. Compilation OK! @@ -8702,7 +8738,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-877-53e22a-fsh.c ++++ /tmp/cocci-output-2484-93504d-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -8713,7 +8749,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-877-b400f3-fun.c ++++ /tmp/cocci-output-2484-970d2b-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -8722,7 +8758,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-877-dfc04b-func.c ++++ /tmp/cocci-output-2484-5c03eb-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -8736,7 +8772,7 @@ funptr_array.res diff = --- tests/funptr_array.c -+++ /tmp/cocci-output-877-2f0a91-funptr_array.c ++++ /tmp/cocci-output-2484-878d7a-funptr_array.c @@ -1 +1 @@ -int (*x[2])(int x); +int (*x[2])(char x); @@ -8780,7 +8816,7 @@ gadget_misc.res diff = --- tests/gadget_misc.c -+++ /tmp/cocci-output-877-54567c-gadget_misc.c ++++ /tmp/cocci-output-2484-e5d6f0-gadget_misc.c @@ -2,6 +2,5 @@ int main() { if(0) @@ -8794,7 +8830,7 @@ SPECIAL NAMES: adding double3x3 as a type diff = --- tests/gadget_ninelets_typedef.c -+++ /tmp/cocci-output-877-3bc2bb-gadget_ninelets_typedef.c ++++ /tmp/cocci-output-2484-37a891-gadget_ninelets_typedef.c @@ -1,21 +1,23 @@ typedef double MyFloat; @@ -8828,7 +8864,7 @@ gadget_remove_mpi_function_calls.res diff = --- tests/gadget_remove_mpi_function_calls.c -+++ /tmp/cocci-output-877-296d6a-gadget_remove_mpi_function_calls.c ++++ /tmp/cocci-output-2484-d09609-gadget_remove_mpi_function_calls.c @@ -2,6 +2,5 @@ int main(int argc, char **argv) { @@ -8839,7 +8875,7 @@ gadget_remove_used_fields.res diff = --- tests/gadget_remove_used_fields.c -+++ /tmp/cocci-output-877-c673f8-gadget_remove_used_fields.c ++++ /tmp/cocci-output-2484-f096d5-gadget_remove_used_fields.c @@ -1,8 +1,8 @@ -struct particle_data { int i; int j; int k; } * P ; @@ -8877,7 +8913,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_soa_select.c -+++ /tmp/cocci-output-877-e72dd7-gadget_soa_select.c ++++ /tmp/cocci-output-2484-25232f-gadget_soa_select.c @@ -1,5 +1,5 @@ struct sph_particle_data_soa_t { - int *Entropy; @@ -8888,7 +8924,7 @@ gadget_sorting_hook.res diff = --- tests/gadget_sorting_hook.c -+++ /tmp/cocci-output-877-ce9131-gadget_sorting_hook.c ++++ /tmp/cocci-output-2484-977c4a-gadget_sorting_hook.c @@ -21,7 +21,16 @@ int main() any_sort_func(P); @@ -8913,7 +8949,7 @@ SPECIAL NAMES: adding MyFloat3 as a type diff = --- tests/gadget_triplets_typedef.c -+++ /tmp/cocci-output-877-849eff-gadget_triplets_typedef.c ++++ /tmp/cocci-output-2484-1bf0f0-gadget_triplets_typedef.c @@ -3,6 +3,8 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -8942,7 +8978,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_triplets_typedef_ipcc.c -+++ /tmp/cocci-output-877-555d54-gadget_triplets_typedef_ipcc.c ++++ /tmp/cocci-output-2484-1cf396-gadget_triplets_typedef_ipcc.c @@ -3,6 +3,7 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -8963,7 +8999,7 @@ gcc_attr_with_func.res diff = --- tests/gcc_attr_with_func.c -+++ /tmp/cocci-output-877-24585b-gcc_attr_with_func.c ++++ /tmp/cocci-output-2484-f79a68-gcc_attr_with_func.c @@ -1,8 +1,8 @@ -int __attribute__((always_inline)) func (int a); +int __attribute__((always_inline)) func (); @@ -9000,7 +9036,7 @@ gcc_attr_with_var.res diff = --- tests/gcc_attr_with_var.c -+++ /tmp/cocci-output-877-f2eb35-gcc_attr_with_var.c ++++ /tmp/cocci-output-2484-01f430-gcc_attr_with_var.c @@ -1,39 +1,39 @@ -int var1_end __attribute__((myattr1_end)); +int var1_end __attribute__((section(".shared"))); @@ -9059,7 +9095,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-877-6d977b-gcc_min_max.c ++++ /tmp/cocci-output-2484-c94289-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -9079,7 +9115,7 @@ SPECIAL NAMES: adding PVOID as a type diff = --- tests/getc.c -+++ /tmp/cocci-output-877-351d9f-getc.c ++++ /tmp/cocci-output-2484-78f78c-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -9089,7 +9125,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-877-44cb7b-gilles-question.c ++++ /tmp/cocci-output-2484-76412b-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -9103,7 +9139,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-877-2ad375-gotobreak.c ++++ /tmp/cocci-output-2484-8472c4-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -9114,7 +9150,7 @@ hashhash.res diff = --- tests/hashhash.c -+++ /tmp/cocci-output-877-022f5e-hashhash.c ++++ /tmp/cocci-output-2484-d3a4e9-hashhash.c @@ -1,5 +1,5 @@ #define FOO(x) foo ## x @@ -9127,7 +9163,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-877-601b16-hd.c ++++ /tmp/cocci-output-2484-2f42fa-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -9136,7 +9172,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-877-93b4f1-headers.c ++++ /tmp/cocci-output-2484-d17e46-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -9155,7 +9191,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-877-d097d1-hex.c ++++ /tmp/cocci-output-2484-474da8-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -9164,7 +9200,7 @@ SPECIAL NAMES: adding FUNC as a initializer ending in a comma diff = --- tests/hil1.c -+++ /tmp/cocci-output-877-73b72d-hil1.c ++++ /tmp/cocci-output-2484-87c0e0-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -9176,12 +9212,12 @@ exn while in timeout_function id3.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_425d78.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_425d78.ml +ocamlc.opt -c /tmp/ocaml_cocci_663a73.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_663a73.ml Compilation OK! Loading ML code of the SP... diff = --- tests/id3.c -+++ /tmp/cocci-output-877-497a74-id3.c ++++ /tmp/cocci-output-2484-1a5395-id3.c @@ -1,3 +1,3 @@ int foo () { - bar (6); @@ -9191,12 +9227,12 @@ exn while in timeout_function idcon_ocaml.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_15c0e5.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_15c0e5.ml +ocamlc.opt -c /tmp/ocaml_cocci_dee5fd.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_dee5fd.ml Compilation OK! Loading ML code of the SP... diff = --- tests/idcon_ocaml.c -+++ /tmp/cocci-output-877-0f4e02-idcon_ocaml.c ++++ /tmp/cocci-output-2484-643577-idcon_ocaml.c @@ -1,5 +1,5 @@ void f(void) { - g(a); @@ -9210,7 +9246,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-877-48487c-idstr.c ++++ /tmp/cocci-output-2484-1ee7c7-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -9220,7 +9256,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-877-0994ff-if.c ++++ /tmp/cocci-output-2484-6dbfa9-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -9262,7 +9298,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-877-bd4c61-ifadd.c ++++ /tmp/cocci-output-2484-5dd498-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -9277,7 +9313,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-877-3c5cff-ifd.c ++++ /tmp/cocci-output-2484-0ed6ed-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -9295,7 +9331,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-877-07caeb-ifdef1.c ++++ /tmp/cocci-output-2484-8d944b-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -9308,7 +9344,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-877-ed46a4-ifdef2.c ++++ /tmp/cocci-output-2484-f69597-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -9324,7 +9360,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-877-f0da6f-ifdef3.c ++++ /tmp/cocci-output-2484-1b1d26-ifdef3.c @@ -2,6 +2,15 @@ #include #include @@ -9347,7 +9383,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-877-33751c-ifdef4.c ++++ /tmp/cocci-output-2484-cce6d5-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -9363,7 +9399,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-877-5f01ce-ifdef5.c ++++ /tmp/cocci-output-2484-3c930c-ifdef5.c @@ -11,3 +11,11 @@ void init_IRQ(void) uselessCall(); } @@ -9379,7 +9415,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-877-c96ea7-ifdef6.c ++++ /tmp/cocci-output-2484-b9c0fd-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -9392,7 +9428,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-877-490ed0-ifdef6a.c ++++ /tmp/cocci-output-2484-17a3a4-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -9404,7 +9440,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-877-f0fa0f-ifdefmeta.c ++++ /tmp/cocci-output-2484-5bd6f2-ifdefmeta.c @@ -1,26 +1,22 @@ int main() { - buf = alloca(3 @@ -9457,7 +9493,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-877-7ce56f-ifdefmeta1.c ++++ /tmp/cocci-output-2484-2d77f7-ifdefmeta1.c @@ -1,17 +1,9 @@ int main() { - buf = alloca(3 @@ -9479,7 +9515,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-877-7d6607-ifdefmeta2.c ++++ /tmp/cocci-output-2484-97df59-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -9496,7 +9532,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-877-8564f2-ifdefmeta3.c ++++ /tmp/cocci-output-2484-fd8920-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -9513,7 +9549,7 @@ ifdefmeta4.res diff = --- tests/ifdefmeta4.c -+++ /tmp/cocci-output-877-e18360-ifdefmeta4.c ++++ /tmp/cocci-output-2484-fad234-ifdefmeta4.c @@ -1,14 +1,12 @@ int main() { - buf = alloca(3 @@ -9537,7 +9573,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-877-0bc453-ifend.c ++++ /tmp/cocci-output-2484-416495-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -9547,7 +9583,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-877-1d6762-ifgoto.c ++++ /tmp/cocci-output-2484-8d178a-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -9563,7 +9599,7 @@ SPECIAL NAMES: adding IFaceVtbl as a type diff = --- tests/ifields.c -+++ /tmp/cocci-output-877-16db38-ifields.c ++++ /tmp/cocci-output-2484-a07e28-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -9586,7 +9622,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-877-dceaff-ifif.c ++++ /tmp/cocci-output-2484-71a962-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -9604,7 +9640,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-877-b276f0-ifreturn.c ++++ /tmp/cocci-output-2484-b312af-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -9666,7 +9702,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-877-74c2b8-ifreturn3.c ++++ /tmp/cocci-output-2484-1b7905-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -9692,7 +9728,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-877-d8bcba-ifreturn4.c ++++ /tmp/cocci-output-2484-1df67c-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -9716,7 +9752,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-877-91573d-ifreturn6.c ++++ /tmp/cocci-output-2484-368b6c-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -9730,7 +9766,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-877-b4ec85-ifzer.c ++++ /tmp/cocci-output-2484-3a2f89-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). */ @@ -9741,7 +9777,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-877-7a2bf6-ifzz.c ++++ /tmp/cocci-output-2484-135951-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -9757,7 +9793,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-877-d6459e-inc.c ++++ /tmp/cocci-output-2484-279fe7-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -9766,7 +9802,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-877-9aa1a6-incl.c ++++ /tmp/cocci-output-2484-acab6b-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -9779,7 +9815,7 @@ incl2.res diff = --- tests/incl2.c -+++ /tmp/cocci-output-877-dc6474-incl2.c ++++ /tmp/cocci-output-2484-b74290-incl2.c @@ -1,3 +1,4 @@ +#include "beginning.h" #include @@ -9788,7 +9824,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-877-a6aaeb-inclifdef.c ++++ /tmp/cocci-output-2484-2471db-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -9798,7 +9834,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-877-6d7102-include.c ++++ /tmp/cocci-output-2484-cb6a41-include.c @@ -1,8 +1,6 @@ #include @@ -9811,7 +9847,7 @@ incompatible_value.res diff = --- tests/incompatible_value.c -+++ /tmp/cocci-output-877-a966a6-incompatible_value.c ++++ /tmp/cocci-output-2484-be9279-incompatible_value.c @@ -4,6 +4,6 @@ int main() { } @@ -9828,7 +9864,7 @@ inh1.res diff = --- tests/inh1.cpp -+++ /tmp/cocci-output-877-d1af7d-inh1.cpp ++++ /tmp/cocci-output-2484-f0234a-inh1.cpp @@ -1,6 +1,7 @@ // emits warning on c++ file: 5: list of length 3 or 4 expected #include @@ -9840,7 +9876,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-877-3bd7d4-inherited.c ++++ /tmp/cocci-output-2484-9682a9-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -9851,7 +9887,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-877-65bcc3-inherited_ver1.c ++++ /tmp/cocci-output-2484-774ffe-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -9867,7 +9903,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-877-55a221-inhmet.c ++++ /tmp/cocci-output-2484-4b6e62-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -9876,7 +9912,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-877-0ebd3f-inhpos.c ++++ /tmp/cocci-output-2484-ce6ac3-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -9884,7 +9920,7 @@ init3tst.res diff = --- tests/init3tst.cpp -+++ /tmp/cocci-output-877-3a5169-init3tst.cpp ++++ /tmp/cocci-output-2484-37b8bf-init3tst.cpp @@ -1,4 +1,4 @@ class TestUpperTriangle { public: @@ -9895,7 +9931,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-877-5baf69-initializer.c ++++ /tmp/cocci-output-2484-0e2b75-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -9911,14 +9947,14 @@ inline.res diff = --- tests/inline.c -+++ /tmp/cocci-output-877-8f067d-inline.c ++++ /tmp/cocci-output-2484-db496e-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-877-1a4e94-insdef.c ++++ /tmp/cocci-output-2484-7ea669-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include @@ -9926,7 +9962,7 @@ instruct.res diff = --- tests/instruct.cpp -+++ /tmp/cocci-output-877-7b84e3-instruct.cpp ++++ /tmp/cocci-output-2484-6a5049-instruct.cpp @@ -1,9 +1,7 @@ struct i { - using namespace foo; @@ -9947,7 +9983,7 @@ SPECIAL NAMES: adding u32 as a type diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-877-6a679e-int2bool-local.c ++++ /tmp/cocci-output-2484-3899bd-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -9990,7 +10026,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-877-1fe7fe-introbrace.c ++++ /tmp/cocci-output-2484-7e7ce3-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -10009,7 +10045,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-877-aefa42-invert.c ++++ /tmp/cocci-output-2484-02b6ce-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -10018,7 +10054,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-877-d681ff-ip.c ++++ /tmp/cocci-output-2484-06c388-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -10047,7 +10083,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-877-4edade-ip2.c ++++ /tmp/cocci-output-2484-5181b3-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -10072,7 +10108,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-877-0a65af-isococci.c ++++ /tmp/cocci-output-2484-bdadd6-isococci.c @@ -1,6 +1,3 @@ void f(int i) { @@ -10085,7 +10121,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-877-23f1d8-isoif.c ++++ /tmp/cocci-output-2484-b0bec5-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -10094,7 +10130,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-877-ed9f8c-isotest.c ++++ /tmp/cocci-output-2484-d062f4-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -10106,7 +10142,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-877-e502c7-isotest2.c ++++ /tmp/cocci-output-2484-f60aaf-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -10117,7 +10153,7 @@ iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_650d4b.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_650d4b.ml +ocamlc.opt -c /tmp/ocaml_cocci_fc2376.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_fc2376.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -10126,7 +10162,7 @@ exn while in timeout_function iteration_after_merge.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_c05924.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c05924.ml +ocamlc.opt -c /tmp/ocaml_cocci_d7fd8c.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_d7fd8c.ml Compilation OK! Loading ML code of the SP... 2 pending new file instances @@ -10137,7 +10173,7 @@ SPECIAL NAMES: adding list_for_each as a iterator diff = --- tests/iterator.c -+++ /tmp/cocci-output-877-a71de7-iterator.c ++++ /tmp/cocci-output-2484-4709cb-iterator.c @@ -2,9 +2,5 @@ void pcibios_report_status(u_int status_ { struct list_head *l; @@ -10153,7 +10189,7 @@ SPECIAL NAMES: adding for_each_set_bit as a iterator diff = --- tests/iterprint.c -+++ /tmp/cocci-output-877-245a75-iterprint.c ++++ /tmp/cocci-output-2484-9d9ea6-iterprint.c @@ -1,6 +1,4 @@ int main () { - for(bit = 0; bit < size; bit++) { @@ -10168,7 +10204,7 @@ julia10.res diff = --- tests/julia10.c -+++ /tmp/cocci-output-877-19305e-julia10.c ++++ /tmp/cocci-output-2484-a61cc6-julia10.c @@ -1,7 +1,5 @@ int main(int x) { f(); @@ -10180,7 +10216,7 @@ julia7.res diff = --- tests/julia7.c -+++ /tmp/cocci-output-877-731879-julia7.c ++++ /tmp/cocci-output-2484-0a96d8-julia7.c @@ -1,7 +1,6 @@ int main(int x) { foo(); @@ -10193,7 +10229,7 @@ justremove.res diff = --- tests/justremove.c -+++ /tmp/cocci-output-877-288061-justremove.c ++++ /tmp/cocci-output-2484-b34ecb-justremove.c @@ -1,17 +1,6 @@ int main () { - if (x) { @@ -10215,7 +10251,7 @@ keep_comma.res diff = --- tests/keep_comma.c -+++ /tmp/cocci-output-877-cb05ea-keep_comma.c ++++ /tmp/cocci-output-2484-d9bb14-keep_comma.c @@ -1,4 +1,4 @@ int main () { - foo(); @@ -10225,7 +10261,7 @@ km.res diff = --- tests/km.c -+++ /tmp/cocci-output-877-8f5f8a-km.c ++++ /tmp/cocci-output-2484-99cb60-km.c @@ -1,5 +1,4 @@ int main() { - int *data = kmalloc(element->string.length + 1, GFP_KERNEL); @@ -10236,7 +10272,7 @@ kmalloc.res diff = --- tests/kmalloc.c -+++ /tmp/cocci-output-877-166c5b-kmalloc.c ++++ /tmp/cocci-output-2484-41058e-kmalloc.c @@ -1,9 +1,7 @@ int main() { struct bar *y; @@ -10254,7 +10290,7 @@ warning: r: metavariable S not used in the - or context code diff = --- tests/kmc.c -+++ /tmp/cocci-output-877-58291d-kmc.c ++++ /tmp/cocci-output-2484-3cc768-kmc.c @@ -10,5 +10,4 @@ dmabounce_register_dev(struct device *de err_destroy: @@ -10264,7 +10300,7 @@ kmtest4.res diff = --- tests/kmtest4.c -+++ /tmp/cocci-output-877-9b9a2d-kmtest4.c ++++ /tmp/cocci-output-2484-cfac97-kmtest4.c @@ -1,4 +1,4 @@ int main () { x = kzalloc(3); @@ -10277,7 +10313,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/ktype.c -+++ /tmp/cocci-output-877-69248d-ktype.c ++++ /tmp/cocci-output-2484-68f40e-ktype.c @@ -3,8 +3,6 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -10293,7 +10329,7 @@ warning: r: metavariable T not used in the - or context code diff = --- tests/ktype2.c -+++ /tmp/cocci-output-877-9e29f5-ktype2.c ++++ /tmp/cocci-output-2484-d51ee5-ktype2.c @@ -3,11 +3,8 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -10310,7 +10346,7 @@ labels_metastatement.res diff = --- tests/labels_metastatement.c -+++ /tmp/cocci-output-877-9ef8f7-labels_metastatement.c ++++ /tmp/cocci-output-2484-5c52ba-labels_metastatement.c @@ -1,9 +1,15 @@ int foo(int i) { @@ -10333,7 +10369,7 @@ labels_metastatement_ver1.res diff = --- tests/labels_metastatement_ver1.c -+++ /tmp/cocci-output-877-7e4664-labels_metastatement_ver1.c ++++ /tmp/cocci-output-2484-82c129-labels_metastatement_ver1.c @@ -1,5 +1,9 @@ int foo(int i) { @@ -10348,7 +10384,7 @@ lessone.res diff = --- tests/lessone.c -+++ /tmp/cocci-output-877-62dac5-lessone.c ++++ /tmp/cocci-output-2484-5ea126-lessone.c @@ -1,4 +1,4 @@ int min() { - return 2.56 < 1; @@ -10357,13 +10393,13 @@ lfe.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_3bde0a.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_3bde0a.ml +ocamlc.opt -c /tmp/ocaml_cocci_424dcf.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_424dcf.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-877-9c205a-lfe.c ++++ /tmp/cocci-output-2484-2473a0-lfe.c @@ -11,13 +11,21 @@ static bool tipc_service_insert_publ(str u32 key = p->key; @@ -10395,7 +10431,7 @@ lid.res diff = --- tests/lid.c -+++ /tmp/cocci-output-877-8ec1fe-lid.c ++++ /tmp/cocci-output-2484-d6384a-lid.c @@ -1,6 +1,6 @@ int main () { int a; @@ -10407,7 +10443,7 @@ line_before_last.res diff = --- tests/line_before_last.c -+++ /tmp/cocci-output-877-2212ce-line_before_last.c ++++ /tmp/cocci-output-2484-0d4d99-line_before_last.c @@ -1,17 +1,13 @@ int main () { - foo(); @@ -10429,7 +10465,7 @@ lineseq.res diff = --- tests/lineseq.c -+++ /tmp/cocci-output-877-ff025c-lineseq.c ++++ /tmp/cocci-output-2484-ba124e-lineseq.c @@ -1,6 +1,4 @@ int main () { - one(); @@ -10442,7 +10478,7 @@ list_initialization.res diff = --- tests/list_initialization.cpp -+++ /tmp/cocci-output-877-19e0b3-list_initialization.cpp ++++ /tmp/cocci-output-2484-2b3ccb-list_initialization.cpp @@ -1,4 +1,3 @@ int main() { @@ -10472,7 +10508,7 @@ warning: line 86: should b be a metavariable? diff = --- tests/list_test.c -+++ /tmp/cocci-output-877-65e28c-list_test.c ++++ /tmp/cocci-output-2484-753f91-list_test.c @@ -1,55 +1,53 @@ int main () { - f(a); @@ -10671,14 +10707,14 @@ local.res diff = --- tests/local.c -+++ /tmp/cocci-output-877-9b69fd-local.c ++++ /tmp/cocci-output-2484-23e91e-local.c @@ -1 +1 @@ -int f(int xx, int yy) { return 0; } +int f(int a, int b, int yy) { return 0; } local_macro_fn_def_and_call.res diff = --- tests/local_macro_fn_def_and_call.cpp -+++ /tmp/cocci-output-877-7f1e1a-local_macro_fn_def_and_call.cpp ++++ /tmp/cocci-output-2484-f5c11b-local_macro_fn_def_and_call.cpp @@ -1,11 +1,9 @@ void f(void) { #define SEMICOLON() ; @@ -10694,7 +10730,7 @@ localglobal.res diff = --- tests/localglobal.c -+++ /tmp/cocci-output-877-c4820b-localglobal.c ++++ /tmp/cocci-output-2484-dfd8bd-localglobal.c @@ -3,5 +3,5 @@ int a; int main(int b) { int c; @@ -10705,7 +10741,7 @@ localid.res diff = --- tests/localid.c -+++ /tmp/cocci-output-877-ddf83d-localid.c ++++ /tmp/cocci-output-2484-038c7a-localid.c @@ -2,8 +2,7 @@ int c; int main () { @@ -10720,7 +10756,7 @@ localmacroparams.res diff = --- tests/localmacroparams.c -+++ /tmp/cocci-output-877-a04b46-localmacroparams.c ++++ /tmp/cocci-output-2484-d6b250-localmacroparams.c @@ -1,2 +1,2 @@ -#define fn1(x) f(x) -#define fn2(x) f(y) @@ -10729,7 +10765,7 @@ log.res diff = --- tests/log.c -+++ /tmp/cocci-output-877-b5c97d-log.c ++++ /tmp/cocci-output-2484-60ca84-log.c @@ -8,5 +8,4 @@ static struct var_t vars[] = { @@ -10739,7 +10775,7 @@ long.res diff = --- tests/long.c -+++ /tmp/cocci-output-877-9c1489-long.c ++++ /tmp/cocci-output-2484-096d43-long.c @@ -1,4 +1,4 @@ int main () { - hello_world("this is a very long sentence. this is a very long sentence. ", @@ -10750,7 +10786,7 @@ longconst.res diff = --- tests/longconst.c -+++ /tmp/cocci-output-877-5456ab-longconst.c ++++ /tmp/cocci-output-2484-d8ccd1-longconst.c @@ -2,18 +2,18 @@ long function1() { long a; @@ -10787,7 +10823,7 @@ warning: line 5: should a be a metavariable? diff = --- tests/longline2.c -+++ /tmp/cocci-output-877-09a95e-longline2.c ++++ /tmp/cocci-output-2484-972490-longline2.c @@ -1,8 +1,16 @@ int main() { - f(sdhfkjdkdsahksadsdhjkdsa,sahdjshdkjsahdkjhsakjdsh,a,shdkjsdsdhkjsa,x,y,z); @@ -10812,7 +10848,7 @@ longlong.res diff = --- tests/longlong.c -+++ /tmp/cocci-output-877-a6b999-longlong.c ++++ /tmp/cocci-output-2484-9bd75b-longlong.c @@ -1,6 +1,6 @@ -long long a; +int a; @@ -10825,7 +10861,7 @@ longlongint.res diff = --- tests/longlongint.c -+++ /tmp/cocci-output-877-a88eaf-longlongint.c ++++ /tmp/cocci-output-2484-19a6fc-longlongint.c @@ -1,9 +1,3 @@ int main() { - unsigned int x; @@ -10839,7 +10875,7 @@ loop.res diff = --- tests/loop.c -+++ /tmp/cocci-output-877-40b5fa-loop.c ++++ /tmp/cocci-output-2484-d2638f-loop.c @@ -1,5 +1,3 @@ int main() { - f(); @@ -10850,7 +10886,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/lvalue.c -+++ /tmp/cocci-output-877-638018-lvalue.c ++++ /tmp/cocci-output-2484-c60089-lvalue.c @@ -1,4 +1,4 @@ int main() { - x = x + 1; @@ -10862,7 +10898,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/macro.c -+++ /tmp/cocci-output-877-d4a9be-macro.c ++++ /tmp/cocci-output-2484-d37704-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))) @@ -10874,7 +10910,7 @@ macro_before_bool.res diff = --- tests/macro_before_bool.c -+++ /tmp/cocci-output-877-b9cbc4-macro_before_bool.c ++++ /tmp/cocci-output-2484-f116a4-macro_before_bool.c @@ -1,4 +1,5 @@ static nokprobe_inline bool trace_kprobe_is_return(struct trace_kprobe *tk) { @@ -10884,7 +10920,7 @@ macro_int16.res diff = --- tests/macro_int16.c -+++ /tmp/cocci-output-877-582115-macro_int16.c ++++ /tmp/cocci-output-2484-c572e0-macro_int16.c @@ -4,6 +4,6 @@ void main(void) { @@ -10896,7 +10932,7 @@ macro_params.res diff = --- tests/macro_params.c -+++ /tmp/cocci-output-877-785981-macro_params.c ++++ /tmp/cocci-output-2484-f2f6b2-macro_params.c @@ -5,9 +5,9 @@ int main(int argc, char **argv) { @@ -10912,7 +10948,7 @@ macro_stmt_when_fn_type.res diff = --- tests/macro_stmt_when_fn_type.cpp -+++ /tmp/cocci-output-877-b2c4ef-macro_stmt_when_fn_type.cpp ++++ /tmp/cocci-output-2484-812ed5-macro_stmt_when_fn_type.cpp @@ -1,4 +1,3 @@ -#define APPLY_FOR_ROLE return; #define APPLY_FOR_ROLE_HINT MACROSTATEMENT @@ -10921,7 +10957,7 @@ match_init.res diff = --- tests/match_init.c -+++ /tmp/cocci-output-877-8b9029-match_init.c ++++ /tmp/cocci-output-2484-98a787-match_init.c @@ -1,15 +1,15 @@ int probably_works () { - int x = 3; @@ -10944,7 +10980,7 @@ match_no_meta.res diff = --- tests/match_no_meta.c -+++ /tmp/cocci-output-877-e37d53-match_no_meta.c ++++ /tmp/cocci-output-2484-1d2341-match_no_meta.c @@ -2,6 +2,4 @@ void main(int i) { foo(1); @@ -10957,7 +10993,7 @@ warning: line 14: should i be a metavariable? diff = --- tests/max.c -+++ /tmp/cocci-output-877-a275f6-max.c ++++ /tmp/cocci-output-2484-9d7025-max.c @@ -1,3 +1,3 @@ int main () { - if (x < 25) return i; @@ -10967,7 +11003,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/md1.c -+++ /tmp/cocci-output-877-067a4b-md1.c ++++ /tmp/cocci-output-2484-4f6694-md1.c @@ -1,9 +1,11 @@ struct main { - int a; @@ -10988,7 +11024,7 @@ md2.res diff = --- tests/md2.c -+++ /tmp/cocci-output-877-d922f3-md2.c ++++ /tmp/cocci-output-2484-23fd26-md2.c @@ -1,11 +1,13 @@ int main() { - int a; @@ -11011,7 +11047,7 @@ md3.res diff = --- tests/md3.c -+++ /tmp/cocci-output-877-dd393a-md3.c ++++ /tmp/cocci-output-2484-60ee37-md3.c @@ -1,5 +1,5 @@ struct s_t { - double one[3]; @@ -11022,7 +11058,7 @@ mdadd.res diff = --- tests/mdadd.c -+++ /tmp/cocci-output-877-053807-mdadd.c ++++ /tmp/cocci-output-2484-b23c41-mdadd.c @@ -1,3 +1,5 @@ int main () { - int a,b,c; @@ -11033,7 +11069,7 @@ mdec.res diff = --- tests/mdec.c -+++ /tmp/cocci-output-877-1f83f3-mdec.c ++++ /tmp/cocci-output-2484-87a2fd-mdec.c @@ -1,23 +1,26 @@ int main () { - int a, b, c, d; @@ -11085,8 +11121,8 @@ mdecl.res warning: rule starting on line 14: inherited metavariable unbound not used in the -, +, or context code Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_dc8b64.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_dc8b64.ml -File "/tmp/ocaml_cocci_dc8b64.ml", line 24, characters 4-11: +ocamlc.opt -c /tmp/ocaml_cocci_4fbd90.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_4fbd90.ml +File "/tmp/ocaml_cocci_4fbd90.ml", line 24, characters 4-11: 24 | let unbound = List.nth __script_args__ 4 in ^^^^^^^ Warning 26 [unused-var]: unused variable unbound. @@ -11094,7 +11130,7 @@ Loading ML code of the SP... diff = --- tests/mdecl.c -+++ /tmp/cocci-output-877-a31f81-mdecl.c ++++ /tmp/cocci-output-2484-5f9896-mdecl.c @@ -1,5 +1,4 @@ -int one () { if (c < 0) return 12; return x < 0; } + @@ -11104,26 +11140,26 @@ -int one () { int c; if (c) return 12; return x < 0; } mdeclp.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_146e0d.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_146e0d.ml +ocamlc.opt -c /tmp/ocaml_cocci_fc640b.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_fc640b.ml Compilation OK! Loading ML code of the SP... diff = --- tests/mdeclp.c -+++ /tmp/cocci-output-877-620bb1-mdeclp.c ++++ /tmp/cocci-output-2484-f918f4-mdeclp.c @@ -1,2 +1,2 @@ -int one() { return 1; } + int two() { return 1; } mdeclp2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_c64021.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c64021.ml +ocamlc.opt -c /tmp/ocaml_cocci_cc35f0.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_cc35f0.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function mdeclrep.res diff = --- tests/mdeclrep.c -+++ /tmp/cocci-output-877-d64970-mdeclrep.c ++++ /tmp/cocci-output-2484-ee019f-mdeclrep.c @@ -1,19 +1,22 @@ int main () { - int a,x,c; @@ -11154,7 +11190,7 @@ mdindex.res diff = --- tests/mdindex.c -+++ /tmp/cocci-output-877-b69228-mdindex.c ++++ /tmp/cocci-output-2484-d1fdd2-mdindex.c @@ -1,5 +1,5 @@ int main() { @@ -11166,7 +11202,7 @@ memory.res diff = --- tests/memory.c -+++ /tmp/cocci-output-877-47302b-memory.c ++++ /tmp/cocci-output-2484-21ca1d-memory.c @@ -2,6 +2,5 @@ int __queue_add(Queue_t *queue, Scsi_Cmnd *SCpnt, int head) @@ -11177,7 +11213,7 @@ } merge_after_iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_f8f3df.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f8f3df.ml +ocamlc.opt -c /tmp/ocaml_cocci_c8ed39.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c8ed39.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -11187,7 +11223,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/metaattr.c -+++ /tmp/cocci-output-877-d02cb1-metaattr.c ++++ /tmp/cocci-output-2484-60dca6-metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -11200,7 +11236,7 @@ warning: line 43: x, previously declared as a metavariable, is used as an identifier diff = --- tests/metaline.c -+++ /tmp/cocci-output-877-54e4f2-metaline.c ++++ /tmp/cocci-output-2484-42b440-metaline.c @@ -1,9 +1,8 @@ int main () { - static int x; @@ -11218,7 +11254,7 @@ metaops.res diff = --- tests/metaops.c -+++ /tmp/cocci-output-877-526c91-metaops.c ++++ /tmp/cocci-output-2484-38a022-metaops.c @@ -2,24 +2,24 @@ int p1() { int x = 0; int y = 1; @@ -11295,7 +11331,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/metaops0.c -+++ /tmp/cocci-output-877-247b49-metaops0.c ++++ /tmp/cocci-output-2484-5278ee-metaops0.c @@ -1,44 +1,11 @@ int p1() { - int x = 0; @@ -11344,7 +11380,7 @@ metaruleelem.res diff = --- tests/metaruleelem.c -+++ /tmp/cocci-output-877-c000f3-metaruleelem.c ++++ /tmp/cocci-output-2484-767903-metaruleelem.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -11357,7 +11393,7 @@ metastatement2.res diff = --- tests/metastatement2.c -+++ /tmp/cocci-output-877-8a1269-metastatement2.c ++++ /tmp/cocci-output-2484-ff31a5-metastatement2.c @@ -1,6 +1,5 @@ void main(int i) { @@ -11368,7 +11404,7 @@ metastatement_for.res diff = --- tests/metastatement_for.c -+++ /tmp/cocci-output-877-9bb3c0-metastatement_for.c ++++ /tmp/cocci-output-2484-7f32a7-metastatement_for.c @@ -1,9 +1,6 @@ void main(void) { @@ -11382,7 +11418,7 @@ metastatement_if.res diff = --- tests/metastatement_if.c -+++ /tmp/cocci-output-877-6bbd3e-metastatement_if.c ++++ /tmp/cocci-output-2484-f0ee4f-metastatement_if.c @@ -5,8 +5,4 @@ void main(void) printf("%d", i); } @@ -11395,7 +11431,7 @@ mincom.res diff = --- tests/mincom.c -+++ /tmp/cocci-output-877-c68b10-mincom.c ++++ /tmp/cocci-output-2484-d10605-mincom.c @@ -1,5 +1,7 @@ int main () { - if (rc == LS_NONE_FIRST_DE) @@ -11409,14 +11445,14 @@ minenum.res diff = --- tests/minenum.c -+++ /tmp/cocci-output-877-b71a18-minenum.c ++++ /tmp/cocci-output-2484-93c286-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-877-3efc2d-minenum1.c ++++ /tmp/cocci-output-2484-d03fa6-minenum1.c @@ -1,2 +1,2 @@ -enum h { x, a, z, +enum h { x, qq, @@ -11424,7 +11460,7 @@ minfn.res diff = --- tests/minfn.c -+++ /tmp/cocci-output-877-e6627a-minfn.c ++++ /tmp/cocci-output-2484-655282-minfn.c @@ -1,13 +1,5 @@ int main () { return first; } @@ -11442,7 +11478,7 @@ mini_null_ref.res diff = --- tests/mini_null_ref.c -+++ /tmp/cocci-output-877-8f55f8-mini_null_ref.c ++++ /tmp/cocci-output-2484-d78459-mini_null_ref.c @@ -2,11 +2,12 @@ static int __devinit w90p910_keypad_prob { const struct w90p910_keypad_platform_data *pdata = @@ -11460,7 +11496,7 @@ miniclass.res diff = --- tests/miniclass.cpp -+++ /tmp/cocci-output-877-50bf1e-miniclass.cpp ++++ /tmp/cocci-output-2484-673ab2-miniclass.cpp @@ -1,28 +1,28 @@ class foo { @@ -11506,7 +11542,7 @@ miniswap.res diff = --- tests/miniswap.c -+++ /tmp/cocci-output-877-ce7bb0-miniswap.c ++++ /tmp/cocci-output-2484-7f7adc-miniswap.c @@ -1,5 +1,5 @@ static void swap_refcount_rec(void *a, void *b, int size) { @@ -11517,7 +11553,7 @@ minstruct.res diff = --- tests/minstruct.c -+++ /tmp/cocci-output-877-c3e911-minstruct.c ++++ /tmp/cocci-output-2484-280c41-minstruct.c @@ -1,5 +1,7 @@ static struct i2c_client client_template = { - .name = "(unset)", @@ -11530,7 +11566,7 @@ minusdots.res diff = --- tests/minusdots.c -+++ /tmp/cocci-output-877-ee7bff-minusdots.c ++++ /tmp/cocci-output-2484-66695e-minusdots.c @@ -1,9 +1,2 @@ void main(int i) { - @@ -11544,7 +11580,7 @@ minusdots_ver1.res diff = --- tests/minusdots_ver1.c -+++ /tmp/cocci-output-877-5da774-minusdots_ver1.c ++++ /tmp/cocci-output-2484-2600b5-minusdots_ver1.c @@ -1,6 +1,2 @@ void main(int i) { - @@ -11555,7 +11591,7 @@ move_type.res diff = --- tests/move_type.c -+++ /tmp/cocci-output-877-779d60-move_type.c ++++ /tmp/cocci-output-2484-1517d8-move_type.c @@ -1,6 +1,6 @@ int main() { - int x; @@ -11567,7 +11603,7 @@ multi.res diff = --- tests/multi.c -+++ /tmp/cocci-output-877-4e5e87-multi.c ++++ /tmp/cocci-output-2484-34c976-multi.c @@ -3,4 +3,5 @@ int main() { g(1); g(1); @@ -11578,7 +11614,7 @@ exn while in timeout_function multi_initialize_finalize.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_6427ca.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_6427ca.ml +ocamlc.opt -c /tmp/ocaml_cocci_631dd2.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_631dd2.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function @@ -11586,7 +11622,7 @@ warning: line 4: should ab be a metavariable? diff = --- tests/multichars.c -+++ /tmp/cocci-output-877-45ae41-multichars.c ++++ /tmp/cocci-output-2484-675138-multichars.c @@ -1,5 +1,5 @@ int main () { - f('XYZ',ab); @@ -11599,7 +11635,7 @@ multidec.res diff = --- tests/multidec.c -+++ /tmp/cocci-output-877-0b6bf2-multidec.c ++++ /tmp/cocci-output-2484-775972-multidec.c @@ -1,11 +1,6 @@ int main () { int x = 3,z; @@ -11616,7 +11652,7 @@ multidecl3.res diff = --- tests/multidecl3.c -+++ /tmp/cocci-output-877-daa8cc-multidecl3.c ++++ /tmp/cocci-output-2484-c5784f-multidecl3.c @@ -1,17 +1,13 @@ int main () { - int *i, i[12], i, k, r; @@ -11640,7 +11676,7 @@ multipath.res diff = --- tests/multipath.c -+++ /tmp/cocci-output-877-4ba470-multipath.c ++++ /tmp/cocci-output-2484-0c24b7-multipath.c @@ -2,8 +2,8 @@ static void multipathd(struct md_thread { for (;;) { @@ -11656,7 +11692,7 @@ warning: rule starting on line 3: metavariable T not used in the - or context code diff = --- tests/multiplus.c -+++ /tmp/cocci-output-877-89f8e1-multiplus.c ++++ /tmp/cocci-output-2484-366b57-multiplus.c @@ -1,4 +1,4 @@ -static void xm_link_timer(void *arg) +static void xm_link_timer(struct work_struct *work) @@ -11666,7 +11702,7 @@ multiremove.res diff = --- tests/multiremove.c -+++ /tmp/cocci-output-877-8dce4b-multiremove.c ++++ /tmp/cocci-output-2484-919144-multiremove.c @@ -1,8 +1,5 @@ int main () { if (x) { xyz1(); } @@ -11679,7 +11715,7 @@ multistruct.res diff = --- tests/multistruct.c -+++ /tmp/cocci-output-877-617fd9-multistruct.c ++++ /tmp/cocci-output-2484-d6e509-multistruct.c @@ -1,5 +1,3 @@ -struct one x; @@ -11689,7 +11725,7 @@ multitype.res diff = --- tests/multitype.c -+++ /tmp/cocci-output-877-0b46ff-multitype.c ++++ /tmp/cocci-output-2484-b7da33-multitype.c @@ -3,5 +3,5 @@ typedef struct foo { int a; } foo_t; int main() { foo_t * x; @@ -11701,7 +11737,7 @@ warning: non_delayed_fn: metavariable T not used in the - or context code diff = --- tests/multitypedef.c -+++ /tmp/cocci-output-877-40d76e-multitypedef.c ++++ /tmp/cocci-output-2484-6dd266-multitypedef.c @@ -5,5 +5,5 @@ typedef struct HYSDN_CARD { int ergo_inithardware(hysdn_card * card) @@ -11712,7 +11748,7 @@ multivars.res diff = --- tests/multivars.c -+++ /tmp/cocci-output-877-a281ae-multivars.c ++++ /tmp/cocci-output-2484-cce4cb-multivars.c @@ -1,5 +1,5 @@ void main(int i) { @@ -11727,7 +11763,7 @@ warning: line 4: should kfree be a metavariable? diff = --- tests/mv.c -+++ /tmp/cocci-output-877-d46fee-mv.c ++++ /tmp/cocci-output-2484-041b5c-mv.c @@ -1,4 +1,4 @@ int main() { - u8 *xxx __free(kfree); @@ -11737,7 +11773,7 @@ na.res diff = --- tests/na.c -+++ /tmp/cocci-output-877-2f4c1e-na.c ++++ /tmp/cocci-output-2484-750327-na.c @@ -4,10 +4,10 @@ void foo() { int i; @@ -11756,7 +11792,7 @@ nameless.res diff = --- tests/nameless.c -+++ /tmp/cocci-output-877-502f49-nameless.c ++++ /tmp/cocci-output-2484-41d2f0-nameless.c @@ -1,6 +1,6 @@ typedef union { int foo; @@ -11774,7 +11810,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-877-0f6bfb-nest.c ++++ /tmp/cocci-output-2484-e0483a-nest.c @@ -1,7 +1,7 @@ void info_func(int i) { foo(); @@ -11788,7 +11824,7 @@ nestadd.res diff = --- tests/nestadd.c -+++ /tmp/cocci-output-877-2486ea-nestadd.c ++++ /tmp/cocci-output-2484-e27535-nestadd.c @@ -1,3 +1,12 @@ int main() { foo(); @@ -11806,7 +11842,7 @@ warning: one: metavariable S not used in the - or context code diff = --- tests/nestone.c -+++ /tmp/cocci-output-877-8ebffe-nestone.c ++++ /tmp/cocci-output-2484-b72ef3-nestone.c @@ -1,4 +1,3 @@ int foo() { if (x) { xxx(); return;} @@ -11815,7 +11851,7 @@ nestseq.res diff = --- tests/nestseq.c -+++ /tmp/cocci-output-877-6af030-nestseq.c ++++ /tmp/cocci-output-2484-3266c0-nestseq.c @@ -2,4 +2,5 @@ int main () { f(); g(12); @@ -11825,7 +11861,7 @@ neststruct.res diff = --- tests/neststruct.c -+++ /tmp/cocci-output-877-22fa2c-neststruct.c ++++ /tmp/cocci-output-2484-ec98c3-neststruct.c @@ -8,6 +8,6 @@ struct usb_hub { static int hub_configure(struct usb_hub *hub) @@ -11839,7 +11875,7 @@ newsimple.res diff = --- tests/newsimple.cpp -+++ /tmp/cocci-output-877-074aae-newsimple.cpp ++++ /tmp/cocci-output-2484-1d6d8e-newsimple.cpp @@ -1,6 +1,6 @@ int main() { @@ -11852,7 +11888,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/nl.c -+++ /tmp/cocci-output-877-81eec8-nl.c ++++ /tmp/cocci-output-2484-f7d0c9-nl.c @@ -1,4 +1,4 @@ int main() { - if (x) return; @@ -11863,7 +11899,7 @@ noa.res diff = --- tests/noa.c -+++ /tmp/cocci-output-877-4c4ef1-noa.c ++++ /tmp/cocci-output-2484-8696e9-noa.c @@ -2,6 +2,6 @@ int main () { if (x) { a(); } else { a(); } } @@ -11876,7 +11912,7 @@ SPECIAL NAMES: adding gfp_t as a type diff = --- tests/nocast.c -+++ /tmp/cocci-output-877-bf2740-nocast.c ++++ /tmp/cocci-output-2484-fce5b5-nocast.c @@ -1,4 +1,4 @@ -int main (unsigned int __nocast gfp_mask, int x) { +int main (gfp_t gfp_mask, int x) { @@ -11886,7 +11922,7 @@ noexcept.res diff = --- tests/noexcept.cpp -+++ /tmp/cocci-output-877-8f35ee-noexcept.cpp ++++ /tmp/cocci-output-2484-a29bd1-noexcept.cpp @@ -1,9 +1,9 @@ -void foo() noexcept {} +void bar() noexcept {} @@ -11903,7 +11939,7 @@ noret.res diff = --- tests/noret.c -+++ /tmp/cocci-output-877-450d1c-noret.c ++++ /tmp/cocci-output-2484-d5cb62-noret.c @@ -1,18 +1,18 @@ -main (int x); -static xmain (int x); @@ -11935,7 +11971,7 @@ not.res diff = --- tests/not.c -+++ /tmp/cocci-output-877-1475e4-not.c ++++ /tmp/cocci-output-2484-5aa5f0-not.c @@ -1,9 +1,9 @@ int main() { int x; @@ -11952,7 +11988,7 @@ notest.res diff = --- tests/notest.c -+++ /tmp/cocci-output-877-19dbca-notest.c ++++ /tmp/cocci-output-2484-6e451f-notest.c @@ -1,6 +1,6 @@ int main() { struct foo *x; @@ -11966,7 +12002,7 @@ warning: line 6: should false be a metavariable? diff = --- tests/notnot.c -+++ /tmp/cocci-output-877-df6c1f-notnot.c ++++ /tmp/cocci-output-2484-ccc0c8-notnot.c @@ -1,4 +1,4 @@ bool foo(int bar) { @@ -11976,7 +12012,7 @@ notpp.res diff = --- tests/notpp.cpp -+++ /tmp/cocci-output-877-7e1c5f-notpp.cpp ++++ /tmp/cocci-output-2484-8d6b83-notpp.cpp @@ -1,4 +1,4 @@ void main () { - if (not m2n->usesTwoLevelInitialization()) @@ -11986,7 +12022,7 @@ noty.res diff = --- tests/noty.c -+++ /tmp/cocci-output-877-a5ee06-noty.c ++++ /tmp/cocci-output-2484-5048a9-noty.c @@ -1,3 +1,4 @@ int main(int *x) { if (NULL == x) { return; } @@ -11995,7 +12031,7 @@ noty2.res diff = --- tests/noty2.c -+++ /tmp/cocci-output-877-78cb70-noty2.c ++++ /tmp/cocci-output-2484-c10909-noty2.c @@ -1,14 +1,11 @@ main () { - foo(); @@ -12015,7 +12051,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/null_bool.c -+++ /tmp/cocci-output-877-77f1a3-null_bool.c ++++ /tmp/cocci-output-2484-3a48e3-null_bool.c @@ -1,8 +1,8 @@ int main () { - if (x != NULL) return; @@ -12032,7 +12068,7 @@ null_type.res diff = --- tests/null_type.c -+++ /tmp/cocci-output-877-6da29b-null_type.c ++++ /tmp/cocci-output-2484-53f745-null_type.c @@ -2,7 +2,7 @@ int main(int i) { int *x; @@ -12047,7 +12083,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/oddifdef.c -+++ /tmp/cocci-output-877-0f198a-oddifdef.c ++++ /tmp/cocci-output-2484-530614-oddifdef.c @@ -7,9 +7,7 @@ void one () { a = 5; @@ -12080,7 +12116,7 @@ of.res diff = --- tests/of.c -+++ /tmp/cocci-output-877-298a32-of.c ++++ /tmp/cocci-output-2484-4bb4cf-of.c @@ -1,16 +1,20 @@ static struct iommu_table *iommu_table_find(struct iommu_table * tbl) { @@ -12107,7 +12143,7 @@ oneline.res diff = --- tests/oneline.c -+++ /tmp/cocci-output-877-5f3eff-oneline.c ++++ /tmp/cocci-output-2484-ced1b9-oneline.c @@ -1,4 +1,4 @@ int main () { - f(); @@ -12118,7 +12154,7 @@ op.res diff = --- tests/op.c -+++ /tmp/cocci-output-877-1518f1-op.c ++++ /tmp/cocci-output-2484-05764b-op.c @@ -1,5 +1,4 @@ int main () { - return 3; @@ -12129,7 +12165,7 @@ opt.res diff = --- tests/opt.c -+++ /tmp/cocci-output-877-affd45-opt.c ++++ /tmp/cocci-output-2484-08322f-opt.c @@ -1,3 +1,2 @@ int main () { - yyy(); @@ -12137,7 +12173,7 @@ optional_qualifier.res diff = --- tests/optional_qualifier.c -+++ /tmp/cocci-output-877-37700d-optional_qualifier.c ++++ /tmp/cocci-output-2484-473ec9-optional_qualifier.c @@ -1,2 +1,2 @@ -int a; +const int a; @@ -12145,7 +12181,7 @@ optional_storage.res diff = --- tests/optional_storage.c -+++ /tmp/cocci-output-877-21267b-optional_storage.c ++++ /tmp/cocci-output-2484-8bb29f-optional_storage.c @@ -1,4 +1,4 @@ -int foo1(void) +static int foo1(void) @@ -12155,7 +12191,7 @@ orexp.res diff = --- tests/orexp.c -+++ /tmp/cocci-output-877-615af3-orexp.c ++++ /tmp/cocci-output-2484-c491a7-orexp.c @@ -1,3 +1,3 @@ int main() { - bar(12+12); @@ -12170,7 +12206,7 @@ warning: xxx: metavariable f not used in the - or context code diff = --- tests/overshoot.c -+++ /tmp/cocci-output-877-65155b-overshoot.c ++++ /tmp/cocci-output-2484-4d2e63-overshoot.c @@ -1,9 +1,8 @@ int main () { a(); @@ -12190,7 +12226,7 @@ warning: line 20: should errp be a metavariable? diff = --- tests/p1p2.c -+++ /tmp/cocci-output-877-240c8f-p1p2.c ++++ /tmp/cocci-output-2484-e74b6f-p1p2.c @@ -1,3 +1,3 @@ -int main(int x, Error **errp); +int __attribute__((nonnull(1))) main(int x, Error **errp); @@ -12200,7 +12236,7 @@ p9.res diff = --- tests/p9.c -+++ /tmp/cocci-output-877-657259-p9.c ++++ /tmp/cocci-output-2484-ef21b7-p9.c @@ -1,3 +1,3 @@ -int f(int, int, int x) { +int f(int v0, int v1, int x) { @@ -12209,7 +12245,7 @@ pa.res diff = --- tests/pa.c -+++ /tmp/cocci-output-877-9e440f-pa.c ++++ /tmp/cocci-output-2484-1cd5e7-pa.c @@ -4,7 +4,8 @@ char *parse_args(const char *doing, unsigned num, s16 min_level, @@ -12224,7 +12260,7 @@ param.res diff = --- tests/param.c -+++ /tmp/cocci-output-877-a495d3-param.c ++++ /tmp/cocci-output-2484-17ade0-param.c @@ -1 +1 @@ -void foo() { return; } + @@ -12233,7 +12269,7 @@ warning: line 14: should y be a metavariable? diff = --- tests/param_end.c -+++ /tmp/cocci-output-877-9ce4c1-param_end.c ++++ /tmp/cocci-output-2484-ffdf36-param_end.c @@ -1,15 +1,15 @@ -int one (int x) { return; } +int one () { return; } @@ -12261,7 +12297,7 @@ param_to_exp.res diff = --- tests/param_to_exp.c -+++ /tmp/cocci-output-877-887a57-param_to_exp.c ++++ /tmp/cocci-output-2484-a069f2-param_to_exp.c @@ -1,3 +1,4 @@ int main (int x, int y) { + foo(x, y); @@ -12270,14 +12306,14 @@ param_ver1.res diff = --- tests/param_ver1.c -+++ /tmp/cocci-output-877-5a877f-param_ver1.c ++++ /tmp/cocci-output-2484-b8461b-param_ver1.c @@ -1 +1 @@ -void foo(int x) { return; } + parameters_dots.res diff = --- tests/parameters_dots.c -+++ /tmp/cocci-output-877-550852-parameters_dots.c ++++ /tmp/cocci-output-2484-91eb1c-parameters_dots.c @@ -1,7 +1,3 @@ void main(int i) { - @@ -12289,7 +12325,7 @@ parenmac.res diff = --- tests/parenmac.c -+++ /tmp/cocci-output-877-a97ddb-parenmac.c ++++ /tmp/cocci-output-2484-d83793-parenmac.c @@ -1 +1 @@ -#define TXSSZ(val) (val<<4) +#define TXSSZ(val) ((val)<<4) @@ -12297,7 +12333,7 @@ warning: rule starting on line 1: metavariable S not used in the - or context code diff = --- tests/partial.c -+++ /tmp/cocci-output-877-811be0-partial.c ++++ /tmp/cocci-output-2484-71f9c3-partial.c @@ -1,3 +1,3 @@ #define CS_THIS_MODULE THIS_MODULE, #define CS_OWNER owner: @@ -12306,7 +12342,7 @@ partialmd.res diff = --- tests/partialmd.c -+++ /tmp/cocci-output-877-66ae0d-partialmd.c ++++ /tmp/cocci-output-2484-3fed5d-partialmd.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -12316,7 +12352,7 @@ partialmd2.res diff = --- tests/partialmd2.c -+++ /tmp/cocci-output-877-95d98b-partialmd2.c ++++ /tmp/cocci-output-2484-a48a34-partialmd2.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -12326,7 +12362,7 @@ partialmd3.res diff = --- tests/partialmd3.c -+++ /tmp/cocci-output-877-748bd9-partialmd3.c ++++ /tmp/cocci-output-2484-4227cf-partialmd3.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -12337,7 +12373,7 @@ warning: line 6: should x be a metavariable? diff = --- tests/pb_distribute_type.c -+++ /tmp/cocci-output-877-0eac0b-pb_distribute_type.c ++++ /tmp/cocci-output-2484-18e067-pb_distribute_type.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -12361,7 +12397,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type2.c -+++ /tmp/cocci-output-877-6a3653-pb_distribute_type2.c ++++ /tmp/cocci-output-2484-a9ece9-pb_distribute_type2.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -12388,7 +12424,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type4.c -+++ /tmp/cocci-output-877-8403ae-pb_distribute_type4.c ++++ /tmp/cocci-output-2484-25690a-pb_distribute_type4.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -12412,7 +12448,7 @@ warning: line 23: should i be a metavariable? diff = --- tests/pb_params_iso.c -+++ /tmp/cocci-output-877-52e59f-pb_params_iso.c ++++ /tmp/cocci-output-2484-b46c6d-pb_params_iso.c @@ -1,17 +1,17 @@ -int f(bool a, int i, bool b) { @@ -12438,7 +12474,7 @@ pb_parsing_macro.res diff = --- tests/pb_parsing_macro.c -+++ /tmp/cocci-output-877-bf9cc0-pb_parsing_macro.c ++++ /tmp/cocci-output-2484-057497-pb_parsing_macro.c @@ -1,4 +1,4 @@ #define FOO_METH_TEST(a) prefix_##a void FOO_METH_TEST(foo)(int x){ @@ -12448,7 +12484,7 @@ pb_tag_symbols.res diff = --- tests/pb_tag_symbols.c -+++ /tmp/cocci-output-877-7bb7d0-pb_tag_symbols.c ++++ /tmp/cocci-output-2484-8cf285-pb_tag_symbols.c @@ -1,5 +1,3 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -12458,7 +12494,7 @@ pcim.res diff = --- tests/pcim.c -+++ /tmp/cocci-output-877-b17f35-pcim.c ++++ /tmp/cocci-output-2484-3bdc83-pcim.c @@ -1,5 +1,6 @@ int main () { - ctx->sensePA = pci_map_single(adapter->dev, cmd->sense_buffer, @@ -12471,7 +12507,7 @@ pcomma.res diff = --- tests/pcomma.c -+++ /tmp/cocci-output-877-425e9b-pcomma.c ++++ /tmp/cocci-output-2484-4e2574-pcomma.c @@ -1,14 +1,14 @@ -int main (int x) {} +int main (char c, int x) {} @@ -12498,7 +12534,7 @@ pif.res diff = --- tests/pif.c -+++ /tmp/cocci-output-877-09fe69-pif.c ++++ /tmp/cocci-output-2484-e37532-pif.c @@ -1,5 +1 @@ -void f(void) -{ @@ -12509,14 +12545,14 @@ plus33.res diff = --- tests/plus33.c -+++ /tmp/cocci-output-877-c4ea0d-plus33.c ++++ /tmp/cocci-output-2484-fc8dd1-plus33.c @@ -1 +1,2 @@ +typedef double double3x3[3][3]; int x; pmac.res diff = --- tests/pmac.c -+++ /tmp/cocci-output-877-db2e2c-pmac.c ++++ /tmp/cocci-output-2484-35d87d-pmac.c @@ -4,7 +4,5 @@ #include #endif @@ -12527,12 +12563,12 @@ static int snd_pmac_unregister_sleep_notifier(pmac_t *chip); poscon.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_909548.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_909548.ml +ocamlc.opt -c /tmp/ocaml_cocci_06a9c5.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_06a9c5.ml Compilation OK! Loading ML code of the SP... diff = --- tests/poscon.c -+++ /tmp/cocci-output-877-071b32-poscon.c ++++ /tmp/cocci-output-2484-a9cc0e-poscon.c @@ -2,8 +2,8 @@ int main () { f(0); g(0); @@ -12549,7 +12585,7 @@ posiso.res diff = --- tests/posiso.c -+++ /tmp/cocci-output-877-a6775b-posiso.c ++++ /tmp/cocci-output-2484-a4dd86-posiso.c @@ -1,9 +1,7 @@ int main () { int *x; @@ -12563,7 +12599,7 @@ positionc.res diff = --- tests/positionc.c -+++ /tmp/cocci-output-877-de8b13-positionc.c ++++ /tmp/cocci-output-2484-ddaf1b-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; @@ -12576,7 +12612,7 @@ post.res diff = --- tests/post.c -+++ /tmp/cocci-output-877-34176c-post.c ++++ /tmp/cocci-output-2484-e8d156-post.c @@ -1,8 +1,6 @@ int main() { - f(3, foo + bar, 5); @@ -12589,7 +12625,7 @@ pragma2.res diff = --- tests/pragma2.c -+++ /tmp/cocci-output-877-82ebf1-pragma2.c ++++ /tmp/cocci-output-2484-bb9063-pragma2.c @@ -4,7 +4,7 @@ int main() int n = 3; // FIXME: problem: uncommenting this breaks matching @@ -12604,7 +12640,7 @@ warning: rule starting on line 1: metavariable i not used in the - or context code diff = --- tests/pragma3.c -+++ /tmp/cocci-output-877-540338-pragma3.c ++++ /tmp/cocci-output-2484-fdc649-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') */ @@ -12617,7 +12653,7 @@ pragmatest1.res diff = --- tests/pragmatest1.c -+++ /tmp/cocci-output-877-4af1a2-pragmatest1.c ++++ /tmp/cocci-output-2484-233a74-pragmatest1.c @@ -1,3 +1 @@ -#pragma xxx a b c @@ -12625,12 +12661,12 @@ pragmatest2.res warning: r: metavariable i not used in the - or context code Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_8efd9b.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_8efd9b.ml +ocamlc.opt -c /tmp/ocaml_cocci_873d74.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_873d74.ml Compilation OK! Loading ML code of the SP... diff = --- tests/pragmatest2.c -+++ /tmp/cocci-output-877-25fe2e-pragmatest2.c ++++ /tmp/cocci-output-2484-66667b-pragmatest2.c @@ -1,6 +1,4 @@ #pragma xxx this is a test @@ -12643,7 +12679,7 @@ warning: rule starting on line 1: metavariable E not used in the - or context code diff = --- tests/print_return.c -+++ /tmp/cocci-output-877-d6cfc2-print_return.c ++++ /tmp/cocci-output-2484-7b0119-print_return.c @@ -1,4 +1,3 @@ int config(struct pcmcia_device *link) { - bar(); @@ -12653,7 +12689,7 @@ proto.res diff = --- tests/proto.c -+++ /tmp/cocci-output-877-d369f9-proto.c ++++ /tmp/cocci-output-2484-f2d1d9-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); @@ -12668,7 +12704,7 @@ proto2.res diff = --- tests/proto2.c -+++ /tmp/cocci-output-877-5f31d9-proto2.c ++++ /tmp/cocci-output-2484-5b418d-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); @@ -12685,7 +12721,7 @@ proto_ver1.res diff = --- tests/proto_ver1.c -+++ /tmp/cocci-output-877-055ae2-proto_ver1.c ++++ /tmp/cocci-output-2484-6e3cec-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); @@ -12700,7 +12736,7 @@ proto_ver2.res diff = --- tests/proto_ver2.c -+++ /tmp/cocci-output-877-fb0a0b-proto_ver2.c ++++ /tmp/cocci-output-2484-38da60-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); @@ -12729,7 +12765,7 @@ protoassert.res diff = --- tests/protoassert.c -+++ /tmp/cocci-output-877-9f1e2f-protoassert.c ++++ /tmp/cocci-output-2484-75e29b-protoassert.c @@ -1,6 +1,8 @@ static unsigned mii_rd(ioaddr_t ioaddr, u_char phyaddr, u_char phyreg); @@ -12743,7 +12779,7 @@ protocpp.res diff = --- tests/protocpp.cpp -+++ /tmp/cocci-output-877-a8198b-protocpp.cpp ++++ /tmp/cocci-output-2484-72ff0d-protocpp.cpp @@ -1 +1 @@ -int mm_write_banner(std::ofstream &ofs, MM_typecode matcode); +int mm_write_banner(std::ofstream &ofs, MM_typecode xxx); @@ -12752,7 +12788,7 @@ ptrar.res diff = --- tests/ptrar.c -+++ /tmp/cocci-output-877-f5277f-ptrar.c ++++ /tmp/cocci-output-2484-977b52-ptrar.c @@ -1,8 +1,8 @@ int main () { struct foo *x; @@ -12769,7 +12805,7 @@ ptrconstptr.res diff = --- tests/ptrconstptr.c -+++ /tmp/cocci-output-877-cf279b-ptrconstptr.c ++++ /tmp/cocci-output-2484-53012a-ptrconstptr.c @@ -1,3 +1,3 @@ void main() { - const char * const * x; @@ -12781,7 +12817,7 @@ warning: rule starting on line 12: metavariable S not used in the - or context code diff = --- tests/putloop.c -+++ /tmp/cocci-output-877-9f3968-putloop.c ++++ /tmp/cocci-output-2484-6a1e27-putloop.c @@ -4,13 +4,11 @@ static int atmel_pctl_dt_node_to_map(str unsigned int *num_maps) { @@ -12811,7 +12847,7 @@ qual.res diff = --- tests/qual.cpp -+++ /tmp/cocci-output-877-18c58b-qual.cpp ++++ /tmp/cocci-output-2484-161ad4-qual.cpp @@ -1,3 +1,3 @@ int main () { - return std::isspace(text[index]); @@ -12820,7 +12856,7 @@ qualclass.res diff = --- tests/qualclass.cpp -+++ /tmp/cocci-output-877-67650c-qualclass.cpp ++++ /tmp/cocci-output-2484-81aaf3-qualclass.cpp @@ -1,3 +1,3 @@ class ResidualNorm : public ::testing::Test { - int x; @@ -12830,7 +12866,7 @@ SPECIAL NAMES: adding survived_r1 as a type diff = --- tests/qualifier.c -+++ /tmp/cocci-output-877-95082d-qualifier.c ++++ /tmp/cocci-output-2484-7d654c-qualifier.c @@ -1,11 +1,11 @@ int *foo(const int *i) { @@ -12868,7 +12904,7 @@ range.res diff = --- tests/range.c -+++ /tmp/cocci-output-877-468135-range.c ++++ /tmp/cocci-output-2484-964f14-range.c @@ -1,17 +1,8 @@ int main() { - f(1); @@ -12891,7 +12927,7 @@ SPECIAL NAMES: adding RB_DECLARE_CALLBACKS_MAX as a declarer diff = --- tests/rb.c -+++ /tmp/cocci-output-877-bd35f5-rb.c ++++ /tmp/cocci-output-2484-ffa75b-rb.c @@ -1,2 +1 @@ -RB_DECLARE_CALLBACKS_MAX(static, augment_callbacks, struct drbd_interval, -rb, sector_t, end, NODE_END); @@ -12899,7 +12935,7 @@ rcu3.res diff = --- tests/rcu3.c -+++ /tmp/cocci-output-877-a633bb-rcu3.c ++++ /tmp/cocci-output-2484-29b32b-rcu3.c @@ -3,6 +3,6 @@ static struct mtd_chip_driver *get_mtd_c struct list_head *pos; struct mtd_chip_driver *this; @@ -12912,7 +12948,7 @@ refl.res diff = --- tests/refl.c -+++ /tmp/cocci-output-877-03d25f-refl.c ++++ /tmp/cocci-output-2484-738a2a-refl.c @@ -1,5 +1,3 @@ int main () { int x; @@ -12922,7 +12958,7 @@ regesc.res diff = --- tests/regesc.c -+++ /tmp/cocci-output-877-e5307f-regesc.c ++++ /tmp/cocci-output-2484-aaaa83-regesc.c @@ -1,5 +1,5 @@ int main () { - f(".foo"); @@ -12934,7 +12970,7 @@ regexp.res diff = --- tests/regexp.c -+++ /tmp/cocci-output-877-76093b-regexp.c ++++ /tmp/cocci-output-2484-e51f36-regexp.c @@ -1,9 +1,23 @@ int main(void) { @@ -12962,7 +12998,7 @@ regexp2.res diff = --- tests/regexp2.c -+++ /tmp/cocci-output-877-888283-regexp2.c ++++ /tmp/cocci-output-2484-57ac4c-regexp2.c @@ -2,9 +2,23 @@ int main(void) { @@ -12990,7 +13026,7 @@ regexp3.res diff = --- tests/regexp3.c -+++ /tmp/cocci-output-877-dbe4dc-regexp3.c ++++ /tmp/cocci-output-2484-1c1463-regexp3.c @@ -2,10 +2,27 @@ int main(void) { @@ -13021,12 +13057,12 @@ } relevant_position.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_f8daf3.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f8daf3.ml +ocamlc.opt -c /tmp/ocaml_cocci_18ff28.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_18ff28.ml Compilation OK! Loading ML code of the SP... diff = --- tests/relevant_position.c -+++ /tmp/cocci-output-877-ee9acf-relevant_position.c ++++ /tmp/cocci-output-2484-094e27-relevant_position.c @@ -1,4 +1,4 @@ -struct blah { struct list_head xxx; }; + @@ -13036,7 +13072,7 @@ rem1.res diff = --- tests/rem1.c -+++ /tmp/cocci-output-877-5774b7-rem1.c ++++ /tmp/cocci-output-2484-871775-rem1.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -13046,7 +13082,7 @@ rem2.res diff = --- tests/rem2.c -+++ /tmp/cocci-output-877-94f2d1-rem2.c ++++ /tmp/cocci-output-2484-ce3330-rem2.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -13056,7 +13092,7 @@ remaft.res diff = --- tests/remaft.c -+++ /tmp/cocci-output-877-6f27a1-remaft.c ++++ /tmp/cocci-output-2484-bed66b-remaft.c @@ -1,8 +1,6 @@ int main() { #ifdef BLAH @@ -13069,7 +13105,7 @@ remcom.res diff = --- tests/remcom.c -+++ /tmp/cocci-output-877-a9b5d9-remcom.c ++++ /tmp/cocci-output-2484-a8b15c-remcom.c @@ -3,20 +3,12 @@ asyncmeta_retry( Operation *op ) { @@ -13097,7 +13133,7 @@ remcom2.res diff = --- tests/remcom2.c -+++ /tmp/cocci-output-877-4f26c5-remcom2.c ++++ /tmp/cocci-output-2484-c7bccf-remcom2.c @@ -2,7 +2,5 @@ int fn() { if (y) { @@ -13109,7 +13145,7 @@ remodif.res diff = --- tests/remodif.c -+++ /tmp/cocci-output-877-d3852a-remodif.c ++++ /tmp/cocci-output-2484-64625b-remodif.c @@ -5,7 +5,7 @@ static int hexium_attach(struct saa7146_ DEB_EE("\n"); @@ -13122,7 +13158,7 @@ remove-code-in-branch1.res diff = --- tests/remove-code-in-branch1.c -+++ /tmp/cocci-output-877-b69e95-remove-code-in-branch1.c ++++ /tmp/cocci-output-2484-00997c-remove-code-in-branch1.c @@ -1,7 +1,7 @@ int main(void) { @@ -13135,7 +13171,7 @@ remove_call.res diff = --- tests/remove_call.c -+++ /tmp/cocci-output-877-966180-remove_call.c ++++ /tmp/cocci-output-2484-b4f5d7-remove_call.c @@ -1,6 +1,2 @@ int main () { - int x = 3 + FN() + FN(); @@ -13147,7 +13183,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/remove_cast_attr.c -+++ /tmp/cocci-output-877-a64af4-remove_cast_attr.c ++++ /tmp/cocci-output-2484-2accef-remove_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -13164,7 +13200,7 @@ remove_cast_attr_allminus.res diff = --- tests/remove_cast_attr_allminus.c -+++ /tmp/cocci-output-877-bc2054-remove_cast_attr_allminus.c ++++ /tmp/cocci-output-2484-214724-remove_cast_attr_allminus.c @@ -2,9 +2,9 @@ int func() @@ -13185,7 +13221,7 @@ SPECIAL NAMES: adding __macro_attr as a attribute diff = --- tests/remove_macrodecl_attr.c -+++ /tmp/cocci-output-877-f5cb55-remove_macrodecl_attr.c ++++ /tmp/cocci-output-2484-65c437-remove_macrodecl_attr.c @@ -1,3 +1,3 @@ #define __macro_attr MACROANNOTATION @@ -13195,7 +13231,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/remove_metaattr.c -+++ /tmp/cocci-output-877-f93194-remove_metaattr.c ++++ /tmp/cocci-output-2484-7a0ba2-remove_metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -13207,7 +13243,7 @@ SPECIAL NAMES: adding __nocast as a attribute diff = --- tests/remove_param_attrs.c -+++ /tmp/cocci-output-877-82187c-remove_param_attrs.c ++++ /tmp/cocci-output-2484-45c78a-remove_param_attrs.c @@ -6,15 +6,15 @@ int func2(int x, int __nocast y) { return 0; } @@ -13231,7 +13267,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr.c -+++ /tmp/cocci-output-877-9f259b-remove_struct_endattr.c ++++ /tmp/cocci-output-2484-c2da43-remove_struct_endattr.c @@ -4,4 +4,4 @@ struct abcd { int a; int b; @@ -13242,7 +13278,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr_allminus.c -+++ /tmp/cocci-output-877-3ca517-remove_struct_endattr_allminus.c ++++ /tmp/cocci-output-2484-31c213-remove_struct_endattr_allminus.c @@ -1,13 +1 @@ #define __struct_endattr MACROANNOTATION - @@ -13260,7 +13296,7 @@ remparam.res diff = --- tests/remparam.c -+++ /tmp/cocci-output-877-bddfc2-remparam.c ++++ /tmp/cocci-output-2484-79feaa-remparam.c @@ -1,14 +1,14 @@ static irqreturn_t -snd_ad1889_interrupt(void *dev_id, int x, @@ -13283,7 +13319,7 @@ rems.res diff = --- tests/rems.c -+++ /tmp/cocci-output-877-715f81-rems.c ++++ /tmp/cocci-output-2484-a44125-rems.c @@ -1,5 +1,4 @@ int main () { x(); @@ -13293,7 +13329,7 @@ rems1.res diff = --- tests/rems1.c -+++ /tmp/cocci-output-877-439a91-rems1.c ++++ /tmp/cocci-output-2484-4242ab-rems1.c @@ -1,5 +1,4 @@ int main () { x(); @@ -13305,7 +13341,7 @@ warning: line 8: should xxx be a metavariable? diff = --- tests/remstruct.c -+++ /tmp/cocci-output-877-1b1029-remstruct.c ++++ /tmp/cocci-output-2484-6c5b70-remstruct.c @@ -1,13 +1,4 @@ -static struct irqchip mpuio_irq_chip = { - .ack = mpuio_ack_irq, @@ -13323,7 +13359,7 @@ remu.res diff = --- tests/remu.c -+++ /tmp/cocci-output-877-3f2122-remu.c ++++ /tmp/cocci-output-2484-5845cf-remu.c @@ -1,5 +1,4 @@ struct anon_vma { int x; @@ -13333,7 +13369,7 @@ replace_typedef.res diff = --- tests/replace_typedef.c -+++ /tmp/cocci-output-877-d141dd-replace_typedef.c ++++ /tmp/cocci-output-2484-cdf409-replace_typedef.c @@ -3,8 +3,8 @@ typedef struct foo { int x; } foo_t; typedef int int_t; @@ -13348,7 +13384,7 @@ replacement3.res diff = --- tests/replacement3.c -+++ /tmp/cocci-output-877-53a4ac-replacement3.c ++++ /tmp/cocci-output-2484-ad00ef-replacement3.c @@ -1,6 +1,5 @@ int main() { - int *i; @@ -13360,7 +13396,7 @@ reserved.res diff = --- tests/reserved.c -+++ /tmp/cocci-output-877-a22451-reserved.c ++++ /tmp/cocci-output-2484-acb16b-reserved.c @@ -1,7 +1,4 @@ int main() { - f(1,1); @@ -13372,7 +13408,7 @@ retest.res diff = --- tests/retest.c -+++ /tmp/cocci-output-877-cb2b40-retest.c ++++ /tmp/cocci-output-2484-3da420-retest.c @@ -1,6 +1,6 @@ int main () { foo(); @@ -13384,7 +13420,7 @@ retmacro.res diff = --- tests/retmacro.c -+++ /tmp/cocci-output-877-9765f3-retmacro.c ++++ /tmp/cocci-output-2484-85e7c5-retmacro.c @@ -1,6 +1,6 @@ #define REG_PATTERN_TEST(R, M, W) \ { \ @@ -13407,7 +13443,7 @@ warning: rule starting on line 18: metavariable S not used in the - or context code diff = --- tests/return.c -+++ /tmp/cocci-output-877-0e4d3b-return.c ++++ /tmp/cocci-output-2484-81b0a7-return.c @@ -1,6 +1,9 @@ void foo(int y) { int x; @@ -13423,7 +13459,7 @@ return_implicit.res diff = --- tests/return_implicit.c -+++ /tmp/cocci-output-877-e11765-return_implicit.c ++++ /tmp/cocci-output-2484-3328fd-return_implicit.c @@ -1,4 +1,5 @@ void main(void) { @@ -13433,7 +13469,7 @@ retval.res diff = --- tests/retval.c -+++ /tmp/cocci-output-877-dc6a91-retval.c ++++ /tmp/cocci-output-2484-b32815-retval.c @@ -1,21 +1,15 @@ int main () { if (retval1) { @@ -13463,7 +13499,7 @@ retval2.res diff = --- tests/retval2.c -+++ /tmp/cocci-output-877-aa9420-retval2.c ++++ /tmp/cocci-output-2484-385697-retval2.c @@ -11,7 +11,7 @@ int getlen(int *input, size_t maxlen, in return -1; } @@ -13477,7 +13513,7 @@ warning: rule starting on line 8: metavariable p1 not used in the - or context code diff = --- tests/reusevar.c -+++ /tmp/cocci-output-877-fd2d5d-reusevar.c ++++ /tmp/cocci-output-2484-f49a9f-reusevar.c @@ -1,8 +1,5 @@ int main () { - f(x); @@ -13495,7 +13531,7 @@ SPECIAL NAMES: adding __ro_after_init as a attribute diff = --- tests/roa.c -+++ /tmp/cocci-output-877-056098-roa.c ++++ /tmp/cocci-output-2484-e8e2e8-roa.c @@ -1,10 +1,10 @@ -struct arm_delay_ops arm_delay_ops __ro_after_init = { +struct found used __ro_after_init = { @@ -13513,7 +13549,7 @@ rptr.res diff = --- tests/rptr.c -+++ /tmp/cocci-output-877-68f60b-rptr.c ++++ /tmp/cocci-output-2484-01d2ff-rptr.c @@ -1,6 +1,4 @@ int foo(struct resource *r) { @@ -13526,7 +13562,7 @@ same_expr.res diff = --- tests/same_expr.c -+++ /tmp/cocci-output-877-ccbf88-same_expr.c ++++ /tmp/cocci-output-2484-81d72f-same_expr.c @@ -1,6 +1,5 @@ void main(int i) { @@ -13537,7 +13573,7 @@ sbef.res diff = --- tests/sbef.c -+++ /tmp/cocci-output-877-67583b-sbef.c ++++ /tmp/cocci-output-2484-615518-sbef.c @@ -2,6 +2,5 @@ int main () { { a(); @@ -13548,7 +13584,7 @@ sbef2.res diff = --- tests/sbef2.c -+++ /tmp/cocci-output-877-7b4d4a-sbef2.c ++++ /tmp/cocci-output-2484-ef1e15-sbef2.c @@ -1,5 +1,4 @@ int main() { f(12); @@ -13558,7 +13594,7 @@ scope_problem.res diff = --- tests/scope_problem.c -+++ /tmp/cocci-output-877-d40af5-scope_problem.c ++++ /tmp/cocci-output-2484-b7a9c9-scope_problem.c @@ -1,15 +1,7 @@ void main(int i) { - @@ -13580,7 +13616,7 @@ SPECIAL NAMES: adding MyFloat as a type diff = --- tests/sd_2.c -+++ /tmp/cocci-output-877-1e0e93-sd_2.c ++++ /tmp/cocci-output-2484-0cdaf1-sd_2.c @@ -1 +1 @@ - struct particle_data_extra { MyFloat Mass; }; + struct particle_data_extra { MyFloat *Mass; }; @@ -13591,7 +13627,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/shared_brace.c -+++ /tmp/cocci-output-877-0ec84c-shared_brace.c ++++ /tmp/cocci-output-2484-f239b8-shared_brace.c @@ -1,9 +1,7 @@ int __init ixj_init(void) @@ -13612,7 +13648,7 @@ warning: line 23: should p be a metavariable? diff = --- tests/signed.c -+++ /tmp/cocci-output-877-e8929c-signed.c ++++ /tmp/cocci-output-2484-efdcca-signed.c @@ -1,5 +1,5 @@ -int main(signed *m, unsigned *p) { - signed x; @@ -13627,7 +13663,7 @@ SPECIAL NAMES: adding DEFINE_MUTEX as a declarer diff = --- tests/sis.c -+++ /tmp/cocci-output-877-7bc54e-sis.c ++++ /tmp/cocci-output-2484-a405df-sis.c @@ -1,4 +1,4 @@ -DECLARE_MUTEX(disconnect_sem); +DEFINE_MUTEX(disconnect_sem); @@ -13637,7 +13673,7 @@ sizeof.res diff = --- tests/sizeof.c -+++ /tmp/cocci-output-877-76aa03-sizeof.c ++++ /tmp/cocci-output-2484-1e0c61-sizeof.c @@ -1,7 +1,7 @@ int main (int param) { @@ -13651,7 +13687,7 @@ sizeof_julia.res diff = --- tests/sizeof_julia.c -+++ /tmp/cocci-output-877-b03622-sizeof_julia.c ++++ /tmp/cocci-output-2484-f4a04f-sizeof_julia.c @@ -1,5 +1,5 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) @@ -13662,7 +13698,7 @@ sizeptr.res diff = --- tests/sizeptr.c -+++ /tmp/cocci-output-877-5dee4a-sizeptr.c ++++ /tmp/cocci-output-2484-0df96e-sizeptr.c @@ -5,7 +5,7 @@ int main () { ssize_t b; ptrdiff_t c; @@ -13677,7 +13713,7 @@ sizestar.res diff = --- tests/sizestar.c -+++ /tmp/cocci-output-877-b23fd1-sizestar.c ++++ /tmp/cocci-output-2484-cb598f-sizestar.c @@ -1,7 +1,7 @@ int main () { max = num_var_ranges; @@ -13690,7 +13726,7 @@ sizet.res diff = --- tests/sizet.cpp -+++ /tmp/cocci-output-877-2afbeb-sizet.cpp ++++ /tmp/cocci-output-2484-31b925-sizet.cpp @@ -1,3 +1,2 @@ int main() { - size_t x; @@ -13698,7 +13734,7 @@ sizet1.res diff = --- tests/sizet1.c -+++ /tmp/cocci-output-877-3b4807-sizet1.c ++++ /tmp/cocci-output-2484-06739f-sizet1.c @@ -1,3 +1,2 @@ int main() { - size_t x; @@ -13706,7 +13742,7 @@ skip.res diff = --- tests/skip.c -+++ /tmp/cocci-output-877-f2dfb4-skip.c ++++ /tmp/cocci-output-2484-faf4a4-skip.c @@ -1,5 +1,3 @@ int main () { - f(1); @@ -13717,7 +13753,7 @@ sl2.res diff = --- tests/sl2.c -+++ /tmp/cocci-output-877-88e3c2-sl2.c ++++ /tmp/cocci-output-2484-5221a5-sl2.c @@ -1,11 +1,14 @@ int main () { + something(); @@ -13738,12 +13774,12 @@ one(); slen.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_fa792b.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_fa792b.ml +ocamlc.opt -c /tmp/ocaml_cocci_c002f4.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c002f4.ml Compilation OK! Loading ML code of the SP... diff = --- tests/slen.c -+++ /tmp/cocci-output-877-10f02d-slen.c ++++ /tmp/cocci-output-2484-54f268-slen.c @@ -3,16 +3,10 @@ int main() { one(); } @@ -13766,7 +13802,7 @@ smallfn.res diff = --- tests/smallfn.c -+++ /tmp/cocci-output-877-584518-smallfn.c ++++ /tmp/cocci-output-2484-d52228-smallfn.c @@ -1,30 +1,65 @@ int main () { if (y) { @@ -13846,7 +13882,7 @@ snip_field.res diff = --- tests/snip_field.cpp -+++ /tmp/cocci-output-877-986e80-snip_field.cpp ++++ /tmp/cocci-output-2484-64effe-snip_field.cpp @@ -1,2 +1,7 @@ -struct str_t { int f1; int f2; int a; int b; }; +struct str_t { int a; }; @@ -13859,7 +13895,7 @@ snprintf.res diff = --- tests/snprintf.c -+++ /tmp/cocci-output-877-6c7fbf-snprintf.c ++++ /tmp/cocci-output-2484-e6034c-snprintf.c @@ -1,4 +1,4 @@ static ssize_t idletimer_tg_show(char *buf) { @@ -13869,7 +13905,7 @@ sp.res diff = --- tests/sp.c -+++ /tmp/cocci-output-877-bf3f5b-sp.c ++++ /tmp/cocci-output-2484-79086e-sp.c @@ -1,4 +1,4 @@ -typedef struct { +struct name { @@ -13881,7 +13917,7 @@ spacing.res diff = --- tests/spacing.c -+++ /tmp/cocci-output-877-c5467a-spacing.c ++++ /tmp/cocci-output-2484-6f4e7c-spacing.c @@ -1,8 +1,21 @@ typedef int *foo; @@ -13907,7 +13943,7 @@ spl.res diff = --- tests/spl.c -+++ /tmp/cocci-output-877-2d8d2f-spl.c ++++ /tmp/cocci-output-2484-ba7798-spl.c @@ -2,11 +2,13 @@ int main() { spin_lock(&isp116x->lock); /* take idle endpoints out of the schedule */ @@ -13925,7 +13961,7 @@ split_funcall1.res diff = --- tests/split_funcall1.c -+++ /tmp/cocci-output-877-ff06e0-split_funcall1.c ++++ /tmp/cocci-output-2484-e96304-split_funcall1.c @@ -1,4 +1,4 @@ int main(void) { @@ -13935,7 +13971,7 @@ split_funcall2.res diff = --- tests/split_funcall2.c -+++ /tmp/cocci-output-877-595693-split_funcall2.c ++++ /tmp/cocci-output-2484-134e91-split_funcall2.c @@ -1,4 +1,4 @@ int main(void) { @@ -13945,7 +13981,7 @@ square.res diff = --- tests/square.c -+++ /tmp/cocci-output-877-876642-square.c ++++ /tmp/cocci-output-2484-7468ba-square.c @@ -2,7 +2,7 @@ int two() { return 2; } int main() { int a[3]; @@ -13961,7 +13997,7 @@ SPECIAL NAMES: adding LPINT as a type diff = --- tests/starprint.c -+++ /tmp/cocci-output-877-23c778-starprint.c ++++ /tmp/cocci-output-2484-603d56-starprint.c @@ -1,6 +1,6 @@ typedef int *LPINT; @@ -13973,7 +14009,7 @@ static.res diff = --- tests/static.c -+++ /tmp/cocci-output-877-023493-static.c ++++ /tmp/cocci-output-2484-00979e-static.c @@ -1,4 +1,3 @@ static inline int i8042_read_data(void) { @@ -13984,7 +14020,7 @@ stm10.res diff = --- tests/stm10.c -+++ /tmp/cocci-output-877-c36a2c-stm10.c ++++ /tmp/cocci-output-2484-a2417d-stm10.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -13996,7 +14032,7 @@ stm10_ver1.res diff = --- tests/stm10_ver1.c -+++ /tmp/cocci-output-877-780f67-stm10_ver1.c ++++ /tmp/cocci-output-2484-5212b4-stm10_ver1.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -14007,7 +14043,7 @@ stm2.res diff = --- tests/stm2.c -+++ /tmp/cocci-output-877-490e30-stm2.c ++++ /tmp/cocci-output-2484-dd8dc1-stm2.c @@ -1,5 +1,4 @@ int main(int x) { f(); @@ -14017,7 +14053,7 @@ stm3.res diff = --- tests/stm3.c -+++ /tmp/cocci-output-877-d8dbdb-stm3.c ++++ /tmp/cocci-output-2484-2af418-stm3.c @@ -1,5 +1,5 @@ int main(int x) { f(); @@ -14028,7 +14064,7 @@ stm4.res diff = --- tests/stm4.c -+++ /tmp/cocci-output-877-e29b08-stm4.c ++++ /tmp/cocci-output-2484-9579f5-stm4.c @@ -2,4 +2,5 @@ int main(int x) { f(); replace(); @@ -14038,7 +14074,7 @@ stm5.res diff = --- tests/stm5.c -+++ /tmp/cocci-output-877-43e060-stm5.c ++++ /tmp/cocci-output-2484-bb3be2-stm5.c @@ -1,5 +1,7 @@ int main(int x) { f(); @@ -14050,7 +14086,7 @@ stm6.res diff = --- tests/stm6.c -+++ /tmp/cocci-output-877-2ce92b-stm6.c ++++ /tmp/cocci-output-2484-07f98c-stm6.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -14063,7 +14099,7 @@ stm8.res diff = --- tests/stm8.c -+++ /tmp/cocci-output-877-fe3015-stm8.c ++++ /tmp/cocci-output-2484-a4bf11-stm8.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -14074,7 +14110,7 @@ stm_exp.res diff = --- tests/stm_exp.c -+++ /tmp/cocci-output-877-0709c1-stm_exp.c ++++ /tmp/cocci-output-2484-8e80de-stm_exp.c @@ -1,7 +1,5 @@ int main() { - abs(); @@ -14086,7 +14122,7 @@ stmt.res diff = --- tests/stmt.c -+++ /tmp/cocci-output-877-b8a7cb-stmt.c ++++ /tmp/cocci-output-2484-7863c2-stmt.c @@ -1,4 +1,5 @@ int f() { int x; @@ -14096,7 +14132,7 @@ stmt_removed_and_added.res diff = --- tests/stmt_removed_and_added.c -+++ /tmp/cocci-output-877-d838b9-stmt_removed_and_added.c ++++ /tmp/cocci-output-2484-eed4ea-stmt_removed_and_added.c @@ -1,6 +1,6 @@ void main() { @@ -14109,7 +14145,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/str_init.c -+++ /tmp/cocci-output-877-8bc80f-str_init.c ++++ /tmp/cocci-output-2484-e9f4f1-str_init.c @@ -1,7 +1,3 @@ struct foo x = { - .aaa = 5, @@ -14122,7 +14158,7 @@ warning: rule starting on line 1: metavariable f not used in the - or context code diff = --- tests/strangeorder.c -+++ /tmp/cocci-output-877-cb8dc0-strangeorder.c ++++ /tmp/cocci-output-2484-3123ee-strangeorder.c @@ -4,8 +4,10 @@ i2c_new_device(struct i2c_adapter *adap, struct i2c_client *client; @@ -14138,7 +14174,7 @@ strid.res diff = --- tests/strid.c -+++ /tmp/cocci-output-877-ecc1e0-strid.c ++++ /tmp/cocci-output-2484-fffed0-strid.c @@ -1,4 +1,4 @@ int main () { struct foo *a; @@ -14148,7 +14184,7 @@ strid2.res diff = --- tests/strid2.c -+++ /tmp/cocci-output-877-5a799b-strid2.c ++++ /tmp/cocci-output-2484-d5b9db-strid2.c @@ -3,8 +3,8 @@ int main () { enum foo1 *b; struct foo a1; @@ -14164,7 +14200,7 @@ strtest.res diff = --- tests/strtest.c -+++ /tmp/cocci-output-877-5bd8c2-strtest.c ++++ /tmp/cocci-output-2484-07317c-strtest.c @@ -1,3 +1,3 @@ int main() { - printf("hello\n"); @@ -14173,7 +14209,7 @@ struct.res diff = --- tests/struct.c -+++ /tmp/cocci-output-877-5a9fe2-struct.c ++++ /tmp/cocci-output-2484-80e319-struct.c @@ -8,7 +8,5 @@ struct foo { int main() { @@ -14185,7 +14221,7 @@ struct_metavar.res diff = --- tests/struct_metavar.c -+++ /tmp/cocci-output-877-7fa82c-struct_metavar.c ++++ /tmp/cocci-output-2484-005cbf-struct_metavar.c @@ -9,9 +9,6 @@ struct foo { int main() { struct foo *a; @@ -14199,7 +14235,7 @@ struct_typedef.res diff = --- tests/struct_typedef.c -+++ /tmp/cocci-output-877-88ded1-struct_typedef.c ++++ /tmp/cocci-output-2484-7bceb6-struct_typedef.c @@ -1,5 +1,5 @@ -typedef struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -14213,7 +14249,7 @@ warning: line 5: should my_foo be a metavariable? diff = --- tests/structfoo.c -+++ /tmp/cocci-output-877-0926dc-structfoo.c ++++ /tmp/cocci-output-2484-2a8a4c-structfoo.c @@ -1,4 +1 @@ -struct foo my_foo[] = { -.a = 1, @@ -14223,7 +14259,7 @@ structptr_func.res diff = --- tests/structptr_func.c -+++ /tmp/cocci-output-877-5a764f-structptr_func.c ++++ /tmp/cocci-output-2484-c2711d-structptr_func.c @@ -1,5 +1,6 @@ void func(struct socket *sock, struct sockaddr *uaddr, int peer) { @@ -14235,7 +14271,7 @@ substruct.res diff = --- tests/substruct.c -+++ /tmp/cocci-output-877-fd3706-substruct.c ++++ /tmp/cocci-output-2484-8e221c-substruct.c @@ -1,5 +1,5 @@ struct a { int a; } x[2] = { @@ -14247,14 +14283,14 @@ sw.res diff = --- tests/sw.c -+++ /tmp/cocci-output-877-606049-sw.c ++++ /tmp/cocci-output-2484-a1cf61-sw.c @@ -1 +1 @@ -int f() { switch (x) { case FOO: return; } } + swap3.res diff = --- tests/swap3.c -+++ /tmp/cocci-output-877-400e22-swap3.c ++++ /tmp/cocci-output-2484-eccc79-swap3.c @@ -2,7 +2,7 @@ static void __ar955x_tx_iq_cal_sort(stru struct coeff *coeff, int i, int nmeasurement) @@ -14267,7 +14303,7 @@ switch.res diff = --- tests/switch.c -+++ /tmp/cocci-output-877-fc0037-switch.c ++++ /tmp/cocci-output-2484-4f1245-switch.c @@ -3,6 +3,5 @@ int main () { default: break; @@ -14279,7 +14315,7 @@ warning: switch_1: metavariable S_1 not used in the - or context code diff = --- tests/switchdecl.c -+++ /tmp/cocci-output-877-8dfcad-switchdecl.c ++++ /tmp/cocci-output-2484-ea8c90-switchdecl.c @@ -4,7 +4,7 @@ switch (2) { int x; @@ -14293,7 +14329,7 @@ warning: line 12: should g be a metavariable? diff = --- tests/symbol.c -+++ /tmp/cocci-output-877-8ef7f6-symbol.c ++++ /tmp/cocci-output-2484-d3654e-symbol.c @@ -1,7 +1,5 @@ int main() { int f = 0; @@ -14305,7 +14341,7 @@ td.res diff = --- tests/td.c -+++ /tmp/cocci-output-877-e29b70-td.c ++++ /tmp/cocci-output-2484-ba49a9-td.c @@ -1,5 +1,5 @@ -struct foo {int a;}; +struct foo {int b;}; @@ -14318,7 +14354,7 @@ tdnl.res diff = --- tests/tdnl.c -+++ /tmp/cocci-output-877-56ed13-tdnl.c ++++ /tmp/cocci-output-2484-32324e-tdnl.c @@ -4,5 +4,4 @@ void main() { @@ -14328,7 +14364,7 @@ tdplus.res diff = --- tests/tdplus.c -+++ /tmp/cocci-output-877-20d3d9-tdplus.c ++++ /tmp/cocci-output-2484-950c65-tdplus.c @@ -1 +1 @@ -typedef int (*filler_t)(int, int); +typedef int (*filler_t)(int, struct address_space *, int); @@ -14337,7 +14373,7 @@ SPECIAL NAMES: adding abc as a type diff = --- tests/template_test.cpp -+++ /tmp/cocci-output-877-9e8042-template_test.cpp ++++ /tmp/cocci-output-2484-3c1f0a-template_test.cpp @@ -1,5 +1,6 @@ int min() { int x; @@ -14348,7 +14384,7 @@ templates1.res diff = --- tests/templates1.cpp -+++ /tmp/cocci-output-877-99e2aa-templates1.cpp ++++ /tmp/cocci-output-2484-b93b91-templates1.cpp @@ -1,9 +1,9 @@ -template +template @@ -14364,7 +14400,7 @@ tern.res diff = --- tests/tern.c -+++ /tmp/cocci-output-877-6210fd-tern.c ++++ /tmp/cocci-output-2484-19d675-tern.c @@ -1,4 +1,4 @@ int main () { - return (wc >= 0 && wc <= 0x7f ? wc : 0x7f); @@ -14374,7 +14410,7 @@ test0.res diff = --- tests/test0.c -+++ /tmp/cocci-output-877-fd75f8-test0.c ++++ /tmp/cocci-output-2484-fa534f-test0.c @@ -1,5 +1,3 @@ int main(int i) { - f(1); @@ -14384,7 +14420,7 @@ test1.res diff = --- tests/test1.c -+++ /tmp/cocci-output-877-7ae340-test1.c ++++ /tmp/cocci-output-2484-77dd73-test1.c @@ -6,9 +6,9 @@ void main(int foo) { x(); if(1) { @@ -14401,7 +14437,7 @@ test10_ver1.res diff = --- tests/test10_ver1.c -+++ /tmp/cocci-output-877-470e70-test10_ver1.c ++++ /tmp/cocci-output-2484-124af1-test10_ver1.c @@ -3,7 +3,7 @@ void main(int i) { f(1); g(1); @@ -14415,7 +14451,7 @@ test11_ver1.res diff = --- tests/test11_ver1.c -+++ /tmp/cocci-output-877-b42ffb-test11_ver1.c ++++ /tmp/cocci-output-2484-7520d3-test11_ver1.c @@ -2,6 +2,6 @@ void main(int i) { f(1); g(1); @@ -14427,7 +14463,7 @@ test12.res diff = --- tests/test12.c -+++ /tmp/cocci-output-877-80d0f7-test12.c ++++ /tmp/cocci-output-2484-8bc582-test12.c @@ -1,6 +1,6 @@ void main(int foo) { @@ -14439,7 +14475,7 @@ test2.res diff = --- tests/test2.c -+++ /tmp/cocci-output-877-1dcb56-test2.c ++++ /tmp/cocci-output-2484-64e3b8-test2.c @@ -2,7 +2,7 @@ void main() { f(1,2,3); @@ -14453,7 +14489,7 @@ test3.res diff = --- tests/test3.c -+++ /tmp/cocci-output-877-e87632-test3.c ++++ /tmp/cocci-output-2484-c0465d-test3.c @@ -4,7 +4,7 @@ void main() f(3); @@ -14467,7 +14503,7 @@ test4.res diff = --- tests/test4.c -+++ /tmp/cocci-output-877-ead0c9-test4.c ++++ /tmp/cocci-output-2484-da96b0-test4.c @@ -1,7 +1,6 @@ void main() { @@ -14479,7 +14515,7 @@ test5.res diff = --- tests/test5.c -+++ /tmp/cocci-output-877-49606d-test5.c ++++ /tmp/cocci-output-2484-8a2787-test5.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -14495,7 +14531,7 @@ test5_ver1.res diff = --- tests/test5_ver1.c -+++ /tmp/cocci-output-877-eae8e4-test5_ver1.c ++++ /tmp/cocci-output-2484-10dfe5-test5_ver1.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -14511,7 +14547,7 @@ test6.res diff = --- tests/test6.c -+++ /tmp/cocci-output-877-df2634-test6.c ++++ /tmp/cocci-output-2484-d2806f-test6.c @@ -4,13 +4,13 @@ void main() { /* a comment */ @@ -14542,7 +14578,7 @@ test7.res diff = --- tests/test7.c -+++ /tmp/cocci-output-877-d85a2c-test7.c ++++ /tmp/cocci-output-2484-b752a6-test7.c @@ -2,10 +2,12 @@ void main() { @@ -14561,7 +14597,7 @@ test8.res diff = --- tests/test8.c -+++ /tmp/cocci-output-877-7247ad-test8.c ++++ /tmp/cocci-output-2484-2a483b-test8.c @@ -1,7 +1,6 @@ -void main(int foo) { +void main(char i, int foo) { @@ -14574,7 +14610,7 @@ test9.res diff = --- tests/test9.c -+++ /tmp/cocci-output-877-69648e-test9.c ++++ /tmp/cocci-output-2484-c1abae-test9.c @@ -4,9 +4,9 @@ void main(int foo) { // f(1); // if uncomment then problems g(2); @@ -14590,7 +14626,7 @@ test_s.res diff = --- tests/test_s.c -+++ /tmp/cocci-output-877-3e2776-test_s.c ++++ /tmp/cocci-output-2484-4fb163-test_s.c @@ -2,7 +2,7 @@ int main () { if (x-one) { one(); @@ -14618,7 +14654,7 @@ warning: line 39: should y be a metavariable? diff = --- tests/test_unsigned_meta.c -+++ /tmp/cocci-output-877-f5db47-test_unsigned_meta.c ++++ /tmp/cocci-output-2484-0a5c60-test_unsigned_meta.c @@ -1,8 +1,12 @@ int main () { - unsigned int x; @@ -14638,7 +14674,7 @@ testand.res diff = --- tests/testand.c -+++ /tmp/cocci-output-877-036d70-testand.c ++++ /tmp/cocci-output-2484-adf144-testand.c @@ -1,5 +1,5 @@ int main () { f(1,2,3,4); @@ -14650,7 +14686,7 @@ testand2.res diff = --- tests/testand2.c -+++ /tmp/cocci-output-877-4dd1b9-testand2.c ++++ /tmp/cocci-output-2484-b2892c-testand2.c @@ -1,6 +1,6 @@ int main () { f(1,2,3,4); @@ -14662,7 +14698,7 @@ three_types.res diff = --- tests/three_types.c -+++ /tmp/cocci-output-877-cb30ca-three_types.c ++++ /tmp/cocci-output-2484-db52ba-three_types.c @@ -7,5 +7,5 @@ via_init_dmablit(drm_device_t *dev) { drm_via_blitq_t *blitq; @@ -14673,7 +14709,7 @@ threea.res diff = --- tests/threea.c -+++ /tmp/cocci-output-877-0bd9b1-threea.c ++++ /tmp/cocci-output-2484-bca1a7-threea.c @@ -1,4 +1,3 @@ int main() { f(12); @@ -14682,7 +14718,7 @@ tloop.res diff = --- tests/tloop.c -+++ /tmp/cocci-output-877-d4f150-tloop.c ++++ /tmp/cocci-output-2484-022e23-tloop.c @@ -1,6 +1,5 @@ int foo(void) { @@ -14693,7 +14729,7 @@ tmpinit.res diff = --- tests/tmpinit.cpp -+++ /tmp/cocci-output-877-8f9936-tmpinit.cpp ++++ /tmp/cocci-output-2484-a67446-tmpinit.cpp @@ -1,3 +1,3 @@ class TestSymmetricCoo: public ::testing::Test { - const std::vector VA { std::vector(nnzA,4) }; @@ -14707,7 +14743,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/top.c -+++ /tmp/cocci-output-877-9627ad-top.c ++++ /tmp/cocci-output-2484-b43ac1-top.c @@ -1 +1 @@ -MODULE_PARM(suppress_pollack, "i"); +module_param(I, int, 0); @@ -14715,7 +14751,7 @@ SPECIAL NAMES: adding LIST_HEAD as a declarer diff = --- tests/topdec.c -+++ /tmp/cocci-output-877-88970f-topdec.c ++++ /tmp/cocci-output-2484-1669f4-topdec.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -14725,7 +14761,7 @@ topdec_ver1.res diff = --- tests/topdec_ver1.c -+++ /tmp/cocci-output-877-bf2a50-topdec_ver1.c ++++ /tmp/cocci-output-2484-49785d-topdec_ver1.c @@ -4,4 +4,4 @@ static int debug; /* Network device part of the driver */ @@ -14735,7 +14771,7 @@ topdec_ver2.res diff = --- tests/topdec_ver2.c -+++ /tmp/cocci-output-877-fff188-topdec_ver2.c ++++ /tmp/cocci-output-2484-079f66-topdec_ver2.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -14745,7 +14781,7 @@ topdecl.res diff = --- tests/topdecl.c -+++ /tmp/cocci-output-877-111f3a-topdecl.c ++++ /tmp/cocci-output-2484-b8f09b-topdecl.c @@ -1,3 +1,3 @@ int main () { - int x = foo(); @@ -14756,7 +14792,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/toplevel_macrostmt.c -+++ /tmp/cocci-output-877-a605f7-toplevel_macrostmt.c ++++ /tmp/cocci-output-2484-6f8141-toplevel_macrostmt.c @@ -2,7 +2,7 @@ void main(int i) { } @@ -14770,7 +14806,7 @@ warning: line 5: should usb_stor_host_template be a metavariable? diff = --- tests/toplevel_struct.c -+++ /tmp/cocci-output-877-60222f-toplevel_struct.c ++++ /tmp/cocci-output-2484-38cdc7-toplevel_struct.c @@ -3,6 +3,7 @@ struct SHT usb_stor_host_template = { .name = "usb-storage", .proc_name = "usb-storage", @@ -14796,7 +14832,7 @@ triplet.res diff = --- tests/triplet.c -+++ /tmp/cocci-output-877-7eac06-triplet.c ++++ /tmp/cocci-output-2484-77a145-triplet.c @@ -1,5 +1,6 @@ typedef double dtriplet_t[3] ; // FIXME: such code would not be parsed on cocci side @@ -14807,7 +14843,7 @@ try_catch.res diff = --- tests/try_catch.cpp -+++ /tmp/cocci-output-877-9ff804-try_catch.cpp ++++ /tmp/cocci-output-2484-82c173-try_catch.cpp @@ -1,5 +1,6 @@ int main() { @@ -14821,7 +14857,7 @@ warning: rule starting on line 10: metavariable B not used in the - or context code diff = --- tests/tup.c -+++ /tmp/cocci-output-877-aad319-tup.c ++++ /tmp/cocci-output-2484-667663-tup.c @@ -1,7 +1,7 @@ static int cm206_block_ioctl(struct inode *inode, struct file *file, unsigned cmd, unsigned long arg) @@ -14834,7 +14870,7 @@ twomatch.res diff = --- tests/twomatch.c -+++ /tmp/cocci-output-877-a55d1c-twomatch.c ++++ /tmp/cocci-output-2484-b8ab14-twomatch.c @@ -1,5 +1,5 @@ int main() { bar(12,1); @@ -14846,7 +14882,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/twoproto.c -+++ /tmp/cocci-output-877-e26ee2-twoproto.c ++++ /tmp/cocci-output-2484-ef308b-twoproto.c @@ -1,11 +1,9 @@ static void tc574_config(dev_link_t *link); @@ -14864,7 +14900,7 @@ ty.res diff = --- tests/ty.c -+++ /tmp/cocci-output-877-7ea3e9-ty.c ++++ /tmp/cocci-output-2484-13093d-ty.c @@ -1,4 +1,4 @@ int main () { - struct foo x; @@ -14875,7 +14911,7 @@ warning: line 7: should x be a metavariable? diff = --- tests/ty1.c -+++ /tmp/cocci-output-877-374038-ty1.c ++++ /tmp/cocci-output-2484-0d1d9f-ty1.c @@ -1,4 +1,3 @@ int fn(int y) { char x; @@ -14884,7 +14920,7 @@ ty_tyexp.res diff = --- tests/ty_tyexp.c -+++ /tmp/cocci-output-877-2f3ee2-ty_tyexp.c ++++ /tmp/cocci-output-2484-e87587-ty_tyexp.c @@ -1,11 +1,11 @@ void main(double z) { @@ -14906,7 +14942,7 @@ SPECIAL NAMES: adding uint64_t as a type diff = --- tests/tydisj.c -+++ /tmp/cocci-output-877-065acc-tydisj.c ++++ /tmp/cocci-output-2484-7d6d96-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(); @@ -14917,7 +14953,7 @@ SPECIAL NAMES: adding Location as a type diff = --- tests/tyex.c -+++ /tmp/cocci-output-877-b4d9fc-tyex.c ++++ /tmp/cocci-output-2484-ff47e2-tyex.c @@ -1,12 +1,15 @@ typedef struct { double x; @@ -14939,7 +14975,7 @@ type.res diff = --- tests/type.c -+++ /tmp/cocci-output-877-9be153-type.c ++++ /tmp/cocci-output-2484-79ddb4-type.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -14950,7 +14986,7 @@ type1.res diff = --- tests/type1.c -+++ /tmp/cocci-output-877-1e4093-type1.c ++++ /tmp/cocci-output-2484-2c388b-type1.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -14961,7 +14997,7 @@ type_and_var.res diff = --- tests/type_and_var.c -+++ /tmp/cocci-output-877-29bcbd-type_and_var.c ++++ /tmp/cocci-output-2484-2a656d-type_and_var.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -14998,7 +15034,7 @@ type_and_var2.res diff = --- tests/type_and_var2.c -+++ /tmp/cocci-output-877-34f64e-type_and_var2.c ++++ /tmp/cocci-output-2484-5f1f61-type_and_var2.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -15035,7 +15071,7 @@ type_annotated.res diff = --- tests/type_annotated.c -+++ /tmp/cocci-output-877-52e6c0-type_annotated.c ++++ /tmp/cocci-output-2484-dafb22-type_annotated.c @@ -4,7 +4,7 @@ void f1(int z) { struct foo2 j; int k; @@ -15056,7 +15092,7 @@ type_constraints.res diff = --- tests/type_constraints.c -+++ /tmp/cocci-output-877-d978a3-type_constraints.c ++++ /tmp/cocci-output-2484-3ea03c-type_constraints.c @@ -1,9 +1,9 @@ void f(void) { int i; @@ -15073,7 +15109,7 @@ type_ver1.res diff = --- tests/type_ver1.c -+++ /tmp/cocci-output-877-fa6795-type_ver1.c ++++ /tmp/cocci-output-2484-081c71-type_ver1.c @@ -1,5 +1,5 @@ int foo() { - struct foo x; @@ -15084,7 +15120,7 @@ type_ver2.res diff = --- tests/type_ver2.c -+++ /tmp/cocci-output-877-eafb93-type_ver2.c ++++ /tmp/cocci-output-2484-6666c3-type_ver2.c @@ -1,5 +1,5 @@ int foo() { - int x[10]; @@ -15096,7 +15132,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef.c -+++ /tmp/cocci-output-877-664dd9-typedef.c ++++ /tmp/cocci-output-2484-82ff2c-typedef.c @@ -1,15 +1,15 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -15120,7 +15156,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef3.c -+++ /tmp/cocci-output-877-766008-typedef3.c ++++ /tmp/cocci-output-2484-aa82c5-typedef3.c @@ -1,5 +1,5 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -15139,7 +15175,7 @@ typeof.res diff = --- tests/typeof.c -+++ /tmp/cocci-output-877-7a32e1-typeof.c ++++ /tmp/cocci-output-2484-448062-typeof.c @@ -1,6 +1,4 @@ int main() { int x; @@ -15150,7 +15186,7 @@ typeof_expr.res diff = --- tests/typeof_expr.c -+++ /tmp/cocci-output-877-0c7ece-typeof_expr.c ++++ /tmp/cocci-output-2484-b4c07c-typeof_expr.c @@ -1,4 +1,4 @@ int main () { int x = 0; @@ -15160,7 +15196,7 @@ typin.res diff = --- tests/typin.c -+++ /tmp/cocci-output-877-45260f-typin.c ++++ /tmp/cocci-output-2484-2807db-typin.c @@ -2,7 +2,7 @@ int x; char y; @@ -15183,7 +15219,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-877-0ad0b7-unbrace.c ++++ /tmp/cocci-output-2484-76e185-unbrace.c @@ -5,8 +5,6 @@ static int mlxsw_sp_flower_parse_actions struct netlink_ext_ack *extack) { @@ -15378,7 +15414,7 @@ undref.res diff = --- tests/undref.c -+++ /tmp/cocci-output-877-f37485-undref.c ++++ /tmp/cocci-output-2484-6fadec-undref.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -15386,13 +15422,13 @@ } undref2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_6c3689.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_6c3689.ml +ocamlc.opt -c /tmp/ocaml_cocci_6c3cec.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_6c3cec.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref2.c -+++ /tmp/cocci-output-877-6858a7-undref2.c ++++ /tmp/cocci-output-2484-3ee40b-undref2.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -15400,13 +15436,13 @@ } undref3.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlc.opt -c /tmp/ocaml_cocci_2cc32c.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_2cc32c.ml +ocamlc.opt -c /tmp/ocaml_cocci_887158.cmo -g -I /build/reproducible-path/coccinelle-1.2.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_887158.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref3.c -+++ /tmp/cocci-output-877-d45288-undref3.c ++++ /tmp/cocci-output-2484-b81d9f-undref3.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -15415,7 +15451,7 @@ unelse.res diff = --- tests/unelse.c -+++ /tmp/cocci-output-877-27d815-unelse.c ++++ /tmp/cocci-output-2484-72d202-unelse.c @@ -2,8 +2,6 @@ static short find_control(u16 control_in { if (!*pI) @@ -15430,7 +15466,7 @@ unfree.res diff = --- tests/unfree.c -+++ /tmp/cocci-output-877-229cfd-unfree.c ++++ /tmp/cocci-output-2484-eeb374-unfree.c @@ -2,8 +2,7 @@ static void mppe_free(void *arg) { struct ppp_mppe_state *state = (struct ppp_mppe_state *) arg; @@ -15444,7 +15480,7 @@ unl.res diff = --- tests/unl.c -+++ /tmp/cocci-output-877-8bd238-unl.c ++++ /tmp/cocci-output-2484-63c1f2-unl.c @@ -1,10 +1,10 @@ int main () { - if (new_pe == NULL) { @@ -15461,7 +15497,7 @@ unstruct.res diff = --- tests/unstruct.c -+++ /tmp/cocci-output-877-617103-unstruct.c ++++ /tmp/cocci-output-2484-76e9a8-unstruct.c @@ -1,4 +1,4 @@ -struct foo x __read_mostly = { .a = 12, }; @@ -15472,7 +15508,7 @@ unused.res diff = --- tests/unused.c -+++ /tmp/cocci-output-877-ec2a60-unused.c ++++ /tmp/cocci-output-2484-a41380-unused.c @@ -2,5 +2,5 @@ static int synth_field_string_size(char { char *start; @@ -15483,7 +15519,7 @@ updassign.res diff = --- tests/updassign.c -+++ /tmp/cocci-output-877-a3efa0-updassign.c ++++ /tmp/cocci-output-2484-6ee5c4-updassign.c @@ -1,3 +1,3 @@ int main () { - int r = 1 + 2; @@ -15492,7 +15528,7 @@ useless_cast.res diff = --- tests/useless_cast.c -+++ /tmp/cocci-output-877-197333-useless_cast.c ++++ /tmp/cocci-output-2484-4b3508-useless_cast.c @@ -8,7 +8,7 @@ struct device { struct device *dev; @@ -15506,7 +15542,7 @@ warning: rule starting on line 2: metavariable i not used in the - or context code diff = --- tests/using1.cpp -+++ /tmp/cocci-output-877-1e4c58-using1.cpp ++++ /tmp/cocci-output-2484-a28de7-using1.cpp @@ -1,5 +1,4 @@ namespace ns {}; int main() @@ -15520,7 +15556,7 @@ warning: rule starting on line 2: metavariable t not used in the - or context code diff = --- tests/using3.cpp -+++ /tmp/cocci-output-877-3e3ee2-using3.cpp ++++ /tmp/cocci-output-2484-018e1d-using3.cpp @@ -1,5 +1,4 @@ int main() { @@ -15532,7 +15568,7 @@ warning: rule starting on line 2: metavariable t not used in the - or context code diff = --- tests/using4.cpp -+++ /tmp/cocci-output-877-e1275e-using4.cpp ++++ /tmp/cocci-output-2484-098ecb-using4.cpp @@ -1,6 +1,6 @@ // TODO: FIXME: will use 'std::vector::value_type;' once template support is improved int main() @@ -15544,7 +15580,7 @@ usingtest.res diff = --- tests/usingtest.cpp -+++ /tmp/cocci-output-877-88cfe0-usingtest.cpp ++++ /tmp/cocci-output-2484-b9688f-usingtest.cpp @@ -18,4 +18,4 @@ class TestSpMM_OfAnyTypeSquare: public S int x[1]; }; @@ -15554,7 +15590,7 @@ usingtype.res diff = --- tests/usingtype.cpp -+++ /tmp/cocci-output-877-4893cf-usingtype.cpp ++++ /tmp/cocci-output-2484-da570f-usingtype.cpp @@ -1 +1 @@ -using mytime_t = double ; +using mytime_t = int ; @@ -15565,7 +15601,7 @@ warning: line 13: should ty_id be a metavariable? diff = --- tests/varargs.c -+++ /tmp/cocci-output-877-17beb2-varargs.c ++++ /tmp/cocci-output-2484-eed834-varargs.c @@ -1,6 +1,7 @@ static void @@ -15579,7 +15615,7 @@ varargs2.res diff = --- tests/varargs2.c -+++ /tmp/cocci-output-877-c44382-varargs2.c ++++ /tmp/cocci-output-2484-a201ef-varargs2.c @@ -1,3 +1,4 @@ static void f(char *fmt, ...) { @@ -15588,7 +15624,7 @@ varargs3.res diff = --- tests/varargs3.c -+++ /tmp/cocci-output-877-e44391-varargs3.c ++++ /tmp/cocci-output-2484-018b6e-varargs3.c @@ -1,4 +1,3 @@ -static int foo(char *fmt, ...) { @@ -15607,7 +15643,7 @@ video1bis.res diff = --- tests/video1bis.c -+++ /tmp/cocci-output-877-a33b0a-video1bis.c ++++ /tmp/cocci-output-2484-ba4a6a-video1bis.c @@ -3,7 +3,5 @@ void *arg) { if (cmd == VIDIOCGTUNER) { @@ -15619,7 +15655,7 @@ virtual_constructor.res diff = --- tests/virtual_constructor.cpp -+++ /tmp/cocci-output-877-6e8ac6-virtual_constructor.cpp ++++ /tmp/cocci-output-2484-ec1514-virtual_constructor.cpp @@ -4,6 +4,5 @@ class A { virtual ~A(){int i;} // destructors can be declared 'virtual' }; @@ -15630,7 +15666,7 @@ void.res diff = --- tests/void.c -+++ /tmp/cocci-output-877-518283-void.c ++++ /tmp/cocci-output-2484-2c9dcf-void.c @@ -2,4 +2,14 @@ int xbar(void) { return; } // this is some info about bar @@ -15649,7 +15685,7 @@ vpos.res diff = --- tests/vpos.c -+++ /tmp/cocci-output-877-0751b5-vpos.c ++++ /tmp/cocci-output-2484-564f58-vpos.c @@ -1,9 +1,7 @@ int main() { f(2); @@ -15666,7 +15702,7 @@ SPECIAL NAMES: adding wchar_t as a type diff = --- tests/wchar.c -+++ /tmp/cocci-output-877-c07603-wchar.c ++++ /tmp/cocci-output-2484-922045-wchar.c @@ -1,13 +1,4 @@ #include #include @@ -15684,7 +15720,7 @@ whitespace.res diff = --- tests/whitespace.c -+++ /tmp/cocci-output-877-6e3e19-whitespace.c ++++ /tmp/cocci-output-2484-9a0696-whitespace.c @@ -1,3 +1,3 @@ int main () { - foo(sizeof (struct xxx)); @@ -15693,7 +15729,7 @@ wierd_argument.res diff = --- tests/wierd_argument.c -+++ /tmp/cocci-output-877-bc5431-wierd_argument.c ++++ /tmp/cocci-output-2484-7d9828-wierd_argument.c @@ -1,7 +1,7 @@ static void ewx_i2c_setlines(snd_i2c_bus_t *bus, int clk, int data) { @@ -15709,7 +15745,7 @@ wrongcheck.res diff = --- tests/wrongcheck.c -+++ /tmp/cocci-output-877-8b470c-wrongcheck.c ++++ /tmp/cocci-output-2484-28c70c-wrongcheck.c @@ -1,5 +1,3 @@ int main () { - err = si476x_core_i2c_xfer(core, SI476X_I2C_RECV, @@ -15720,7 +15756,7 @@ warning: rule starting on line 1: metavariable A not used in the + code diff = --- tests/ws2.c -+++ /tmp/cocci-output-877-46f681-ws2.c ++++ /tmp/cocci-output-2484-4d04ff-ws2.c @@ -1,6 +1,5 @@ int main() { - if (foo()) @@ -15733,7 +15769,7 @@ SPECIAL NAMES: adding FOO as a declarer diff = --- tests/xfield.c -+++ /tmp/cocci-output-877-acc0b1-xfield.c ++++ /tmp/cocci-output-2484-6a5be2-xfield.c @@ -1,4 +1,4 @@ -FOO(a2,b2,c2); +int x; @@ -15743,7 +15779,7 @@ y2.res diff = --- tests/y2.c -+++ /tmp/cocci-output-877-fb36f1-y2.c ++++ /tmp/cocci-output-2484-a4e015-y2.c @@ -1,10 +1,6 @@ static void asuscom_interrupt_ipac(int intno, void *dev_id, struct pt_regs *regs) @@ -15758,7 +15794,7 @@ zero.res diff = --- tests/zero.c -+++ /tmp/cocci-output-877-b79423-zero.c ++++ /tmp/cocci-output-2484-5486db-zero.c @@ -1,6 +1,2 @@ int main () { - memset(command, 0, sizeof(struct sbp2_command_info)); @@ -15769,7 +15805,7 @@ zeroline.res diff = --- tests/zeroline.c -+++ /tmp/cocci-output-877-c9b5ba-zeroline.c ++++ /tmp/cocci-output-2484-aa7cc4-zeroline.c @@ -1,6 +1,7 @@ int main () { - int x; @@ -16609,7 +16645,7 @@ noa.res : CORRECT nocast.res : CORRECT noexcept.res : seems incorrect, but only because of code that was not parsablediff token: args VS abc -File "/tmp/cocci-output-877-8f35ee-noexcept.cpp", line 9, column 88, charpos = 245 +File "/tmp/cocci-output-2484-a29bd1-noexcept.cpp", line 9, column 88, charpos = 245 around = 'args', whole content = formatter_type create_formatter(boost::log::attribute_name const &name, args_map const &args) override File "tests/noexcept.res", line 10, column 20, charpos = 249 @@ -16955,7 +16991,7 @@ tdnl.res : CORRECT tdplus.res : CORRECT template_test.res : seems incorrect, but only because of code that was not parsablediff token: vector VS abc -File "/tmp/cocci-output-877-9e8042-template_test.cpp", line 3, column 2, charpos = 23 +File "/tmp/cocci-output-2484-3c1f0a-template_test.cpp", line 3, column 2, charpos = 23 around = 'vector', whole content = vector d; File "tests/template_test.res", line 3, column 2, charpos = 23 @@ -17124,7 +17160,7 @@ using3.res : CORRECT using4.res : CORRECT usingtest.res : seems incorrect, but only because of code that was not parsablediff token: 1 VS 2 -File "/tmp/cocci-output-877-88cfe0-usingtest.cpp", line 12, column 104, charpos = 506 +File "/tmp/cocci-output-2484-b9688f-usingtest.cpp", line 12, column 104, charpos = 506 around = '1', whole content = class TestSpMM_OfAnyTypeSquare: public SquareTestMatrix,std::tuple_element_t<1,TV>>, public ::testing::Test { File "tests/usingtest.res", line 12, column 104, charpos = 506 @@ -18042,18 +18078,18 @@ 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 Token_views_c +W: coccinelle doesn't resolve dependency on unit Token_annot +W: coccinelle doesn't resolve dependency on unit Control_flow_c W: coccinelle doesn't resolve dependency on unit Lexer_parser -W: coccinelle doesn't resolve dependency on unit Cpp_token_c W: coccinelle doesn't resolve dependency on unit Ograph_extended -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 Parsing_stat -W: coccinelle doesn't resolve dependency on unit Token_views_c +W: coccinelle doesn't resolve dependency on unit Cpp_token_c dh_gencontrol dh_md5sums dh_builddeb -dpkg-deb: building package 'coccinelle' in '../coccinelle_1.2.deb-1_armhf.deb'. dpkg-deb: building package 'coccinelle-dbgsym' in '../coccinelle-dbgsym_1.2.deb-1_armhf.deb'. +dpkg-deb: building package 'coccinelle' in '../coccinelle_1.2.deb-1_armhf.deb'. dpkg-deb: building package 'coccinelle-doc' in '../coccinelle-doc_1.2.deb-1_all.deb'. dpkg-genbuildinfo --build=binary -O../coccinelle_1.2.deb-1_armhf.buildinfo dpkg-genchanges --build=binary -O../coccinelle_1.2.deb-1_armhf.changes @@ -18062,12 +18098,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/1258/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/1258/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/23902 and its subdirectories -I: Current time: Thu Jul 18 21:37:00 -12 2024 -I: pbuilder-time-stamp: 1721381820 +I: removing directory /srv/workspace/pbuilder/1258 and its subdirectories +I: Current time: Sat Jul 20 00:51:09 +14 2024 +I: pbuilder-time-stamp: 1721386270