Diff of the two buildlogs: -- --- b1/build.log 2025-03-15 09:02:45.552768460 +0000 +++ b2/build.log 2025-03-15 09:07:39.127583007 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Fri Apr 17 03:23:37 -12 2026 -I: pbuilder-time-stamp: 1776439417 +I: Current time: Sat Mar 15 23:02:49 +14 2025 +I: pbuilder-time-stamp: 1742029369 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration @@ -27,52 +27,84 @@ dpkg-source: info: applying dont-expose-parmap.diff I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/907719/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/2449482/tmp/hooks/D01_modify_environment starting +debug: Running on ionos11-amd64. +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 Mar 15 09:03 /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/2449482/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/2449482/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='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 ' - DISTRIBUTION='trixie' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.2.37(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=20 ' + DIRSTACK=() + DISTRIBUTION=trixie + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='81908d316d6244839e115ce9a764ff96' - 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='907719' - PS1='# ' - PS2='> ' + INVOCATION_ID=050d4e1aa4ae4298b045dc41c5805e6a + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=2449482 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.z7g82jdR/pbuilderrc_mlmj --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.z7g82jdR/b1 --logfile b1/build.log coccinelle_1.3.0.deb-1.dsc' - SUDO_GID='110' - SUDO_UID='105' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://213.165.73.152:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.z7g82jdR/pbuilderrc_KtR4 --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.z7g82jdR/b2 --logfile b2/build.log coccinelle_1.3.0.deb-1.dsc' + SUDO_GID=111 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://46.16.76.132:3128 I: uname -a - Linux ionos5-amd64 6.12.12+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.12-1~bpo12+1 (2025-02-23) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-31-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.128-1 (2025-02-07) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Mar 4 2025 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/907719/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Mar 4 11:20 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/2449482/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -199,7 +231,7 @@ Get: 67 http://deb.debian.org/debian trixie/main amd64 ocaml-findlib amd64 1.9.8-1 [584 kB] Get: 68 http://deb.debian.org/debian trixie/main amd64 pkgconf-bin amd64 1.8.1-4 [30.2 kB] Get: 69 http://deb.debian.org/debian trixie/main amd64 pkgconf amd64 1.8.1-4 [26.2 kB] -Fetched 117 MB in 2s (67.7 MB/s) +Fetched 117 MB in 11s (11.1 MB/s) Preconfiguring packages ... Selecting previously unselected package libpython3.13-minimal:amd64. (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 ... 19803 files and directories currently installed.) @@ -436,8 +468,8 @@ Setting up tzdata (2025a-2) ... Current default time zone: 'Etc/UTC' -Local time is now: Fri Apr 17 15:24:10 UTC 2026. -Universal Time is now: Fri Apr 17 15:24:10 UTC 2026. +Local time is now: Sat Mar 15 09:04:36 UTC 2025. +Universal Time is now: Sat Mar 15 09:04:36 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... @@ -502,7 +534,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/coccinelle-1.3.0.deb/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../coccinelle_1.3.0.deb-1_source.changes +I: user script /srv/workspace/pbuilder/2449482/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for trixie +I: user script /srv/workspace/pbuilder/2449482/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/coccinelle-1.3.0.deb/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../coccinelle_1.3.0.deb-1_source.changes dpkg-buildpackage: info: source package coccinelle dpkg-buildpackage: info: source version 1.3.0.deb-1 dpkg-buildpackage: info: source distribution unstable @@ -512,18 +548,18 @@ debian/rules clean dh clean --with ocaml,python3,autoreconf dh_auto_clean - make -j42 distclean + make -j20 distclean make[1]: Entering directory '/build/reproducible-path/coccinelle-1.3.0.deb' CLEAN commons CLEAN globals -CLEAN parsing_cocci CLEAN parsing_c +CLEAN parsing_cocci CLEAN ctl CLEAN ocaml CLEAN python CLEAN engine -CLEAN popl09 CLEAN extra +CLEAN popl09 CLEAN spatch CLEAN spgen rm -f coccinelle.cma coccinelle.cmxa coccinelle.a \ @@ -557,7 +593,7 @@ checking xargs -n works... yes configure: determining version suffix checking for date... /usr/bin/date -configure: version suffix set to Fri, 17 Apr 2026 03:24:26 -1200 +configure: version suffix set to Sat, 15 Mar 2025 23:04:56 +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) @@ -576,7 +612,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 @@ -695,15 +731,15 @@ ------------------------------------------------------------------------------ make[1]: Leaving directory '/build/reproducible-path/coccinelle-1.3.0.deb' dh_auto_build - make -j42 + make -j20 make[1]: Entering directory '/build/reproducible-path/coccinelle-1.3.0.deb' OCAMLDEP commons/ocamlextra/dumper.ml OCAMLDEP commons/commands.ml OCAMLDEP commons/common.ml OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/ograph_extended.ml -OCAMLDEP globals/cocciconfig.ml OCAMLDEP globals/flag.ml +OCAMLDEP globals/cocciconfig.ml OCAMLDEP globals/iteration.ml OCAMLDEP globals/regexp_str.ml OCAMLDEP globals/regexp.ml @@ -725,8 +761,8 @@ OCAMLDEP parsing_cocci/simple_assignments.ml OCAMLDEP parsing_cocci/get_metas.ml OCAMLDEP parsing_cocci/stmtlist.ml -OCAMLDEP parsing_cocci/top_level.ml OCAMLDEP parsing_cocci/type_infer.ml +OCAMLDEP parsing_cocci/top_level.ml OCAMLDEP parsing_cocci/test_exps.ml OCAMLDEP parsing_cocci/unitary_ast0.ml OCAMLDEP parsing_cocci/arity.ml @@ -749,8 +785,8 @@ OCAMLDEP parsing_cocci/get_constants2.ml OCAMLDEP parsing_cocci/id_utils.ml OCAMLDEP parsing_cocci/git_grep.ml -OCAMLDEP parsing_cocci/patch_diff.ml OCAMLDEP parsing_cocci/adjacency.ml +OCAMLDEP parsing_cocci/patch_diff.ml OCAMLDEP parsing_cocci/commas_on_lists.ml OCAMLDEP parsing_cocci/re_constraints.ml OCAMLDEP parsing_cocci/parse_cocci.ml @@ -769,9 +805,9 @@ OCAMLDEP parsing_c/pretty_print_c.ml OCAMLDEP parsing_c/control_flow_c_build.ml OCAMLDEP parsing_c/semantic_c.ml -OCAMLDEP parsing_c/lexer_parser.ml -OCAMLDEP parsing_c/parse_string_c.ml OCAMLDEP parsing_c/token_helpers.ml +OCAMLDEP parsing_c/parse_string_c.ml +OCAMLDEP parsing_c/lexer_parser.ml OCAMLDEP parsing_c/token_views_c.ml OCAMLDEP parsing_c/cpp_token_c.ml OCAMLDEP parsing_c/parsing_hacks.ml @@ -807,23 +843,23 @@ OCAMLDEP engine/flag_matcher.ml OCAMLDEP engine/lib_engine.ml OCAMLDEP engine/pretty_print_engine.ml -OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/check_reachability.ml -OCAMLDEP engine/c_vs_c.ml +OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/isomorphisms_c_c.ml +OCAMLDEP engine/c_vs_c.ml OCAMLDEP engine/cocci_vs_c.ml OCAMLDEP engine/pattern_c.ml OCAMLDEP engine/transformation_c.ml OCAMLDEP engine/asttomember.ml OCAMLDEP engine/asttoctl2.ml OCAMLDEP engine/ctltotex.ml -OCAMLDEP engine/postprocess_transinfo.ml OCAMLDEP engine/ctlcocci_integration.ml +OCAMLDEP engine/postprocess_transinfo.ml +OCAMLDEP popl09/ast_popl.ml OCAMLDEP popl09/asttopopl.ml OCAMLDEP popl09/insert_quantifiers.ml -OCAMLDEP popl09/ast_popl.ml -OCAMLDEP popl09/pretty_print_popl.ml OCAMLDEP popl09/flag_popl.ml +OCAMLDEP popl09/pretty_print_popl.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/popl.ml OCAMLDEP extra/classic_patch.ml @@ -858,11 +894,9 @@ OCAMLLEX parsing_cocci/lexer_script.mll OCAMLLEX parsing_c/lexer_c.mll OCAMLLEX tools/spgen/source/spgen_lexer.mll -14 states, 681 transitions, table size 2808 bytes OCAMLYACC parsing_c/parser_c.mly OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP commons/commands.mli -27 states, 322 transitions, table size 1450 bytes OCAMLDEP commons/common.mli OCAMLDEP commons/ograph_simple.mli OCAMLDEP commons/ograph_extended.mli @@ -871,13 +905,17 @@ OCAMLDEP globals/iteration.mli OCAMLDEP globals/regexp_str.mli OCAMLDEP globals/regexp.mli +404 states, 8859 transitions, table size 37860 bytes +4129 additional bytes used for bindings +14 states, 681 transitions, table size 2808 bytes OCAMLDEP parsing_cocci/flag_parsing_cocci.mli +27 states, 322 transitions, table size 1450 bytes OCAMLDEP parsing_cocci/ast_cocci.mli OCAMLDEP parsing_cocci/ast0_cocci.mli OCAMLDEP parsing_cocci/pretty_print_cocci.mli +OCAMLDEP parsing_cocci/visitor_ast0_types.mli 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings -OCAMLDEP parsing_cocci/visitor_ast0_types.mli OCAMLDEP parsing_cocci/visitor_ast.mli OCAMLDEP parsing_cocci/visitor_ast0.mli OCAMLDEP parsing_cocci/ast0toast.mli @@ -892,19 +930,17 @@ OCAMLDEP parsing_cocci/get_metas.mli OCAMLDEP parsing_cocci/stmtlist.mli OCAMLDEP parsing_cocci/top_level.mli -404 states, 8859 transitions, table size 37860 bytes -4129 additional bytes used for bindings OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/unitary_ast0.mli OCAMLDEP parsing_cocci/arity.mli OCAMLDEP parsing_cocci/index.mli OCAMLDEP parsing_cocci/context_neg.mli +OCAMLDEP parsing_cocci/adjust_pragmas.mli 408 states, 16889 transitions, table size 70004 bytes 10655 additional bytes used for bindings -OCAMLDEP parsing_cocci/adjust_pragmas.mli -OCAMLDEP parsing_cocci/insert_plus.mli OCAMLDEP parsing_cocci/function_prototypes.mli +OCAMLDEP parsing_cocci/insert_plus.mli OCAMLDEP parsing_cocci/semantic_cocci.mli OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/free_vars.mli @@ -913,8 +949,8 @@ OCAMLDEP parsing_cocci/parse_printf.mli OCAMLDEP parsing_cocci/parse_aux.mli OCAMLDEP parsing_cocci/cleanup_rules.mli -OCAMLDEP parsing_cocci/disjdistr.mli OCAMLDEP parsing_cocci/cocci_grep.mli +OCAMLDEP parsing_cocci/disjdistr.mli OCAMLDEP parsing_cocci/dpll.mli OCAMLDEP parsing_cocci/get_constants2.mli OCAMLDEP parsing_cocci/id_utils.mli @@ -936,16 +972,16 @@ OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/includes_cache.mli -OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/control_flow_c_build.mli +OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/semantic_c.mli OCAMLDEP parsing_c/lexer_parser.mli OCAMLDEP parsing_c/parse_string_c.mli OCAMLDEP parsing_c/token_helpers.mli OCAMLDEP parsing_c/token_views_c.mli OCAMLDEP parsing_c/cpp_token_c.mli -OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/cpp_analysis_c.mli +OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/unparse_cocci.mli OCAMLDEP parsing_c/parsing_recovery_c.mli OCAMLDEP parsing_c/parsing_consistency_c.mli @@ -1009,9 +1045,9 @@ OCAMLDEP tools/spgen/source/ast_tostring.mli OCAMLDEP tools/spgen/source/detect_patch.mli OCAMLDEP tools/spgen/source/meta_variable.mli -OCAMLDEP tools/spgen/source/snapshot.mli OCAMLDEP tools/spgen/source/user_input.mli OCAMLDEP tools/spgen/source/position_generator.mli +OCAMLDEP tools/spgen/source/snapshot.mli OCAMLDEP tools/spgen/source/disj_generator.mli OCAMLDEP tools/spgen/source/rule_body.mli OCAMLDEP tools/spgen/source/rule_header.mli @@ -1034,8 +1070,8 @@ OCAMLDEP parsing_cocci/lexer_cli.ml OCAMLDEP parsing_cocci/lexer_script.ml OCAMLDEP parsing_c/lexer_c.ml -OCAMLDEP tools/spgen/source/spgen_lexer.ml OCAMLDEP parsing_c/parser_c.ml +OCAMLDEP tools/spgen/source/spgen_lexer.ml OCAMLC commons/ocamlextra/dumper.mli OCAMLC commons/commands.mli OCAMLC commons/common.mli @@ -1050,8 +1086,8 @@ OCAMLC parsing_cocci/lexer_cli.mli OCAMLC parsing_cocci/cocci_grep.mli OCAMLC parsing_cocci/dpll.mli -OCAMLC parsing_cocci/git_grep.mli OCAMLC parsing_cocci/patch_diff.mli +OCAMLC parsing_cocci/git_grep.mli OCAMLC parsing_cocci/command_line.mli OCAMLC parsing_cocci/cocci_args.mli OCAMLC parsing_c/token_annot.mli @@ -1068,62 +1104,66 @@ OCAMLC tools/spgen/source/spgen_lexer.mli OCAMLC tools/spgen/source/spgen.mli OCAMLC tools/spgen/source/spgen_test.mli +cp globals/regexp.cmi ocaml/regexp.cmi OCAMLC tools/spgen/source/main.mli -cp commons/commands.cmi ocaml/commands.cmi -OCAMLOPT commons/commands.ml -OCAMLC commons/commands.ml -OCAMLC commons/ocamlextra/dumper.ml -OCAMLOPT commons/ocamlextra/dumper.ml -OCAMLOPT globals/regexp_str.ml +cp globals/cocciconfig.cmi ocaml/cocciconfig.cmi +cp globals/flag.cmi ocaml/flag.cmi cp globals/iteration.cmi ocaml/iteration.cmi +cp commons/commands.cmi ocaml/commands.cmi cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi OCAMLC globals/regexp.ml OCAMLC globals/cocciconfig.ml OCAMLC globals/flag.ml +OCAMLC commons/commands.ml +OCAMLC commons/ocamlextra/dumper.ml +OCAMLOPT commons/ocamlextra/dumper.ml +OCAMLOPT commons/commands.ml OCAMLOPT globals/cocciconfig.ml +OCAMLOPT globals/regexp_str.ml OCAMLOPT parsing_cocci/flag_parsing_cocci.ml OCAMLC parsing_cocci/ast_cocci.mli -cp globals/regexp.cmi ocaml/regexp.cmi OCAMLOPT parsing_cocci/semantic_cocci.ml -cp globals/cocciconfig.cmi ocaml/cocciconfig.cmi -cp globals/flag.cmi ocaml/flag.cmi -OCAMLOPT ctl/ast_ctl.ml -OCAMLC ctl/pretty_print_ctl.mli OCAMLOPT parsing_cocci/lexer_cli.ml -OCAMLOPT parsing_c/token_annot.ml OCAMLOPT parsing_cocci/cocci_args.ml -cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi -OCAMLOPT ctl/flag_ctl.ml -OCAMLC parsing_c/flag_parsing_c.ml +OCAMLOPT parsing_c/token_annot.ml OCAMLOPT parsing_c/flag_parsing_c.ml -OCAMLOPT popl09/flag_popl.ml -OCAMLOPT engine/flag_matcher.ml -OCAMLOPT flag_cocci.ml -cp commons/commands.cmo ocaml/commands.cmo -OCAMLOPT tools/spgen/source/spgen_lexer.ml -cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo -cp globals/regexp.cmo ocaml/regexp.cmo -cp globals/cocciconfig.cmo ocaml/cocciconfig.cmo -cp globals/flag.cmo ocaml/flag.cmo -cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo -OCAMLC commons/ograph_simple.mli -OCAMLC commons/ograph_extended.mli OCAMLC parsing_c/parsing_stat.mli OCAMLC parsing_c/token_c.mli OCAMLC parsing_c/semantic_c.mli OCAMLC parsing_c/compare_c.mli OCAMLC parsing_c/test_parsing_c.mli +OCAMLOPT ctl/flag_ctl.ml +OCAMLOPT ctl/ast_ctl.ml +OCAMLC ctl/pretty_print_ctl.mli +OCAMLOPT engine/flag_matcher.ml +OCAMLOPT popl09/flag_popl.ml OCAMLC extra/classic_patch.mli OCAMLC extra/kbuild.mli OCAMLC extra/maintainers.mli -cp commons/common.cmi ocaml/common.cmi +OCAMLOPT flag_cocci.ml OCAMLC testing.mli -cp globals/cocciconfig.cmx ocaml/cocciconfig.cmx +cp parsing_c/token_c.cmi ocaml/token_c.cmi +cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi +OCAMLOPT tools/spgen/source/spgen_lexer.ml +cp commons/common.cmi ocaml/common.cmi +cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi +OCAMLC parsing_c/token_c.ml +cp globals/regexp.cmo ocaml/regexp.cmo +cp globals/cocciconfig.cmo ocaml/cocciconfig.cmo +cp globals/flag.cmo ocaml/flag.cmo +cp commons/commands.cmo ocaml/commands.cmo +OCAMLC parsing_c/flag_parsing_c.ml OCAMLC globals/iteration.ml OCAMLC commons/common.ml +OCAMLC parsing_cocci/ast_cocci.ml +cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo +cp globals/cocciconfig.cmx ocaml/cocciconfig.cmx +cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx cp commons/commands.cmx ocaml/commands.cmx cp commons/ocamlextra/dumper.cmx ocaml/dumper.cmx OCAMLOPT commons/common.ml +OCAMLC commons/ograph_extended.mli +OCAMLC commons/ograph_simple.mli OCAMLOPT globals/flag.ml OCAMLOPT globals/regexp.ml OCAMLC parsing_cocci/ast0_cocci.mli @@ -1135,29 +1175,18 @@ OCAMLC parsing_cocci/disjdistr.mli OCAMLC parsing_cocci/get_constants2.mli OCAMLC parsing_cocci/re_constraints.mli +OCAMLC parsing_c/ast_c.mli OCAMLC ocaml/yes_prepare_ocamlcocci.mli OCAMLC ocaml/prepare_ocamlcocci.mli +cp parsing_c/token_c.cmo ocaml/token_c.cmo OCAMLC popl09/ast_popl.mli -cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi -OCAMLC tools/spgen/source/globals.mli OCAMLC tools/spgen/source/ast_tostring.mli -OCAMLC parsing_cocci/ast_cocci.ml -cp parsing_c/token_c.cmi ocaml/token_c.cmi -OCAMLC parsing_c/ast_c.mli -OCAMLC parsing_c/token_c.ml +OCAMLC tools/spgen/source/globals.mli +cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo cp globals/iteration.cmo ocaml/iteration.cmo +cp globals/regexp.cmx ocaml/regexp.cmx OCAMLC ctl/ctl_engine.mli -OCAMLC popl09/asttopopl.mli -OCAMLC popl09/insert_quantifiers.mli -OCAMLC popl09/pretty_print_popl.mli -cp parsing_c/token_c.cmo ocaml/token_c.cmo -OCAMLC ctl/wrapper_ctl.mli -OCAMLC parsing_cocci/id_utils.mli OCAMLC parsing_cocci/free_vars.mli -cp globals/regexp.cmx ocaml/regexp.cmx -cp globals/flag.cmx ocaml/flag.cmx -cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx -OCAMLOPT parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLC parsing_cocci/ast0toast.mli OCAMLC parsing_cocci/unparse_ast0.mli @@ -1170,84 +1199,82 @@ 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/unitary_ast0.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/adjust_pragmas.mli OCAMLC parsing_cocci/function_prototypes.mli OCAMLC parsing_cocci/data.mli OCAMLC parsing_cocci/check_meta.mli +OCAMLOPT parsing_cocci/parse_printf.ml +OCAMLC parsing_cocci/id_utils.mli OCAMLC parsing_cocci/adjacency.mli OCAMLC parsing_cocci/commas_on_lists.mli OCAMLC parsing_cocci/parse_cocci.mli -OCAMLC tools/spgen/source/detect_patch.mli -cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi -OCAMLC tools/spgen/source/meta_variable.mli -OCAMLC tools/spgen/source/file_transform.mli -OCAMLC parsing_cocci/ast0_cocci.ml -OCAMLC parsing_c/includes.mli OCAMLC parsing_c/control_flow_c.mli +OCAMLC parsing_c/includes.mli OCAMLC parsing_c/includes_cache.mli OCAMLC parsing_c/lexer_parser.mli OCAMLC parsing_c/parser_c.mli OCAMLC parsing_c/unparse_cocci.mli -OCAMLC parsing_c/danger.mli OCAMLC parsing_c/parsing_consistency_c.mli -OCAMLC parsing_c/unparse_hrule.mli +OCAMLC parsing_c/danger.mli OCAMLC parsing_c/type_c.mli +OCAMLC parsing_c/unparse_hrule.mli OCAMLC parsing_c/type_annoter_c.mli +OCAMLC ctl/wrapper_ctl.mli OCAMLC ocaml/externalanalysis.mli OCAMLC ocaml/ocamlcocci_aux.mli -OCAMLC python/pycocci_aux.mli OCAMLC ocaml/run_ocamlcocci.mli +OCAMLC python/pycocci_aux.mli OCAMLC python/pycocci.mli OCAMLC engine/c_vs_c.mli OCAMLC engine/isomorphisms_c_c.mli +OCAMLC popl09/asttopopl.mli +OCAMLC popl09/insert_quantifiers.mli +OCAMLC popl09/pretty_print_popl.mli +OCAMLC tools/spgen/source/detect_patch.mli +OCAMLC tools/spgen/source/meta_variable.mli cp parsing_c/ast_c.cmi ocaml/ast_c.cmi +OCAMLC tools/spgen/source/file_transform.mli +cp parsing_c/parser_c.cmi ocaml/parser_c.cmi +cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi +cp commons/common.cmo ocaml/common.cmo +cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo OCAMLC parsing_c/ast_c.ml -OCAMLC tools/spgen/source/snapshot.mli -OCAMLC tools/spgen/source/rule_body.mli -OCAMLC tools/spgen/source/user_input.mli -OCAMLC tools/spgen/source/rule_header.mli -OCAMLC tools/spgen/source/context_rule.mli +cp globals/flag.cmx ocaml/flag.cmx +OCAMLC parsing_cocci/ast0_cocci.ml +OCAMLC parsing_cocci/visitor_ast0.mli +OCAMLC parsing_cocci/iso_pattern.mli +OCAMLC parsing_cocci/parse_aux.mli +OCAMLC parsing_c/pretty_print_c.mli +OCAMLC parsing_c/visitor_c.mli +OCAMLC parsing_c/control_flow_c_build.mli OCAMLC parsing_c/lexer_c.mli OCAMLC parsing_c/parse_string_c.mli OCAMLC parsing_c/token_helpers.mli OCAMLC parsing_c/token_views_c.mli OCAMLC parsing_c/parsing_recovery_c.mli -cp parsing_c/parser_c.cmi ocaml/parser_c.cmi OCAMLC parsing_c/comment_annotater_c.mli -OCAMLC parsing_cocci/visitor_ast0.mli -OCAMLC parsing_cocci/iso_pattern.mli -OCAMLC parsing_cocci/parse_aux.mli -OCAMLC tools/spgen/source/position_generator.mli -OCAMLC tools/spgen/source/disj_generator.mli -OCAMLC tools/spgen/source/script_rule.mli -OCAMLC tools/spgen/source/spgen_interactive.mli -OCAMLC tools/spgen/source/spgen_config.mli -OCAMLC parsing_c/visitor_c.mli -OCAMLC parsing_c/pretty_print_c.mli -OCAMLC parsing_c/control_flow_c_build.mli OCAMLC engine/lib_engine.mli OCAMLC engine/check_reachability.mli OCAMLC engine/cocci_vs_c.mli -OCAMLC parsing_c/cpp_token_c.mli +OCAMLC tools/spgen/source/snapshot.mli +OCAMLC tools/spgen/source/user_input.mli +OCAMLC tools/spgen/source/rule_body.mli +OCAMLC tools/spgen/source/context_rule.mli cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi +OCAMLC tools/spgen/source/rule_header.mli +cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi OCAMLC parsing_c/lexer_c.ml -cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo +OCAMLC parsing_c/visitor_c.ml OCAMLC parsing_cocci/iso_compile.mli -cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi -OCAMLC parsing_c/parsing_hacks.mli -OCAMLC parsing_c/cpp_analysis_c.mli -OCAMLC parsing_c/parse_c.mli -cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo MENHIR parsing_cocci/parser_cocci_menhir.mly -cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi OCAMLC parsing_c/lib_parsing_c.mli -OCAMLC parsing_c/visitor_c.ml -cp parsing_c/ast_c.cmo ocaml/ast_c.cmo +cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi +OCAMLC parsing_c/cpp_token_c.mli OCAMLC engine/pretty_print_engine.mli OCAMLC engine/pattern_c.mli OCAMLC engine/transformation_c.mli @@ -1256,27 +1283,32 @@ OCAMLC engine/ctltotex.mli OCAMLC engine/postprocess_transinfo.mli OCAMLC engine/ctlcocci_integration.mli -cp commons/common.cmo ocaml/common.cmo -OCAMLC parsing_c/unparse_c.mli -OCAMLC parsing_c/cpp_ast_c.mli -cp parsing_c/parse_c.cmi ocaml/parse_c.cmi -OCAMLC ocaml/coccilib.mli -OCAMLC cocci.mli -OCAMLC parsing_c/parse_c.ml -cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi +OCAMLC tools/spgen/source/position_generator.mli +OCAMLC tools/spgen/source/disj_generator.mli +OCAMLC tools/spgen/source/script_rule.mli +OCAMLC tools/spgen/source/spgen_interactive.mli +cp parsing_c/ast_c.cmo ocaml/ast_c.cmo +OCAMLC tools/spgen/source/spgen_config.mli +cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo +OCAMLC parsing_c/parsing_hacks.mli +OCAMLC parsing_c/cpp_analysis_c.mli +OCAMLC parsing_c/parse_c.mli OCAMLC popl09/popltoctl.mli +cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi OCAMLC popl09/popl.mli OCAMLC parsing_c/parser_c.ml OCAMLC parsing_c/pretty_print_c.ml OCAMLC parsing_c/lib_parsing_c.ml +OCAMLC parsing_c/unparse_c.mli +OCAMLC parsing_c/cpp_ast_c.mli OCAMLC ocaml/exposed_modules.mli +OCAMLC ocaml/coccilib.mli +OCAMLC cocci.mli +cp parsing_c/parse_c.cmi ocaml/parse_c.cmi cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo +OCAMLC parsing_c/parse_c.ml cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo -cp parsing_c/parse_c.cmo ocaml/parse_c.cmo cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo -cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo -cp parsing_c/parser_c.cmo ocaml/parser_c.cmo -OCAMLC python/yes_pycocci.mli OCAMLOPT commons/ograph_simple.ml OCAMLOPT commons/ograph_extended.ml OCAMLOPT globals/iteration.ml @@ -1292,12 +1324,14 @@ OCAMLOPT ctl/pretty_print_ctl.ml OCAMLOPT extra/classic_patch.ml OCAMLOPT extra/kbuild.ml -cp commons/common.cmx ocaml/common.cmx OCAMLOPT extra/maintainers.ml OCAMLOPT read_options.ml -cp parsing_c/token_c.cmx ocaml/token_c.cmx +cp parsing_c/parse_c.cmo ocaml/parse_c.cmo +cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo cp globals/iteration.cmx ocaml/iteration.cmx +cp commons/common.cmx ocaml/common.cmx OCAMLOPT -o globals/globals.cmxa +cp parsing_c/token_c.cmx ocaml/token_c.cmx OCAMLOPT -o extra/extra.cmxa OCAMLOPT -o commons/commons.cmxa OCAMLOPT ctl/ctl_engine.ml @@ -1305,25 +1339,27 @@ OCAMLOPT parsing_cocci/pretty_print_cocci.ml OCAMLOPT parsing_c/ast_c.ml OCAMLOPT popl09/ast_popl.ml -cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx OCAMLOPT tools/spgen/source/globals.ml OCAMLOPT tools/spgen/source/ast_tostring.ml +cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx +cp parsing_c/parser_c.cmo ocaml/parser_c.cmo +OCAMLC python/yes_pycocci.mli OCAMLOPT popl09/insert_quantifiers.ml -OCAMLOPT parsing_cocci/visitor_ast0_types.ml -OCAMLOPT parsing_cocci/visitor_ast.ml -OCAMLOPT parsing_cocci/compute_lines.ml -OCAMLOPT parsing_cocci/top_level.ml -OCAMLOPT parsing_cocci/arity.ml -OCAMLOPT parsing_cocci/index.ml -cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx -OCAMLOPT parsing_cocci/data.ml OCAMLOPT parsing_c/includes.ml OCAMLOPT parsing_c/control_flow_c.ml +cp parsing_c/ast_c.cmx ocaml/ast_c.cmx OCAMLOPT parsing_c/lexer_parser.ml OCAMLOPT parsing_c/type_c.ml -cp parsing_c/ast_c.cmx ocaml/ast_c.cmx OCAMLOPT ocaml/externalanalysis.ml OCAMLOPT engine/isomorphisms_c_c.ml +OCAMLOPT parsing_cocci/visitor_ast0_types.ml +OCAMLOPT parsing_cocci/compute_lines.ml +OCAMLOPT parsing_cocci/visitor_ast.ml +OCAMLOPT parsing_cocci/top_level.ml +OCAMLOPT parsing_cocci/arity.ml +OCAMLOPT parsing_cocci/index.ml +OCAMLOPT parsing_cocci/data.ml +cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx OCAMLOPT parsing_c/visitor_c.ml OCAMLOPT engine/check_exhaustive_pattern.ml OCAMLOPT parsing_cocci/visitor_ast0.ml @@ -1334,14 +1370,14 @@ OCAMLOPT engine/lib_engine.ml OCAMLOPT engine/check_reachability.ml OCAMLOPT engine/ctltotex.ml -OCAMLOPT parsing_c/lib_parsing_c.ml cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx +OCAMLOPT parsing_c/lib_parsing_c.ml OCAMLOPT parsing_c/parsing_consistency_c.ml OCAMLOPT parsing_c/includes_cache.ml -OCAMLOPT parsing_c/pretty_print_c.ml -OCAMLOPT parsing_c/danger.ml cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx +OCAMLOPT parsing_c/pretty_print_c.ml OCAMLOPT engine/c_vs_c.ml +OCAMLOPT parsing_c/danger.ml OCAMLOPT parsing_cocci/stmtlist.ml OCAMLOPT parsing_cocci/free_vars.ml OCAMLOPT parsing_cocci/safe_for_multi_decls.ml @@ -1353,12 +1389,11 @@ OCAMLOPT parsing_cocci/id_utils.ml OCAMLOPT parsing_c/control_flow_c_build.ml OCAMLOPT parsing_c/parser_c.ml +cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx OCAMLOPT parsing_c/unparse_cocci.ml OCAMLOPT ocaml/ocamlcocci_aux.ml -cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx OCAMLOPT python/pycocci_aux.ml OCAMLOPT engine/pretty_print_engine.ml -OCAMLOPT engine/asttoctl2.ml OCAMLOPT parsing_cocci/ast0toast.ml OCAMLOPT parsing_cocci/iso_compile.ml OCAMLOPT parsing_cocci/simple_assignments.ml @@ -1366,10 +1401,11 @@ OCAMLOPT parsing_cocci/test_exps.ml OCAMLOPT parsing_cocci/unitary_ast0.ml OCAMLOPT parsing_cocci/adjust_pragmas.ml -OCAMLOPT parsing_cocci/check_meta.ml OCAMLOPT parsing_cocci/adjacency.ml OCAMLOPT parsing_cocci/commas_on_lists.ml OCAMLOPT tools/spgen/source/detect_patch.ml +OCAMLOPT engine/asttoctl2.ml +OCAMLOPT parsing_cocci/check_meta.ml OCAMLOPT tools/spgen/source/snapshot.ml OCAMLOPT tools/spgen/source/position_generator.ml OCAMLOPT parsing_c/unparse_hrule.ml @@ -1379,24 +1415,24 @@ OCAMLOPT parsing_cocci/type_infer.ml OCAMLOPT tools/spgen/source/meta_variable.ml OCAMLOPT tools/spgen/source/rule_body.ml -OCAMLOPT parsing_c/lexer_c.ml -OCAMLOPT parsing_c/parse_string_c.ml -cp parsing_c/parser_c.cmx ocaml/parser_c.cmx -OCAMLOPT parsing_c/token_helpers.ml OCAMLOPT tools/spgen/source/user_input.ml OCAMLOPT tools/spgen/source/rule_header.ml OCAMLOPT popl09/popltoctl.ml +OCAMLOPT parsing_c/lexer_c.ml +OCAMLOPT parsing_c/parse_string_c.ml +OCAMLOPT parsing_c/token_helpers.ml OCAMLOPT tools/spgen/source/context_rule.ml +cp parsing_c/parser_c.cmx ocaml/parser_c.cmx OCAMLOPT tools/spgen/source/file_transform.ml +OCAMLOPT parsing_cocci/comm_assoc.ml +OCAMLOPT parsing_cocci/context_neg.ml OCAMLOPT tools/spgen/source/script_rule.ml OCAMLOPT tools/spgen/source/spgen_interactive.ml OCAMLOPT tools/spgen/source/spgen_config.ml OCAMLOPT popl09/popl.ml -OCAMLOPT parsing_cocci/comm_assoc.ml -OCAMLOPT parsing_cocci/context_neg.ml +OCAMLOPT -o popl09/popl09.cmxa OCAMLOPT parsing_cocci/iso_pattern.ml OCAMLOPT parsing_cocci/parse_aux.ml -OCAMLOPT -o popl09/popl09.cmxa OCAMLOPT parsing_c/token_views_c.ml OCAMLOPT parsing_c/parsing_recovery_c.ml OCAMLOPT parsing_c/unparse_c.ml @@ -1407,11 +1443,6 @@ OCAMLOPT parsing_cocci/insert_plus.ml OCAMLOPT parsing_c/cpp_analysis_c.ml OCAMLOPT parsing_c/parse_c.ml -OCAMLDEP parsing_cocci/parser_cocci_menhir.ml -OCAMLDEP parsing_cocci/parser_cocci_menhir.mli -OCAMLC parsing_cocci/parser_cocci_menhir.mli -OCAMLC parsing_cocci/lexer_cocci.mli -OCAMLC parsing_cocci/lexer_script.mli OCAMLOPT parsing_cocci/single_statement.ml OCAMLOPT parsing_cocci/function_prototypes.ml OCAMLOPT parsing_c/cpp_ast_c.ml @@ -1419,18 +1450,23 @@ OCAMLOPT parsing_c/compare_c.ml cp parsing_c/parse_c.cmx ocaml/parse_c.cmx OCAMLOPT ocaml/exposed_modules.ml +OCAMLDEP parsing_cocci/parser_cocci_menhir.ml +OCAMLDEP parsing_cocci/parser_cocci_menhir.mli +OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLOPT parsing_c/test_parsing_c.ml OCAMLOPT ocaml/coccilib.ml +OCAMLC parsing_cocci/lexer_cocci.mli +OCAMLC parsing_cocci/lexer_script.mli OCAMLOPT -o parsing_c/parsing_c.cmxa OCAMLOPT ocaml/yes_prepare_ocamlcocci.ml OCAMLOPT ocaml/run_ocamlcocci.ml OCAMLOPT python/yes_pycocci.ml OCAMLOPT python/pycocci.ml OCAMLOPT ocaml/prepare_ocamlcocci.ml -OCAMLOPT -o ocaml/ocaml.cmxa OCAMLOPT -o python/python.cmxa OCAMLOPT engine/cocci_vs_c.ml OCAMLOPT engine/postprocess_transinfo.ml +OCAMLOPT -o ocaml/ocaml.cmxa OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLOPT engine/pattern_c.ml OCAMLOPT engine/transformation_c.ml @@ -1459,7 +1495,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-931074-2ef964-62.c ++++ /tmp/cocci-output-2523378-32a83e-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -1477,7 +1513,7 @@ a3.res diff = --- tests/a3.c -+++ /tmp/cocci-output-931074-a1edc6-a3.c ++++ /tmp/cocci-output-2523378-c4650e-a3.c @@ -1,5 +1,5 @@ static void a3d_connect() { @@ -1488,7 +1524,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-931074-22ade0-a3d.c ++++ /tmp/cocci-output-2523378-ea1d24-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -1510,7 +1546,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-931074-30e50c-a_and_e_ver1.c ++++ /tmp/cocci-output-2523378-522ac9-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -1522,7 +1558,7 @@ ab.res diff = --- tests/ab.c -+++ /tmp/cocci-output-931074-ab450d-ab.c ++++ /tmp/cocci-output-2523378-46b420-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -1533,7 +1569,7 @@ action.res diff = --- tests/action.c -+++ /tmp/cocci-output-931074-8ec074-action.c ++++ /tmp/cocci-output-2523378-f208a1-action.c @@ -1,10 +1,8 @@ void work() { @@ -1551,7 +1587,7 @@ SPECIAL NAMES: adding list_for_each_entry as a iterator diff = --- tests/add1.c -+++ /tmp/cocci-output-931074-c8e57a-add1.c ++++ /tmp/cocci-output-2523378-f841af-add1.c @@ -7,6 +7,9 @@ static int create_scheduling_groups(void ret = build_groups(sd, i); } @@ -1578,7 +1614,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-931074-91bb75-addaft.c ++++ /tmp/cocci-output-2523378-34badb-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -1602,7 +1638,7 @@ addafterdecl.res diff = --- tests/addafterdecl.c -+++ /tmp/cocci-output-931074-cb46f5-addafterdecl.c ++++ /tmp/cocci-output-2523378-1724f0-addafterdecl.c @@ -1,4 +1,5 @@ int main () { int x; @@ -1612,7 +1648,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-931074-12424b-addbefore.c ++++ /tmp/cocci-output-2523378-d59ef1-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -1623,7 +1659,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-931074-1e1739-addbeforeafter.c ++++ /tmp/cocci-output-2523378-5e54c7-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -1636,7 +1672,7 @@ addcomm.res diff = --- tests/addcomm.c -+++ /tmp/cocci-output-931074-07d741-addcomm.c ++++ /tmp/cocci-output-2523378-916247-addcomm.c @@ -1,5 +1,9 @@ int main() { - foo(); @@ -1652,7 +1688,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-931074-9f9a98-addelse.c ++++ /tmp/cocci-output-2523378-213c2e-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -1660,7 +1696,7 @@ addes.res diff = --- tests/addes.c -+++ /tmp/cocci-output-931074-c126bb-addes.c ++++ /tmp/cocci-output-2523378-103e73-addes.c @@ -1 +1,3 @@ int i; +struct foo { @@ -1668,7 +1704,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-931074-ca6993-addfield.c ++++ /tmp/cocci-output-2523378-8d423a-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -1680,7 +1716,7 @@ addfield2.res diff = --- tests/addfield2.c -+++ /tmp/cocci-output-931074-ef748c-addfield2.c ++++ /tmp/cocci-output-2523378-7cc4cf-addfield2.c @@ -1,17 +1,21 @@ struct foo { + int roto; @@ -1706,7 +1742,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-931074-c1430e-addif.c ++++ /tmp/cocci-output-2523378-d35592-addif.c @@ -1,7 +1,19 @@ +#ifdef FOO +/* some comment */ @@ -1730,7 +1766,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-931074-cc996a-addif1.c ++++ /tmp/cocci-output-2523378-b94fcf-addif1.c @@ -1,7 +1,15 @@ +#ifdef FOO +int xxx() { @@ -1750,7 +1786,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-931074-f02311-addif2.c ++++ /tmp/cocci-output-2523378-d3ab0a-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -1768,7 +1804,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-931074-7e59f3-addifdef.c ++++ /tmp/cocci-output-2523378-7bebec-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -1787,7 +1823,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-931074-c08622-addifelse.c ++++ /tmp/cocci-output-2523378-8d9fe1-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -1806,7 +1842,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-931074-7768d7-addifelse2.c ++++ /tmp/cocci-output-2523378-559264-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) { @@ -1826,7 +1862,7 @@ addinc.res diff = --- tests/addinc.c -+++ /tmp/cocci-output-931074-5067e6-addinc.c ++++ /tmp/cocci-output-2523378-9160e5-addinc.c @@ -1,4 +1,5 @@ #ifndef FOO #define FOO @@ -1836,7 +1872,7 @@ addnl.res diff = --- tests/addnl.c -+++ /tmp/cocci-output-931074-e7b546-addnl.c ++++ /tmp/cocci-output-2523378-7bab03-addnl.c @@ -1,5 +1,6 @@ int main () { xxx(); @@ -1848,7 +1884,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-931074-5a2728-addtoo.c ++++ /tmp/cocci-output-2523378-fe360b-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -1872,7 +1908,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-931074-842b68-addtrace.c ++++ /tmp/cocci-output-2523378-5585c2-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -1905,7 +1941,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-931074-4f3fd4-after_if.c ++++ /tmp/cocci-output-2523378-9892ae-after_if.c @@ -1,4 +1,4 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -1915,7 +1951,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-931074-291354-allex.c ++++ /tmp/cocci-output-2523378-ba31a8-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -1928,7 +1964,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-931074-e793a6-allex2.c ++++ /tmp/cocci-output-2523378-118f8f-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -1939,7 +1975,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-931074-87a6a1-allex3.c ++++ /tmp/cocci-output-2523378-3368dd-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -1949,7 +1985,7 @@ andid.res diff = --- tests/andid.c -+++ /tmp/cocci-output-931074-4f3368-andid.c ++++ /tmp/cocci-output-2523378-8151c6-andid.c @@ -1,5 +1,5 @@ int main () { - int frontandback = 12; @@ -1960,7 +1996,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-931074-91eb8a-anon.c ++++ /tmp/cocci-output-2523378-c2d34c-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -1971,7 +2007,7 @@ anonfield.res diff = --- tests/anonfield.c -+++ /tmp/cocci-output-931074-14329c-anonfield.c ++++ /tmp/cocci-output-2523378-e27ab1-anonfield.c @@ -1,3 +1,3 @@ struct { - int; @@ -1980,7 +2016,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-931074-ea2875-ar.c ++++ /tmp/cocci-output-2523378-b2d1c1-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -1994,7 +2030,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-931074-80c9af-arg.c ++++ /tmp/cocci-output-2523378-dc617e-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -2009,7 +2045,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-931074-a6d9ee-argument.c ++++ /tmp/cocci-output-2523378-b64698-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -2023,7 +2059,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-931074-e57beb-arparam.c ++++ /tmp/cocci-output-2523378-88eae0-arparam.c @@ -1,3 +1,8 @@ +int g(int q[1024]) +{ @@ -2037,7 +2073,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/array_init.c -+++ /tmp/cocci-output-931074-df0863-array_init.c ++++ /tmp/cocci-output-2523378-35300e-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"); @@ -2045,7 +2081,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-931074-f40605-array_size.c ++++ /tmp/cocci-output-2523378-3ddd15-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -2053,7 +2089,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-931074-63149f-arraysz.c ++++ /tmp/cocci-output-2523378-6d61ee-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -2063,7 +2099,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-931074-0da123-as_stm.c ++++ /tmp/cocci-output-2523378-d111ca-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -2080,7 +2116,7 @@ SPECIAL NAMES: adding aarg4 as a attribute diff = --- tests/attr_with_arguments.c -+++ /tmp/cocci-output-931074-126d2f-attr_with_arguments.c ++++ /tmp/cocci-output-2523378-e748a0-attr_with_arguments.c @@ -1,9 +1,9 @@ -aarg(1,2) int func() { - int id aarg3(1,2); @@ -2114,7 +2150,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-931074-cfdbcd-attradd.c ++++ /tmp/cocci-output-2523378-01e60e-attradd.c @@ -1,3 +1,5 @@ int main () { - char f; @@ -2128,7 +2164,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attribute_order.c -+++ /tmp/cocci-output-931074-b44dbd-attribute_order.c ++++ /tmp/cocci-output-2523378-842a02-attribute_order.c @@ -1,3 +1,3 @@ -int __att1 * __att2 * __att3 foo() { return 0; } + @@ -2138,7 +2174,7 @@ warning: line 5: should variable be a metavariable? diff = --- tests/attributeb.c -+++ /tmp/cocci-output-931074-27631c-attributeb.c ++++ /tmp/cocci-output-2523378-88b26a-attributeb.c @@ -1,3 +1,3 @@ int main(){ - [[lucky]] int variable; @@ -2150,7 +2186,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attrreplace.c -+++ /tmp/cocci-output-931074-c86a31-attrreplace.c ++++ /tmp/cocci-output-2523378-827007-attrreplace.c @@ -1,4 +1,7 @@ -int __att1 * __att2 * __att3 foo() { aaa(0); } -int __att1 * __att2 * __att3 bar() { return 0; } @@ -2168,7 +2204,7 @@ SPECIAL NAMES: adding BUG as a declarer diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-931074-cab09e-attrs2groups.c ++++ /tmp/cocci-output-2523378-e65893-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -2197,7 +2233,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-931074-e66639-b1.c ++++ /tmp/cocci-output-2523378-8c49ae-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -2214,7 +2250,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-931074-8cc7e9-b2.c ++++ /tmp/cocci-output-2523378-aaa718-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -2232,7 +2268,7 @@ bad_iso_example.res diff = --- tests/bad_iso_example.c -+++ /tmp/cocci-output-931074-495174-bad_iso_example.c ++++ /tmp/cocci-output-2523378-6478ff-bad_iso_example.c @@ -1,4 +1,5 @@ int main() { - if ((x = 3)) return; @@ -2243,7 +2279,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-931074-5e9fdc-bad_kfree.c ++++ /tmp/cocci-output-2523378-5449ca-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -2256,7 +2292,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-931074-281f15-bad_ptr_print.c ++++ /tmp/cocci-output-2523378-4929ac-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -2266,7 +2302,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-931074-3f0e65-bad_typedef.c ++++ /tmp/cocci-output-2523378-eaf66d-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -2286,7 +2322,7 @@ badcfg.res diff = --- tests/badcfg.c -+++ /tmp/cocci-output-931074-a7f8ce-badcfg.c ++++ /tmp/cocci-output-2523378-f8bc84-badcfg.c @@ -3,7 +3,7 @@ const char *netdev_cmd_to_name(enum netd #define N(val) \ case NETDEV_##val: \ @@ -2299,7 +2335,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-931074-25d204-badexp.c ++++ /tmp/cocci-output-2523378-fa54ad-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -2309,7 +2345,7 @@ badpos.res diff = --- tests/badpos.c -+++ /tmp/cocci-output-931074-0f47e5-badpos.c ++++ /tmp/cocci-output-2523378-d79dc8-badpos.c @@ -1,7 +1,7 @@ static irqreturn_t elmc_interrupt(int irq, void *dev_id, struct sger_tp *orig_reg_ptr) @@ -2323,7 +2359,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-931074-14f863-badtypedef.c ++++ /tmp/cocci-output-2523378-aced06-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -2337,7 +2373,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-931074-406bd0-badwhen.c ++++ /tmp/cocci-output-2523378-d09144-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -2349,7 +2385,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-931074-be7d29-badzero.c ++++ /tmp/cocci-output-2523378-d25bd8-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -2366,7 +2402,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-931074-612730-befS.c ++++ /tmp/cocci-output-2523378-c8d770-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -2405,7 +2441,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-931074-5db6f5-before.c ++++ /tmp/cocci-output-2523378-d9d53e-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -2416,7 +2452,7 @@ befored.res diff = --- tests/befored.c -+++ /tmp/cocci-output-931074-0950c1-befored.c ++++ /tmp/cocci-output-2523378-ebf44b-befored.c @@ -1,4 +1,8 @@ int main() { + foo(); @@ -2431,7 +2467,7 @@ SPECIAL NAMES: adding GTypeInfo as a type diff = --- tests/ben.c -+++ /tmp/cocci-output-931074-49f6cf-ben.c ++++ /tmp/cocci-output-2523378-780442-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -2471,7 +2507,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-931074-24a718-bigin.c ++++ /tmp/cocci-output-2523378-6c3faf-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -2482,7 +2518,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-931074-e0971d-bigrepl.c ++++ /tmp/cocci-output-2523378-ff145a-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -2499,7 +2535,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-931074-8518d6-binop.c ++++ /tmp/cocci-output-2523378-5a6359-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -2520,7 +2556,7 @@ warning: rule starting on line 11: metavariable v not used in the - or context code diff = --- tests/bitfield.c -+++ /tmp/cocci-output-931074-460bdb-bitfield.c ++++ /tmp/cocci-output-2523378-7e9bde-bitfield.c @@ -1,15 +1,15 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -2553,7 +2589,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-931074-507175-boolr.c ++++ /tmp/cocci-output-2523378-17aa7b-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -2562,7 +2598,7 @@ bracebraceline.res diff = --- tests/bracebraceline.c -+++ /tmp/cocci-output-931074-007696-bracebraceline.c ++++ /tmp/cocci-output-2523378-3e8a89-bracebraceline.c @@ -1,6 +1,5 @@ int main () { if (x) { @@ -2574,7 +2610,7 @@ braceline.res diff = --- tests/braceline.c -+++ /tmp/cocci-output-931074-bf80d7-braceline.c ++++ /tmp/cocci-output-2523378-b4ba15-braceline.c @@ -1,6 +1,3 @@ int main () { - if (x) { @@ -2586,7 +2622,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-931074-d91b7a-braces.c ++++ /tmp/cocci-output-2523378-bc65ee-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -2604,7 +2640,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-931074-076b3a-branchparen.c ++++ /tmp/cocci-output-2523378-62f3d8-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -2621,7 +2657,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-931074-d8c984-break.c ++++ /tmp/cocci-output-2523378-3abd86-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -2649,7 +2685,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-931074-43372f-bug1.c ++++ /tmp/cocci-output-2523378-de8ca4-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, @@ -2662,7 +2698,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-931074-2efc2c-bugon.c ++++ /tmp/cocci-output-2523378-ec8e98-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -2673,7 +2709,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-931074-e6e797-bus.c ++++ /tmp/cocci-output-2523378-d0849e-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -2686,7 +2722,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/cards.c -+++ /tmp/cocci-output-931074-464758-cards.c ++++ /tmp/cocci-output-2523378-f7defc-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -2695,7 +2731,7 @@ caseprint.res diff = --- tests/caseprint.c -+++ /tmp/cocci-output-931074-5fcb41-caseprint.c ++++ /tmp/cocci-output-2523378-b34df1-caseprint.c @@ -3,4 +3,10 @@ int f() { case 12: return 0; case 1: return 2; @@ -2710,7 +2746,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-931074-933617-cast.c ++++ /tmp/cocci-output-2523378-151917-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -2718,7 +2754,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-931074-b2300b-cast_iso.c ++++ /tmp/cocci-output-2523378-3798f5-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -2731,7 +2767,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-931074-19769c-castdecl.c ++++ /tmp/cocci-output-2523378-315cdf-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -2750,7 +2786,7 @@ cex_snip_field_ok.res diff = --- tests/cex_snip_field_ok.c -+++ /tmp/cocci-output-931074-c810da-cex_snip_field_ok.c ++++ /tmp/cocci-output-2523378-159578-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; }; @@ -2763,7 +2799,7 @@ cex_wishlist_complex1.res diff = --- tests/cex_wishlist_complex1.c -+++ /tmp/cocci-output-931074-fbc3b0-cex_wishlist_complex1.c ++++ /tmp/cocci-output-2523378-f46517-cex_wishlist_complex1.c @@ -1,6 +1,6 @@ #include int main() { @@ -2775,7 +2811,7 @@ cex_wishlist_complex2.res diff = --- tests/cex_wishlist_complex2.c -+++ /tmp/cocci-output-931074-c7505e-cex_wishlist_complex2.c ++++ /tmp/cocci-output-2523378-5d9a82-cex_wishlist_complex2.c @@ -2,7 +2,7 @@ int main() { double d; @@ -2788,7 +2824,7 @@ cex_wishlist_complex3.res diff = --- tests/cex_wishlist_complex3.c -+++ /tmp/cocci-output-931074-142226-cex_wishlist_complex3.c ++++ /tmp/cocci-output-2523378-f84dda-cex_wishlist_complex3.c @@ -2,7 +2,7 @@ int main() { double d; @@ -2802,7 +2838,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-931074-a343b1-change.c ++++ /tmp/cocci-output-2523378-90c649-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -2812,14 +2848,14 @@ } change_pragma.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_5a62cf.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5a62cf.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_433a52.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_433a52.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function change_type.res diff = --- tests/change_type.c -+++ /tmp/cocci-output-931074-bc6d0d-change_type.c ++++ /tmp/cocci-output-2523378-973707-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -2831,7 +2867,7 @@ cocci_args.res diff = --- tests/cocci_args.c -+++ /tmp/cocci-output-931074-89da7f-cocci_args.c ++++ /tmp/cocci-output-2523378-c6c7a7-cocci_args.c @@ -1,3 +1,3 @@ int main () { - f(); @@ -2840,7 +2876,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-931074-da21c6-com.c ++++ /tmp/cocci-output-2523378-6e38f6-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -2853,7 +2889,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-931074-fd8c4a-comadd.c ++++ /tmp/cocci-output-2523378-064e58-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -2863,7 +2899,7 @@ comj.res diff = --- tests/comj.c -+++ /tmp/cocci-output-931074-a06213-comj.c ++++ /tmp/cocci-output-2523378-bf8912-comj.c @@ -2,6 +2,8 @@ int foo(int bar) { int i, j; @@ -2875,12 +2911,12 @@ return j; comma.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_6102d1.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6102d1.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_95bb70.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_95bb70.ml Compilation OK! Loading ML code of the SP... diff = --- tests/comma.c -+++ /tmp/cocci-output-931074-ac71bc-comma.c ++++ /tmp/cocci-output-2523378-d4998f-comma.c @@ -3,9 +3,9 @@ show_cpuinfo (struct seq_file *m, void * { for (i = 0; i < ARRAY_SIZE(feature_bits) && size > 1; ++i) { @@ -2896,7 +2932,7 @@ comma_call.res diff = --- tests/comma_call.c -+++ /tmp/cocci-output-931074-10a0e0-comma_call.c ++++ /tmp/cocci-output-2523378-c57ace-comma_call.c @@ -1,10 +1,13 @@ int main() { - if (x) @@ -2918,7 +2954,7 @@ comma_if.res diff = --- tests/comma_if.c -+++ /tmp/cocci-output-931074-5f6923-comma_if.c ++++ /tmp/cocci-output-2523378-83ea5b-comma_if.c @@ -1,13 +1,19 @@ int main() { - if (uffdio_zeropage.zeropage == -EEXIST) @@ -2948,7 +2984,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-931074-08146c-comment_brace.c ++++ /tmp/cocci-output-2523378-4b31b3-comment_brace.c @@ -1,7 +1,10 @@ int main () { @@ -2963,7 +2999,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-931074-4dd524-comment_brace2.c ++++ /tmp/cocci-output-2523378-b4381f-comment_brace2.c @@ -1,7 +1,10 @@ int main () { @@ -2977,8 +3013,8 @@ comment_line.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_dc4c4e.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_dc4c4e.ml -File "/tmp/ocaml_cocci_dc4c4e.ml", line 31, characters 4-5: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_8f18df.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_8f18df.ml +File "/tmp/ocaml_cocci_8f18df.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. @@ -2988,7 +3024,7 @@ 1 diff = --- tests/comment_line.c -+++ /tmp/cocci-output-931074-e8fe05-comment_line.c ++++ /tmp/cocci-output-2523378-5dd938-comment_line.c @@ -1,11 +1,9 @@ int main() { before(); @@ -3003,8 +3039,8 @@ } comment_middle.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_dc7efa.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_dc7efa.ml -File "/tmp/ocaml_cocci_dc7efa.ml", line 30, characters 5-6: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_b26bbc.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_b26bbc.ml +File "/tmp/ocaml_cocci_b26bbc.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. @@ -3012,7 +3048,7 @@ Loading ML code of the SP... diff = --- tests/comment_middle.c -+++ /tmp/cocci-output-931074-0d1c92-comment_middle.c ++++ /tmp/cocci-output-2523378-10bc2c-comment_middle.c @@ -5,5 +5,4 @@ struct i { }; @@ -3024,7 +3060,7 @@ commentend.res diff = --- tests/commentend.c -+++ /tmp/cocci-output-931074-255dd7-commentend.c ++++ /tmp/cocci-output-2523378-d04303-commentend.c @@ -1,5 +1,4 @@ int main () { foo(); @@ -3034,7 +3070,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-931074-8c804b-comments.c ++++ /tmp/cocci-output-2523378-187f53-comments.c @@ -1,5 +1,16 @@ int main() { @@ -3056,7 +3092,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/compare.c -+++ /tmp/cocci-output-931074-8d21bc-compare.c ++++ /tmp/cocci-output-2523378-beff75-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -3070,7 +3106,7 @@ compare_const.res diff = --- tests/compare_const.c -+++ /tmp/cocci-output-931074-373e24-compare_const.c ++++ /tmp/cocci-output-2523378-c41f1f-compare_const.c @@ -1,3 +1,3 @@ int main () { - return 0 == x; @@ -3079,7 +3115,7 @@ compare_const2.res diff = --- tests/compare_const2.c -+++ /tmp/cocci-output-931074-4946e1-compare_const2.c ++++ /tmp/cocci-output-2523378-52d07c-compare_const2.c @@ -1,6 +1,6 @@ int main () { // int i,o; @@ -3092,7 +3128,7 @@ comreturn.res diff = --- tests/comreturn.c -+++ /tmp/cocci-output-931074-670eb1-comreturn.c ++++ /tmp/cocci-output-2523378-77e7ef-comreturn.c @@ -1,10 +1,14 @@ int main() { a(); @@ -3111,7 +3147,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-931074-84d62c-condexp.c ++++ /tmp/cocci-output-2523378-55362b-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -3124,7 +3160,7 @@ const.res diff = --- tests/const.c -+++ /tmp/cocci-output-931074-47d18c-const.c ++++ /tmp/cocci-output-2523378-061357-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -3133,7 +3169,7 @@ const1bis.res diff = --- tests/const1bis.c -+++ /tmp/cocci-output-931074-cb377b-const1bis.c ++++ /tmp/cocci-output-2523378-f91d00-const1bis.c @@ -1,25 +1,25 @@ void foo(int j) { - const int i; @@ -3169,7 +3205,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-931074-108110-const_adding.c ++++ /tmp/cocci-output-2523378-5bc0c6-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -3181,7 +3217,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-931074-3f0da1-const_array.c ++++ /tmp/cocci-output-2523378-5f84a6-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -3200,7 +3236,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-931074-5a6712-const_implicit_iso.c ++++ /tmp/cocci-output-2523378-30dbc8-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -3210,7 +3246,7 @@ constptr.res diff = --- tests/constptr.c -+++ /tmp/cocci-output-931074-8b3d09-constptr.c ++++ /tmp/cocci-output-2523378-b84cc9-constptr.c @@ -1,7 +1,7 @@ int main() { @@ -3226,7 +3262,7 @@ constraints.res diff = --- tests/constraints.c -+++ /tmp/cocci-output-931074-b340fd-constraints.c ++++ /tmp/cocci-output-2523378-b7e643-constraints.c @@ -1,23 +1,23 @@ void f() @@ -3260,7 +3296,7 @@ constrem.res diff = --- tests/constrem.c -+++ /tmp/cocci-output-931074-5ab5d5-constrem.c ++++ /tmp/cocci-output-2523378-5ae932-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -3268,7 +3304,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-931074-338670-constructor.c ++++ /tmp/cocci-output-2523378-8501f3-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -3280,7 +3316,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-931074-fa1351-constty.c ++++ /tmp/cocci-output-2523378-c5ca19-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -3292,7 +3328,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-931074-43fec3-constx.c ++++ /tmp/cocci-output-2523378-68178a-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -3309,7 +3345,7 @@ } countcalls.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_ec24a5.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ec24a5.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_5bf0c8.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5bf0c8.ml Compilation OK! Loading ML code of the SP... countcalls_python.res @@ -3317,14 +3353,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-931074-8681b6-cptr.c ++++ /tmp/cocci-output-2523378-4afc16-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char * const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-931074-ace2f1-cr.c ++++ /tmp/cocci-output-2523378-8a69ca-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -3340,7 +3376,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-931074-d3aed0-cr1a.c ++++ /tmp/cocci-output-2523378-fd7e24-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -3365,7 +3401,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-931074-db6565-cs_check.c ++++ /tmp/cocci-output-2523378-649bfe-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -3378,7 +3414,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-931074-a11192-cst.c ++++ /tmp/cocci-output-2523378-f80ab2-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -3389,7 +3425,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-931074-b1b353-cst_null.c ++++ /tmp/cocci-output-2523378-8490e7-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -3425,12 +3461,12 @@ vb->magic = MAGIC_BUFFER; cstr.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_d09227.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d09227.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_7bc829.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_7bc829.ml Compilation OK! Loading ML code of the SP... diff = --- tests/cstr.c -+++ /tmp/cocci-output-931074-39fa58-cstr.c ++++ /tmp/cocci-output-2523378-998f0c-cstr.c @@ -1,4 +1,8 @@ int main() { f(1,2,1,2,3); @@ -3444,7 +3480,7 @@ warning: line 4: should foo be a metavariable? diff = --- tests/cststr.c -+++ /tmp/cocci-output-931074-861f02-cststr.c ++++ /tmp/cocci-output-2523378-b0cfbd-cststr.c @@ -1,3 +1,3 @@ int main () { - foo((ptr_t)"blah"); @@ -3454,7 +3490,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-931074-808e90-csw.c ++++ /tmp/cocci-output-2523378-964f67-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -3473,7 +3509,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-931074-064a53-dbg.c ++++ /tmp/cocci-output-2523378-b85bc4-dbg.c @@ -5,4 +5,6 @@ static inline void alloc_resource(struct if (pr) @@ -3484,7 +3520,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-931074-858650-dbg1.c ++++ /tmp/cocci-output-2523378-9f92c2-dbg1.c @@ -2,4 +2,5 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) { @@ -3494,7 +3530,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-931074-e8ecb9-dc_close.c ++++ /tmp/cocci-output-2523378-6bd2cc-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -3506,7 +3542,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-931074-57a233-debug.c ++++ /tmp/cocci-output-2523378-1d28be-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -3516,7 +3552,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-931074-1e8568-dec.c ++++ /tmp/cocci-output-2523378-3eef42-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -3528,7 +3564,7 @@ SPECIAL NAMES: adding __cb as a attribute diff = --- tests/decadd.c -+++ /tmp/cocci-output-931074-19a5eb-decadd.c ++++ /tmp/cocci-output-2523378-36c6f7-decadd.c @@ -1,3 +1,3 @@ struct x { - DECL(x); @@ -3538,7 +3574,7 @@ decdup2.res diff = --- tests/decdup2.c -+++ /tmp/cocci-output-931074-026af4-decdup2.c ++++ /tmp/cocci-output-2523378-a81e11-decdup2.c @@ -1,2 +1,3 @@ +int www; BTF_ID_LIST_SINGLE(bpf_ima_inode_hash_btf_ids, struct, inode) @@ -3548,7 +3584,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-931074-efd829-decl.c ++++ /tmp/cocci-output-2523378-18b21e-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -3560,7 +3596,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-931074-323ccb-decl2.c ++++ /tmp/cocci-output-2523378-bbd345-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -3572,7 +3608,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-931074-c2d714-decl_space.c ++++ /tmp/cocci-output-2523378-0acda7-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -3584,7 +3620,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-931074-6890ef-decl_star.c ++++ /tmp/cocci-output-2523378-c1e3f1-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -3596,7 +3632,7 @@ declend.res diff = --- tests/declend.c -+++ /tmp/cocci-output-931074-58d8ac-declend.c ++++ /tmp/cocci-output-2523378-104fff-declend.c @@ -1,6 +1,5 @@ int x; @@ -3607,7 +3643,7 @@ declmeta.res diff = --- tests/declmeta.c -+++ /tmp/cocci-output-931074-c575f6-declmeta.c ++++ /tmp/cocci-output-2523378-d65095-declmeta.c @@ -1,7 +1,7 @@ -int b,c; +int c; @@ -3622,13 +3658,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-931074-2d7774-defe.c ++++ /tmp/cocci-output-2523378-72d8f7-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-931074-199509-define_exp.c ++++ /tmp/cocci-output-2523378-40f125-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -3639,7 +3675,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-931074-5a48cd-define_param.c ++++ /tmp/cocci-output-2523378-72c4eb-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -3656,7 +3692,7 @@ definedots.res diff = --- tests/definedots.c -+++ /tmp/cocci-output-931074-f5a5f8-definedots.c ++++ /tmp/cocci-output-2523378-7142f1-definedots.c @@ -1,3 +1,3 @@ -#define a(x,y...) 3 -#define a(x,...) 3 @@ -3667,7 +3703,7 @@ defineinit.res diff = --- tests/defineinit.c -+++ /tmp/cocci-output-931074-d5cb6a-defineinit.c ++++ /tmp/cocci-output-2523378-8da475-defineinit.c @@ -1,3 +1,3 @@ #define MYMACRO(adsf) { \ - .foo = (asdf),\ @@ -3677,7 +3713,7 @@ del2.res diff = --- tests/del2.c -+++ /tmp/cocci-output-931074-9a2889-del2.c ++++ /tmp/cocci-output-2523378-fdee46-del2.c @@ -4,8 +4,5 @@ int my_test_allocate_components(void) if (result != X_SUCCESS) return result; @@ -3690,7 +3726,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-931074-37aa6c-delete_function.c ++++ /tmp/cocci-output-2523378-5db16f-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -3707,7 +3743,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-931074-070b6c-delp.c ++++ /tmp/cocci-output-2523378-50e67e-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -3717,7 +3753,7 @@ depfail.res diff = --- tests/depfail.c -+++ /tmp/cocci-output-931074-dbd47d-depfail.c ++++ /tmp/cocci-output-2523378-15bb14-depfail.c @@ -1,5 +1,4 @@ int main(void) { @@ -3727,7 +3763,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-931074-838e66-deref.c ++++ /tmp/cocci-output-2523378-358697-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -3740,7 +3776,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-931074-0d380c-destroy.c ++++ /tmp/cocci-output-2523378-ee3ca4-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -3758,7 +3794,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/detect_cast_attr.c -+++ /tmp/cocci-output-931074-0a0693-detect_cast_attr.c ++++ /tmp/cocci-output-2523378-5b946b-detect_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -3780,7 +3816,7 @@ SPECIAL NAMES: adding __macro_attr2 as a attribute SPECIAL NAMES: adding check_attr as a type Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_1b5e5a.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_1b5e5a.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_6f3b61.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6f3b61.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been @@ -3795,7 +3831,7 @@ Loading ML code of the SP... diff = --- tests/detect_macrodecl_attr.c -+++ /tmp/cocci-output-931074-c45e9c-detect_macrodecl_attr.c ++++ /tmp/cocci-output-2523378-2b25fd-detect_macrodecl_attr.c @@ -1,7 +1,5 @@ #define __macro_attr MACROANNOTATION @@ -3810,7 +3846,7 @@ SPECIAL NAMES: adding __attr as a attribute diff = --- tests/detect_param_attr.c -+++ /tmp/cocci-output-931074-1ce243-detect_param_attr.c ++++ /tmp/cocci-output-2523378-b8e4c0-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) { @@ -3831,7 +3867,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/detect_struct_endattr.c -+++ /tmp/cocci-output-931074-a87625-detect_struct_endattr.c ++++ /tmp/cocci-output-2523378-9b1fb7-detect_struct_endattr.c @@ -2,7 +2,6 @@ struct abcd { @@ -3843,7 +3879,7 @@ detect_struct_gccattr.res diff = --- tests/detect_struct_gccattr.c -+++ /tmp/cocci-output-931074-665b68-detect_struct_gccattr.c ++++ /tmp/cocci-output-2523378-4114c5-detect_struct_gccattr.c @@ -1,18 +1,15 @@ struct abcd { int a; @@ -3887,7 +3923,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/devlink.c -+++ /tmp/cocci-output-931074-4378d7-devlink.c ++++ /tmp/cocci-output-2523378-d4d5ad-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -3913,7 +3949,7 @@ SPECIAL NAMES: adding DISJ_DECLARER0 as a declarer diff = --- tests/disj.c -+++ /tmp/cocci-output-931074-cb846d-disj.c ++++ /tmp/cocci-output-2523378-244d57-disj.c @@ -1,31 +1,31 @@ void f() { int disj_id0; @@ -3965,7 +4001,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-931074-0b5e5e-disjexpr.c ++++ /tmp/cocci-output-2523378-b608ab-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -3974,7 +4010,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-931074-a8612d-disjexpr_ver1.c ++++ /tmp/cocci-output-2523378-391e25-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -3983,7 +4019,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-931074-91f0e4-disjexpr_ver2.c ++++ /tmp/cocci-output-2523378-54a986-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -3992,7 +4028,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-931074-e18799-disjid.c ++++ /tmp/cocci-output-2523378-8a963f-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -4006,7 +4042,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-931074-c56530-distribute.c ++++ /tmp/cocci-output-2523378-f0bc47-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -4016,7 +4052,7 @@ dotcall.res diff = --- tests/dotcall.c -+++ /tmp/cocci-output-931074-19aec0-dotcall.c ++++ /tmp/cocci-output-2523378-7c8798-dotcall.c @@ -1,3 +1,2 @@ int main() { - xxx.foobar(); @@ -4024,7 +4060,7 @@ dots_comma.res diff = --- tests/dots_comma.c -+++ /tmp/cocci-output-931074-837b8d-dots_comma.c ++++ /tmp/cocci-output-2523378-56ad56-dots_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -4034,7 +4070,7 @@ dots_in_block_remove.res diff = --- tests/dots_in_block_remove.c -+++ /tmp/cocci-output-931074-a24428-dots_in_block_remove.c ++++ /tmp/cocci-output-2523378-065935-dots_in_block_remove.c @@ -1,10 +1,3 @@ int main() { @@ -4049,7 +4085,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-931074-170a0b-double.c ++++ /tmp/cocci-output-2523378-ee9e1e-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))) { @@ -4060,7 +4096,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-931074-df7b8e-double_assign.c ++++ /tmp/cocci-output-2523378-809898-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -4071,7 +4107,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-931074-5ee1a2-double_lines.c ++++ /tmp/cocci-output-2523378-ddd2da-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -4084,7 +4120,7 @@ doubleconst.res diff = --- tests/doubleconst.c -+++ /tmp/cocci-output-931074-887622-doubleconst.c ++++ /tmp/cocci-output-2523378-5d8f74-doubleconst.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -4093,7 +4129,7 @@ doubleconst2.res diff = --- tests/doubleconst2.c -+++ /tmp/cocci-output-931074-6cf259-doubleconst2.c ++++ /tmp/cocci-output-2523378-9990c5-doubleconst2.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -4102,7 +4138,7 @@ doubleconst4.res diff = --- tests/doubleconst4.c -+++ /tmp/cocci-output-931074-046133-doubleconst4.c ++++ /tmp/cocci-output-2523378-4cd41a-doubleconst4.c @@ -1,3 +1,3 @@ int main () { - char const* const ccpc = &const_obj; @@ -4111,7 +4147,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-931074-c49f27-doublepos.c ++++ /tmp/cocci-output-2523378-e44690-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -4121,7 +4157,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-931074-23dbda-doubleswitch.c ++++ /tmp/cocci-output-2523378-0f23de-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; @@ -4134,7 +4170,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-931074-d743aa-doundo.c ++++ /tmp/cocci-output-2523378-3783fe-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -4145,7 +4181,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-931074-5ba739-dowhile.c ++++ /tmp/cocci-output-2523378-830c38-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -4157,7 +4193,7 @@ dowhile_4.res diff = --- tests/dowhile_4.c -+++ /tmp/cocci-output-931074-ab5da9-dowhile_4.c ++++ /tmp/cocci-output-2523378-5a903f-dowhile_4.c @@ -2,5 +2,4 @@ int fun() { do { printf("dummy message"); @@ -4172,7 +4208,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-931074-b9da21-dowhile_for_complex.c ++++ /tmp/cocci-output-2523378-460ade-dowhile_for_complex.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -4191,7 +4227,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-931074-aaa75f-dowhile_nested.c ++++ /tmp/cocci-output-2523378-993f44-dowhile_nested.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -4205,7 +4241,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-931074-6759b4-dropbr.c ++++ /tmp/cocci-output-2523378-b2596c-dropbr.c @@ -1,5 +1,4 @@ int main () { - if (a) { @@ -4217,7 +4253,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-931074-9da9bf-dropcom.c ++++ /tmp/cocci-output-2523378-cb455e-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -4232,7 +4268,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-931074-22f36c-dropenderr.c ++++ /tmp/cocci-output-2523378-699a9f-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -4247,7 +4283,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-931074-93d52d-dropf.c ++++ /tmp/cocci-output-2523378-255d2f-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -4256,7 +4292,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-931074-2f0a70-dropparam.c ++++ /tmp/cocci-output-2523378-da7930-dropparam.c @@ -2,11 +2,11 @@ int f(char *x, int y, char* z) { return; } @@ -4274,7 +4310,7 @@ dtest.res diff = --- tests/dtest.c -+++ /tmp/cocci-output-931074-475d9a-dtest.c ++++ /tmp/cocci-output-2523378-0be463-dtest.c @@ -1,5 +1,5 @@ int main() { struct sk_buff *e; @@ -4286,7 +4322,7 @@ SPECIAL NAMES: adding Packet as a type diff = --- tests/eb1.c -+++ /tmp/cocci-output-931074-98e6b8-eb1.c ++++ /tmp/cocci-output-2523378-8a16cf-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -4305,7 +4341,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-931074-575b0b-edots.c ++++ /tmp/cocci-output-2523378-45b053-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -4318,7 +4354,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-931074-8d3d58-edots_ver1.c ++++ /tmp/cocci-output-2523378-d4dc7e-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -4333,7 +4369,7 @@ efi3.res diff = --- tests/efi3.c -+++ /tmp/cocci-output-931074-346117-efi3.c ++++ /tmp/cocci-output-2523378-0275ee-efi3.c @@ -6,6 +6,6 @@ static efi_status_t virt_efi_get_time(ef goto exit; @@ -4345,7 +4381,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-931074-8e32c2-elsify.c ++++ /tmp/cocci-output-2523378-166263-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -4359,7 +4395,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-931074-67c32f-empty.c ++++ /tmp/cocci-output-2523378-b04fb3-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -4372,7 +4408,7 @@ SPECIAL NAMES: adding autofree as a attribute diff = --- tests/end_attr.c -+++ /tmp/cocci-output-931074-d7623e-end_attr.c ++++ /tmp/cocci-output-2523378-2884b3-end_attr.c @@ -1,10 +1,12 @@ int main() { - struct foo x autofree; @@ -4391,7 +4427,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-931074-e807d2-end_commas.c ++++ /tmp/cocci-output-2523378-3e4846-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -4407,7 +4443,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-931074-1b7791-endif.c ++++ /tmp/cocci-output-2523378-1319b6-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -4435,7 +4471,7 @@ endmodif.res diff = --- tests/endmodif.c -+++ /tmp/cocci-output-931074-041061-endmodif.c ++++ /tmp/cocci-output-2523378-3c28cf-endmodif.c @@ -1,11 +1,12 @@ -void f(void) + @@ -4479,7 +4515,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-931074-f4b537-endnl.c ++++ /tmp/cocci-output-2523378-0245fa-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -4520,12 +4556,12 @@ endpos.res warning: s: metavariable p not used in the - or context code Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_4829ee.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_4829ee.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_bd1c8e.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_bd1c8e.ml Compilation OK! Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-931074-cd54b8-endpos.c ++++ /tmp/cocci-output-2523378-ff1de7-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -4544,7 +4580,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-931074-677d25-enum.c ++++ /tmp/cocci-output-2523378-0eba14-enum.c @@ -5,5 +5,5 @@ typedef enum static reg_errcode_t regex_compile () @@ -4555,7 +4591,7 @@ enum_assign.res diff = --- tests/enum_assign.c -+++ /tmp/cocci-output-931074-3e6667-enum_assign.c ++++ /tmp/cocci-output-2523378-2458b9-enum_assign.c @@ -1,6 +1,7 @@ enum h { - a = 0, @@ -4569,27 +4605,27 @@ enumcast.res diff = --- tests/enumcast.c -+++ /tmp/cocci-output-931074-8fedc3-enumcast.c ++++ /tmp/cocci-output-2523378-d8ca70-enumcast.c @@ -1 +1,2 @@ +enum{x = (int)1, }; int main() { return 12; } enumdots.res diff = --- tests/enumdots.c -+++ /tmp/cocci-output-931074-090b86-enumdots.c ++++ /tmp/cocci-output-2523378-d9f98f-enumdots.c @@ -1,3 +1,2 @@ enum binder_work_type { - BINDER_WORK_TRANSACTION = 12, } t; exitc.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_474f52.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_474f52.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_290176.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_290176.ml Compilation OK! Loading ML code of the SP... Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-931074-8634cd-exitc.c ++++ /tmp/cocci-output-2523378-4e87be-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -4606,7 +4642,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-931074-4ca0c8-exp.c ++++ /tmp/cocci-output-2523378-bde2d8-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -4629,7 +4665,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-931074-19d587-expnest.c ++++ /tmp/cocci-output-2523378-4953dc-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -4640,7 +4676,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-931074-a1e737-expopt.c ++++ /tmp/cocci-output-2523378-ffe236-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -4651,7 +4687,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-931074-d56d99-expopt2.c ++++ /tmp/cocci-output-2523378-eddc8d-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -4662,7 +4698,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-931074-43f77e-expopt3.c ++++ /tmp/cocci-output-2523378-fea531-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4674,7 +4710,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-931074-8d7370-expopt3_ver1.c ++++ /tmp/cocci-output-2523378-9dc671-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4687,7 +4723,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-931074-973fdd-expopt3_ver2.c ++++ /tmp/cocci-output-2523378-9a67d7-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4699,7 +4735,7 @@ exprlist_comma.res diff = --- tests/exprlist_comma.c -+++ /tmp/cocci-output-931074-7bfdbe-exprlist_comma.c ++++ /tmp/cocci-output-2523378-4462bf-exprlist_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -4709,7 +4745,7 @@ exprun.res diff = --- tests/exprun.c -+++ /tmp/cocci-output-931074-ee94fb-exprun.c ++++ /tmp/cocci-output-2523378-a34b8b-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) @@ -4790,12 +4826,12 @@ ice_info(hw, "%s: wr_csr_prot = 0x%llX\n", prefix, extra.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_380bac.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_380bac.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_116c83.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_116c83.ml Compilation OK! Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-931074-831aac-extra.c ++++ /tmp/cocci-output-2523378-ad2b2d-extra.c @@ -1,12 +1,25 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -4827,7 +4863,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-931074-138784-failing_andany.c ++++ /tmp/cocci-output-2523378-02bb6a-failing_andany.c @@ -1,13 +1,9 @@ static int smc_probe1(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -4845,7 +4881,7 @@ far.res diff = --- tests/far.c -+++ /tmp/cocci-output-931074-a6eb43-far.c ++++ /tmp/cocci-output-2523378-8da08c-far.c @@ -1,7 +1,7 @@ int main(void) { @@ -4861,7 +4897,7 @@ SPECIAL NAMES: adding __counted_by as a attribute diff = --- tests/far2.c -+++ /tmp/cocci-output-931074-a57580-far2.c ++++ /tmp/cocci-output-2523378-16c208-far2.c @@ -1,4 +1,4 @@ struct foo { size_t element_count; @@ -4871,7 +4907,7 @@ fields.res diff = --- tests/fields.c -+++ /tmp/cocci-output-931074-c2e4c6-fields.c ++++ /tmp/cocci-output-2523378-b3dfbc-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -4884,7 +4920,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-931074-440eed-fieldsmin.c ++++ /tmp/cocci-output-2523378-806617-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -4893,13 +4929,13 @@ }; finalize_only.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_76c34e.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_76c34e.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_a4f08e.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a4f08e.ml Compilation OK! Loading ML code of the SP... find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-931074-bb513c-find_long.c ++++ /tmp/cocci-output-2523378-98e62c-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -4914,7 +4950,7 @@ finish.res diff = --- tests/finish.c -+++ /tmp/cocci-output-931074-26da0a-finish.c ++++ /tmp/cocci-output-2523378-49a3b1-finish.c @@ -1,14 +1,7 @@ void ieee80211_color_change_finish(struct ieee80211_vif *vif, u8 link_id) { @@ -4934,7 +4970,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-931074-db6cc6-fix_flow_need.c ++++ /tmp/cocci-output-2523378-611a7b-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -4946,7 +4982,7 @@ flex.res diff = --- tests/flex.c -+++ /tmp/cocci-output-931074-64815f-flex.c ++++ /tmp/cocci-output-2523378-b7c8ac-flex.c @@ -3,5 +3,5 @@ struct scmi_msg_resp_sensor_description struct { #define SENSOR_UPDATE_BASE(x) 3 @@ -4957,7 +4993,7 @@ fltst.res diff = --- tests/fltst.c -+++ /tmp/cocci-output-931074-e6cc95-fltst.c ++++ /tmp/cocci-output-2523378-805ede-fltst.c @@ -1,3 +1,3 @@ double aaa() { - return one + two; @@ -4966,7 +5002,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-931074-0f3259-fn_todo.c ++++ /tmp/cocci-output-2523378-bb3cd8-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; @@ -4978,7 +5014,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-931074-aadf16-fnptr.c ++++ /tmp/cocci-output-2523378-94cf78-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, @@ -4990,14 +5026,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-931074-5d3dc4-fnret.c ++++ /tmp/cocci-output-2523378-40e2a7-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-931074-6b02d2-fnty.c ++++ /tmp/cocci-output-2523378-5e1652-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -5007,14 +5043,14 @@ fntypedef.res diff = --- tests/fntypedef.c -+++ /tmp/cocci-output-931074-a78868-fntypedef.c ++++ /tmp/cocci-output-2523378-910410-fntypedef.c @@ -1 +1 @@ -typedef void (*toto_t)(int a, int b); +typedef void(*toto_t)(int a, int b, int c); for3.res diff = --- tests/for3.c -+++ /tmp/cocci-output-931074-11826a-for3.c ++++ /tmp/cocci-output-2523378-52cc5a-for3.c @@ -1,4 +1,4 @@ int main () { - for(i=0; i!=10; i++) @@ -5024,7 +5060,7 @@ fordots.res diff = --- tests/fordots.c -+++ /tmp/cocci-output-931074-b8a01c-fordots.c ++++ /tmp/cocci-output-2523378-0c612a-fordots.c @@ -1,4 +1,2 @@ int main () { - for(int i = 0; i != 12; i++) a = 2; @@ -5033,7 +5069,7 @@ format.res diff = --- tests/format.c -+++ /tmp/cocci-output-931074-b1148c-format.c ++++ /tmp/cocci-output-2523378-4f0a47-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -5044,14 +5080,14 @@ } format2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_2ecac7.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_2ecac7.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_7dc5ab.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_7dc5ab.ml Compilation OK! Loading ML code of the SP... diff = format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-931074-375ba9-format2.c ++++ /tmp/cocci-output-2523378-313ae0-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -5060,7 +5096,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-931074-0f90f0-formatlist.c ++++ /tmp/cocci-output-2523378-6318c6-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -5078,7 +5114,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-931074-762323-fortest.c ++++ /tmp/cocci-output-2523378-4765ec-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -5118,7 +5154,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-931074-bbea47-fortype.c ++++ /tmp/cocci-output-2523378-19239d-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -5129,7 +5165,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-931074-f0719d-four.c ++++ /tmp/cocci-output-2523378-8ee9dd-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -5139,7 +5175,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-931074-5e513f-foura.c ++++ /tmp/cocci-output-2523378-da0e8a-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -5149,19 +5185,19 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-931074-0439ff-fp.c ++++ /tmp/cocci-output-2523378-78f843-fp.c @@ -1,3 +1,2 @@ int main(int (*x)(int,int)) { - x(); } fptr.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_900e2a.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_900e2a.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_30d822.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_30d822.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr.c -+++ /tmp/cocci-output-931074-e2a5ba-fptr.c ++++ /tmp/cocci-output-2523378-cb47f9-fptr.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -5172,12 +5208,12 @@ fptr2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_873218.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_873218.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_e3474c.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e3474c.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr2.c -+++ /tmp/cocci-output-931074-6a6c08-fptr2.c ++++ /tmp/cocci-output-2523378-0fb371-fptr2.c @@ -1,7 +1,7 @@ int foo(int c, int d) { return 0; } @@ -5191,7 +5227,7 @@ fptr3.res diff = --- tests/fptr3.c -+++ /tmp/cocci-output-931074-71cb5e-fptr3.c ++++ /tmp/cocci-output-2523378-73158f-fptr3.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -5202,7 +5238,7 @@ fresh_id_script.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_446027.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_446027.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_9692ed.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_9692ed.ml File "tests/fresh_id_script.cocci", line 37, characters 4-5: Warning 26 [unused-var]: unused variable i. Compilation OK! @@ -5211,7 +5247,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-931074-63aeb8-fsh.c ++++ /tmp/cocci-output-2523378-328603-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -5222,7 +5258,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-931074-74a596-fun.c ++++ /tmp/cocci-output-2523378-d8afdf-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -5231,7 +5267,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-931074-e6c5d7-func.c ++++ /tmp/cocci-output-2523378-1087a4-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -5245,7 +5281,7 @@ funptr_array.res diff = --- tests/funptr_array.c -+++ /tmp/cocci-output-931074-e41023-funptr_array.c ++++ /tmp/cocci-output-2523378-24a9ac-funptr_array.c @@ -1 +1 @@ -int (*x[2])(int x); +int (*x[2])(char x); @@ -5289,7 +5325,7 @@ gadget_misc.res diff = --- tests/gadget_misc.c -+++ /tmp/cocci-output-931074-b3da47-gadget_misc.c ++++ /tmp/cocci-output-2523378-1f2ca9-gadget_misc.c @@ -2,6 +2,5 @@ int main() { if(0) @@ -5303,7 +5339,7 @@ SPECIAL NAMES: adding double3x3 as a type diff = --- tests/gadget_ninelets_typedef.c -+++ /tmp/cocci-output-931074-04a6f4-gadget_ninelets_typedef.c ++++ /tmp/cocci-output-2523378-9703a0-gadget_ninelets_typedef.c @@ -1,21 +1,23 @@ typedef double MyFloat; @@ -5337,7 +5373,7 @@ gadget_remove_mpi_function_calls.res diff = --- tests/gadget_remove_mpi_function_calls.c -+++ /tmp/cocci-output-931074-0188f2-gadget_remove_mpi_function_calls.c ++++ /tmp/cocci-output-2523378-9bdffc-gadget_remove_mpi_function_calls.c @@ -2,6 +2,5 @@ int main(int argc, char **argv) { @@ -5348,7 +5384,7 @@ gadget_remove_used_fields.res diff = --- tests/gadget_remove_used_fields.c -+++ /tmp/cocci-output-931074-5847bb-gadget_remove_used_fields.c ++++ /tmp/cocci-output-2523378-8c1df5-gadget_remove_used_fields.c @@ -1,8 +1,8 @@ -struct particle_data { int i; int j; int k; } * P ; @@ -5386,7 +5422,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_soa_select.c -+++ /tmp/cocci-output-931074-ec7162-gadget_soa_select.c ++++ /tmp/cocci-output-2523378-31e223-gadget_soa_select.c @@ -1,5 +1,5 @@ struct sph_particle_data_soa_t { - int *Entropy; @@ -5397,7 +5433,7 @@ gadget_sorting_hook.res diff = --- tests/gadget_sorting_hook.c -+++ /tmp/cocci-output-931074-ad454d-gadget_sorting_hook.c ++++ /tmp/cocci-output-2523378-4578dd-gadget_sorting_hook.c @@ -18,10 +18,24 @@ void soa_invalidate_aos__particle_data() int main() @@ -5430,7 +5466,7 @@ SPECIAL NAMES: adding MyFloat3 as a type diff = --- tests/gadget_triplets_typedef.c -+++ /tmp/cocci-output-931074-5374f7-gadget_triplets_typedef.c ++++ /tmp/cocci-output-2523378-4c9f97-gadget_triplets_typedef.c @@ -3,6 +3,8 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -5459,7 +5495,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_triplets_typedef_ipcc.c -+++ /tmp/cocci-output-931074-155fe6-gadget_triplets_typedef_ipcc.c ++++ /tmp/cocci-output-2523378-9c27d4-gadget_triplets_typedef_ipcc.c @@ -3,6 +3,7 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -5480,7 +5516,7 @@ gcc_attr_with_func.res diff = --- tests/gcc_attr_with_func.c -+++ /tmp/cocci-output-931074-c0af1c-gcc_attr_with_func.c ++++ /tmp/cocci-output-2523378-1d22d4-gcc_attr_with_func.c @@ -1,8 +1,8 @@ -int __attribute__((always_inline)) func (int a); +int __attribute__((always_inline)) func (); @@ -5517,7 +5553,7 @@ gcc_attr_with_var.res diff = --- tests/gcc_attr_with_var.c -+++ /tmp/cocci-output-931074-20c8e0-gcc_attr_with_var.c ++++ /tmp/cocci-output-2523378-9d1e0f-gcc_attr_with_var.c @@ -1,39 +1,39 @@ -int var1_end __attribute__((myattr1_end)); +int var1_end __attribute__((section(".shared"))); @@ -5576,7 +5612,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-931074-e20511-gcc_min_max.c ++++ /tmp/cocci-output-2523378-31d237-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -5596,7 +5632,7 @@ SPECIAL NAMES: adding PVOID as a type diff = --- tests/getc.c -+++ /tmp/cocci-output-931074-9c52ed-getc.c ++++ /tmp/cocci-output-2523378-ed1901-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -5606,7 +5642,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-931074-c7cf83-gilles-question.c ++++ /tmp/cocci-output-2523378-253ae2-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -5620,7 +5656,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-931074-37abf3-gotobreak.c ++++ /tmp/cocci-output-2523378-e9df87-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -5631,7 +5667,7 @@ hashhash.res diff = --- tests/hashhash.c -+++ /tmp/cocci-output-931074-b4d24b-hashhash.c ++++ /tmp/cocci-output-2523378-8a65b3-hashhash.c @@ -1,5 +1,5 @@ #define FOO(x) foo ## x @@ -5644,7 +5680,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-931074-1d3cbd-hd.c ++++ /tmp/cocci-output-2523378-6b1277-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -5653,7 +5689,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-931074-903de8-headers.c ++++ /tmp/cocci-output-2523378-4191c9-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -5672,7 +5708,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-931074-5943ad-hex.c ++++ /tmp/cocci-output-2523378-ef5ab9-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -5681,7 +5717,7 @@ SPECIAL NAMES: adding FUNC as a initializer ending in a comma diff = --- tests/hil1.c -+++ /tmp/cocci-output-931074-581962-hil1.c ++++ /tmp/cocci-output-2523378-38687a-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -5693,12 +5729,12 @@ exn while in timeout_function id3.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_3bf909.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_3bf909.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_6ca4f1.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6ca4f1.ml Compilation OK! Loading ML code of the SP... diff = --- tests/id3.c -+++ /tmp/cocci-output-931074-039c79-id3.c ++++ /tmp/cocci-output-2523378-b61f86-id3.c @@ -1,3 +1,3 @@ int foo () { - bar (6); @@ -5708,12 +5744,12 @@ exn while in timeout_function idcon_ocaml.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_6b0c75.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6b0c75.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_980e5b.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_980e5b.ml Compilation OK! Loading ML code of the SP... diff = --- tests/idcon_ocaml.c -+++ /tmp/cocci-output-931074-71a771-idcon_ocaml.c ++++ /tmp/cocci-output-2523378-49cafc-idcon_ocaml.c @@ -1,5 +1,5 @@ void f(void) { - g(a); @@ -5727,7 +5763,7 @@ identcall.res diff = --- tests/identcall.c -+++ /tmp/cocci-output-931074-efc67c-identcall.c ++++ /tmp/cocci-output-2523378-ccf10c-identcall.c @@ -1,3 +1,2 @@ int main () { - target += x(); @@ -5735,7 +5771,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-931074-cf7340-idstr.c ++++ /tmp/cocci-output-2523378-6c96cc-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -5745,7 +5781,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-931074-01d837-if.c ++++ /tmp/cocci-output-2523378-392238-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -5787,7 +5823,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-931074-61f869-ifadd.c ++++ /tmp/cocci-output-2523378-204a98-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -5802,7 +5838,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-931074-1b1815-ifd.c ++++ /tmp/cocci-output-2523378-f1fcc8-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -5820,7 +5856,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-931074-c89c07-ifdef1.c ++++ /tmp/cocci-output-2523378-70c4b7-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -5833,7 +5869,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-931074-feb3fe-ifdef2.c ++++ /tmp/cocci-output-2523378-bb52f3-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -5849,7 +5885,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-931074-d907a0-ifdef3.c ++++ /tmp/cocci-output-2523378-d13951-ifdef3.c @@ -2,6 +2,15 @@ #include #include @@ -5872,7 +5908,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-931074-9fbb9b-ifdef4.c ++++ /tmp/cocci-output-2523378-f74acd-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -5888,7 +5924,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-931074-43cbac-ifdef5.c ++++ /tmp/cocci-output-2523378-1fd5fa-ifdef5.c @@ -11,3 +11,11 @@ void init_IRQ(void) uselessCall(); } @@ -5904,7 +5940,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-931074-c87863-ifdef6.c ++++ /tmp/cocci-output-2523378-ae724d-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -5917,7 +5953,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-931074-aca04e-ifdef6a.c ++++ /tmp/cocci-output-2523378-b5f458-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -5929,7 +5965,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-931074-fe59b8-ifdefmeta.c ++++ /tmp/cocci-output-2523378-739f27-ifdefmeta.c @@ -1,26 +1,22 @@ int main() { - buf = alloca(3 @@ -5982,7 +6018,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-931074-7b87e7-ifdefmeta1.c ++++ /tmp/cocci-output-2523378-88958d-ifdefmeta1.c @@ -1,17 +1,9 @@ int main() { - buf = alloca(3 @@ -6004,7 +6040,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-931074-693895-ifdefmeta2.c ++++ /tmp/cocci-output-2523378-240034-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -6021,7 +6057,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-931074-f5c828-ifdefmeta3.c ++++ /tmp/cocci-output-2523378-a03d2d-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -6038,7 +6074,7 @@ ifdefmeta4.res diff = --- tests/ifdefmeta4.c -+++ /tmp/cocci-output-931074-13cba0-ifdefmeta4.c ++++ /tmp/cocci-output-2523378-949184-ifdefmeta4.c @@ -1,14 +1,12 @@ int main() { - buf = alloca(3 @@ -6062,7 +6098,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-931074-c78505-ifend.c ++++ /tmp/cocci-output-2523378-b09f57-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -6072,7 +6108,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-931074-6d3eee-ifgoto.c ++++ /tmp/cocci-output-2523378-556f22-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -6088,7 +6124,7 @@ SPECIAL NAMES: adding IFaceVtbl as a type diff = --- tests/ifields.c -+++ /tmp/cocci-output-931074-5feb8e-ifields.c ++++ /tmp/cocci-output-2523378-752ab8-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -6111,7 +6147,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-931074-73bd28-ifif.c ++++ /tmp/cocci-output-2523378-1cc328-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -6129,7 +6165,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-931074-432788-ifreturn.c ++++ /tmp/cocci-output-2523378-a54d1f-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -6191,7 +6227,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-931074-6b56e7-ifreturn3.c ++++ /tmp/cocci-output-2523378-398d9b-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -6217,7 +6253,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-931074-77c4bb-ifreturn4.c ++++ /tmp/cocci-output-2523378-8257b6-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -6241,7 +6277,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-931074-8b8c2d-ifreturn6.c ++++ /tmp/cocci-output-2523378-60da0c-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -6255,7 +6291,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-931074-237f4f-ifzer.c ++++ /tmp/cocci-output-2523378-2a7698-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). */ @@ -6266,7 +6302,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-931074-595a69-ifzz.c ++++ /tmp/cocci-output-2523378-daccfc-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -6282,7 +6318,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-931074-02470d-inc.c ++++ /tmp/cocci-output-2523378-275818-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -6291,7 +6327,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-931074-8b264d-incl.c ++++ /tmp/cocci-output-2523378-a60e20-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -6304,7 +6340,7 @@ incl2.res diff = --- tests/incl2.c -+++ /tmp/cocci-output-931074-ccd196-incl2.c ++++ /tmp/cocci-output-2523378-e90654-incl2.c @@ -1,3 +1,4 @@ +#include "beginning.h" #include @@ -6313,7 +6349,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-931074-70bbb4-inclifdef.c ++++ /tmp/cocci-output-2523378-ee96bf-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -6323,7 +6359,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-931074-3236cb-include.c ++++ /tmp/cocci-output-2523378-a2cbad-include.c @@ -1,8 +1,6 @@ #include @@ -6336,7 +6372,7 @@ incompatible_value.res diff = --- tests/incompatible_value.c -+++ /tmp/cocci-output-931074-fda2a7-incompatible_value.c ++++ /tmp/cocci-output-2523378-275bec-incompatible_value.c @@ -4,6 +4,6 @@ int main() { } @@ -6353,7 +6389,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-931074-407e6a-inherited.c ++++ /tmp/cocci-output-2523378-f0935b-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -6364,7 +6400,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-931074-1f2552-inherited_ver1.c ++++ /tmp/cocci-output-2523378-0b45a1-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -6380,7 +6416,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-931074-74accb-inhmet.c ++++ /tmp/cocci-output-2523378-fbe363-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -6389,7 +6425,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-931074-9c864d-inhpos.c ++++ /tmp/cocci-output-2523378-80ddc4-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -6398,7 +6434,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-931074-4d6544-initializer.c ++++ /tmp/cocci-output-2523378-0f061d-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -6414,14 +6450,14 @@ inline.res diff = --- tests/inline.c -+++ /tmp/cocci-output-931074-4e4b20-inline.c ++++ /tmp/cocci-output-2523378-ccec09-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-931074-750103-insdef.c ++++ /tmp/cocci-output-2523378-0e12d1-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include @@ -6435,7 +6471,7 @@ SPECIAL NAMES: adding u32 as a type diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-931074-710646-int2bool-local.c ++++ /tmp/cocci-output-2523378-7e5f20-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -6478,7 +6514,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-931074-5bbc52-introbrace.c ++++ /tmp/cocci-output-2523378-de0040-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -6497,7 +6533,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-931074-3a18bf-invert.c ++++ /tmp/cocci-output-2523378-d8ca47-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -6506,7 +6542,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-931074-b4d628-ip.c ++++ /tmp/cocci-output-2523378-9814b8-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -6535,7 +6571,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-931074-97d8b1-ip2.c ++++ /tmp/cocci-output-2523378-665f36-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -6560,7 +6596,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-931074-6672ff-isococci.c ++++ /tmp/cocci-output-2523378-eb1a10-isococci.c @@ -1,6 +1,3 @@ void f(int i) { @@ -6573,7 +6609,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-931074-c1d750-isoif.c ++++ /tmp/cocci-output-2523378-1c7699-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -6582,7 +6618,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-931074-ce5638-isotest.c ++++ /tmp/cocci-output-2523378-8f5c78-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -6594,7 +6630,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-931074-0512a1-isotest2.c ++++ /tmp/cocci-output-2523378-d5906e-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -6605,7 +6641,7 @@ iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_28f297.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_28f297.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_8ab56d.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_8ab56d.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -6614,7 +6650,7 @@ exn while in timeout_function iteration_after_merge.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_76c74e.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_76c74e.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_d749c1.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d749c1.ml Compilation OK! Loading ML code of the SP... 2 pending new file instances @@ -6625,7 +6661,7 @@ SPECIAL NAMES: adding list_for_each as a iterator diff = --- tests/iterator.c -+++ /tmp/cocci-output-931074-7ce8f0-iterator.c ++++ /tmp/cocci-output-2523378-3705d4-iterator.c @@ -2,9 +2,5 @@ void pcibios_report_status(u_int status_ { struct list_head *l; @@ -6641,7 +6677,7 @@ SPECIAL NAMES: adding for_each_set_bit as a iterator diff = --- tests/iterprint.c -+++ /tmp/cocci-output-931074-e8dfc4-iterprint.c ++++ /tmp/cocci-output-2523378-c5fa4b-iterprint.c @@ -1,6 +1,4 @@ int main () { - for(bit = 0; bit < size; bit++) { @@ -6656,7 +6692,7 @@ julia10.res diff = --- tests/julia10.c -+++ /tmp/cocci-output-931074-a55d6d-julia10.c ++++ /tmp/cocci-output-2523378-5ed650-julia10.c @@ -1,7 +1,5 @@ int main(int x) { f(); @@ -6668,7 +6704,7 @@ julia7.res diff = --- tests/julia7.c -+++ /tmp/cocci-output-931074-bd09d9-julia7.c ++++ /tmp/cocci-output-2523378-1c7e41-julia7.c @@ -1,7 +1,6 @@ int main(int x) { foo(); @@ -6681,7 +6717,7 @@ justremove.res diff = --- tests/justremove.c -+++ /tmp/cocci-output-931074-4dc7b0-justremove.c ++++ /tmp/cocci-output-2523378-4ec938-justremove.c @@ -1,17 +1,6 @@ int main () { - if (x) { @@ -6703,7 +6739,7 @@ keep_comma.res diff = --- tests/keep_comma.c -+++ /tmp/cocci-output-931074-62434a-keep_comma.c ++++ /tmp/cocci-output-2523378-f28807-keep_comma.c @@ -1,4 +1,4 @@ int main () { - foo(); @@ -6713,7 +6749,7 @@ km.res diff = --- tests/km.c -+++ /tmp/cocci-output-931074-26bb27-km.c ++++ /tmp/cocci-output-2523378-9ec860-km.c @@ -1,5 +1,4 @@ int main() { - int *data = kmalloc(element->string.length + 1, GFP_KERNEL); @@ -6724,7 +6760,7 @@ kmalloc.res diff = --- tests/kmalloc.c -+++ /tmp/cocci-output-931074-619858-kmalloc.c ++++ /tmp/cocci-output-2523378-32c037-kmalloc.c @@ -1,9 +1,7 @@ int main() { struct bar *y; @@ -6742,7 +6778,7 @@ warning: r: metavariable S not used in the - or context code diff = --- tests/kmc.c -+++ /tmp/cocci-output-931074-d21442-kmc.c ++++ /tmp/cocci-output-2523378-5759e0-kmc.c @@ -10,5 +10,4 @@ dmabounce_register_dev(struct device *de err_destroy: @@ -6752,7 +6788,7 @@ kmtest4.res diff = --- tests/kmtest4.c -+++ /tmp/cocci-output-931074-e04be8-kmtest4.c ++++ /tmp/cocci-output-2523378-b5fa4b-kmtest4.c @@ -1,4 +1,4 @@ int main () { x = kzalloc(3); @@ -6765,7 +6801,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/ktype.c -+++ /tmp/cocci-output-931074-764e94-ktype.c ++++ /tmp/cocci-output-2523378-88b18d-ktype.c @@ -3,8 +3,6 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -6781,7 +6817,7 @@ warning: r: metavariable T not used in the - or context code diff = --- tests/ktype2.c -+++ /tmp/cocci-output-931074-637529-ktype2.c ++++ /tmp/cocci-output-2523378-612f04-ktype2.c @@ -3,11 +3,8 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -6798,7 +6834,7 @@ labels_metastatement.res diff = --- tests/labels_metastatement.c -+++ /tmp/cocci-output-931074-05694c-labels_metastatement.c ++++ /tmp/cocci-output-2523378-13dd11-labels_metastatement.c @@ -1,9 +1,15 @@ int foo(int i) { @@ -6821,7 +6857,7 @@ labels_metastatement_ver1.res diff = --- tests/labels_metastatement_ver1.c -+++ /tmp/cocci-output-931074-eed988-labels_metastatement_ver1.c ++++ /tmp/cocci-output-2523378-da94c4-labels_metastatement_ver1.c @@ -1,5 +1,9 @@ int foo(int i) { @@ -6836,7 +6872,7 @@ lessone.res diff = --- tests/lessone.c -+++ /tmp/cocci-output-931074-776b51-lessone.c ++++ /tmp/cocci-output-2523378-c30695-lessone.c @@ -1,4 +1,4 @@ int min() { - return 2.56 < 1; @@ -6845,13 +6881,13 @@ lfe.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_ad1f1c.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ad1f1c.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_aab3e8.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_aab3e8.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-931074-6407ed-lfe.c ++++ /tmp/cocci-output-2523378-87f58e-lfe.c @@ -11,13 +11,21 @@ static bool tipc_service_insert_publ(str u32 key = p->key; @@ -6883,7 +6919,7 @@ lid.res diff = --- tests/lid.c -+++ /tmp/cocci-output-931074-c91838-lid.c ++++ /tmp/cocci-output-2523378-e12293-lid.c @@ -1,6 +1,6 @@ int main () { int a; @@ -6895,7 +6931,7 @@ line_before_last.res diff = --- tests/line_before_last.c -+++ /tmp/cocci-output-931074-6e67e5-line_before_last.c ++++ /tmp/cocci-output-2523378-b2e6e3-line_before_last.c @@ -1,17 +1,13 @@ int main () { - foo(); @@ -6917,7 +6953,7 @@ lineseq.res diff = --- tests/lineseq.c -+++ /tmp/cocci-output-931074-90b17e-lineseq.c ++++ /tmp/cocci-output-2523378-a9a191-lineseq.c @@ -1,6 +1,4 @@ int main () { - one(); @@ -6951,7 +6987,7 @@ warning: line 86: should b be a metavariable? diff = --- tests/list_test.c -+++ /tmp/cocci-output-931074-13c712-list_test.c ++++ /tmp/cocci-output-2523378-5e6423-list_test.c @@ -1,55 +1,53 @@ int main () { - f(a); @@ -7150,14 +7186,14 @@ local.res diff = --- tests/local.c -+++ /tmp/cocci-output-931074-da71e6-local.c ++++ /tmp/cocci-output-2523378-b38e29-local.c @@ -1 +1 @@ -int f(int xx, int yy) { return 0; } +int f(int a, int b, int yy) { return 0; } localglobal.res diff = --- tests/localglobal.c -+++ /tmp/cocci-output-931074-9b9ecc-localglobal.c ++++ /tmp/cocci-output-2523378-4aaf6a-localglobal.c @@ -3,5 +3,5 @@ int a; int main(int b) { int c; @@ -7168,7 +7204,7 @@ localid.res diff = --- tests/localid.c -+++ /tmp/cocci-output-931074-25f8f4-localid.c ++++ /tmp/cocci-output-2523378-a1ae1d-localid.c @@ -2,8 +2,7 @@ int c; int main () { @@ -7183,7 +7219,7 @@ localmacroparams.res diff = --- tests/localmacroparams.c -+++ /tmp/cocci-output-931074-c83911-localmacroparams.c ++++ /tmp/cocci-output-2523378-6712a3-localmacroparams.c @@ -1,2 +1,2 @@ -#define fn1(x) f(x) -#define fn2(x) f(y) @@ -7192,7 +7228,7 @@ log.res diff = --- tests/log.c -+++ /tmp/cocci-output-931074-1d68ff-log.c ++++ /tmp/cocci-output-2523378-ef710b-log.c @@ -8,5 +8,4 @@ static struct var_t vars[] = { @@ -7202,7 +7238,7 @@ long.res diff = --- tests/long.c -+++ /tmp/cocci-output-931074-6d5e87-long.c ++++ /tmp/cocci-output-2523378-16e3d7-long.c @@ -1,4 +1,4 @@ int main () { - hello_world("this is a very long sentence. this is a very long sentence. ", @@ -7213,7 +7249,7 @@ longconst.res diff = --- tests/longconst.c -+++ /tmp/cocci-output-931074-44583b-longconst.c ++++ /tmp/cocci-output-2523378-628def-longconst.c @@ -2,18 +2,18 @@ long function1() { long a; @@ -7250,7 +7286,7 @@ warning: line 5: should a be a metavariable? diff = --- tests/longline2.c -+++ /tmp/cocci-output-931074-f64cb1-longline2.c ++++ /tmp/cocci-output-2523378-508806-longline2.c @@ -1,8 +1,16 @@ int main() { - f(sdhfkjdkdsahksadsdhjkdsa,sahdjshdkjsahdkjhsakjdsh,a,shdkjsdsdhkjsa,x,y,z); @@ -7275,7 +7311,7 @@ longlong.res diff = --- tests/longlong.c -+++ /tmp/cocci-output-931074-0f24c6-longlong.c ++++ /tmp/cocci-output-2523378-3c5dd0-longlong.c @@ -1,6 +1,6 @@ -long long a; +int a; @@ -7288,7 +7324,7 @@ longlongint.res diff = --- tests/longlongint.c -+++ /tmp/cocci-output-931074-9732a9-longlongint.c ++++ /tmp/cocci-output-2523378-6d27c1-longlongint.c @@ -1,9 +1,3 @@ int main() { - unsigned int x; @@ -7302,7 +7338,7 @@ loop.res diff = --- tests/loop.c -+++ /tmp/cocci-output-931074-39b227-loop.c ++++ /tmp/cocci-output-2523378-56c5c4-loop.c @@ -1,5 +1,3 @@ int main() { - f(); @@ -7313,7 +7349,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/lvalue.c -+++ /tmp/cocci-output-931074-1313e2-lvalue.c ++++ /tmp/cocci-output-2523378-f47ae7-lvalue.c @@ -1,4 +1,4 @@ int main() { - x = x + 1; @@ -7325,7 +7361,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/macro.c -+++ /tmp/cocci-output-931074-6e2b41-macro.c ++++ /tmp/cocci-output-2523378-501520-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))) @@ -7337,7 +7373,7 @@ macro_before_bool.res diff = --- tests/macro_before_bool.c -+++ /tmp/cocci-output-931074-72dd2f-macro_before_bool.c ++++ /tmp/cocci-output-2523378-fc3349-macro_before_bool.c @@ -1,4 +1,5 @@ static nokprobe_inline bool trace_kprobe_is_return(struct trace_kprobe *tk) { @@ -7347,7 +7383,7 @@ macro_int16.res diff = --- tests/macro_int16.c -+++ /tmp/cocci-output-931074-64dbee-macro_int16.c ++++ /tmp/cocci-output-2523378-db2a86-macro_int16.c @@ -4,6 +4,6 @@ void main(void) { @@ -7359,7 +7395,7 @@ macro_params.res diff = --- tests/macro_params.c -+++ /tmp/cocci-output-931074-159ca7-macro_params.c ++++ /tmp/cocci-output-2523378-b8b0bc-macro_params.c @@ -5,9 +5,9 @@ int main(int argc, char **argv) { @@ -7375,7 +7411,7 @@ match_init.res diff = --- tests/match_init.c -+++ /tmp/cocci-output-931074-28202f-match_init.c ++++ /tmp/cocci-output-2523378-137a43-match_init.c @@ -1,15 +1,15 @@ int probably_works () { - int x = 3; @@ -7398,7 +7434,7 @@ match_no_meta.res diff = --- tests/match_no_meta.c -+++ /tmp/cocci-output-931074-bf9fb3-match_no_meta.c ++++ /tmp/cocci-output-2523378-8c93b7-match_no_meta.c @@ -2,6 +2,4 @@ void main(int i) { foo(1); @@ -7411,7 +7447,7 @@ warning: line 14: should i be a metavariable? diff = --- tests/max.c -+++ /tmp/cocci-output-931074-66951a-max.c ++++ /tmp/cocci-output-2523378-608755-max.c @@ -1,3 +1,3 @@ int main () { - if (x < 25) return i; @@ -7421,7 +7457,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/md1.c -+++ /tmp/cocci-output-931074-531b2e-md1.c ++++ /tmp/cocci-output-2523378-1ebd5b-md1.c @@ -1,9 +1,11 @@ struct main { - int a; @@ -7442,7 +7478,7 @@ md2.res diff = --- tests/md2.c -+++ /tmp/cocci-output-931074-72d9b1-md2.c ++++ /tmp/cocci-output-2523378-804b1c-md2.c @@ -1,11 +1,11 @@ int main() { - int a; @@ -7463,7 +7499,7 @@ md3.res diff = --- tests/md3.c -+++ /tmp/cocci-output-931074-f9fba4-md3.c ++++ /tmp/cocci-output-2523378-714799-md3.c @@ -1,5 +1,5 @@ struct s_t { - double one[3]; @@ -7474,7 +7510,7 @@ mdadd.res diff = --- tests/mdadd.c -+++ /tmp/cocci-output-931074-c39837-mdadd.c ++++ /tmp/cocci-output-2523378-36e24c-mdadd.c @@ -1,3 +1,3 @@ int main () { - int a,b,c; @@ -7483,7 +7519,7 @@ mdec.res diff = --- tests/mdec.c -+++ /tmp/cocci-output-931074-1a199d-mdec.c ++++ /tmp/cocci-output-2523378-6f3366-mdec.c @@ -1,23 +1,26 @@ int main () { - int a, b, c, d; @@ -7535,8 +7571,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 -ocamlopt.opt -shared -o /tmp/ocaml_cocci_3c7e0c.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_3c7e0c.ml -File "/tmp/ocaml_cocci_3c7e0c.ml", line 24, characters 4-11: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_77dd30.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_77dd30.ml +File "/tmp/ocaml_cocci_77dd30.ml", line 24, characters 4-11: 24 | let unbound = List.nth __script_args__ 4 in ^^^^^^^ Warning 26 [unused-var]: unused variable unbound. @@ -7544,7 +7580,7 @@ Loading ML code of the SP... diff = --- tests/mdecl.c -+++ /tmp/cocci-output-931074-f3cffd-mdecl.c ++++ /tmp/cocci-output-2523378-aa0ad0-mdecl.c @@ -1,5 +1,4 @@ -int one () { if (c < 0) return 12; return x < 0; } + @@ -7554,19 +7590,19 @@ -int one () { int c; if (c) return 12; return x < 0; } mdeclp.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_35a0ab.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_35a0ab.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_1d09f9.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_1d09f9.ml Compilation OK! Loading ML code of the SP... diff = --- tests/mdeclp.c -+++ /tmp/cocci-output-931074-c6e23a-mdeclp.c ++++ /tmp/cocci-output-2523378-f8d4e9-mdeclp.c @@ -1,2 +1,2 @@ -int one() { return 1; } + int two() { return 1; } mdeclp2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_cf8c8e.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_cf8c8e.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_df67e1.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_df67e1.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been @@ -7580,7 +7616,7 @@ mdeclrep.res diff = --- tests/mdeclrep.c -+++ /tmp/cocci-output-931074-9ae986-mdeclrep.c ++++ /tmp/cocci-output-2523378-b5019f-mdeclrep.c @@ -1,19 +1,22 @@ int main () { - int a,x,c; @@ -7611,7 +7647,7 @@ mdindex.res diff = --- tests/mdindex.c -+++ /tmp/cocci-output-931074-8b1e73-mdindex.c ++++ /tmp/cocci-output-2523378-e54cc1-mdindex.c @@ -1,5 +1,5 @@ int main() { @@ -7623,7 +7659,7 @@ memory.res diff = --- tests/memory.c -+++ /tmp/cocci-output-931074-bbffc6-memory.c ++++ /tmp/cocci-output-2523378-87a902-memory.c @@ -2,6 +2,5 @@ int __queue_add(Queue_t *queue, Scsi_Cmnd *SCpnt, int head) @@ -7634,7 +7670,7 @@ } merge_after_iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_fbd962.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_fbd962.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_4b9363.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_4b9363.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -7644,7 +7680,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/metaattr.c -+++ /tmp/cocci-output-931074-73e4fc-metaattr.c ++++ /tmp/cocci-output-2523378-25ae6a-metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -7657,7 +7693,7 @@ warning: line 43: x, previously declared as a metavariable, is used as an identifier diff = --- tests/metaline.c -+++ /tmp/cocci-output-931074-a3b405-metaline.c ++++ /tmp/cocci-output-2523378-02a62f-metaline.c @@ -1,9 +1,8 @@ int main () { - static int x; @@ -7675,7 +7711,7 @@ metaops.res diff = --- tests/metaops.c -+++ /tmp/cocci-output-931074-088d63-metaops.c ++++ /tmp/cocci-output-2523378-67e3f5-metaops.c @@ -2,24 +2,24 @@ int p1() { int x = 0; int y = 1; @@ -7752,7 +7788,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/metaops0.c -+++ /tmp/cocci-output-931074-069988-metaops0.c ++++ /tmp/cocci-output-2523378-911167-metaops0.c @@ -1,44 +1,11 @@ int p1() { - int x = 0; @@ -7801,7 +7837,7 @@ metaruleelem.res diff = --- tests/metaruleelem.c -+++ /tmp/cocci-output-931074-0d0fb0-metaruleelem.c ++++ /tmp/cocci-output-2523378-154988-metaruleelem.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -7814,7 +7850,7 @@ metastatement2.res diff = --- tests/metastatement2.c -+++ /tmp/cocci-output-931074-4c88e3-metastatement2.c ++++ /tmp/cocci-output-2523378-fe5473-metastatement2.c @@ -1,6 +1,5 @@ void main(int i) { @@ -7825,7 +7861,7 @@ metastatement_for.res diff = --- tests/metastatement_for.c -+++ /tmp/cocci-output-931074-ec0e6f-metastatement_for.c ++++ /tmp/cocci-output-2523378-b496ce-metastatement_for.c @@ -1,9 +1,6 @@ void main(void) { @@ -7839,7 +7875,7 @@ metastatement_if.res diff = --- tests/metastatement_if.c -+++ /tmp/cocci-output-931074-8d19a9-metastatement_if.c ++++ /tmp/cocci-output-2523378-068ff4-metastatement_if.c @@ -5,8 +5,4 @@ void main(void) printf("%d", i); } @@ -7852,7 +7888,7 @@ mincom.res diff = --- tests/mincom.c -+++ /tmp/cocci-output-931074-9f772a-mincom.c ++++ /tmp/cocci-output-2523378-163ac2-mincom.c @@ -1,5 +1,7 @@ int main () { - if (rc == LS_NONE_FIRST_DE) @@ -7866,14 +7902,14 @@ minenum.res diff = --- tests/minenum.c -+++ /tmp/cocci-output-931074-c5ef42-minenum.c ++++ /tmp/cocci-output-2523378-b3eb5d-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-931074-39cea8-minenum1.c ++++ /tmp/cocci-output-2523378-e050df-minenum1.c @@ -1,2 +1,2 @@ -enum h { x, a, z, +enum h { x, qq, @@ -7881,7 +7917,7 @@ minfn.res diff = --- tests/minfn.c -+++ /tmp/cocci-output-931074-665261-minfn.c ++++ /tmp/cocci-output-2523378-b3d40f-minfn.c @@ -1,13 +1,5 @@ int main () { return first; } @@ -7899,7 +7935,7 @@ mini_null_ref.res diff = --- tests/mini_null_ref.c -+++ /tmp/cocci-output-931074-db938c-mini_null_ref.c ++++ /tmp/cocci-output-2523378-017293-mini_null_ref.c @@ -2,11 +2,12 @@ static int __devinit w90p910_keypad_prob { const struct w90p910_keypad_platform_data *pdata = @@ -7917,7 +7953,7 @@ miniswap.res diff = --- tests/miniswap.c -+++ /tmp/cocci-output-931074-ac4347-miniswap.c ++++ /tmp/cocci-output-2523378-ca175b-miniswap.c @@ -1,5 +1,5 @@ static void swap_refcount_rec(void *a, void *b, int size) { @@ -7928,7 +7964,7 @@ minstruct.res diff = --- tests/minstruct.c -+++ /tmp/cocci-output-931074-c85c71-minstruct.c ++++ /tmp/cocci-output-2523378-e35167-minstruct.c @@ -1,5 +1,7 @@ static struct i2c_client client_template = { - .name = "(unset)", @@ -7941,7 +7977,7 @@ minusdots.res diff = --- tests/minusdots.c -+++ /tmp/cocci-output-931074-04a221-minusdots.c ++++ /tmp/cocci-output-2523378-1f9309-minusdots.c @@ -1,9 +1,2 @@ void main(int i) { - @@ -7955,7 +7991,7 @@ minusdots_ver1.res diff = --- tests/minusdots_ver1.c -+++ /tmp/cocci-output-931074-700842-minusdots_ver1.c ++++ /tmp/cocci-output-2523378-96781a-minusdots_ver1.c @@ -1,6 +1,2 @@ void main(int i) { - @@ -7966,7 +8002,7 @@ move_type.res diff = --- tests/move_type.c -+++ /tmp/cocci-output-931074-a5a16c-move_type.c ++++ /tmp/cocci-output-2523378-603043-move_type.c @@ -1,6 +1,6 @@ int main() { - int x; @@ -7978,7 +8014,7 @@ multi.res diff = --- tests/multi.c -+++ /tmp/cocci-output-931074-8cda70-multi.c ++++ /tmp/cocci-output-2523378-02bd40-multi.c @@ -3,4 +3,5 @@ int main() { g(1); g(1); @@ -7987,7 +8023,7 @@ } multi_initialize_finalize.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_c5d16c.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_c5d16c.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_06d16a.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_06d16a.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function @@ -7995,7 +8031,7 @@ warning: line 4: should ab be a metavariable? diff = --- tests/multichars.c -+++ /tmp/cocci-output-931074-01318e-multichars.c ++++ /tmp/cocci-output-2523378-4d38e8-multichars.c @@ -1,5 +1,5 @@ int main () { - f('XYZ',ab); @@ -8008,7 +8044,7 @@ multidec.res diff = --- tests/multidec.c -+++ /tmp/cocci-output-931074-0b5ac4-multidec.c ++++ /tmp/cocci-output-2523378-34bf20-multidec.c @@ -1,11 +1,6 @@ int main () { int x = 3,z; @@ -8025,7 +8061,7 @@ multidecl3.res diff = --- tests/multidecl3.c -+++ /tmp/cocci-output-931074-02e78b-multidecl3.c ++++ /tmp/cocci-output-2523378-188f23-multidecl3.c @@ -1,17 +1,13 @@ int main () { - int *i, i[12], i, k, r; @@ -8049,7 +8085,7 @@ multipath.res diff = --- tests/multipath.c -+++ /tmp/cocci-output-931074-546f65-multipath.c ++++ /tmp/cocci-output-2523378-ccc699-multipath.c @@ -2,8 +2,8 @@ static void multipathd(struct md_thread { for (;;) { @@ -8065,7 +8101,7 @@ warning: rule starting on line 3: metavariable T not used in the - or context code diff = --- tests/multiplus.c -+++ /tmp/cocci-output-931074-6f0b07-multiplus.c ++++ /tmp/cocci-output-2523378-1282c8-multiplus.c @@ -1,4 +1,4 @@ -static void xm_link_timer(void *arg) +static void xm_link_timer(struct work_struct *work) @@ -8075,7 +8111,7 @@ multiremove.res diff = --- tests/multiremove.c -+++ /tmp/cocci-output-931074-6473c7-multiremove.c ++++ /tmp/cocci-output-2523378-e4bbb0-multiremove.c @@ -1,8 +1,5 @@ int main () { if (x) { xyz1(); } @@ -8088,7 +8124,7 @@ multistruct.res diff = --- tests/multistruct.c -+++ /tmp/cocci-output-931074-e9d4eb-multistruct.c ++++ /tmp/cocci-output-2523378-4c9a57-multistruct.c @@ -1,5 +1,3 @@ -struct one x; @@ -8098,7 +8134,7 @@ multitype.res diff = --- tests/multitype.c -+++ /tmp/cocci-output-931074-051977-multitype.c ++++ /tmp/cocci-output-2523378-e737e7-multitype.c @@ -3,5 +3,5 @@ typedef struct foo { int a; } foo_t; int main() { foo_t * x; @@ -8110,7 +8146,7 @@ warning: non_delayed_fn: metavariable T not used in the - or context code diff = --- tests/multitypedef.c -+++ /tmp/cocci-output-931074-a533c0-multitypedef.c ++++ /tmp/cocci-output-2523378-948855-multitypedef.c @@ -5,5 +5,5 @@ typedef struct HYSDN_CARD { int ergo_inithardware(hysdn_card * card) @@ -8121,7 +8157,7 @@ multivars.res diff = --- tests/multivars.c -+++ /tmp/cocci-output-931074-2e61af-multivars.c ++++ /tmp/cocci-output-2523378-019d2e-multivars.c @@ -1,5 +1,5 @@ void main(int i) { @@ -8136,7 +8172,7 @@ warning: line 4: should kfree be a metavariable? diff = --- tests/mv.c -+++ /tmp/cocci-output-931074-b0058e-mv.c ++++ /tmp/cocci-output-2523378-c48f39-mv.c @@ -1,4 +1,4 @@ int main() { - u8 *xxx __free(kfree); @@ -8146,7 +8182,7 @@ na.res diff = --- tests/na.c -+++ /tmp/cocci-output-931074-62a4fa-na.c ++++ /tmp/cocci-output-2523378-037bc8-na.c @@ -4,10 +4,10 @@ void foo() { int i; @@ -8165,7 +8201,7 @@ nameless.res diff = --- tests/nameless.c -+++ /tmp/cocci-output-931074-46dc29-nameless.c ++++ /tmp/cocci-output-2523378-150e3f-nameless.c @@ -1,6 +1,6 @@ typedef union { int foo; @@ -8183,7 +8219,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-931074-7bc371-nest.c ++++ /tmp/cocci-output-2523378-e23c56-nest.c @@ -1,7 +1,7 @@ void info_func(int i) { foo(); @@ -8197,7 +8233,7 @@ nestadd.res diff = --- tests/nestadd.c -+++ /tmp/cocci-output-931074-5dde97-nestadd.c ++++ /tmp/cocci-output-2523378-951a77-nestadd.c @@ -1,3 +1,12 @@ int main() { foo(); @@ -8215,7 +8251,7 @@ warning: one: metavariable S not used in the - or context code diff = --- tests/nestone.c -+++ /tmp/cocci-output-931074-0d7b6e-nestone.c ++++ /tmp/cocci-output-2523378-18ef32-nestone.c @@ -1,4 +1,3 @@ int foo() { if (x) { xxx(); return;} @@ -8224,7 +8260,7 @@ nestseq.res diff = --- tests/nestseq.c -+++ /tmp/cocci-output-931074-9c3d3a-nestseq.c ++++ /tmp/cocci-output-2523378-4f8ef9-nestseq.c @@ -2,4 +2,5 @@ int main () { f(); g(12); @@ -8234,7 +8270,7 @@ neststruct.res diff = --- tests/neststruct.c -+++ /tmp/cocci-output-931074-d4e319-neststruct.c ++++ /tmp/cocci-output-2523378-0d424f-neststruct.c @@ -8,6 +8,6 @@ struct usb_hub { static int hub_configure(struct usb_hub *hub) @@ -8247,7 +8283,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/nl.c -+++ /tmp/cocci-output-931074-69d627-nl.c ++++ /tmp/cocci-output-2523378-8a97d7-nl.c @@ -1,4 +1,4 @@ int main() { - if (x) return; @@ -8258,7 +8294,7 @@ noa.res diff = --- tests/noa.c -+++ /tmp/cocci-output-931074-4de446-noa.c ++++ /tmp/cocci-output-2523378-a97954-noa.c @@ -2,6 +2,6 @@ int main () { if (x) { a(); } else { a(); } } @@ -8271,7 +8307,7 @@ SPECIAL NAMES: adding gfp_t as a type diff = --- tests/nocast.c -+++ /tmp/cocci-output-931074-dffffa-nocast.c ++++ /tmp/cocci-output-2523378-3fb07d-nocast.c @@ -1,4 +1,4 @@ -int main (unsigned int __nocast gfp_mask, int x) { +int main (gfp_t gfp_mask, int x) { @@ -8281,7 +8317,7 @@ noret.res diff = --- tests/noret.c -+++ /tmp/cocci-output-931074-fee589-noret.c ++++ /tmp/cocci-output-2523378-60cd23-noret.c @@ -1,18 +1,18 @@ -main (int x); -static xmain (int x); @@ -8313,7 +8349,7 @@ not.res diff = --- tests/not.c -+++ /tmp/cocci-output-931074-46c929-not.c ++++ /tmp/cocci-output-2523378-f54b59-not.c @@ -1,9 +1,9 @@ int main() { int x; @@ -8330,7 +8366,7 @@ notest.res diff = --- tests/notest.c -+++ /tmp/cocci-output-931074-d4e8c9-notest.c ++++ /tmp/cocci-output-2523378-4f6ae9-notest.c @@ -1,6 +1,6 @@ int main() { struct foo *x; @@ -8344,7 +8380,7 @@ warning: line 6: should false be a metavariable? diff = --- tests/notnot.c -+++ /tmp/cocci-output-931074-ff3592-notnot.c ++++ /tmp/cocci-output-2523378-3d69a9-notnot.c @@ -1,4 +1,4 @@ bool foo(int bar) { @@ -8354,7 +8390,7 @@ noty.res diff = --- tests/noty.c -+++ /tmp/cocci-output-931074-150c0c-noty.c ++++ /tmp/cocci-output-2523378-5b2b30-noty.c @@ -1,3 +1,4 @@ int main(int *x) { if (NULL == x) { return; } @@ -8363,7 +8399,7 @@ noty2.res diff = --- tests/noty2.c -+++ /tmp/cocci-output-931074-fa5e2d-noty2.c ++++ /tmp/cocci-output-2523378-d1658c-noty2.c @@ -1,14 +1,11 @@ main () { - foo(); @@ -8383,7 +8419,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/null_bool.c -+++ /tmp/cocci-output-931074-dbade2-null_bool.c ++++ /tmp/cocci-output-2523378-1af8de-null_bool.c @@ -1,8 +1,8 @@ int main () { - if (x != NULL) return; @@ -8400,7 +8436,7 @@ null_type.res diff = --- tests/null_type.c -+++ /tmp/cocci-output-931074-1beaa9-null_type.c ++++ /tmp/cocci-output-2523378-ac7511-null_type.c @@ -2,7 +2,7 @@ int main(int i) { int *x; @@ -8415,7 +8451,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/oddifdef.c -+++ /tmp/cocci-output-931074-2b438b-oddifdef.c ++++ /tmp/cocci-output-2523378-8e2736-oddifdef.c @@ -7,9 +7,7 @@ void one () { a = 5; @@ -8448,7 +8484,7 @@ of.res diff = --- tests/of.c -+++ /tmp/cocci-output-931074-f6bd92-of.c ++++ /tmp/cocci-output-2523378-3c8661-of.c @@ -1,16 +1,20 @@ static struct iommu_table *iommu_table_find(struct iommu_table * tbl) { @@ -8475,14 +8511,14 @@ omp.res SPECIAL NAMES: adding ok as a type Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_ccd931.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ccd931.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_d01e94.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d01e94.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function oneline.res diff = --- tests/oneline.c -+++ /tmp/cocci-output-931074-b78568-oneline.c ++++ /tmp/cocci-output-2523378-c36c25-oneline.c @@ -1,4 +1,4 @@ int main () { - f(); @@ -8493,7 +8529,7 @@ op.res diff = --- tests/op.c -+++ /tmp/cocci-output-931074-f2dd28-op.c ++++ /tmp/cocci-output-2523378-d60dd3-op.c @@ -1,5 +1,4 @@ int main () { - return 3; @@ -8503,7 +8539,7 @@ opt.res diff = --- tests/opt.c -+++ /tmp/cocci-output-931074-c5e57c-opt.c ++++ /tmp/cocci-output-2523378-02bd09-opt.c @@ -1,3 +1,2 @@ int main () { - yyy(); @@ -8511,7 +8547,7 @@ optional_qualifier.res diff = --- tests/optional_qualifier.c -+++ /tmp/cocci-output-931074-4fe4db-optional_qualifier.c ++++ /tmp/cocci-output-2523378-dd018d-optional_qualifier.c @@ -1,2 +1,2 @@ -int a; +const int a; @@ -8519,7 +8555,7 @@ optional_storage.res diff = --- tests/optional_storage.c -+++ /tmp/cocci-output-931074-413839-optional_storage.c ++++ /tmp/cocci-output-2523378-bb25ad-optional_storage.c @@ -1,4 +1,4 @@ -int foo1(void) +static int foo1(void) @@ -8529,7 +8565,7 @@ orexp.res diff = --- tests/orexp.c -+++ /tmp/cocci-output-931074-2fba57-orexp.c ++++ /tmp/cocci-output-2523378-2adc34-orexp.c @@ -1,3 +1,3 @@ int main() { - bar(12+12); @@ -8544,7 +8580,7 @@ warning: xxx: metavariable f not used in the - or context code diff = --- tests/overshoot.c -+++ /tmp/cocci-output-931074-b43721-overshoot.c ++++ /tmp/cocci-output-2523378-5a6b02-overshoot.c @@ -1,9 +1,8 @@ int main () { a(); @@ -8564,7 +8600,7 @@ warning: line 20: should errp be a metavariable? diff = --- tests/p1p2.c -+++ /tmp/cocci-output-931074-04a8d0-p1p2.c ++++ /tmp/cocci-output-2523378-20a43e-p1p2.c @@ -1,3 +1,3 @@ -int main(int x, Error **errp); +int __attribute__((nonnull(1))) main(int x, Error **errp); @@ -8574,7 +8610,7 @@ p9.res diff = --- tests/p9.c -+++ /tmp/cocci-output-931074-dab00c-p9.c ++++ /tmp/cocci-output-2523378-29b461-p9.c @@ -1,3 +1,3 @@ -int f(int, int, int x) { +int f(int v0, int v1, int x) { @@ -8583,7 +8619,7 @@ pa.res diff = --- tests/pa.c -+++ /tmp/cocci-output-931074-92cacb-pa.c ++++ /tmp/cocci-output-2523378-06f358-pa.c @@ -4,7 +4,8 @@ char *parse_args(const char *doing, unsigned num, s16 min_level, @@ -8598,7 +8634,7 @@ param.res diff = --- tests/param.c -+++ /tmp/cocci-output-931074-250a58-param.c ++++ /tmp/cocci-output-2523378-6b13dd-param.c @@ -1 +1 @@ -void foo() { return; } + @@ -8607,7 +8643,7 @@ warning: line 14: should y be a metavariable? diff = --- tests/param_end.c -+++ /tmp/cocci-output-931074-1ec324-param_end.c ++++ /tmp/cocci-output-2523378-0123fe-param_end.c @@ -1,15 +1,15 @@ -int one (int x) { return; } +int one () { return; } @@ -8635,7 +8671,7 @@ param_to_exp.res diff = --- tests/param_to_exp.c -+++ /tmp/cocci-output-931074-ef28fe-param_to_exp.c ++++ /tmp/cocci-output-2523378-eb3bc1-param_to_exp.c @@ -1,3 +1,4 @@ int main (int x, int y) { + foo(x, y); @@ -8644,14 +8680,14 @@ param_ver1.res diff = --- tests/param_ver1.c -+++ /tmp/cocci-output-931074-045b24-param_ver1.c ++++ /tmp/cocci-output-2523378-0cf039-param_ver1.c @@ -1 +1 @@ -void foo(int x) { return; } + parameters_dots.res diff = --- tests/parameters_dots.c -+++ /tmp/cocci-output-931074-8a6574-parameters_dots.c ++++ /tmp/cocci-output-2523378-61313c-parameters_dots.c @@ -1,7 +1,3 @@ void main(int i) { - @@ -8663,7 +8699,7 @@ parenmac.res diff = --- tests/parenmac.c -+++ /tmp/cocci-output-931074-92a022-parenmac.c ++++ /tmp/cocci-output-2523378-83a9ce-parenmac.c @@ -1 +1 @@ -#define TXSSZ(val) (val<<4) +#define TXSSZ(val) ((val)<<4) @@ -8671,7 +8707,7 @@ warning: rule starting on line 1: metavariable S not used in the - or context code diff = --- tests/partial.c -+++ /tmp/cocci-output-931074-9e5c0a-partial.c ++++ /tmp/cocci-output-2523378-bf25bc-partial.c @@ -1,3 +1,3 @@ #define CS_THIS_MODULE THIS_MODULE, #define CS_OWNER owner: @@ -8680,7 +8716,7 @@ partialmd.res diff = --- tests/partialmd.c -+++ /tmp/cocci-output-931074-375336-partialmd.c ++++ /tmp/cocci-output-2523378-4a79a4-partialmd.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8690,7 +8726,7 @@ partialmd2.res diff = --- tests/partialmd2.c -+++ /tmp/cocci-output-931074-cdd1d3-partialmd2.c ++++ /tmp/cocci-output-2523378-321396-partialmd2.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8700,7 +8736,7 @@ partialmd3.res diff = --- tests/partialmd3.c -+++ /tmp/cocci-output-931074-aa902b-partialmd3.c ++++ /tmp/cocci-output-2523378-d14e35-partialmd3.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8711,7 +8747,7 @@ warning: line 6: should x be a metavariable? diff = --- tests/pb_distribute_type.c -+++ /tmp/cocci-output-931074-7704d0-pb_distribute_type.c ++++ /tmp/cocci-output-2523378-95a4ad-pb_distribute_type.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8735,7 +8771,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type2.c -+++ /tmp/cocci-output-931074-006937-pb_distribute_type2.c ++++ /tmp/cocci-output-2523378-2e48ac-pb_distribute_type2.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8762,7 +8798,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type4.c -+++ /tmp/cocci-output-931074-e01b1f-pb_distribute_type4.c ++++ /tmp/cocci-output-2523378-dd141e-pb_distribute_type4.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8786,7 +8822,7 @@ warning: line 23: should i be a metavariable? diff = --- tests/pb_params_iso.c -+++ /tmp/cocci-output-931074-6cc6f9-pb_params_iso.c ++++ /tmp/cocci-output-2523378-a80059-pb_params_iso.c @@ -1,17 +1,17 @@ -int f(bool a, int i, bool b) { @@ -8812,7 +8848,7 @@ pb_parsing_macro.res diff = --- tests/pb_parsing_macro.c -+++ /tmp/cocci-output-931074-392e28-pb_parsing_macro.c ++++ /tmp/cocci-output-2523378-ddaf9c-pb_parsing_macro.c @@ -1,4 +1,4 @@ #define FOO_METH_TEST(a) prefix_##a void FOO_METH_TEST(foo)(int x){ @@ -8822,7 +8858,7 @@ pb_tag_symbols.res diff = --- tests/pb_tag_symbols.c -+++ /tmp/cocci-output-931074-b0626d-pb_tag_symbols.c ++++ /tmp/cocci-output-2523378-e5fcc6-pb_tag_symbols.c @@ -1,5 +1,3 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -8832,7 +8868,7 @@ pcim.res diff = --- tests/pcim.c -+++ /tmp/cocci-output-931074-786dbf-pcim.c ++++ /tmp/cocci-output-2523378-23529a-pcim.c @@ -1,5 +1,6 @@ int main () { - ctx->sensePA = pci_map_single(adapter->dev, cmd->sense_buffer, @@ -8845,7 +8881,7 @@ pcomma.res diff = --- tests/pcomma.c -+++ /tmp/cocci-output-931074-209201-pcomma.c ++++ /tmp/cocci-output-2523378-984f9c-pcomma.c @@ -1,14 +1,14 @@ -int main (int x) {} +int main (char c, int x) {} @@ -8872,7 +8908,7 @@ pif.res diff = --- tests/pif.c -+++ /tmp/cocci-output-931074-617443-pif.c ++++ /tmp/cocci-output-2523378-ab3878-pif.c @@ -1,5 +1 @@ -void f(void) -{ @@ -8883,14 +8919,14 @@ plus33.res diff = --- tests/plus33.c -+++ /tmp/cocci-output-931074-9efd2a-plus33.c ++++ /tmp/cocci-output-2523378-a82526-plus33.c @@ -1 +1,2 @@ +typedef double double3x3[3][3]; int x; pmac.res diff = --- tests/pmac.c -+++ /tmp/cocci-output-931074-2c0f08-pmac.c ++++ /tmp/cocci-output-2523378-560e02-pmac.c @@ -4,7 +4,5 @@ #include #endif @@ -8901,12 +8937,12 @@ static int snd_pmac_unregister_sleep_notifier(pmac_t *chip); poscon.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_d68b38.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d68b38.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_08dbef.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_08dbef.ml Compilation OK! Loading ML code of the SP... diff = --- tests/poscon.c -+++ /tmp/cocci-output-931074-4e3fa7-poscon.c ++++ /tmp/cocci-output-2523378-2222c8-poscon.c @@ -2,8 +2,8 @@ int main () { f(0); g(0); @@ -8923,7 +8959,7 @@ posiso.res diff = --- tests/posiso.c -+++ /tmp/cocci-output-931074-8bdea4-posiso.c ++++ /tmp/cocci-output-2523378-88e34f-posiso.c @@ -1,9 +1,7 @@ int main () { int *x; @@ -8937,7 +8973,7 @@ positionc.res diff = --- tests/positionc.c -+++ /tmp/cocci-output-931074-180c41-positionc.c ++++ /tmp/cocci-output-2523378-b04b76-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; @@ -8950,7 +8986,7 @@ post.res diff = --- tests/post.c -+++ /tmp/cocci-output-931074-ef2703-post.c ++++ /tmp/cocci-output-2523378-051c2d-post.c @@ -1,8 +1,6 @@ int main() { - f(3, foo + bar, 5); @@ -8963,7 +8999,7 @@ pragma2.res diff = --- tests/pragma2.c -+++ /tmp/cocci-output-931074-faefb5-pragma2.c ++++ /tmp/cocci-output-2523378-61502f-pragma2.c @@ -4,7 +4,7 @@ int main() int n = 3; // FIXME: problem: uncommenting this breaks matching @@ -8977,7 +9013,7 @@ pragma3.res diff = --- tests/pragma3.c -+++ /tmp/cocci-output-931074-d3f40b-pragma3.c ++++ /tmp/cocci-output-2523378-2fa9e0-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') */ @@ -8991,7 +9027,7 @@ pragma_and_block_b.res diff = --- tests/pragma_and_block_b.c -+++ /tmp/cocci-output-931074-f85b2c-pragma_and_block_b.c ++++ /tmp/cocci-output-2523378-9c67f4-pragma_and_block_b.c @@ -1,6 +1,5 @@ int main() { @@ -9002,7 +9038,7 @@ pragmainfo_multiline.res diff = --- tests/pragmainfo_multiline.c -+++ /tmp/cocci-output-931074-fc909c-pragmainfo_multiline.c ++++ /tmp/cocci-output-2523378-e54227-pragmainfo_multiline.c @@ -1,6 +1,4 @@ int main() { @@ -9013,19 +9049,19 @@ pragmatest1.res diff = --- tests/pragmatest1.c -+++ /tmp/cocci-output-931074-1c68bf-pragmatest1.c ++++ /tmp/cocci-output-2523378-23ef26-pragmatest1.c @@ -1,3 +1 @@ -#pragma xxx a b c -#pragma xxx (a, b, c) pragmatest2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_8ce8eb.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_8ce8eb.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_5c4db6.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5c4db6.ml Compilation OK! Loading ML code of the SP... diff = --- tests/pragmatest2.c -+++ /tmp/cocci-output-931074-0b6215-pragmatest2.c ++++ /tmp/cocci-output-2523378-f6663e-pragmatest2.c @@ -1,6 +1,4 @@ #pragma xxx this is a test @@ -9038,7 +9074,7 @@ warning: rule starting on line 1: metavariable E not used in the - or context code diff = --- tests/print_return.c -+++ /tmp/cocci-output-931074-390ddf-print_return.c ++++ /tmp/cocci-output-2523378-0da571-print_return.c @@ -1,4 +1,3 @@ int config(struct pcmcia_device *link) { - bar(); @@ -9048,7 +9084,7 @@ proto.res diff = --- tests/proto.c -+++ /tmp/cocci-output-931074-60793a-proto.c ++++ /tmp/cocci-output-2523378-561647-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); @@ -9063,7 +9099,7 @@ proto2.res diff = --- tests/proto2.c -+++ /tmp/cocci-output-931074-9af6da-proto2.c ++++ /tmp/cocci-output-2523378-3a8f02-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); @@ -9080,7 +9116,7 @@ proto_ver1.res diff = --- tests/proto_ver1.c -+++ /tmp/cocci-output-931074-960a0e-proto_ver1.c ++++ /tmp/cocci-output-2523378-546c76-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); @@ -9095,7 +9131,7 @@ proto_ver2.res diff = --- tests/proto_ver2.c -+++ /tmp/cocci-output-931074-9157cd-proto_ver2.c ++++ /tmp/cocci-output-2523378-3801a6-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); @@ -9124,7 +9160,7 @@ protoassert.res diff = --- tests/protoassert.c -+++ /tmp/cocci-output-931074-ccc4aa-protoassert.c ++++ /tmp/cocci-output-2523378-c035e6-protoassert.c @@ -1,6 +1,8 @@ static unsigned mii_rd(ioaddr_t ioaddr, u_char phyaddr, u_char phyreg); @@ -9140,7 +9176,7 @@ ptrar.res diff = --- tests/ptrar.c -+++ /tmp/cocci-output-931074-6cfeb6-ptrar.c ++++ /tmp/cocci-output-2523378-037d22-ptrar.c @@ -1,8 +1,8 @@ int main () { struct foo *x; @@ -9157,7 +9193,7 @@ ptrconstptr.res diff = --- tests/ptrconstptr.c -+++ /tmp/cocci-output-931074-7743ce-ptrconstptr.c ++++ /tmp/cocci-output-2523378-c8af8f-ptrconstptr.c @@ -1,3 +1,3 @@ void main() { - const char * const * x; @@ -9169,7 +9205,7 @@ warning: rule starting on line 12: metavariable S not used in the - or context code diff = --- tests/putloop.c -+++ /tmp/cocci-output-931074-09a87d-putloop.c ++++ /tmp/cocci-output-2523378-fb0f4b-putloop.c @@ -4,13 +4,11 @@ static int atmel_pctl_dt_node_to_map(str unsigned int *num_maps) { @@ -9200,7 +9236,7 @@ SPECIAL NAMES: adding survived_r1 as a type diff = --- tests/qualifier.c -+++ /tmp/cocci-output-931074-fb45d4-qualifier.c ++++ /tmp/cocci-output-2523378-57254d-qualifier.c @@ -1,11 +1,11 @@ int *foo(const int *i) { @@ -9238,7 +9274,7 @@ range.res diff = --- tests/range.c -+++ /tmp/cocci-output-931074-1eea56-range.c ++++ /tmp/cocci-output-2523378-b87c9d-range.c @@ -1,17 +1,8 @@ int main() { - f(1); @@ -9261,7 +9297,7 @@ SPECIAL NAMES: adding RB_DECLARE_CALLBACKS_MAX as a declarer diff = --- tests/rb.c -+++ /tmp/cocci-output-931074-44b6c3-rb.c ++++ /tmp/cocci-output-2523378-afde98-rb.c @@ -1,2 +1 @@ -RB_DECLARE_CALLBACKS_MAX(static, augment_callbacks, struct drbd_interval, -rb, sector_t, end, NODE_END); @@ -9269,7 +9305,7 @@ rcu3.res diff = --- tests/rcu3.c -+++ /tmp/cocci-output-931074-473790-rcu3.c ++++ /tmp/cocci-output-2523378-490b47-rcu3.c @@ -3,6 +3,6 @@ static struct mtd_chip_driver *get_mtd_c struct list_head *pos; struct mtd_chip_driver *this; @@ -9282,7 +9318,7 @@ refl.res diff = --- tests/refl.c -+++ /tmp/cocci-output-931074-0e7405-refl.c ++++ /tmp/cocci-output-2523378-018229-refl.c @@ -1,5 +1,3 @@ int main () { int x; @@ -9292,7 +9328,7 @@ regesc.res diff = --- tests/regesc.c -+++ /tmp/cocci-output-931074-80fbd0-regesc.c ++++ /tmp/cocci-output-2523378-85e1d5-regesc.c @@ -1,5 +1,5 @@ int main () { - f(".foo"); @@ -9304,7 +9340,7 @@ regexp.res diff = --- tests/regexp.c -+++ /tmp/cocci-output-931074-4ac258-regexp.c ++++ /tmp/cocci-output-2523378-58af90-regexp.c @@ -1,9 +1,23 @@ int main(void) { @@ -9332,7 +9368,7 @@ regexp2.res diff = --- tests/regexp2.c -+++ /tmp/cocci-output-931074-c95dd2-regexp2.c ++++ /tmp/cocci-output-2523378-9121b7-regexp2.c @@ -2,9 +2,23 @@ int main(void) { @@ -9360,7 +9396,7 @@ regexp3.res diff = --- tests/regexp3.c -+++ /tmp/cocci-output-931074-178d74-regexp3.c ++++ /tmp/cocci-output-2523378-85e9f5-regexp3.c @@ -2,10 +2,27 @@ int main(void) { @@ -9391,12 +9427,12 @@ } relevant_position.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_35ef5f.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_35ef5f.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_5580e3.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5580e3.ml Compilation OK! Loading ML code of the SP... diff = --- tests/relevant_position.c -+++ /tmp/cocci-output-931074-29f53e-relevant_position.c ++++ /tmp/cocci-output-2523378-7d1dbf-relevant_position.c @@ -1,4 +1,4 @@ -struct blah { struct list_head xxx; }; + @@ -9406,7 +9442,7 @@ rem1.res diff = --- tests/rem1.c -+++ /tmp/cocci-output-931074-9fbc8b-rem1.c ++++ /tmp/cocci-output-2523378-9f27b1-rem1.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9416,7 +9452,7 @@ rem2.res diff = --- tests/rem2.c -+++ /tmp/cocci-output-931074-85544c-rem2.c ++++ /tmp/cocci-output-2523378-432f05-rem2.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9426,7 +9462,7 @@ remaft.res diff = --- tests/remaft.c -+++ /tmp/cocci-output-931074-beb7c9-remaft.c ++++ /tmp/cocci-output-2523378-7cc11b-remaft.c @@ -1,8 +1,6 @@ int main() { #ifdef BLAH @@ -9439,7 +9475,7 @@ remcom.res diff = --- tests/remcom.c -+++ /tmp/cocci-output-931074-fa242f-remcom.c ++++ /tmp/cocci-output-2523378-084fe3-remcom.c @@ -3,20 +3,12 @@ asyncmeta_retry( Operation *op ) { @@ -9467,7 +9503,7 @@ remcom2.res diff = --- tests/remcom2.c -+++ /tmp/cocci-output-931074-f9c707-remcom2.c ++++ /tmp/cocci-output-2523378-48d7e3-remcom2.c @@ -2,7 +2,5 @@ int fn() { if (y) { @@ -9479,7 +9515,7 @@ remodif.res diff = --- tests/remodif.c -+++ /tmp/cocci-output-931074-563841-remodif.c ++++ /tmp/cocci-output-2523378-d456dc-remodif.c @@ -5,7 +5,7 @@ static int hexium_attach(struct saa7146_ DEB_EE("\n"); @@ -9492,7 +9528,7 @@ remove-code-in-branch1.res diff = --- tests/remove-code-in-branch1.c -+++ /tmp/cocci-output-931074-6a74dc-remove-code-in-branch1.c ++++ /tmp/cocci-output-2523378-9bfa96-remove-code-in-branch1.c @@ -1,7 +1,7 @@ int main(void) { @@ -9505,7 +9541,7 @@ remove_call.res diff = --- tests/remove_call.c -+++ /tmp/cocci-output-931074-ff3903-remove_call.c ++++ /tmp/cocci-output-2523378-c3f092-remove_call.c @@ -1,6 +1,2 @@ int main () { - int x = 3 + FN() + FN(); @@ -9517,7 +9553,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/remove_cast_attr.c -+++ /tmp/cocci-output-931074-75bbf0-remove_cast_attr.c ++++ /tmp/cocci-output-2523378-a322fc-remove_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -9534,7 +9570,7 @@ remove_cast_attr_allminus.res diff = --- tests/remove_cast_attr_allminus.c -+++ /tmp/cocci-output-931074-a0d9a3-remove_cast_attr_allminus.c ++++ /tmp/cocci-output-2523378-b26c18-remove_cast_attr_allminus.c @@ -2,9 +2,9 @@ int func() @@ -9555,7 +9591,7 @@ SPECIAL NAMES: adding __macro_attr as a attribute diff = --- tests/remove_macrodecl_attr.c -+++ /tmp/cocci-output-931074-d444dc-remove_macrodecl_attr.c ++++ /tmp/cocci-output-2523378-c9445a-remove_macrodecl_attr.c @@ -1,3 +1,3 @@ #define __macro_attr MACROANNOTATION @@ -9565,7 +9601,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/remove_metaattr.c -+++ /tmp/cocci-output-931074-143dbb-remove_metaattr.c ++++ /tmp/cocci-output-2523378-ef418d-remove_metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -9577,7 +9613,7 @@ SPECIAL NAMES: adding __nocast as a attribute diff = --- tests/remove_param_attrs.c -+++ /tmp/cocci-output-931074-83dce8-remove_param_attrs.c ++++ /tmp/cocci-output-2523378-5dde8c-remove_param_attrs.c @@ -6,15 +6,15 @@ int func2(int x, int __nocast y) { return 0; } @@ -9601,7 +9637,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr.c -+++ /tmp/cocci-output-931074-1a111a-remove_struct_endattr.c ++++ /tmp/cocci-output-2523378-41b801-remove_struct_endattr.c @@ -4,4 +4,4 @@ struct abcd { int a; int b; @@ -9612,7 +9648,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr_allminus.c -+++ /tmp/cocci-output-931074-88549d-remove_struct_endattr_allminus.c ++++ /tmp/cocci-output-2523378-24456b-remove_struct_endattr_allminus.c @@ -1,13 +1 @@ #define __struct_endattr MACROANNOTATION - @@ -9630,7 +9666,7 @@ remparam.res diff = --- tests/remparam.c -+++ /tmp/cocci-output-931074-37b72b-remparam.c ++++ /tmp/cocci-output-2523378-6a0137-remparam.c @@ -1,14 +1,14 @@ static irqreturn_t -snd_ad1889_interrupt(void *dev_id, int x, @@ -9653,7 +9689,7 @@ rems.res diff = --- tests/rems.c -+++ /tmp/cocci-output-931074-d24a0a-rems.c ++++ /tmp/cocci-output-2523378-a51805-rems.c @@ -1,5 +1,4 @@ int main () { x(); @@ -9663,7 +9699,7 @@ rems1.res diff = --- tests/rems1.c -+++ /tmp/cocci-output-931074-df422a-rems1.c ++++ /tmp/cocci-output-2523378-2dce0a-rems1.c @@ -1,5 +1,4 @@ int main () { x(); @@ -9675,7 +9711,7 @@ warning: line 8: should xxx be a metavariable? diff = --- tests/remstruct.c -+++ /tmp/cocci-output-931074-c711ca-remstruct.c ++++ /tmp/cocci-output-2523378-c122f2-remstruct.c @@ -1,13 +1,4 @@ -static struct irqchip mpuio_irq_chip = { - .ack = mpuio_ack_irq, @@ -9693,7 +9729,7 @@ remu.res diff = --- tests/remu.c -+++ /tmp/cocci-output-931074-1a71fc-remu.c ++++ /tmp/cocci-output-2523378-e5d033-remu.c @@ -1,5 +1,4 @@ struct anon_vma { int x; @@ -9703,7 +9739,7 @@ replace_typedef.res diff = --- tests/replace_typedef.c -+++ /tmp/cocci-output-931074-1c9b0a-replace_typedef.c ++++ /tmp/cocci-output-2523378-c69467-replace_typedef.c @@ -3,8 +3,8 @@ typedef struct foo { int x; } foo_t; typedef int int_t; @@ -9718,7 +9754,7 @@ replacement3.res diff = --- tests/replacement3.c -+++ /tmp/cocci-output-931074-c068e1-replacement3.c ++++ /tmp/cocci-output-2523378-3d3299-replacement3.c @@ -1,6 +1,5 @@ int main() { - int *i; @@ -9730,7 +9766,7 @@ reserved.res diff = --- tests/reserved.c -+++ /tmp/cocci-output-931074-e54631-reserved.c ++++ /tmp/cocci-output-2523378-0057bc-reserved.c @@ -1,7 +1,4 @@ int main() { - f(1,1); @@ -9742,7 +9778,7 @@ retest.res diff = --- tests/retest.c -+++ /tmp/cocci-output-931074-0f28fb-retest.c ++++ /tmp/cocci-output-2523378-2b6722-retest.c @@ -1,6 +1,6 @@ int main () { foo(); @@ -9754,7 +9790,7 @@ retmacro.res diff = --- tests/retmacro.c -+++ /tmp/cocci-output-931074-2e2712-retmacro.c ++++ /tmp/cocci-output-2523378-bcc76e-retmacro.c @@ -1,6 +1,6 @@ #define REG_PATTERN_TEST(R, M, W) \ { \ @@ -9777,7 +9813,7 @@ warning: rule starting on line 18: metavariable S not used in the - or context code diff = --- tests/return.c -+++ /tmp/cocci-output-931074-184bff-return.c ++++ /tmp/cocci-output-2523378-ecec37-return.c @@ -1,6 +1,9 @@ void foo(int y) { int x; @@ -9793,7 +9829,7 @@ return_implicit.res diff = --- tests/return_implicit.c -+++ /tmp/cocci-output-931074-341ad5-return_implicit.c ++++ /tmp/cocci-output-2523378-ca4715-return_implicit.c @@ -1,4 +1,5 @@ void main(void) { @@ -9803,7 +9839,7 @@ retval.res diff = --- tests/retval.c -+++ /tmp/cocci-output-931074-8ae99d-retval.c ++++ /tmp/cocci-output-2523378-505c82-retval.c @@ -1,21 +1,15 @@ int main () { if (retval1) { @@ -9833,7 +9869,7 @@ retval2.res diff = --- tests/retval2.c -+++ /tmp/cocci-output-931074-3e2eb1-retval2.c ++++ /tmp/cocci-output-2523378-a119de-retval2.c @@ -11,7 +11,7 @@ int getlen(int *input, size_t maxlen, in return -1; } @@ -9847,7 +9883,7 @@ warning: rule starting on line 8: metavariable p1 not used in the - or context code diff = --- tests/reusevar.c -+++ /tmp/cocci-output-931074-e9acf3-reusevar.c ++++ /tmp/cocci-output-2523378-b577a0-reusevar.c @@ -1,8 +1,5 @@ int main () { - f(x); @@ -9865,7 +9901,7 @@ SPECIAL NAMES: adding __ro_after_init as a attribute diff = --- tests/roa.c -+++ /tmp/cocci-output-931074-6b9a16-roa.c ++++ /tmp/cocci-output-2523378-ce9fd3-roa.c @@ -1,10 +1,10 @@ -struct arm_delay_ops arm_delay_ops __ro_after_init = { +struct found used __ro_after_init = { @@ -9883,7 +9919,7 @@ rptr.res diff = --- tests/rptr.c -+++ /tmp/cocci-output-931074-6980ef-rptr.c ++++ /tmp/cocci-output-2523378-fd5a37-rptr.c @@ -1,6 +1,4 @@ int foo(struct resource *r) { @@ -9896,7 +9932,7 @@ same_expr.res diff = --- tests/same_expr.c -+++ /tmp/cocci-output-931074-09818e-same_expr.c ++++ /tmp/cocci-output-2523378-3946b3-same_expr.c @@ -1,6 +1,5 @@ void main(int i) { @@ -9907,7 +9943,7 @@ sbef.res diff = --- tests/sbef.c -+++ /tmp/cocci-output-931074-b5b31c-sbef.c ++++ /tmp/cocci-output-2523378-4e4d3a-sbef.c @@ -2,6 +2,5 @@ int main () { { a(); @@ -9918,7 +9954,7 @@ sbef2.res diff = --- tests/sbef2.c -+++ /tmp/cocci-output-931074-a43054-sbef2.c ++++ /tmp/cocci-output-2523378-a989ff-sbef2.c @@ -1,5 +1,4 @@ int main() { f(12); @@ -9928,7 +9964,7 @@ scope_problem.res diff = --- tests/scope_problem.c -+++ /tmp/cocci-output-931074-514ea5-scope_problem.c ++++ /tmp/cocci-output-2523378-02ddd5-scope_problem.c @@ -1,15 +1,7 @@ void main(int i) { - @@ -9950,14 +9986,14 @@ SPECIAL NAMES: adding MyFloat as a type diff = --- tests/sd_2.c -+++ /tmp/cocci-output-931074-5b3baf-sd_2.c ++++ /tmp/cocci-output-2523378-d3ed0d-sd_2.c @@ -1 +1 @@ - struct particle_data_extra { MyFloat Mass; }; + struct particle_data_extra { MyFloat *Mass; }; serio.res diff = --- tests/serio.c -+++ /tmp/cocci-output-931074-6ddf3d-serio.c ++++ /tmp/cocci-output-2523378-25a7ed-serio.c @@ -1,8 +1,8 @@ struct serio { - struct semaphore drv_sem; @@ -9975,7 +10011,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/shared_brace.c -+++ /tmp/cocci-output-931074-9768b8-shared_brace.c ++++ /tmp/cocci-output-2523378-9fe22b-shared_brace.c @@ -1,9 +1,7 @@ int __init ixj_init(void) @@ -9996,7 +10032,7 @@ warning: line 23: should p be a metavariable? diff = --- tests/signed.c -+++ /tmp/cocci-output-931074-8a2ce3-signed.c ++++ /tmp/cocci-output-2523378-fd546f-signed.c @@ -1,5 +1,5 @@ -int main(signed *m, unsigned *p) { - signed x; @@ -10011,7 +10047,7 @@ SPECIAL NAMES: adding DEFINE_MUTEX as a declarer diff = --- tests/sis.c -+++ /tmp/cocci-output-931074-b2b110-sis.c ++++ /tmp/cocci-output-2523378-880d89-sis.c @@ -1,4 +1,4 @@ -DECLARE_MUTEX(disconnect_sem); +DEFINE_MUTEX(disconnect_sem); @@ -10021,7 +10057,7 @@ sizeof.res diff = --- tests/sizeof.c -+++ /tmp/cocci-output-931074-64b33f-sizeof.c ++++ /tmp/cocci-output-2523378-00d346-sizeof.c @@ -1,7 +1,7 @@ int main (int param) { @@ -10035,7 +10071,7 @@ sizeof_julia.res diff = --- tests/sizeof_julia.c -+++ /tmp/cocci-output-931074-3fd00e-sizeof_julia.c ++++ /tmp/cocci-output-2523378-a39cd9-sizeof_julia.c @@ -1,5 +1,5 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) @@ -10046,7 +10082,7 @@ sizeptr.res diff = --- tests/sizeptr.c -+++ /tmp/cocci-output-931074-484b30-sizeptr.c ++++ /tmp/cocci-output-2523378-93f3b3-sizeptr.c @@ -5,7 +5,7 @@ int main () { ssize_t b; ptrdiff_t c; @@ -10061,7 +10097,7 @@ sizestar.res diff = --- tests/sizestar.c -+++ /tmp/cocci-output-931074-3f64e1-sizestar.c ++++ /tmp/cocci-output-2523378-c4e24f-sizestar.c @@ -1,7 +1,7 @@ int main () { max = num_var_ranges; @@ -10074,7 +10110,7 @@ sizet1.res diff = --- tests/sizet1.c -+++ /tmp/cocci-output-931074-0cf1b1-sizet1.c ++++ /tmp/cocci-output-2523378-85b923-sizet1.c @@ -1,3 +1,2 @@ int main() { - size_t x; @@ -10082,7 +10118,7 @@ skip.res diff = --- tests/skip.c -+++ /tmp/cocci-output-931074-efac38-skip.c ++++ /tmp/cocci-output-2523378-7fcbc7-skip.c @@ -1,5 +1,3 @@ int main () { - f(1); @@ -10093,7 +10129,7 @@ sl2.res diff = --- tests/sl2.c -+++ /tmp/cocci-output-931074-1e1664-sl2.c ++++ /tmp/cocci-output-2523378-c32a64-sl2.c @@ -1,11 +1,14 @@ int main () { + something(); @@ -10114,12 +10150,12 @@ one(); slen.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_fa6885.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_fa6885.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_e2d447.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e2d447.ml Compilation OK! Loading ML code of the SP... diff = --- tests/slen.c -+++ /tmp/cocci-output-931074-10125b-slen.c ++++ /tmp/cocci-output-2523378-b55abf-slen.c @@ -3,16 +3,10 @@ int main() { one(); } @@ -10142,7 +10178,7 @@ smallfn.res diff = --- tests/smallfn.c -+++ /tmp/cocci-output-931074-62e5b0-smallfn.c ++++ /tmp/cocci-output-2523378-fa85c4-smallfn.c @@ -1,30 +1,65 @@ int main () { if (y) { @@ -10222,7 +10258,7 @@ snprintf.res diff = --- tests/snprintf.c -+++ /tmp/cocci-output-931074-e1ee40-snprintf.c ++++ /tmp/cocci-output-2523378-b81f18-snprintf.c @@ -1,4 +1,4 @@ static ssize_t idletimer_tg_show(char *buf) { @@ -10232,7 +10268,7 @@ sp.res diff = --- tests/sp.c -+++ /tmp/cocci-output-931074-2bb9af-sp.c ++++ /tmp/cocci-output-2523378-1e6a13-sp.c @@ -1,4 +1,4 @@ -typedef struct { +struct name { @@ -10244,7 +10280,7 @@ spacing.res diff = --- tests/spacing.c -+++ /tmp/cocci-output-931074-f25d84-spacing.c ++++ /tmp/cocci-output-2523378-37f68b-spacing.c @@ -1,8 +1,21 @@ typedef int *foo; @@ -10270,7 +10306,7 @@ spl.res diff = --- tests/spl.c -+++ /tmp/cocci-output-931074-9f99d2-spl.c ++++ /tmp/cocci-output-2523378-58072b-spl.c @@ -2,11 +2,13 @@ int main() { spin_lock(&isp116x->lock); /* take idle endpoints out of the schedule */ @@ -10288,7 +10324,7 @@ split_funcall1.res diff = --- tests/split_funcall1.c -+++ /tmp/cocci-output-931074-900725-split_funcall1.c ++++ /tmp/cocci-output-2523378-5f52d5-split_funcall1.c @@ -1,4 +1,4 @@ int main(void) { @@ -10298,7 +10334,7 @@ split_funcall2.res diff = --- tests/split_funcall2.c -+++ /tmp/cocci-output-931074-bdbff3-split_funcall2.c ++++ /tmp/cocci-output-2523378-807662-split_funcall2.c @@ -1,4 +1,4 @@ int main(void) { @@ -10308,7 +10344,7 @@ square.res diff = --- tests/square.c -+++ /tmp/cocci-output-931074-056895-square.c ++++ /tmp/cocci-output-2523378-73b178-square.c @@ -2,7 +2,7 @@ int two() { return 2; } int main() { int a[3]; @@ -10324,7 +10360,7 @@ SPECIAL NAMES: adding LPINT as a type diff = --- tests/starprint.c -+++ /tmp/cocci-output-931074-3bb16d-starprint.c ++++ /tmp/cocci-output-2523378-301e74-starprint.c @@ -1,6 +1,6 @@ typedef int *LPINT; @@ -10336,7 +10372,7 @@ static.res diff = --- tests/static.c -+++ /tmp/cocci-output-931074-1d61b5-static.c ++++ /tmp/cocci-output-2523378-8692b4-static.c @@ -1,4 +1,3 @@ static inline int i8042_read_data(void) { @@ -10347,7 +10383,7 @@ stm10.res diff = --- tests/stm10.c -+++ /tmp/cocci-output-931074-884989-stm10.c ++++ /tmp/cocci-output-2523378-a8adbe-stm10.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -10359,7 +10395,7 @@ stm10_ver1.res diff = --- tests/stm10_ver1.c -+++ /tmp/cocci-output-931074-91c46e-stm10_ver1.c ++++ /tmp/cocci-output-2523378-b63d62-stm10_ver1.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10370,7 +10406,7 @@ stm2.res diff = --- tests/stm2.c -+++ /tmp/cocci-output-931074-1a133f-stm2.c ++++ /tmp/cocci-output-2523378-924097-stm2.c @@ -1,5 +1,4 @@ int main(int x) { f(); @@ -10380,7 +10416,7 @@ stm3.res diff = --- tests/stm3.c -+++ /tmp/cocci-output-931074-319173-stm3.c ++++ /tmp/cocci-output-2523378-65a028-stm3.c @@ -1,5 +1,5 @@ int main(int x) { f(); @@ -10391,7 +10427,7 @@ stm4.res diff = --- tests/stm4.c -+++ /tmp/cocci-output-931074-269dab-stm4.c ++++ /tmp/cocci-output-2523378-e22d55-stm4.c @@ -2,4 +2,5 @@ int main(int x) { f(); replace(); @@ -10401,7 +10437,7 @@ stm5.res diff = --- tests/stm5.c -+++ /tmp/cocci-output-931074-3c73a3-stm5.c ++++ /tmp/cocci-output-2523378-a13722-stm5.c @@ -1,5 +1,7 @@ int main(int x) { f(); @@ -10413,7 +10449,7 @@ stm6.res diff = --- tests/stm6.c -+++ /tmp/cocci-output-931074-01d761-stm6.c ++++ /tmp/cocci-output-2523378-274bed-stm6.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10426,7 +10462,7 @@ stm8.res diff = --- tests/stm8.c -+++ /tmp/cocci-output-931074-59bff4-stm8.c ++++ /tmp/cocci-output-2523378-592c28-stm8.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10437,7 +10473,7 @@ stm_exp.res diff = --- tests/stm_exp.c -+++ /tmp/cocci-output-931074-394829-stm_exp.c ++++ /tmp/cocci-output-2523378-6f8375-stm_exp.c @@ -1,7 +1,5 @@ int main() { - abs(); @@ -10449,7 +10485,7 @@ stmt.res diff = --- tests/stmt.c -+++ /tmp/cocci-output-931074-30d126-stmt.c ++++ /tmp/cocci-output-2523378-d0a59b-stmt.c @@ -1,4 +1,5 @@ int f() { int x; @@ -10459,7 +10495,7 @@ stmt_removed_and_added.res diff = --- tests/stmt_removed_and_added.c -+++ /tmp/cocci-output-931074-bdab43-stmt_removed_and_added.c ++++ /tmp/cocci-output-2523378-c2fbca-stmt_removed_and_added.c @@ -1,6 +1,6 @@ void main() { @@ -10472,7 +10508,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/str_init.c -+++ /tmp/cocci-output-931074-10d7fa-str_init.c ++++ /tmp/cocci-output-2523378-24de52-str_init.c @@ -1,7 +1,3 @@ struct foo x = { - .aaa = 5, @@ -10485,7 +10521,7 @@ warning: rule starting on line 1: metavariable f not used in the - or context code diff = --- tests/strangeorder.c -+++ /tmp/cocci-output-931074-c758f5-strangeorder.c ++++ /tmp/cocci-output-2523378-eee0c2-strangeorder.c @@ -4,8 +4,10 @@ i2c_new_device(struct i2c_adapter *adap, struct i2c_client *client; @@ -10501,7 +10537,7 @@ strid.res diff = --- tests/strid.c -+++ /tmp/cocci-output-931074-12311d-strid.c ++++ /tmp/cocci-output-2523378-9059b3-strid.c @@ -1,4 +1,4 @@ int main () { struct foo *a; @@ -10511,7 +10547,7 @@ strid2.res diff = --- tests/strid2.c -+++ /tmp/cocci-output-931074-aa3f49-strid2.c ++++ /tmp/cocci-output-2523378-ec455e-strid2.c @@ -3,8 +3,8 @@ int main () { enum foo1 *b; struct foo a1; @@ -10527,7 +10563,7 @@ strtest.res diff = --- tests/strtest.c -+++ /tmp/cocci-output-931074-44e755-strtest.c ++++ /tmp/cocci-output-2523378-2f30dc-strtest.c @@ -1,3 +1,3 @@ int main() { - printf("hello\n"); @@ -10536,7 +10572,7 @@ struct.res diff = --- tests/struct.c -+++ /tmp/cocci-output-931074-2b3d45-struct.c ++++ /tmp/cocci-output-2523378-30e327-struct.c @@ -8,7 +8,5 @@ struct foo { int main() { @@ -10548,7 +10584,7 @@ struct_metavar.res diff = --- tests/struct_metavar.c -+++ /tmp/cocci-output-931074-ac4c88-struct_metavar.c ++++ /tmp/cocci-output-2523378-24eba0-struct_metavar.c @@ -9,9 +9,6 @@ struct foo { int main() { struct foo *a; @@ -10562,7 +10598,7 @@ struct_typedef.res diff = --- tests/struct_typedef.c -+++ /tmp/cocci-output-931074-89603b-struct_typedef.c ++++ /tmp/cocci-output-2523378-46863f-struct_typedef.c @@ -1,5 +1,5 @@ -typedef struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -10576,7 +10612,7 @@ warning: line 5: should my_foo be a metavariable? diff = --- tests/structfoo.c -+++ /tmp/cocci-output-931074-cb009d-structfoo.c ++++ /tmp/cocci-output-2523378-053733-structfoo.c @@ -1,4 +1 @@ -struct foo my_foo[] = { -.a = 1, @@ -10586,7 +10622,7 @@ structptr_func.res diff = --- tests/structptr_func.c -+++ /tmp/cocci-output-931074-75e06b-structptr_func.c ++++ /tmp/cocci-output-2523378-0379f5-structptr_func.c @@ -1,5 +1,6 @@ void func(struct socket *sock, struct sockaddr *uaddr, int peer) { @@ -10598,7 +10634,7 @@ substruct.res diff = --- tests/substruct.c -+++ /tmp/cocci-output-931074-5f550b-substruct.c ++++ /tmp/cocci-output-2523378-5c6742-substruct.c @@ -1,5 +1,5 @@ struct a { int a; } x[2] = { @@ -10610,14 +10646,14 @@ sw.res diff = --- tests/sw.c -+++ /tmp/cocci-output-931074-ba4196-sw.c ++++ /tmp/cocci-output-2523378-e26e46-sw.c @@ -1 +1 @@ -int f() { switch (x) { case FOO: return; } } + swap3.res diff = --- tests/swap3.c -+++ /tmp/cocci-output-931074-2bc3e2-swap3.c ++++ /tmp/cocci-output-2523378-3b18b5-swap3.c @@ -2,7 +2,7 @@ static void __ar955x_tx_iq_cal_sort(stru struct coeff *coeff, int i, int nmeasurement) @@ -10630,7 +10666,7 @@ switch.res diff = --- tests/switch.c -+++ /tmp/cocci-output-931074-262e16-switch.c ++++ /tmp/cocci-output-2523378-cb334f-switch.c @@ -3,6 +3,5 @@ int main () { default: break; @@ -10642,7 +10678,7 @@ warning: switch_1: metavariable S_1 not used in the - or context code diff = --- tests/switchdecl.c -+++ /tmp/cocci-output-931074-b57cf2-switchdecl.c ++++ /tmp/cocci-output-2523378-99771c-switchdecl.c @@ -4,7 +4,7 @@ switch (2) { int x; @@ -10656,7 +10692,7 @@ warning: line 12: should g be a metavariable? diff = --- tests/symbol.c -+++ /tmp/cocci-output-931074-b996c8-symbol.c ++++ /tmp/cocci-output-2523378-3d09bf-symbol.c @@ -1,7 +1,5 @@ int main() { int f = 0; @@ -10668,7 +10704,7 @@ td.res diff = --- tests/td.c -+++ /tmp/cocci-output-931074-128ed9-td.c ++++ /tmp/cocci-output-2523378-28f407-td.c @@ -1,5 +1,5 @@ -struct foo {int a;}; +struct foo {int b;}; @@ -10681,7 +10717,7 @@ tdnl.res diff = --- tests/tdnl.c -+++ /tmp/cocci-output-931074-911bee-tdnl.c ++++ /tmp/cocci-output-2523378-fbc6cf-tdnl.c @@ -4,5 +4,4 @@ void main() { @@ -10691,14 +10727,14 @@ tdplus.res diff = --- tests/tdplus.c -+++ /tmp/cocci-output-931074-5f521d-tdplus.c ++++ /tmp/cocci-output-2523378-30b918-tdplus.c @@ -1 +1 @@ -typedef int (*filler_t)(int, int); +typedef int (*filler_t)(int, struct address_space *, int); tern.res diff = --- tests/tern.c -+++ /tmp/cocci-output-931074-ed0ec4-tern.c ++++ /tmp/cocci-output-2523378-309ae4-tern.c @@ -1,4 +1,4 @@ int main () { - return (wc >= 0 && wc <= 0x7f ? wc : 0x7f); @@ -10708,7 +10744,7 @@ test0.res diff = --- tests/test0.c -+++ /tmp/cocci-output-931074-d92a9e-test0.c ++++ /tmp/cocci-output-2523378-0219e8-test0.c @@ -1,5 +1,3 @@ int main(int i) { - f(1); @@ -10718,7 +10754,7 @@ test1.res diff = --- tests/test1.c -+++ /tmp/cocci-output-931074-1ef14b-test1.c ++++ /tmp/cocci-output-2523378-2400ff-test1.c @@ -6,9 +6,9 @@ void main(int foo) { x(); if(1) { @@ -10735,7 +10771,7 @@ test10_ver1.res diff = --- tests/test10_ver1.c -+++ /tmp/cocci-output-931074-08cef9-test10_ver1.c ++++ /tmp/cocci-output-2523378-5b4863-test10_ver1.c @@ -3,7 +3,7 @@ void main(int i) { f(1); g(1); @@ -10749,7 +10785,7 @@ test11_ver1.res diff = --- tests/test11_ver1.c -+++ /tmp/cocci-output-931074-bcb3af-test11_ver1.c ++++ /tmp/cocci-output-2523378-016562-test11_ver1.c @@ -2,6 +2,6 @@ void main(int i) { f(1); g(1); @@ -10761,7 +10797,7 @@ test12.res diff = --- tests/test12.c -+++ /tmp/cocci-output-931074-cc94ba-test12.c ++++ /tmp/cocci-output-2523378-96c07f-test12.c @@ -1,6 +1,6 @@ void main(int foo) { @@ -10773,7 +10809,7 @@ test2.res diff = --- tests/test2.c -+++ /tmp/cocci-output-931074-b1eea1-test2.c ++++ /tmp/cocci-output-2523378-2515e8-test2.c @@ -2,7 +2,7 @@ void main() { f(1,2,3); @@ -10787,7 +10823,7 @@ test3.res diff = --- tests/test3.c -+++ /tmp/cocci-output-931074-83c4ff-test3.c ++++ /tmp/cocci-output-2523378-f84ee9-test3.c @@ -4,7 +4,7 @@ void main() f(3); @@ -10801,7 +10837,7 @@ test4.res diff = --- tests/test4.c -+++ /tmp/cocci-output-931074-930648-test4.c ++++ /tmp/cocci-output-2523378-cba586-test4.c @@ -1,7 +1,6 @@ void main() { @@ -10813,7 +10849,7 @@ test5.res diff = --- tests/test5.c -+++ /tmp/cocci-output-931074-5421fb-test5.c ++++ /tmp/cocci-output-2523378-e2a47c-test5.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10829,7 +10865,7 @@ test5_ver1.res diff = --- tests/test5_ver1.c -+++ /tmp/cocci-output-931074-caa2d4-test5_ver1.c ++++ /tmp/cocci-output-2523378-5b6f47-test5_ver1.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10845,7 +10881,7 @@ test6.res diff = --- tests/test6.c -+++ /tmp/cocci-output-931074-4ac110-test6.c ++++ /tmp/cocci-output-2523378-7e0797-test6.c @@ -4,13 +4,13 @@ void main() { /* a comment */ @@ -10876,7 +10912,7 @@ test7.res diff = --- tests/test7.c -+++ /tmp/cocci-output-931074-fb3d5d-test7.c ++++ /tmp/cocci-output-2523378-61bea5-test7.c @@ -2,10 +2,12 @@ void main() { @@ -10895,7 +10931,7 @@ test8.res diff = --- tests/test8.c -+++ /tmp/cocci-output-931074-ebcb19-test8.c ++++ /tmp/cocci-output-2523378-6100c8-test8.c @@ -1,7 +1,6 @@ -void main(int foo) { +void main(char i, int foo) { @@ -10908,7 +10944,7 @@ test9.res diff = --- tests/test9.c -+++ /tmp/cocci-output-931074-d392ff-test9.c ++++ /tmp/cocci-output-2523378-c708e7-test9.c @@ -4,9 +4,9 @@ void main(int foo) { // f(1); // if uncomment then problems g(2); @@ -10924,7 +10960,7 @@ test_s.res diff = --- tests/test_s.c -+++ /tmp/cocci-output-931074-2aa8b8-test_s.c ++++ /tmp/cocci-output-2523378-027e0f-test_s.c @@ -2,7 +2,7 @@ int main () { if (x-one) { one(); @@ -10952,7 +10988,7 @@ warning: line 39: should y be a metavariable? diff = --- tests/test_unsigned_meta.c -+++ /tmp/cocci-output-931074-13a766-test_unsigned_meta.c ++++ /tmp/cocci-output-2523378-7843b1-test_unsigned_meta.c @@ -1,8 +1,12 @@ int main () { - unsigned int x; @@ -10972,7 +11008,7 @@ testand.res diff = --- tests/testand.c -+++ /tmp/cocci-output-931074-70272f-testand.c ++++ /tmp/cocci-output-2523378-1fd82a-testand.c @@ -1,5 +1,5 @@ int main () { f(1,2,3,4); @@ -10984,7 +11020,7 @@ testand2.res diff = --- tests/testand2.c -+++ /tmp/cocci-output-931074-a3a991-testand2.c ++++ /tmp/cocci-output-2523378-99b67d-testand2.c @@ -1,6 +1,6 @@ int main () { f(1,2,3,4); @@ -10996,7 +11032,7 @@ three_types.res diff = --- tests/three_types.c -+++ /tmp/cocci-output-931074-10a522-three_types.c ++++ /tmp/cocci-output-2523378-6fc5d2-three_types.c @@ -7,5 +7,5 @@ via_init_dmablit(drm_device_t *dev) { drm_via_blitq_t *blitq; @@ -11007,7 +11043,7 @@ threea.res diff = --- tests/threea.c -+++ /tmp/cocci-output-931074-399c84-threea.c ++++ /tmp/cocci-output-2523378-e35923-threea.c @@ -1,4 +1,3 @@ int main() { f(12); @@ -11016,7 +11052,7 @@ tloop.res diff = --- tests/tloop.c -+++ /tmp/cocci-output-931074-287f07-tloop.c ++++ /tmp/cocci-output-2523378-25702e-tloop.c @@ -1,6 +1,5 @@ int foo(void) { @@ -11029,7 +11065,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/top.c -+++ /tmp/cocci-output-931074-bd89bf-top.c ++++ /tmp/cocci-output-2523378-5b9aa7-top.c @@ -1 +1 @@ -MODULE_PARM(suppress_pollack, "i"); +module_param(I, int, 0); @@ -11037,7 +11073,7 @@ SPECIAL NAMES: adding LIST_HEAD as a declarer diff = --- tests/topdec.c -+++ /tmp/cocci-output-931074-08fc20-topdec.c ++++ /tmp/cocci-output-2523378-d73245-topdec.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -11047,7 +11083,7 @@ topdec_ver1.res diff = --- tests/topdec_ver1.c -+++ /tmp/cocci-output-931074-706905-topdec_ver1.c ++++ /tmp/cocci-output-2523378-e07e23-topdec_ver1.c @@ -4,4 +4,4 @@ static int debug; /* Network device part of the driver */ @@ -11057,7 +11093,7 @@ topdec_ver2.res diff = --- tests/topdec_ver2.c -+++ /tmp/cocci-output-931074-1c3796-topdec_ver2.c ++++ /tmp/cocci-output-2523378-4a4dd0-topdec_ver2.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -11067,7 +11103,7 @@ topdecl.res diff = --- tests/topdecl.c -+++ /tmp/cocci-output-931074-5210ee-topdecl.c ++++ /tmp/cocci-output-2523378-82a1e2-topdecl.c @@ -1,3 +1,3 @@ int main () { - int x = foo(); @@ -11078,7 +11114,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/toplevel_macrostmt.c -+++ /tmp/cocci-output-931074-cbde5f-toplevel_macrostmt.c ++++ /tmp/cocci-output-2523378-a755c0-toplevel_macrostmt.c @@ -2,7 +2,7 @@ void main(int i) { } @@ -11092,7 +11128,7 @@ warning: line 5: should usb_stor_host_template be a metavariable? diff = --- tests/toplevel_struct.c -+++ /tmp/cocci-output-931074-cf2b22-toplevel_struct.c ++++ /tmp/cocci-output-2523378-4149f3-toplevel_struct.c @@ -3,6 +3,7 @@ struct SHT usb_stor_host_template = { .name = "usb-storage", .proc_name = "usb-storage", @@ -11118,7 +11154,7 @@ triplet.res diff = --- tests/triplet.c -+++ /tmp/cocci-output-931074-6221d9-triplet.c ++++ /tmp/cocci-output-2523378-238640-triplet.c @@ -1,5 +1,6 @@ typedef double dtriplet_t[3] ; // FIXME: such code would not be parsed on cocci side @@ -11131,7 +11167,7 @@ warning: rule starting on line 10: metavariable B not used in the - or context code diff = --- tests/tup.c -+++ /tmp/cocci-output-931074-3b16ed-tup.c ++++ /tmp/cocci-output-2523378-612e3e-tup.c @@ -1,7 +1,7 @@ static int cm206_block_ioctl(struct inode *inode, struct file *file, unsigned cmd, unsigned long arg) @@ -11144,7 +11180,7 @@ twomatch.res diff = --- tests/twomatch.c -+++ /tmp/cocci-output-931074-ec73bd-twomatch.c ++++ /tmp/cocci-output-2523378-09f842-twomatch.c @@ -1,5 +1,5 @@ int main() { bar(12,1); @@ -11156,7 +11192,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/twoproto.c -+++ /tmp/cocci-output-931074-9711a8-twoproto.c ++++ /tmp/cocci-output-2523378-2ca7e2-twoproto.c @@ -1,11 +1,9 @@ static void tc574_config(dev_link_t *link); @@ -11174,7 +11210,7 @@ ty.res diff = --- tests/ty.c -+++ /tmp/cocci-output-931074-ca6395-ty.c ++++ /tmp/cocci-output-2523378-9fbab5-ty.c @@ -1,4 +1,4 @@ int main () { - struct foo x; @@ -11185,7 +11221,7 @@ warning: line 7: should x be a metavariable? diff = --- tests/ty1.c -+++ /tmp/cocci-output-931074-8ee0d9-ty1.c ++++ /tmp/cocci-output-2523378-f1d8a9-ty1.c @@ -1,4 +1,3 @@ int fn(int y) { char x; @@ -11194,7 +11230,7 @@ ty_tyexp.res diff = --- tests/ty_tyexp.c -+++ /tmp/cocci-output-931074-2e6fc9-ty_tyexp.c ++++ /tmp/cocci-output-2523378-ec1ffe-ty_tyexp.c @@ -1,11 +1,11 @@ void main(double z) { @@ -11216,7 +11252,7 @@ SPECIAL NAMES: adding uint64_t as a type diff = --- tests/tydisj.c -+++ /tmp/cocci-output-931074-589e4a-tydisj.c ++++ /tmp/cocci-output-2523378-7fa120-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(); @@ -11227,7 +11263,7 @@ SPECIAL NAMES: adding Location as a type diff = --- tests/tyex.c -+++ /tmp/cocci-output-931074-783776-tyex.c ++++ /tmp/cocci-output-2523378-7f58e7-tyex.c @@ -1,12 +1,15 @@ typedef struct { double x; @@ -11249,7 +11285,7 @@ type.res diff = --- tests/type.c -+++ /tmp/cocci-output-931074-cd4b54-type.c ++++ /tmp/cocci-output-2523378-24739a-type.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11260,7 +11296,7 @@ type1.res diff = --- tests/type1.c -+++ /tmp/cocci-output-931074-2dba24-type1.c ++++ /tmp/cocci-output-2523378-349281-type1.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11271,7 +11307,7 @@ type_and_var.res diff = --- tests/type_and_var.c -+++ /tmp/cocci-output-931074-6ff4c3-type_and_var.c ++++ /tmp/cocci-output-2523378-d2a495-type_and_var.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -11308,7 +11344,7 @@ type_and_var2.res diff = --- tests/type_and_var2.c -+++ /tmp/cocci-output-931074-9cb6fe-type_and_var2.c ++++ /tmp/cocci-output-2523378-db9e2f-type_and_var2.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -11345,7 +11381,7 @@ type_annotated.res diff = --- tests/type_annotated.c -+++ /tmp/cocci-output-931074-7fe08a-type_annotated.c ++++ /tmp/cocci-output-2523378-65c2b7-type_annotated.c @@ -4,7 +4,7 @@ void f1(int z) { struct foo2 j; int k; @@ -11366,7 +11402,7 @@ type_constraints.res diff = --- tests/type_constraints.c -+++ /tmp/cocci-output-931074-fd1295-type_constraints.c ++++ /tmp/cocci-output-2523378-b03cc2-type_constraints.c @@ -1,9 +1,9 @@ void f(void) { int i; @@ -11383,7 +11419,7 @@ type_ver1.res diff = --- tests/type_ver1.c -+++ /tmp/cocci-output-931074-42a11b-type_ver1.c ++++ /tmp/cocci-output-2523378-29ef52-type_ver1.c @@ -1,5 +1,5 @@ int foo() { - struct foo x; @@ -11394,7 +11430,7 @@ type_ver2.res diff = --- tests/type_ver2.c -+++ /tmp/cocci-output-931074-f3a9ee-type_ver2.c ++++ /tmp/cocci-output-2523378-aa81d8-type_ver2.c @@ -1,5 +1,5 @@ int foo() { - int x[10]; @@ -11406,7 +11442,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef.c -+++ /tmp/cocci-output-931074-c58af5-typedef.c ++++ /tmp/cocci-output-2523378-96f86e-typedef.c @@ -1,15 +1,15 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11430,7 +11466,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef3.c -+++ /tmp/cocci-output-931074-f684a6-typedef3.c ++++ /tmp/cocci-output-2523378-18a796-typedef3.c @@ -1,5 +1,5 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11449,7 +11485,7 @@ typeof.res diff = --- tests/typeof.c -+++ /tmp/cocci-output-931074-8e04ac-typeof.c ++++ /tmp/cocci-output-2523378-9a78bd-typeof.c @@ -1,6 +1,4 @@ int main() { int x; @@ -11460,7 +11496,7 @@ typeof_expr.res diff = --- tests/typeof_expr.c -+++ /tmp/cocci-output-931074-dc97d3-typeof_expr.c ++++ /tmp/cocci-output-2523378-1f1896-typeof_expr.c @@ -1,4 +1,4 @@ int main () { int x = 0; @@ -11470,7 +11506,7 @@ typeofconst_i32l64.res diff = --- tests/typeofconst_i32l64.c -+++ /tmp/cocci-output-931074-daddf3-typeofconst_i32l64.c ++++ /tmp/cocci-output-2523378-8c47c0-typeofconst_i32l64.c @@ -1,49 +1,49 @@ void f() { -0; @@ -11567,7 +11603,7 @@ typeofconst_il32.res diff = --- tests/typeofconst_il32.c -+++ /tmp/cocci-output-931074-094a1e-typeofconst_il32.c ++++ /tmp/cocci-output-2523378-0bf353-typeofconst_il32.c @@ -1,49 +1,49 @@ void f() { -0; @@ -11664,7 +11700,7 @@ typin.res diff = --- tests/typin.c -+++ /tmp/cocci-output-931074-8e563c-typin.c ++++ /tmp/cocci-output-2523378-171f26-typin.c @@ -2,7 +2,7 @@ int x; char y; @@ -11687,7 +11723,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-931074-e53346-unbrace.c ++++ /tmp/cocci-output-2523378-aae495-unbrace.c @@ -5,8 +5,6 @@ static int mlxsw_sp_flower_parse_actions struct netlink_ext_ack *extack) { @@ -11882,7 +11918,7 @@ undref.res diff = --- tests/undref.c -+++ /tmp/cocci-output-931074-0719ec-undref.c ++++ /tmp/cocci-output-2523378-e964bc-undref.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11890,13 +11926,13 @@ } undref2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_1c496d.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_1c496d.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_70455c.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_70455c.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref2.c -+++ /tmp/cocci-output-931074-f35a76-undref2.c ++++ /tmp/cocci-output-2523378-cde3e5-undref2.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11904,13 +11940,13 @@ } undref3.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_221398.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_221398.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_217eaf.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_217eaf.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref3.c -+++ /tmp/cocci-output-931074-47ac6a-undref3.c ++++ /tmp/cocci-output-2523378-e5c135-undref3.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11919,7 +11955,7 @@ unelse.res diff = --- tests/unelse.c -+++ /tmp/cocci-output-931074-bcacb4-unelse.c ++++ /tmp/cocci-output-2523378-95e7cd-unelse.c @@ -2,8 +2,6 @@ static short find_control(u16 control_in { if (!*pI) @@ -11934,7 +11970,7 @@ unfree.res diff = --- tests/unfree.c -+++ /tmp/cocci-output-931074-f47f2b-unfree.c ++++ /tmp/cocci-output-2523378-c6c627-unfree.c @@ -2,8 +2,7 @@ static void mppe_free(void *arg) { struct ppp_mppe_state *state = (struct ppp_mppe_state *) arg; @@ -11948,7 +11984,7 @@ unl.res diff = --- tests/unl.c -+++ /tmp/cocci-output-931074-20d9e4-unl.c ++++ /tmp/cocci-output-2523378-c0dc87-unl.c @@ -1,10 +1,10 @@ int main () { - if (new_pe == NULL) { @@ -11965,7 +12001,7 @@ unstruct.res diff = --- tests/unstruct.c -+++ /tmp/cocci-output-931074-e5836c-unstruct.c ++++ /tmp/cocci-output-2523378-11c72d-unstruct.c @@ -1,4 +1,4 @@ -struct foo x __read_mostly = { .a = 12, }; @@ -11976,7 +12012,7 @@ unused.res diff = --- tests/unused.c -+++ /tmp/cocci-output-931074-41ffb0-unused.c ++++ /tmp/cocci-output-2523378-3c16db-unused.c @@ -2,5 +2,5 @@ static int synth_field_string_size(char { char *start; @@ -11987,7 +12023,7 @@ updassign.res diff = --- tests/updassign.c -+++ /tmp/cocci-output-931074-205406-updassign.c ++++ /tmp/cocci-output-2523378-552008-updassign.c @@ -1,3 +1,3 @@ int main () { - int r = 1 + 2; @@ -11996,7 +12032,7 @@ useless_cast.res diff = --- tests/useless_cast.c -+++ /tmp/cocci-output-931074-9b3380-useless_cast.c ++++ /tmp/cocci-output-2523378-69cf98-useless_cast.c @@ -8,7 +8,7 @@ struct device { struct device *dev; @@ -12013,7 +12049,7 @@ warning: line 13: should ty_id be a metavariable? diff = --- tests/varargs.c -+++ /tmp/cocci-output-931074-e1f9f4-varargs.c ++++ /tmp/cocci-output-2523378-d96b16-varargs.c @@ -1,6 +1,7 @@ static void @@ -12027,7 +12063,7 @@ varargs2.res diff = --- tests/varargs2.c -+++ /tmp/cocci-output-931074-0fd578-varargs2.c ++++ /tmp/cocci-output-2523378-4ea152-varargs2.c @@ -1,3 +1,4 @@ static void f(char *fmt, ...) { @@ -12036,7 +12072,7 @@ varargs3.res diff = --- tests/varargs3.c -+++ /tmp/cocci-output-931074-a558f0-varargs3.c ++++ /tmp/cocci-output-2523378-8476f7-varargs3.c @@ -1,4 +1,3 @@ -static int foo(char *fmt, ...) { @@ -12053,7 +12089,7 @@ video1bis.res diff = --- tests/video1bis.c -+++ /tmp/cocci-output-931074-bf1f93-video1bis.c ++++ /tmp/cocci-output-2523378-d96d7d-video1bis.c @@ -3,7 +3,5 @@ void *arg) { if (cmd == VIDIOCGTUNER) { @@ -12065,7 +12101,7 @@ void.res diff = --- tests/void.c -+++ /tmp/cocci-output-931074-474c33-void.c ++++ /tmp/cocci-output-2523378-6d2509-void.c @@ -2,4 +2,14 @@ int xbar(void) { return; } // this is some info about bar @@ -12084,7 +12120,7 @@ vpos.res diff = --- tests/vpos.c -+++ /tmp/cocci-output-931074-02bf8e-vpos.c ++++ /tmp/cocci-output-2523378-f1631f-vpos.c @@ -1,9 +1,7 @@ int main() { f(2); @@ -12101,7 +12137,7 @@ SPECIAL NAMES: adding wchar_t as a type diff = --- tests/wchar.c -+++ /tmp/cocci-output-931074-cf1413-wchar.c ++++ /tmp/cocci-output-2523378-fd4bea-wchar.c @@ -1,13 +1,4 @@ #include #include @@ -12119,7 +12155,7 @@ weird_argument.res diff = --- tests/weird_argument.c -+++ /tmp/cocci-output-931074-1e76a2-weird_argument.c ++++ /tmp/cocci-output-2523378-be6dfa-weird_argument.c @@ -1,7 +1,7 @@ static void ewx_i2c_setlines(snd_i2c_bus_t *bus, int clk, int data) { @@ -12135,7 +12171,7 @@ whitespace.res diff = --- tests/whitespace.c -+++ /tmp/cocci-output-931074-55a9cb-whitespace.c ++++ /tmp/cocci-output-2523378-c14d7e-whitespace.c @@ -1,3 +1,3 @@ int main () { - foo(sizeof (struct xxx)); @@ -12144,7 +12180,7 @@ wrongcheck.res diff = --- tests/wrongcheck.c -+++ /tmp/cocci-output-931074-69078a-wrongcheck.c ++++ /tmp/cocci-output-2523378-15de90-wrongcheck.c @@ -1,5 +1,3 @@ int main () { - err = si476x_core_i2c_xfer(core, SI476X_I2C_RECV, @@ -12155,7 +12191,7 @@ warning: rule starting on line 1: metavariable A not used in the + code diff = --- tests/ws2.c -+++ /tmp/cocci-output-931074-1b8a82-ws2.c ++++ /tmp/cocci-output-2523378-1bb6dd-ws2.c @@ -1,6 +1,5 @@ int main() { - if (foo()) @@ -12168,7 +12204,7 @@ SPECIAL NAMES: adding FOO as a declarer diff = --- tests/xfield.c -+++ /tmp/cocci-output-931074-27049b-xfield.c ++++ /tmp/cocci-output-2523378-366858-xfield.c @@ -1,4 +1,4 @@ -FOO(a2,b2,c2); +int x; @@ -12178,7 +12214,7 @@ y2.res diff = --- tests/y2.c -+++ /tmp/cocci-output-931074-0976cd-y2.c ++++ /tmp/cocci-output-2523378-de370d-y2.c @@ -1,10 +1,6 @@ static void asuscom_interrupt_ipac(int intno, void *dev_id, struct pt_regs *regs) @@ -12193,7 +12229,7 @@ zero.res diff = --- tests/zero.c -+++ /tmp/cocci-output-931074-1ded93-zero.c ++++ /tmp/cocci-output-2523378-9b6b59-zero.c @@ -1,6 +1,2 @@ int main () { - memset(command, 0, sizeof(struct sbp2_command_info)); @@ -12204,7 +12240,7 @@ zeroline.res diff = --- tests/zeroline.c -+++ /tmp/cocci-output-931074-c85343-zeroline.c ++++ /tmp/cocci-output-2523378-5b90fd-zeroline.c @@ -1,6 +1,7 @@ int main () { - int x; @@ -14053,42 +14089,42 @@ diversion by libc6 to: /lib64/ld-linux-x86-64.so.2.usr-is-merged dh_installdeb dh_ocaml -W: coccinelle doesn't resolve dependency on unit Parsing_hacks -W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c -W: coccinelle doesn't resolve dependency on unit Control_flow_c +W: coccinelle doesn't resolve dependency on unit Parsing_stat W: coccinelle doesn't resolve dependency on unit Cpp_token_c -W: coccinelle doesn't resolve dependency on unit Data +W: coccinelle doesn't resolve dependency on unit Type_annoter_c +W: coccinelle doesn't resolve dependency on unit Control_flow_c W: coccinelle doesn't resolve dependency on unit Danger -W: coccinelle doesn't resolve dependency on unit Regexp_str -W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c -W: coccinelle doesn't resolve dependency on unit Includes_cache -W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci -W: coccinelle doesn't resolve dependency on unit Includes W: coccinelle doesn't resolve dependency on unit Semantic_c -W: coccinelle doesn't resolve dependency on unit Lexer_parser -W: coccinelle doesn't resolve dependency on unit Token_views_c -W: coccinelle doesn't resolve dependency on unit Token_helpers +W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c +W: coccinelle doesn't resolve dependency on unit Regexp_str W: coccinelle doesn't resolve dependency on unit Token_annot +W: coccinelle doesn't resolve dependency on unit Includes +W: coccinelle doesn't resolve dependency on unit Regexp_str W: coccinelle doesn't resolve dependency on unit Token_annot +W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci +W: coccinelle doesn't resolve dependency on unit Token_helpers W: coccinelle doesn't resolve dependency on unit Control_flow_c -W: coccinelle doesn't resolve dependency on unit Parsing_stat W: coccinelle doesn't resolve dependency on unit Parsing_hacks -W: coccinelle doesn't resolve dependency on unit Includes_cache -W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c -W: coccinelle doesn't resolve dependency on unit Lexer_parser W: coccinelle doesn't resolve dependency on unit Semantic_c -W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c -W: coccinelle doesn't resolve dependency on unit Type_annoter_c W: coccinelle doesn't resolve dependency on unit Includes +W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c +W: coccinelle doesn't resolve dependency on unit Parsing_hacks +W: coccinelle doesn't resolve dependency on unit Danger +W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c +W: coccinelle doesn't resolve dependency on unit Ograph_extended +W: coccinelle doesn't resolve dependency on unit Data +W: coccinelle doesn't resolve dependency on unit Data +W: coccinelle doesn't resolve dependency on unit Lexer_parser W: coccinelle doesn't resolve dependency on unit Cpp_token_c +W: coccinelle doesn't resolve dependency on unit Token_views_c W: coccinelle doesn't resolve dependency on unit Parsing_stat +W: coccinelle doesn't resolve dependency on unit Type_annoter_c +W: coccinelle doesn't resolve dependency on unit Lexer_parser +W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c +W: coccinelle doesn't resolve dependency on unit Includes_cache +W: coccinelle doesn't resolve dependency on unit Includes_cache W: coccinelle doesn't resolve dependency on unit Token_helpers W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci -W: coccinelle doesn't resolve dependency on unit Type_annoter_c -W: coccinelle doesn't resolve dependency on unit Data -W: coccinelle doesn't resolve dependency on unit Danger -W: coccinelle doesn't resolve dependency on unit Regexp_str -W: coccinelle doesn't resolve dependency on unit Ograph_extended dh_gencontrol dh_md5sums dh_builddeb @@ -14101,12 +14137,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/2449482/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/2449482/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/907719 and its subdirectories -I: Current time: Fri Apr 17 03:25:44 -12 2026 -I: pbuilder-time-stamp: 1776439544 +I: removing directory /srv/workspace/pbuilder/2449482 and its subdirectories +I: Current time: Sat Mar 15 23:07:38 +14 2025 +I: pbuilder-time-stamp: 1742029658