Diff of the two buildlogs: -- --- b1/build.log 2025-09-15 02:25:26.860094057 +0000 +++ b2/build.log 2025-09-15 02:28:01.704291600 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sat Oct 17 20:46:13 -12 2026 -I: pbuilder-time-stamp: 1792313173 +I: Current time: Mon Sep 15 16:25:29 +14 2025 +I: pbuilder-time-stamp: 1757903129 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/forky-reproducible-base.tgz] I: copying local configuration @@ -27,53 +27,85 @@ 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/3923861/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/4184248/tmp/hooks/D01_modify_environment starting +debug: Running on codethink04-arm64. +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 Sep 15 02:25 /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/4184248/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/4184248/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='arm64' - DEBIAN_FRONTEND='noninteractive' + 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]="3" [2]="3" [3]="1" [4]="release" [5]="aarch64-unknown-linux-gnu") + BASH_VERSION='5.3.3(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=arm64 + DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 ' - DISTRIBUTION='forky' - HOME='/root' - HOST_ARCH='arm64' + DIRSTACK=() + DISTRIBUTION=forky + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=aarch64 + HOST_ARCH=arm64 IFS=' ' - INVOCATION_ID='4d3157b448f24e459c1abd983ea34bfb' - 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='3923861' - PS1='# ' - PS2='> ' + INVOCATION_ID=925844b41b1248afa10d09f2aaaeef3a + LANG=C + LANGUAGE=nl_BE:nl + LC_ALL=C + MACHTYPE=aarch64-unknown-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=4184248 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.aQVMIsKb/pbuilderrc_uf0f --distribution forky --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.aQVMIsKb/b1 --logfile b1/build.log coccinelle_1.3.0.deb-1.dsc' - SUDO_GID='109' - SUDO_HOME='/var/lib/jenkins' - SUDO_UID='104' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://192.168.101.4: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.aQVMIsKb/pbuilderrc_9Hmc --distribution forky --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.aQVMIsKb/b2 --logfile b2/build.log coccinelle_1.3.0.deb-1.dsc' + SUDO_GID=109 + SUDO_HOME=/var/lib/jenkins + SUDO_UID=104 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://192.168.101.4:3128 I: uname -a - Linux codethink03-arm64 6.12.43+deb13-cloud-arm64 #1 SMP Debian 6.12.43-1 (2025-08-27) aarch64 GNU/Linux + Linux i-capture-the-hostname 6.12.43+deb13-cloud-arm64 #1 SMP Debian 6.12.43-1 (2025-08-27) aarch64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/3923861/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/4184248/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: 66 http://deb.debian.org/debian forky/main arm64 ocaml-findlib arm64 1.9.8-1+b1 [650 kB] Get: 67 http://deb.debian.org/debian forky/main arm64 pkgconf-bin arm64 1.8.1-4 [29.6 kB] Get: 68 http://deb.debian.org/debian forky/main arm64 pkgconf arm64 1.8.1-4 [26.1 kB] -Fetched 109 MB in 11s (10.2 MB/s) +Fetched 109 MB in 1s (179 MB/s) Preconfiguring packages ... Selecting previously unselected package libexpat1:arm64. (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 ... 20020 files and directories currently installed.) @@ -433,8 +465,8 @@ Setting up tzdata (2025b-5) ... Current default time zone: 'Etc/UTC' -Local time is now: Sun Oct 18 08:46:50 UTC 2026. -Universal Time is now: Sun Oct 18 08:46:50 UTC 2026. +Local time is now: Mon Sep 15 02:26:00 UTC 2025. +Universal Time is now: Mon Sep 15 02:26:00 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20240727.1) ... @@ -498,7 +530,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/4184248/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for forky +I: user script /srv/workspace/pbuilder/4184248/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 @@ -521,12 +557,12 @@ CLEAN popl09 CLEAN extra CLEAN spatch +CLEAN spgen +CLEAN exposed-module rm -f coccinelle.cma coccinelle.cmxa coccinelle.a \ coccinelle.cmo coccinelle.cmx coccinelle.o \ coccinelle_modules.cmi coccinelle_modules.cmo \ coccinelle_modules.o coccinelle_modules.cmx -CLEAN spgen -CLEAN exposed-module CLEAN .depend CLEAN configure make[1]: Leaving directory '/build/reproducible-path/coccinelle-1.3.0.deb' @@ -553,7 +589,7 @@ checking xargs -n works... yes configure: determining version suffix checking for date... /usr/bin/date -configure: version suffix set to Sat, 17 Oct 2026 20:46:57 -1200 +configure: version suffix set to Mon, 15 Sep 2025 16:26:13 +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) @@ -572,7 +608,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 @@ -693,14 +729,14 @@ dh_auto_build make -j12 make[1]: Entering directory '/build/reproducible-path/coccinelle-1.3.0.deb' -OCAMLDEP commons/commands.ml -OCAMLDEP commons/ocamlextra/dumper.ml OCAMLDEP commons/common.ml +OCAMLDEP commons/ocamlextra/dumper.ml +OCAMLDEP commons/commands.ml OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/ograph_extended.ml +OCAMLDEP globals/iteration.ml OCAMLDEP globals/cocciconfig.ml OCAMLDEP globals/flag.ml -OCAMLDEP globals/iteration.ml OCAMLDEP globals/regexp_str.ml OCAMLDEP globals/regexp.ml OCAMLDEP parsing_cocci/flag_parsing_cocci.ml @@ -709,16 +745,16 @@ OCAMLDEP parsing_cocci/pretty_print_cocci.ml OCAMLDEP parsing_cocci/visitor_ast0_types.ml OCAMLDEP parsing_cocci/visitor_ast.ml +OCAMLDEP parsing_cocci/unparse_ast0.ml OCAMLDEP parsing_cocci/visitor_ast0.ml OCAMLDEP parsing_cocci/ast0toast.ml -OCAMLDEP parsing_cocci/unparse_ast0.ml OCAMLDEP parsing_cocci/unify_ast.ml OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/iso_pattern.ml OCAMLDEP parsing_cocci/comm_assoc.ml OCAMLDEP parsing_cocci/iso_compile.ml -OCAMLDEP parsing_cocci/single_statement.ml OCAMLDEP parsing_cocci/simple_assignments.ml +OCAMLDEP parsing_cocci/single_statement.ml OCAMLDEP parsing_cocci/get_metas.ml OCAMLDEP parsing_cocci/stmtlist.ml OCAMLDEP parsing_cocci/top_level.ml @@ -732,8 +768,8 @@ OCAMLDEP parsing_cocci/insert_plus.ml OCAMLDEP parsing_cocci/function_prototypes.ml OCAMLDEP parsing_cocci/semantic_cocci.ml -OCAMLDEP parsing_cocci/data.ml OCAMLDEP parsing_cocci/free_vars.ml +OCAMLDEP parsing_cocci/data.ml OCAMLDEP parsing_cocci/check_meta.ml OCAMLDEP parsing_cocci/safe_for_multi_decls.ml OCAMLDEP parsing_cocci/parse_printf.ml @@ -757,8 +793,8 @@ OCAMLDEP parsing_c/parsing_stat.ml OCAMLDEP parsing_c/token_c.ml OCAMLDEP parsing_c/ast_c.ml -OCAMLDEP parsing_c/includes.ml OCAMLDEP parsing_c/control_flow_c.ml +OCAMLDEP parsing_c/includes.ml OCAMLDEP parsing_c/visitor_c.ml OCAMLDEP parsing_c/lib_parsing_c.ml OCAMLDEP parsing_c/includes_cache.ml @@ -775,13 +811,13 @@ OCAMLDEP parsing_c/unparse_cocci.ml OCAMLDEP parsing_c/parsing_recovery_c.ml OCAMLDEP parsing_c/parsing_consistency_c.ml -OCAMLDEP parsing_c/parse_c.ml OCAMLDEP parsing_c/danger.ml +OCAMLDEP parsing_c/parse_c.ml OCAMLDEP parsing_c/unparse_c.ml OCAMLDEP parsing_c/unparse_hrule.ml OCAMLDEP parsing_c/type_c.ml -OCAMLDEP parsing_c/type_annoter_c.ml OCAMLDEP parsing_c/cpp_ast_c.ml +OCAMLDEP parsing_c/type_annoter_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/test_parsing_c.ml @@ -790,26 +826,26 @@ OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/wrapper_ctl.ml -OCAMLDEP ocaml/externalanalysis.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/ocamlcocci_aux.ml +OCAMLDEP ocaml/externalanalysis.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/run_ocamlcocci.ml OCAMLDEP python/pycocci_aux.ml -OCAMLDEP python/yes_pycocci.ml OCAMLDEP python/pycocci.ml +OCAMLDEP python/yes_pycocci.ml +OCAMLDEP engine/flag_matcher.ml OCAMLDEP engine/lib_engine.ml OCAMLDEP engine/pretty_print_engine.ml -OCAMLDEP engine/flag_matcher.ml OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/check_reachability.ml OCAMLDEP engine/c_vs_c.ml OCAMLDEP engine/isomorphisms_c_c.ml -OCAMLDEP engine/cocci_vs_c.ml -OCAMLDEP engine/pattern_c.ml OCAMLDEP engine/transformation_c.ml +OCAMLDEP engine/pattern_c.ml +OCAMLDEP engine/cocci_vs_c.ml OCAMLDEP engine/asttomember.ml OCAMLDEP engine/asttoctl2.ml OCAMLDEP engine/ctltotex.ml @@ -822,8 +858,8 @@ OCAMLDEP popl09/flag_popl.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/popl.ml -OCAMLDEP extra/kbuild.ml OCAMLDEP extra/classic_patch.ml +OCAMLDEP extra/kbuild.ml OCAMLDEP extra/maintainers.ml OCAMLDEP flag_cocci.ml OCAMLDEP cocci.ml @@ -832,9 +868,9 @@ OCAMLDEP enter.ml OCAMLDEP main.ml OCAMLDEP tools/spgen/source/globals.ml +OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/meta_variable.ml -OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/snapshot.ml OCAMLDEP tools/spgen/source/user_input.ml OCAMLDEP tools/spgen/source/position_generator.ml @@ -844,63 +880,63 @@ OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/file_transform.ml -OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen.ml +OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/spgen_test.ml OCAMLDEP tools/spgen/source/main.ml -OCAMLLEX parsing_cocci/lexer_cocci.mll OCAMLLEX parsing_cocci/lexer_cli.mll +OCAMLLEX parsing_cocci/lexer_cocci.mll OCAMLLEX parsing_cocci/lexer_script.mll +14 states, 681 transitions, table size 2808 bytes +27 states, 322 transitions, table size 1450 bytes OCAMLLEX parsing_c/lexer_c.mll OCAMLLEX tools/spgen/source/spgen_lexer.mll OCAMLYACC parsing_c/parser_c.mly OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP commons/commands.mli OCAMLDEP commons/common.mli -14 states, 681 transitions, table size 2808 bytes -27 states, 322 transitions, table size 1450 bytes OCAMLDEP commons/ograph_simple.mli OCAMLDEP commons/ograph_extended.mli +143 states, 8123 transitions, table size 33350 bytes +23641 additional bytes used for bindings OCAMLDEP globals/cocciconfig.mli OCAMLDEP globals/flag.mli OCAMLDEP globals/iteration.mli -143 states, 8123 transitions, table size 33350 bytes -23641 additional bytes used for bindings OCAMLDEP globals/regexp_str.mli -OCAMLDEP globals/regexp.mli -OCAMLDEP parsing_cocci/flag_parsing_cocci.mli 404 states, 8859 transitions, table size 37860 bytes 4129 additional bytes used for bindings +OCAMLDEP globals/regexp.mli +OCAMLDEP parsing_cocci/flag_parsing_cocci.mli 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 -408 states, 16889 transitions, table size 70004 bytes -10655 additional bytes used for bindings OCAMLDEP parsing_cocci/visitor_ast.mli -OCAMLDEP parsing_cocci/pretty_print_cocci.mli OCAMLDEP parsing_cocci/visitor_ast0.mli OCAMLDEP parsing_cocci/ast0toast.mli +OCAMLDEP parsing_cocci/unify_ast.mli OCAMLDEP parsing_cocci/unparse_ast0.mli OCAMLDEP parsing_cocci/compute_lines.mli -OCAMLDEP parsing_cocci/unify_ast.mli +408 states, 16889 transitions, table size 70004 bytes +10655 additional bytes used for bindings OCAMLDEP parsing_cocci/iso_pattern.mli OCAMLDEP parsing_cocci/comm_assoc.mli OCAMLDEP parsing_cocci/iso_compile.mli -OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/simple_assignments.mli +OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/get_metas.mli -OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/stmtlist.mli +OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/unitary_ast0.mli OCAMLDEP parsing_cocci/arity.mli OCAMLDEP parsing_cocci/index.mli -OCAMLDEP parsing_cocci/context_neg.mli -OCAMLDEP parsing_cocci/adjust_pragmas.mli OCAMLDEP parsing_cocci/insert_plus.mli +OCAMLDEP parsing_cocci/adjust_pragmas.mli OCAMLDEP parsing_cocci/function_prototypes.mli +OCAMLDEP parsing_cocci/context_neg.mli OCAMLDEP parsing_cocci/semantic_cocci.mli OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/free_vars.mli @@ -913,9 +949,9 @@ OCAMLDEP parsing_cocci/cocci_grep.mli OCAMLDEP parsing_cocci/dpll.mli OCAMLDEP parsing_cocci/get_constants2.mli +OCAMLDEP parsing_cocci/id_utils.mli OCAMLDEP parsing_cocci/git_grep.mli OCAMLDEP parsing_cocci/patch_diff.mli -OCAMLDEP parsing_cocci/id_utils.mli OCAMLDEP parsing_cocci/adjacency.mli OCAMLDEP parsing_cocci/commas_on_lists.mli OCAMLDEP parsing_cocci/re_constraints.mli @@ -928,9 +964,9 @@ OCAMLDEP parsing_c/token_c.mli OCAMLDEP parsing_c/ast_c.mli OCAMLDEP parsing_c/includes.mli -OCAMLDEP parsing_c/control_flow_c.mli OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/lib_parsing_c.mli +OCAMLDEP parsing_c/control_flow_c.mli OCAMLDEP parsing_c/includes_cache.mli OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/control_flow_c_build.mli @@ -938,8 +974,8 @@ 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/token_views_c.mli OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/cpp_analysis_c.mli OCAMLDEP parsing_c/unparse_cocci.mli @@ -953,16 +989,16 @@ OCAMLDEP parsing_c/cpp_ast_c.mli OCAMLDEP parsing_c/type_annoter_c.mli OCAMLDEP parsing_c/comment_annotater_c.mli +OCAMLDEP ctl/flag_ctl.mli OCAMLDEP parsing_c/compare_c.mli OCAMLDEP parsing_c/test_parsing_c.mli OCAMLDEP ctl/ast_ctl.mli +OCAMLDEP ctl/pretty_print_ctl.mli OCAMLDEP ctl/ctl_engine.mli OCAMLDEP ctl/wrapper_ctl.mli -OCAMLDEP ctl/pretty_print_ctl.mli OCAMLDEP ocaml/externalanalysis.mli OCAMLDEP ocaml/exposed_modules.mli OCAMLDEP ocaml/coccilib.mli -OCAMLDEP ctl/flag_ctl.mli OCAMLDEP ocaml/ocamlcocci_aux.mli OCAMLDEP ocaml/yes_prepare_ocamlcocci.mli OCAMLDEP ocaml/prepare_ocamlcocci.mli @@ -974,30 +1010,30 @@ OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/pretty_print_engine.mli OCAMLDEP engine/check_exhaustive_pattern.mli -OCAMLDEP engine/c_vs_c.mli OCAMLDEP engine/check_reachability.mli +OCAMLDEP engine/c_vs_c.mli OCAMLDEP engine/isomorphisms_c_c.mli -OCAMLDEP engine/cocci_vs_c.mli OCAMLDEP engine/pattern_c.mli +OCAMLDEP engine/cocci_vs_c.mli OCAMLDEP engine/transformation_c.mli -OCAMLDEP engine/asttomember.mli OCAMLDEP engine/asttoctl2.mli +OCAMLDEP engine/asttomember.mli OCAMLDEP engine/ctltotex.mli -OCAMLDEP engine/ctlcocci_integration.mli OCAMLDEP engine/postprocess_transinfo.mli +OCAMLDEP engine/ctlcocci_integration.mli OCAMLDEP popl09/ast_popl.mli OCAMLDEP popl09/asttopopl.mli -OCAMLDEP popl09/insert_quantifiers.mli OCAMLDEP popl09/pretty_print_popl.mli +OCAMLDEP popl09/insert_quantifiers.mli OCAMLDEP popl09/flag_popl.mli OCAMLDEP popl09/popltoctl.mli OCAMLDEP popl09/popl.mli OCAMLDEP extra/classic_patch.mli +OCAMLDEP extra/kbuild.mli OCAMLDEP extra/maintainers.mli OCAMLDEP flag_cocci.mli -OCAMLDEP testing.mli OCAMLDEP cocci.mli -OCAMLDEP extra/kbuild.mli +OCAMLDEP testing.mli OCAMLDEP read_options.mli OCAMLDEP enter.mli OCAMLDEP main.mli @@ -1011,8 +1047,8 @@ OCAMLDEP tools/spgen/source/disj_generator.mli OCAMLDEP tools/spgen/source/rule_body.mli OCAMLDEP tools/spgen/source/rule_header.mli -OCAMLDEP tools/spgen/source/script_rule.mli OCAMLDEP tools/spgen/source/context_rule.mli +OCAMLDEP tools/spgen/source/script_rule.mli OCAMLDEP tools/spgen/source/file_transform.mli OCAMLDEP tools/spgen/source/spgen_interactive.mli OCAMLDEP tools/spgen/source/spgen_config.mli @@ -1022,8 +1058,8 @@ OCAMLDEP parsing_cocci/lexer_cocci.mli OCAMLDEP parsing_cocci/lexer_cli.mli OCAMLDEP parsing_cocci/lexer_script.mli -OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_c/lexer_c.mli +OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_c/parser_c.mli /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/pyml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/parmap -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0/stdcompat -I +str -I +unix -I +dynlink -I +compiler-libs -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) OCAMLDEP parsing_cocci/lexer_cocci.ml @@ -1038,11 +1074,11 @@ OCAMLC globals/cocciconfig.mli OCAMLC globals/flag.mli OCAMLC globals/iteration.mli -OCAMLC parsing_cocci/flag_parsing_cocci.mli -OCAMLC globals/regexp_str.mli OCAMLC globals/regexp.mli +OCAMLC globals/regexp_str.mli OCAMLC parsing_cocci/semantic_cocci.mli OCAMLC parsing_cocci/parse_printf.mli +OCAMLC parsing_cocci/flag_parsing_cocci.mli OCAMLC parsing_cocci/lexer_cli.mli OCAMLC parsing_cocci/cocci_grep.mli OCAMLC parsing_cocci/dpll.mli @@ -1052,8 +1088,8 @@ OCAMLC parsing_cocci/cocci_args.mli OCAMLC parsing_c/token_annot.mli OCAMLC parsing_c/flag_parsing_c.mli -OCAMLC ctl/flag_ctl.mli OCAMLC ctl/ast_ctl.mli +OCAMLC ctl/flag_ctl.mli OCAMLC engine/flag_matcher.mli OCAMLC engine/check_exhaustive_pattern.mli OCAMLC popl09/flag_popl.mli @@ -1079,17 +1115,17 @@ OCAMLC parsing_c/flag_parsing_c.ml OCAMLC globals/iteration.ml OCAMLC commons/common.ml -OCAMLC commons/ocamlextra/dumper.ml OCAMLC commons/commands.ml -OCAMLOPT commons/ocamlextra/dumper.ml +OCAMLC commons/ocamlextra/dumper.ml OCAMLOPT commons/commands.ml +OCAMLOPT commons/ocamlextra/dumper.ml OCAMLC commons/ograph_simple.mli OCAMLC commons/ograph_extended.mli OCAMLOPT globals/cocciconfig.ml OCAMLOPT globals/regexp_str.ml OCAMLOPT parsing_cocci/flag_parsing_cocci.ml -OCAMLC parsing_cocci/ast_cocci.mli OCAMLOPT parsing_cocci/semantic_cocci.ml +OCAMLC parsing_cocci/ast_cocci.mli OCAMLOPT parsing_cocci/lexer_cli.ml OCAMLOPT parsing_cocci/cocci_args.ml OCAMLOPT parsing_c/token_annot.ml @@ -1110,15 +1146,12 @@ OCAMLC extra/maintainers.mli OCAMLOPT flag_cocci.ml OCAMLC testing.mli -OCAMLC tools/spgen/source/globals.mli -OCAMLC tools/spgen/source/ast_tostring.mli cp parsing_c/token_c.cmi ocaml/token_c.cmi -OCAMLOPT tools/spgen/source/spgen_lexer.ml -cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi cp globals/regexp.cmo ocaml/regexp.cmo +OCAMLC parsing_c/token_c.ml cp globals/cocciconfig.cmo ocaml/cocciconfig.cmo cp globals/flag.cmo ocaml/flag.cmo -OCAMLC parsing_c/token_c.ml +OCAMLOPT tools/spgen/source/spgen_lexer.ml cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo cp globals/iteration.cmo ocaml/iteration.cmo cp commons/commands.cmo ocaml/commands.cmo @@ -1132,28 +1165,39 @@ OCAMLOPT globals/flag.ml OCAMLOPT globals/regexp.ml OCAMLC parsing_cocci/ast0_cocci.mli +OCAMLC parsing_cocci/stmtlist.mli OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLC parsing_cocci/visitor_ast.mli -OCAMLC parsing_cocci/stmtlist.mli OCAMLC parsing_cocci/safe_for_multi_decls.mli OCAMLC parsing_cocci/cleanup_rules.mli OCAMLC parsing_cocci/disjdistr.mli OCAMLC parsing_cocci/get_constants2.mli OCAMLC parsing_cocci/re_constraints.mli OCAMLC parsing_c/ast_c.mli -OCAMLC ctl/wrapper_ctl.mli OCAMLC ocaml/yes_prepare_ocamlcocci.mli +OCAMLC ctl/wrapper_ctl.mli OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLC popl09/ast_popl.mli +OCAMLC tools/spgen/source/globals.mli +OCAMLC tools/spgen/source/ast_tostring.mli +cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi cp parsing_c/token_c.cmo ocaml/token_c.cmo -cp commons/common.cmo ocaml/common.cmo cp globals/regexp.cmx ocaml/regexp.cmx cp globals/flag.cmx ocaml/flag.cmx OCAMLC parsing_cocci/free_vars.mli -OCAMLOPT parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/id_utils.mli -OCAMLC parsing_cocci/ast0toast.mli +OCAMLC popl09/asttopopl.mli +OCAMLOPT parsing_cocci/parse_printf.ml +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 +OCAMLC tools/spgen/source/file_transform.mli +cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi +cp commons/common.cmo ocaml/common.cmo +OCAMLC parsing_cocci/ast0_cocci.ml OCAMLC parsing_cocci/visitor_ast0_types.mli +OCAMLC parsing_cocci/ast0toast.mli OCAMLC parsing_cocci/unparse_ast0.mli OCAMLC parsing_cocci/unify_ast.mli OCAMLC parsing_cocci/compute_lines.mli @@ -1178,8 +1222,8 @@ OCAMLC parsing_cocci/parse_cocci.mli OCAMLC parsing_c/includes.mli OCAMLC parsing_c/control_flow_c.mli -OCAMLC parsing_c/includes_cache.mli OCAMLC parsing_c/lexer_parser.mli +OCAMLC parsing_c/includes_cache.mli OCAMLC parsing_c/parser_c.mli OCAMLC parsing_c/unparse_cocci.mli OCAMLC parsing_c/parsing_consistency_c.mli @@ -1192,23 +1236,24 @@ OCAMLC ocaml/run_ocamlcocci.mli OCAMLC python/pycocci_aux.mli OCAMLC python/pycocci.mli +OCAMLC engine/lib_engine.mli +OCAMLC engine/check_reachability.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 -OCAMLC tools/spgen/source/file_transform.mli +OCAMLC engine/cocci_vs_c.mli +OCAMLC tools/spgen/source/snapshot.mli +OCAMLC tools/spgen/source/user_input.mli +OCAMLC tools/spgen/source/rule_body.mli +OCAMLC tools/spgen/source/rule_header.mli +OCAMLC tools/spgen/source/context_rule.mli cp parsing_c/ast_c.cmi ocaml/ast_c.cmi cp parsing_c/parser_c.cmi ocaml/parser_c.cmi -cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo -OCAMLC parsing_c/ast_c.ml -OCAMLC parsing_cocci/ast0_cocci.ml +cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo OCAMLC parsing_cocci/visitor_ast0.mli OCAMLC parsing_cocci/iso_pattern.mli OCAMLC parsing_cocci/parse_aux.mli +OCAMLC parsing_c/ast_c.ml OCAMLC parsing_c/visitor_c.mli OCAMLC parsing_c/pretty_print_c.mli OCAMLC parsing_c/control_flow_c_build.mli @@ -1218,58 +1263,49 @@ OCAMLC parsing_c/token_views_c.mli OCAMLC parsing_c/parsing_recovery_c.mli OCAMLC parsing_c/comment_annotater_c.mli -OCAMLC engine/lib_engine.mli -OCAMLC engine/check_reachability.mli -OCAMLC engine/cocci_vs_c.mli -OCAMLC tools/spgen/source/snapshot.mli -OCAMLC tools/spgen/source/user_input.mli -OCAMLC tools/spgen/source/rule_body.mli -OCAMLC tools/spgen/source/rule_header.mli -OCAMLC tools/spgen/source/context_rule.mli +OCAMLC engine/pretty_print_engine.mli +OCAMLC engine/pattern_c.mli +OCAMLC engine/transformation_c.mli +OCAMLC engine/asttomember.mli +OCAMLC engine/asttoctl2.mli +OCAMLC engine/ctltotex.mli +OCAMLC engine/postprocess_transinfo.mli +OCAMLC engine/ctlcocci_integration.mli +OCAMLC 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 cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi +cp parsing_c/ast_c.cmo ocaml/ast_c.cmo OCAMLC parsing_c/lexer_c.ml OCAMLC parsing_c/visitor_c.ml OCAMLC parsing_cocci/iso_compile.mli MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLC parsing_c/lib_parsing_c.mli OCAMLC parsing_c/cpp_token_c.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 -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 engine/pretty_print_engine.mli -OCAMLC engine/pattern_c.mli -OCAMLC engine/transformation_c.mli -OCAMLC engine/asttomember.mli -OCAMLC engine/asttoctl2.mli -OCAMLC engine/ctltotex.mli -OCAMLC engine/postprocess_transinfo.mli +OCAMLC popl09/popl.mli +OCAMLC popl09/popltoctl.mli +OCAMLC parsing_c/parsing_hacks.mli +OCAMLC parsing_c/cpp_analysis_c.mli +OCAMLC parsing_c/parse_c.mli cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi -OCAMLC engine/ctlcocci_integration.mli OCAMLC parsing_c/parser_c.ml OCAMLC parsing_c/pretty_print_c.ml OCAMLC parsing_c/lib_parsing_c.ml -OCAMLC parsing_c/parsing_hacks.mli -OCAMLC parsing_c/cpp_analysis_c.mli -OCAMLC parsing_c/parse_c.mli -cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo -OCAMLC popl09/popltoctl.mli -OCAMLC popl09/popl.mli OCAMLC parsing_c/cpp_ast_c.mli -OCAMLC ocaml/exposed_modules.mli OCAMLC parsing_c/unparse_c.mli +OCAMLC ocaml/exposed_modules.mli OCAMLC ocaml/coccilib.mli -cp parsing_c/parse_c.cmi ocaml/parse_c.cmi OCAMLC cocci.mli +cp parsing_c/parse_c.cmi ocaml/parse_c.cmi OCAMLC parsing_c/parse_c.ml +cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo -OCAMLOPT commons/ograph_extended.ml OCAMLOPT commons/ograph_simple.ml +OCAMLOPT commons/ograph_extended.ml OCAMLOPT globals/iteration.ml OCAMLOPT parsing_cocci/ast_cocci.ml OCAMLOPT parsing_cocci/cocci_grep.ml @@ -1291,19 +1327,27 @@ cp parsing_c/token_c.cmx ocaml/token_c.cmx cp globals/iteration.cmx ocaml/iteration.cmx cp commons/common.cmx ocaml/common.cmx -cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx OCAMLOPT -o globals/globals.cmxa +OCAMLOPT -o commons/commons.cmxa +OCAMLOPT ctl/ctl_engine.ml +OCAMLOPT -o extra/extra.cmxa OCAMLOPT parsing_cocci/ast0_cocci.ml OCAMLOPT parsing_cocci/pretty_print_cocci.ml OCAMLOPT parsing_c/ast_c.ml -OCAMLOPT ctl/ctl_engine.ml OCAMLOPT popl09/ast_popl.ml OCAMLOPT tools/spgen/source/globals.ml +cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx OCAMLOPT tools/spgen/source/ast_tostring.ml -OCAMLOPT -o commons/commons.cmxa -OCAMLOPT -o extra/extra.cmxa -OCAMLOPT popl09/insert_quantifiers.ml cp parsing_c/parser_c.cmo ocaml/parser_c.cmo +OCAMLOPT popl09/insert_quantifiers.ml +OCAMLC python/yes_pycocci.mli +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 +OCAMLOPT parsing_cocci/data.ml OCAMLOPT parsing_c/includes.ml OCAMLOPT parsing_c/control_flow_c.ml OCAMLOPT parsing_c/lexer_parser.ml @@ -1311,49 +1355,41 @@ OCAMLOPT ocaml/externalanalysis.ml OCAMLOPT engine/isomorphisms_c_c.ml cp parsing_c/ast_c.cmx ocaml/ast_c.cmx -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 -OCAMLC python/yes_pycocci.mli +OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLOPT parsing_c/visitor_c.ml OCAMLOPT engine/check_exhaustive_pattern.ml OCAMLOPT popl09/asttopopl.ml OCAMLOPT popl09/pretty_print_popl.ml -OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLOPT ctl/wrapper_ctl.ml OCAMLOPT -o ctl/ctl.cmxa OCAMLOPT engine/lib_engine.ml OCAMLOPT engine/check_reachability.ml OCAMLOPT engine/ctltotex.ml -cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx OCAMLOPT parsing_c/lib_parsing_c.ml +cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx OCAMLOPT parsing_c/parsing_consistency_c.ml OCAMLOPT parsing_c/includes_cache.ml OCAMLOPT parsing_c/pretty_print_c.ml -cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx OCAMLOPT parsing_c/danger.ml +cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx OCAMLOPT engine/c_vs_c.ml -OCAMLOPT parsing_cocci/stmtlist.ml OCAMLOPT parsing_cocci/free_vars.ml +OCAMLOPT parsing_cocci/stmtlist.ml OCAMLOPT parsing_cocci/safe_for_multi_decls.ml OCAMLOPT parsing_cocci/cleanup_rules.ml OCAMLOPT parsing_cocci/disjdistr.ml OCAMLOPT parsing_cocci/get_constants2.ml -OCAMLOPT engine/asttomember.ml OCAMLOPT parsing_cocci/re_constraints.ml +OCAMLOPT engine/asttomember.ml +OCAMLOPT parsing_cocci/id_utils.ml OCAMLOPT parsing_c/control_flow_c_build.ml OCAMLOPT parsing_c/parser_c.ml -OCAMLOPT parsing_c/unparse_cocci.ml OCAMLOPT ocaml/ocamlcocci_aux.ml +OCAMLOPT parsing_c/unparse_cocci.ml OCAMLOPT python/pycocci_aux.ml -OCAMLOPT engine/pretty_print_engine.ml cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx -OCAMLOPT parsing_cocci/id_utils.ml +OCAMLOPT engine/pretty_print_engine.ml OCAMLOPT parsing_cocci/ast0toast.ml OCAMLOPT parsing_cocci/iso_compile.ml OCAMLOPT parsing_cocci/simple_assignments.ml @@ -1368,65 +1404,65 @@ 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 OCAMLOPT parsing_cocci/unparse_ast0.ml +OCAMLOPT parsing_cocci/unify_ast.ml OCAMLOPT parsing_cocci/type_infer.ml OCAMLOPT tools/spgen/source/meta_variable.ml -OCAMLOPT parsing_cocci/unify_ast.ml -OCAMLOPT parsing_c/unparse_hrule.ml +OCAMLOPT tools/spgen/source/disj_generator.ml +OCAMLOPT tools/spgen/source/rule_body.ml OCAMLOPT tools/spgen/source/user_input.ml OCAMLOPT tools/spgen/source/rule_header.ml -OCAMLOPT tools/spgen/source/disj_generator.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 +cp parsing_c/parser_c.cmx ocaml/parser_c.cmx OCAMLOPT tools/spgen/source/file_transform.ml OCAMLOPT tools/spgen/source/script_rule.ml -OCAMLOPT tools/spgen/source/spgen_config.ml OCAMLOPT tools/spgen/source/spgen_interactive.ml -OCAMLOPT tools/spgen/source/rule_body.ml +OCAMLOPT tools/spgen/source/spgen_config.ml OCAMLOPT parsing_cocci/comm_assoc.ml OCAMLOPT parsing_cocci/context_neg.ml -OCAMLOPT parsing_cocci/iso_pattern.ml +OCAMLOPT tools/spgen/source/context_rule.ml OCAMLOPT parsing_cocci/parse_aux.ml -OCAMLOPT parsing_c/parsing_recovery_c.ml +OCAMLOPT parsing_cocci/iso_pattern.ml +cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx OCAMLOPT parsing_c/unparse_c.ml -OCAMLOPT parsing_c/token_views_c.ml OCAMLOPT parsing_c/comment_annotater_c.ml -OCAMLOPT tools/spgen/source/context_rule.ml -cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx +OCAMLOPT parsing_c/parsing_recovery_c.ml +OCAMLOPT parsing_c/token_views_c.ml OCAMLOPT parsing_c/cpp_token_c.ml OCAMLOPT popl09/popltoctl.ml -OCAMLOPT parsing_c/parsing_hacks.ml OCAMLOPT popl09/popl.ml OCAMLOPT -o popl09/popl09.cmxa +OCAMLOPT parsing_c/parsing_hacks.ml 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 -OCAMLOPT parsing_cocci/single_statement.ml -OCAMLOPT parsing_cocci/function_prototypes.ml -OCAMLC parsing_cocci/lexer_cocci.mli -OCAMLC parsing_cocci/lexer_script.mli OCAMLOPT parsing_c/cpp_ast_c.ml OCAMLOPT parsing_c/type_annoter_c.ml cp parsing_c/parse_c.cmx ocaml/parse_c.cmx -OCAMLOPT parsing_c/compare_c.ml OCAMLOPT ocaml/exposed_modules.ml +OCAMLOPT parsing_c/compare_c.ml +OCAMLOPT parsing_cocci/single_statement.ml +OCAMLOPT parsing_cocci/function_prototypes.ml OCAMLOPT parsing_c/test_parsing_c.ml OCAMLOPT ocaml/coccilib.ml +OCAMLDEP parsing_cocci/parser_cocci_menhir.mli +OCAMLDEP parsing_cocci/parser_cocci_menhir.ml +OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLOPT -o parsing_c/parsing_c.cmxa +OCAMLC parsing_cocci/lexer_cocci.mli +OCAMLC parsing_cocci/lexer_script.mli 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 ocaml/prepare_ocamlcocci.ml +OCAMLOPT -o ocaml/ocaml.cmxa OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLOPT engine/pattern_c.ml OCAMLOPT engine/transformation_c.ml @@ -1435,8 +1471,8 @@ OCAMLOPT parsing_cocci/lexer_cocci.ml OCAMLOPT parsing_cocci/lexer_script.ml OCAMLOPT parsing_cocci/parse_cocci.ml -OCAMLOPT cocci.ml OCAMLOPT -o parsing_cocci/parsing_cocci.cmxa +OCAMLOPT cocci.ml OCAMLOPT tools/spgen/source/spgen.ml OCAMLOPT tools/spgen/source/spgen_test.ml OCAMLOPT tools/spgen/source/main.ml @@ -1455,7 +1491,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-3944429-6c4667-62.c ++++ /tmp/cocci-output-2167-a6e594-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -1473,7 +1509,7 @@ a3.res diff = --- tests/a3.c -+++ /tmp/cocci-output-3944429-3af3ab-a3.c ++++ /tmp/cocci-output-2167-f33ef2-a3.c @@ -1,5 +1,5 @@ static void a3d_connect() { @@ -1484,7 +1520,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-3944429-0afd85-a3d.c ++++ /tmp/cocci-output-2167-20a0bd-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -1506,7 +1542,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-3944429-c38e00-a_and_e_ver1.c ++++ /tmp/cocci-output-2167-9fc18d-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -1518,7 +1554,7 @@ ab.res diff = --- tests/ab.c -+++ /tmp/cocci-output-3944429-27a01e-ab.c ++++ /tmp/cocci-output-2167-a47284-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -1529,7 +1565,7 @@ action.res diff = --- tests/action.c -+++ /tmp/cocci-output-3944429-2e007c-action.c ++++ /tmp/cocci-output-2167-269d3c-action.c @@ -1,10 +1,8 @@ void work() { @@ -1547,7 +1583,7 @@ SPECIAL NAMES: adding list_for_each_entry as a iterator diff = --- tests/add1.c -+++ /tmp/cocci-output-3944429-76ca61-add1.c ++++ /tmp/cocci-output-2167-b48aa6-add1.c @@ -7,6 +7,9 @@ static int create_scheduling_groups(void ret = build_groups(sd, i); } @@ -1574,7 +1610,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-3944429-9f4b70-addaft.c ++++ /tmp/cocci-output-2167-2dc8ae-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -1598,7 +1634,7 @@ addafterdecl.res diff = --- tests/addafterdecl.c -+++ /tmp/cocci-output-3944429-d6df8f-addafterdecl.c ++++ /tmp/cocci-output-2167-50d797-addafterdecl.c @@ -1,4 +1,5 @@ int main () { int x; @@ -1608,7 +1644,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-3944429-180e55-addbefore.c ++++ /tmp/cocci-output-2167-6d523a-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -1619,7 +1655,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-3944429-024974-addbeforeafter.c ++++ /tmp/cocci-output-2167-bd455d-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -1632,7 +1668,7 @@ addcomm.res diff = --- tests/addcomm.c -+++ /tmp/cocci-output-3944429-d29e76-addcomm.c ++++ /tmp/cocci-output-2167-4f0c73-addcomm.c @@ -1,5 +1,9 @@ int main() { - foo(); @@ -1648,7 +1684,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-3944429-f11371-addelse.c ++++ /tmp/cocci-output-2167-35417a-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -1656,7 +1692,7 @@ addes.res diff = --- tests/addes.c -+++ /tmp/cocci-output-3944429-005724-addes.c ++++ /tmp/cocci-output-2167-a4b753-addes.c @@ -1 +1,3 @@ int i; +struct foo { @@ -1664,7 +1700,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-3944429-f3c46b-addfield.c ++++ /tmp/cocci-output-2167-ffe1c8-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -1676,7 +1712,7 @@ addfield2.res diff = --- tests/addfield2.c -+++ /tmp/cocci-output-3944429-2b7933-addfield2.c ++++ /tmp/cocci-output-2167-e16603-addfield2.c @@ -1,17 +1,21 @@ struct foo { + int roto; @@ -1702,7 +1738,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-3944429-6fe883-addif.c ++++ /tmp/cocci-output-2167-cf3204-addif.c @@ -1,7 +1,19 @@ +#ifdef FOO +/* some comment */ @@ -1726,7 +1762,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-3944429-80ad2c-addif1.c ++++ /tmp/cocci-output-2167-70390f-addif1.c @@ -1,7 +1,15 @@ +#ifdef FOO +int xxx() { @@ -1746,7 +1782,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-3944429-4626e2-addif2.c ++++ /tmp/cocci-output-2167-3fc83e-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -1764,7 +1800,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-3944429-5869c0-addifdef.c ++++ /tmp/cocci-output-2167-a9c70b-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -1783,7 +1819,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-3944429-780a52-addifelse.c ++++ /tmp/cocci-output-2167-7d927e-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -1802,7 +1838,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-3944429-c70676-addifelse2.c ++++ /tmp/cocci-output-2167-1303dc-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) { @@ -1822,7 +1858,7 @@ addinc.res diff = --- tests/addinc.c -+++ /tmp/cocci-output-3944429-7e240c-addinc.c ++++ /tmp/cocci-output-2167-1ab50c-addinc.c @@ -1,4 +1,5 @@ #ifndef FOO #define FOO @@ -1832,7 +1868,7 @@ addnl.res diff = --- tests/addnl.c -+++ /tmp/cocci-output-3944429-e2ca70-addnl.c ++++ /tmp/cocci-output-2167-be0804-addnl.c @@ -1,5 +1,6 @@ int main () { xxx(); @@ -1844,7 +1880,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-3944429-7fdbbc-addtoo.c ++++ /tmp/cocci-output-2167-a9ac10-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -1868,7 +1904,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-3944429-eb8c66-addtrace.c ++++ /tmp/cocci-output-2167-1a51ac-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -1901,7 +1937,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-3944429-804ff5-after_if.c ++++ /tmp/cocci-output-2167-10f12e-after_if.c @@ -1,4 +1,4 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -1911,7 +1947,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-3944429-fe85b0-allex.c ++++ /tmp/cocci-output-2167-30755f-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -1924,7 +1960,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-3944429-55aae8-allex2.c ++++ /tmp/cocci-output-2167-f69e71-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -1935,7 +1971,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-3944429-047d45-allex3.c ++++ /tmp/cocci-output-2167-a85b39-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -1945,7 +1981,7 @@ andid.res diff = --- tests/andid.c -+++ /tmp/cocci-output-3944429-0e3af6-andid.c ++++ /tmp/cocci-output-2167-5d6c44-andid.c @@ -1,5 +1,5 @@ int main () { - int frontandback = 12; @@ -1956,7 +1992,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-3944429-566e73-anon.c ++++ /tmp/cocci-output-2167-25c3dd-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -1967,7 +2003,7 @@ anonfield.res diff = --- tests/anonfield.c -+++ /tmp/cocci-output-3944429-88518f-anonfield.c ++++ /tmp/cocci-output-2167-9d7c78-anonfield.c @@ -1,3 +1,3 @@ struct { - int; @@ -1976,7 +2012,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-3944429-58dbe8-ar.c ++++ /tmp/cocci-output-2167-3497c2-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -1990,7 +2026,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-3944429-0b25c6-arg.c ++++ /tmp/cocci-output-2167-a1d109-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -2005,7 +2041,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-3944429-c56d6b-argument.c ++++ /tmp/cocci-output-2167-712fc3-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -2019,7 +2055,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-3944429-0eb7e9-arparam.c ++++ /tmp/cocci-output-2167-aaa02c-arparam.c @@ -1,3 +1,8 @@ +int g(int q[1024]) +{ @@ -2033,7 +2069,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/array_init.c -+++ /tmp/cocci-output-3944429-597782-array_init.c ++++ /tmp/cocci-output-2167-acb98c-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"); @@ -2041,7 +2077,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-3944429-83fdc4-array_size.c ++++ /tmp/cocci-output-2167-724371-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -2049,7 +2085,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-3944429-39a10a-arraysz.c ++++ /tmp/cocci-output-2167-fa22c2-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -2059,7 +2095,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-3944429-b1600f-as_stm.c ++++ /tmp/cocci-output-2167-db4e07-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -2076,7 +2112,7 @@ SPECIAL NAMES: adding aarg4 as a attribute diff = --- tests/attr_with_arguments.c -+++ /tmp/cocci-output-3944429-af2925-attr_with_arguments.c ++++ /tmp/cocci-output-2167-0be477-attr_with_arguments.c @@ -1,9 +1,9 @@ -aarg(1,2) int func() { - int id aarg3(1,2); @@ -2110,7 +2146,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-3944429-af13fc-attradd.c ++++ /tmp/cocci-output-2167-407ae4-attradd.c @@ -1,3 +1,5 @@ int main () { - char f; @@ -2124,7 +2160,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attribute_order.c -+++ /tmp/cocci-output-3944429-3fccfa-attribute_order.c ++++ /tmp/cocci-output-2167-0de4f3-attribute_order.c @@ -1,3 +1,3 @@ -int __att1 * __att2 * __att3 foo() { return 0; } + @@ -2134,7 +2170,7 @@ warning: line 5: should variable be a metavariable? diff = --- tests/attributeb.c -+++ /tmp/cocci-output-3944429-83c670-attributeb.c ++++ /tmp/cocci-output-2167-f8b8a5-attributeb.c @@ -1,3 +1,3 @@ int main(){ - [[lucky]] int variable; @@ -2146,7 +2182,7 @@ SPECIAL NAMES: adding __att3 as a attribute diff = --- tests/attrreplace.c -+++ /tmp/cocci-output-3944429-3101f5-attrreplace.c ++++ /tmp/cocci-output-2167-f0bffc-attrreplace.c @@ -1,4 +1,7 @@ -int __att1 * __att2 * __att3 foo() { aaa(0); } -int __att1 * __att2 * __att3 bar() { return 0; } @@ -2164,7 +2200,7 @@ SPECIAL NAMES: adding BUG as a declarer diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-3944429-ec16af-attrs2groups.c ++++ /tmp/cocci-output-2167-3c5e71-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -2193,7 +2229,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-3944429-bc8627-b1.c ++++ /tmp/cocci-output-2167-a9c99e-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -2210,7 +2246,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-3944429-bbcfd4-b2.c ++++ /tmp/cocci-output-2167-f48587-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -2228,7 +2264,7 @@ bad_iso_example.res diff = --- tests/bad_iso_example.c -+++ /tmp/cocci-output-3944429-7f7af3-bad_iso_example.c ++++ /tmp/cocci-output-2167-610339-bad_iso_example.c @@ -1,4 +1,5 @@ int main() { - if ((x = 3)) return; @@ -2239,7 +2275,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-3944429-5dcc18-bad_kfree.c ++++ /tmp/cocci-output-2167-452c97-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -2252,7 +2288,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-3944429-d9b8d6-bad_ptr_print.c ++++ /tmp/cocci-output-2167-8311a8-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -2262,7 +2298,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-3944429-660894-bad_typedef.c ++++ /tmp/cocci-output-2167-cf7d71-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -2282,7 +2318,7 @@ badcfg.res diff = --- tests/badcfg.c -+++ /tmp/cocci-output-3944429-72f7d4-badcfg.c ++++ /tmp/cocci-output-2167-caa3ef-badcfg.c @@ -3,7 +3,7 @@ const char *netdev_cmd_to_name(enum netd #define N(val) \ case NETDEV_##val: \ @@ -2295,7 +2331,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-3944429-891123-badexp.c ++++ /tmp/cocci-output-2167-8bfd5a-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -2305,7 +2341,7 @@ badpos.res diff = --- tests/badpos.c -+++ /tmp/cocci-output-3944429-6df384-badpos.c ++++ /tmp/cocci-output-2167-3e4725-badpos.c @@ -1,7 +1,7 @@ static irqreturn_t elmc_interrupt(int irq, void *dev_id, struct sger_tp *orig_reg_ptr) @@ -2319,7 +2355,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-3944429-d631c0-badtypedef.c ++++ /tmp/cocci-output-2167-0f2ef4-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -2333,7 +2369,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-3944429-f6129e-badwhen.c ++++ /tmp/cocci-output-2167-5c2a19-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -2345,7 +2381,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-3944429-05458a-badzero.c ++++ /tmp/cocci-output-2167-5f56bc-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -2362,7 +2398,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-3944429-b56a9b-befS.c ++++ /tmp/cocci-output-2167-dd217f-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -2401,7 +2437,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-3944429-6ade17-before.c ++++ /tmp/cocci-output-2167-47069d-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -2412,7 +2448,7 @@ befored.res diff = --- tests/befored.c -+++ /tmp/cocci-output-3944429-8de0f8-befored.c ++++ /tmp/cocci-output-2167-56845c-befored.c @@ -1,4 +1,8 @@ int main() { + foo(); @@ -2427,7 +2463,7 @@ SPECIAL NAMES: adding GTypeInfo as a type diff = --- tests/ben.c -+++ /tmp/cocci-output-3944429-94dfa3-ben.c ++++ /tmp/cocci-output-2167-ee2de6-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -2467,7 +2503,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-3944429-285e3d-bigin.c ++++ /tmp/cocci-output-2167-ed5554-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -2478,7 +2514,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-3944429-656cc5-bigrepl.c ++++ /tmp/cocci-output-2167-b0a36f-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -2495,7 +2531,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-3944429-84880a-binop.c ++++ /tmp/cocci-output-2167-80119a-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -2516,7 +2552,7 @@ warning: rule starting on line 11: metavariable v not used in the - or context code diff = --- tests/bitfield.c -+++ /tmp/cocci-output-3944429-21d6a2-bitfield.c ++++ /tmp/cocci-output-2167-736ba3-bitfield.c @@ -1,15 +1,15 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -2549,7 +2585,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-3944429-7ad91f-boolr.c ++++ /tmp/cocci-output-2167-d28c86-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -2558,7 +2594,7 @@ bracebraceline.res diff = --- tests/bracebraceline.c -+++ /tmp/cocci-output-3944429-87acb3-bracebraceline.c ++++ /tmp/cocci-output-2167-bb6499-bracebraceline.c @@ -1,6 +1,5 @@ int main () { if (x) { @@ -2570,7 +2606,7 @@ braceline.res diff = --- tests/braceline.c -+++ /tmp/cocci-output-3944429-c7c2a8-braceline.c ++++ /tmp/cocci-output-2167-aefa08-braceline.c @@ -1,6 +1,3 @@ int main () { - if (x) { @@ -2582,7 +2618,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-3944429-f29487-braces.c ++++ /tmp/cocci-output-2167-99c321-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -2600,7 +2636,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-3944429-3da72d-branchparen.c ++++ /tmp/cocci-output-2167-d65b2e-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -2617,7 +2653,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-3944429-a6a352-break.c ++++ /tmp/cocci-output-2167-0e21b7-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -2645,7 +2681,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-3944429-6f8ec6-bug1.c ++++ /tmp/cocci-output-2167-c1b7e9-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, @@ -2658,7 +2694,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-3944429-c41f41-bugon.c ++++ /tmp/cocci-output-2167-c0ea07-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -2669,7 +2705,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-3944429-2a3257-bus.c ++++ /tmp/cocci-output-2167-5d08e4-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -2682,7 +2718,7 @@ SPECIAL NAMES: adding MODULE_PARM as a declarer diff = --- tests/cards.c -+++ /tmp/cocci-output-3944429-c9cfeb-cards.c ++++ /tmp/cocci-output-2167-ac32fb-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -2691,7 +2727,7 @@ caseprint.res diff = --- tests/caseprint.c -+++ /tmp/cocci-output-3944429-2e5211-caseprint.c ++++ /tmp/cocci-output-2167-4be943-caseprint.c @@ -3,4 +3,10 @@ int f() { case 12: return 0; case 1: return 2; @@ -2706,7 +2742,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-3944429-33c55e-cast.c ++++ /tmp/cocci-output-2167-92b8d4-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -2714,7 +2750,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-3944429-9711b0-cast_iso.c ++++ /tmp/cocci-output-2167-60228b-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -2727,7 +2763,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-3944429-d26f39-castdecl.c ++++ /tmp/cocci-output-2167-f755cc-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -2746,7 +2782,7 @@ cex_snip_field_ok.res diff = --- tests/cex_snip_field_ok.c -+++ /tmp/cocci-output-3944429-c8e287-cex_snip_field_ok.c ++++ /tmp/cocci-output-2167-f7ac02-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; }; @@ -2759,7 +2795,7 @@ cex_wishlist_complex1.res diff = --- tests/cex_wishlist_complex1.c -+++ /tmp/cocci-output-3944429-ff6367-cex_wishlist_complex1.c ++++ /tmp/cocci-output-2167-de293e-cex_wishlist_complex1.c @@ -1,6 +1,6 @@ #include int main() { @@ -2771,7 +2807,7 @@ cex_wishlist_complex2.res diff = --- tests/cex_wishlist_complex2.c -+++ /tmp/cocci-output-3944429-0cd0d3-cex_wishlist_complex2.c ++++ /tmp/cocci-output-2167-f839ef-cex_wishlist_complex2.c @@ -2,7 +2,7 @@ int main() { double d; @@ -2784,7 +2820,7 @@ cex_wishlist_complex3.res diff = --- tests/cex_wishlist_complex3.c -+++ /tmp/cocci-output-3944429-2209f0-cex_wishlist_complex3.c ++++ /tmp/cocci-output-2167-90c7f7-cex_wishlist_complex3.c @@ -2,7 +2,7 @@ int main() { double d; @@ -2798,7 +2834,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-3944429-cbb274-change.c ++++ /tmp/cocci-output-2167-646dbd-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -2808,14 +2844,14 @@ } change_pragma.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_06c5a2.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_06c5a2.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_8f33f7.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_8f33f7.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-3944429-d5f915-change_type.c ++++ /tmp/cocci-output-2167-133eee-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -2827,7 +2863,7 @@ cocci_args.res diff = --- tests/cocci_args.c -+++ /tmp/cocci-output-3944429-c71e20-cocci_args.c ++++ /tmp/cocci-output-2167-da07fd-cocci_args.c @@ -1,3 +1,3 @@ int main () { - f(); @@ -2836,7 +2872,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-3944429-c84fa5-com.c ++++ /tmp/cocci-output-2167-3f5cb4-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -2849,7 +2885,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-3944429-65ec8a-comadd.c ++++ /tmp/cocci-output-2167-ddc239-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -2859,7 +2895,7 @@ comj.res diff = --- tests/comj.c -+++ /tmp/cocci-output-3944429-70b29c-comj.c ++++ /tmp/cocci-output-2167-cd171d-comj.c @@ -2,6 +2,8 @@ int foo(int bar) { int i, j; @@ -2871,12 +2907,12 @@ return j; comma.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_383b16.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_383b16.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_b81cda.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_b81cda.ml Compilation OK! Loading ML code of the SP... diff = --- tests/comma.c -+++ /tmp/cocci-output-3944429-cc7af3-comma.c ++++ /tmp/cocci-output-2167-0e1bb9-comma.c @@ -3,9 +3,9 @@ show_cpuinfo (struct seq_file *m, void * { for (i = 0; i < ARRAY_SIZE(feature_bits) && size > 1; ++i) { @@ -2892,7 +2928,7 @@ comma_call.res diff = --- tests/comma_call.c -+++ /tmp/cocci-output-3944429-80007c-comma_call.c ++++ /tmp/cocci-output-2167-564312-comma_call.c @@ -1,10 +1,13 @@ int main() { - if (x) @@ -2914,7 +2950,7 @@ comma_if.res diff = --- tests/comma_if.c -+++ /tmp/cocci-output-3944429-fb2d17-comma_if.c ++++ /tmp/cocci-output-2167-ea710b-comma_if.c @@ -1,13 +1,19 @@ int main() { - if (uffdio_zeropage.zeropage == -EEXIST) @@ -2944,7 +2980,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-3944429-e25d5f-comment_brace.c ++++ /tmp/cocci-output-2167-020302-comment_brace.c @@ -1,7 +1,10 @@ int main () { @@ -2959,7 +2995,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-3944429-4f732e-comment_brace2.c ++++ /tmp/cocci-output-2167-e393b8-comment_brace2.c @@ -1,7 +1,10 @@ int main () { @@ -2973,8 +3009,8 @@ comment_line.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_a83e0b.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a83e0b.ml -File "/tmp/ocaml_cocci_a83e0b.ml", line 31, characters 4-5: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_7dbf0f.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_7dbf0f.ml +File "/tmp/ocaml_cocci_7dbf0f.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. @@ -2984,7 +3020,7 @@ 1 diff = --- tests/comment_line.c -+++ /tmp/cocci-output-3944429-f26966-comment_line.c ++++ /tmp/cocci-output-2167-1cc135-comment_line.c @@ -1,11 +1,9 @@ int main() { before(); @@ -2999,8 +3035,8 @@ } comment_middle.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_225777.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_225777.ml -File "/tmp/ocaml_cocci_225777.ml", line 30, characters 5-6: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_5bc163.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5bc163.ml +File "/tmp/ocaml_cocci_5bc163.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. @@ -3008,7 +3044,7 @@ Loading ML code of the SP... diff = --- tests/comment_middle.c -+++ /tmp/cocci-output-3944429-e0270d-comment_middle.c ++++ /tmp/cocci-output-2167-2ccd63-comment_middle.c @@ -5,5 +5,4 @@ struct i { }; @@ -3020,7 +3056,7 @@ commentend.res diff = --- tests/commentend.c -+++ /tmp/cocci-output-3944429-10749f-commentend.c ++++ /tmp/cocci-output-2167-d87c8c-commentend.c @@ -1,5 +1,4 @@ int main () { foo(); @@ -3030,7 +3066,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-3944429-fdd8e5-comments.c ++++ /tmp/cocci-output-2167-e9c2f4-comments.c @@ -1,5 +1,16 @@ int main() { @@ -3052,7 +3088,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/compare.c -+++ /tmp/cocci-output-3944429-78cb5d-compare.c ++++ /tmp/cocci-output-2167-f1d4b1-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -3066,7 +3102,7 @@ compare_const.res diff = --- tests/compare_const.c -+++ /tmp/cocci-output-3944429-52fbf7-compare_const.c ++++ /tmp/cocci-output-2167-ed12e8-compare_const.c @@ -1,3 +1,3 @@ int main () { - return 0 == x; @@ -3075,7 +3111,7 @@ compare_const2.res diff = --- tests/compare_const2.c -+++ /tmp/cocci-output-3944429-69f016-compare_const2.c ++++ /tmp/cocci-output-2167-a4d818-compare_const2.c @@ -1,6 +1,6 @@ int main () { // int i,o; @@ -3088,7 +3124,7 @@ comreturn.res diff = --- tests/comreturn.c -+++ /tmp/cocci-output-3944429-f3c940-comreturn.c ++++ /tmp/cocci-output-2167-7f1294-comreturn.c @@ -1,10 +1,14 @@ int main() { a(); @@ -3107,7 +3143,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-3944429-f9aeab-condexp.c ++++ /tmp/cocci-output-2167-576186-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -3120,7 +3156,7 @@ const.res diff = --- tests/const.c -+++ /tmp/cocci-output-3944429-df4781-const.c ++++ /tmp/cocci-output-2167-785422-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -3129,7 +3165,7 @@ const1bis.res diff = --- tests/const1bis.c -+++ /tmp/cocci-output-3944429-e266bf-const1bis.c ++++ /tmp/cocci-output-2167-d6a449-const1bis.c @@ -1,25 +1,25 @@ void foo(int j) { - const int i; @@ -3165,7 +3201,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-3944429-8195f9-const_adding.c ++++ /tmp/cocci-output-2167-68ea58-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -3177,7 +3213,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-3944429-e07c3e-const_array.c ++++ /tmp/cocci-output-2167-ae1531-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -3196,7 +3232,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-3944429-341f0f-const_implicit_iso.c ++++ /tmp/cocci-output-2167-bab995-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -3206,7 +3242,7 @@ constptr.res diff = --- tests/constptr.c -+++ /tmp/cocci-output-3944429-725c6f-constptr.c ++++ /tmp/cocci-output-2167-e67498-constptr.c @@ -1,7 +1,7 @@ int main() { @@ -3222,7 +3258,7 @@ constraints.res diff = --- tests/constraints.c -+++ /tmp/cocci-output-3944429-f721ee-constraints.c ++++ /tmp/cocci-output-2167-12d3c0-constraints.c @@ -1,23 +1,23 @@ void f() @@ -3256,7 +3292,7 @@ constrem.res diff = --- tests/constrem.c -+++ /tmp/cocci-output-3944429-1694e0-constrem.c ++++ /tmp/cocci-output-2167-068dec-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -3264,7 +3300,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-3944429-14a15c-constructor.c ++++ /tmp/cocci-output-2167-84636d-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -3276,7 +3312,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-3944429-af2187-constty.c ++++ /tmp/cocci-output-2167-c6ff8d-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -3288,7 +3324,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-3944429-84d133-constx.c ++++ /tmp/cocci-output-2167-db51b5-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -3305,7 +3341,7 @@ } countcalls.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_ae797d.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ae797d.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_13bb19.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_13bb19.ml Compilation OK! Loading ML code of the SP... countcalls_python.res @@ -3313,14 +3349,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-3944429-6dfc80-cptr.c ++++ /tmp/cocci-output-2167-1a48b0-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char * const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-3944429-1b246d-cr.c ++++ /tmp/cocci-output-2167-96942a-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -3336,7 +3372,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-3944429-6e7ed3-cr1a.c ++++ /tmp/cocci-output-2167-383dba-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -3361,7 +3397,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-3944429-e3fa97-cs_check.c ++++ /tmp/cocci-output-2167-96ab25-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -3374,7 +3410,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-3944429-3b7dde-cst.c ++++ /tmp/cocci-output-2167-63035e-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -3385,7 +3421,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-3944429-829c3c-cst_null.c ++++ /tmp/cocci-output-2167-174c77-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -3421,12 +3457,12 @@ vb->magic = MAGIC_BUFFER; cstr.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_5f3c97.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5f3c97.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_835afb.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_835afb.ml Compilation OK! Loading ML code of the SP... diff = --- tests/cstr.c -+++ /tmp/cocci-output-3944429-7abe45-cstr.c ++++ /tmp/cocci-output-2167-b6d6da-cstr.c @@ -1,4 +1,8 @@ int main() { f(1,2,1,2,3); @@ -3440,7 +3476,7 @@ warning: line 4: should foo be a metavariable? diff = --- tests/cststr.c -+++ /tmp/cocci-output-3944429-ec477b-cststr.c ++++ /tmp/cocci-output-2167-d4a5c7-cststr.c @@ -1,3 +1,3 @@ int main () { - foo((ptr_t)"blah"); @@ -3450,7 +3486,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-3944429-abd72f-csw.c ++++ /tmp/cocci-output-2167-616e22-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -3469,7 +3505,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-3944429-030da8-dbg.c ++++ /tmp/cocci-output-2167-ee4615-dbg.c @@ -5,4 +5,6 @@ static inline void alloc_resource(struct if (pr) @@ -3480,7 +3516,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-3944429-a36815-dbg1.c ++++ /tmp/cocci-output-2167-ccfe1f-dbg1.c @@ -2,4 +2,5 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) { @@ -3490,7 +3526,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-3944429-fad1c2-dc_close.c ++++ /tmp/cocci-output-2167-554405-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -3502,7 +3538,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-3944429-6fe814-debug.c ++++ /tmp/cocci-output-2167-c7d292-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -3512,7 +3548,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-3944429-a0a44e-dec.c ++++ /tmp/cocci-output-2167-5c351d-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -3524,7 +3560,7 @@ SPECIAL NAMES: adding __cb as a attribute diff = --- tests/decadd.c -+++ /tmp/cocci-output-3944429-fc35a0-decadd.c ++++ /tmp/cocci-output-2167-ccec18-decadd.c @@ -1,3 +1,3 @@ struct x { - DECL(x); @@ -3534,7 +3570,7 @@ decdup2.res diff = --- tests/decdup2.c -+++ /tmp/cocci-output-3944429-d3af1b-decdup2.c ++++ /tmp/cocci-output-2167-f61cc7-decdup2.c @@ -1,2 +1,3 @@ +int www; BTF_ID_LIST_SINGLE(bpf_ima_inode_hash_btf_ids, struct, inode) @@ -3544,7 +3580,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-3944429-f2e60b-decl.c ++++ /tmp/cocci-output-2167-b2b5af-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -3556,7 +3592,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-3944429-d484bf-decl2.c ++++ /tmp/cocci-output-2167-28a52b-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -3568,7 +3604,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-3944429-065256-decl_space.c ++++ /tmp/cocci-output-2167-273806-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -3580,7 +3616,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-3944429-e8ee97-decl_star.c ++++ /tmp/cocci-output-2167-348785-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -3592,7 +3628,7 @@ declend.res diff = --- tests/declend.c -+++ /tmp/cocci-output-3944429-5bac2f-declend.c ++++ /tmp/cocci-output-2167-5355d0-declend.c @@ -1,6 +1,5 @@ int x; @@ -3603,7 +3639,7 @@ declmeta.res diff = --- tests/declmeta.c -+++ /tmp/cocci-output-3944429-a3ef50-declmeta.c ++++ /tmp/cocci-output-2167-b374fd-declmeta.c @@ -1,7 +1,7 @@ -int b,c; +int c; @@ -3618,13 +3654,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-3944429-5130e0-defe.c ++++ /tmp/cocci-output-2167-876ddd-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-3944429-b08d4c-define_exp.c ++++ /tmp/cocci-output-2167-2e233c-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -3635,7 +3671,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-3944429-654ae4-define_param.c ++++ /tmp/cocci-output-2167-89e072-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -3652,7 +3688,7 @@ definedots.res diff = --- tests/definedots.c -+++ /tmp/cocci-output-3944429-d5ceaf-definedots.c ++++ /tmp/cocci-output-2167-16b136-definedots.c @@ -1,3 +1,3 @@ -#define a(x,y...) 3 -#define a(x,...) 3 @@ -3663,7 +3699,7 @@ defineinit.res diff = --- tests/defineinit.c -+++ /tmp/cocci-output-3944429-76bd85-defineinit.c ++++ /tmp/cocci-output-2167-eaf83d-defineinit.c @@ -1,3 +1,3 @@ #define MYMACRO(adsf) { \ - .foo = (asdf),\ @@ -3673,7 +3709,7 @@ del2.res diff = --- tests/del2.c -+++ /tmp/cocci-output-3944429-219751-del2.c ++++ /tmp/cocci-output-2167-c97da1-del2.c @@ -4,8 +4,5 @@ int my_test_allocate_components(void) if (result != X_SUCCESS) return result; @@ -3686,7 +3722,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-3944429-8289e5-delete_function.c ++++ /tmp/cocci-output-2167-683479-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -3703,7 +3739,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-3944429-54b04d-delp.c ++++ /tmp/cocci-output-2167-ab5366-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -3713,7 +3749,7 @@ depfail.res diff = --- tests/depfail.c -+++ /tmp/cocci-output-3944429-61fc4c-depfail.c ++++ /tmp/cocci-output-2167-610588-depfail.c @@ -1,5 +1,4 @@ int main(void) { @@ -3723,7 +3759,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-3944429-43555f-deref.c ++++ /tmp/cocci-output-2167-3dc7cb-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -3736,7 +3772,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-3944429-0f4202-destroy.c ++++ /tmp/cocci-output-2167-480b6d-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -3754,7 +3790,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/detect_cast_attr.c -+++ /tmp/cocci-output-3944429-e1b78c-detect_cast_attr.c ++++ /tmp/cocci-output-2167-e5006b-detect_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -3776,7 +3812,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_982f71.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_982f71.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_90e9c7.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_90e9c7.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been @@ -3791,7 +3827,7 @@ Loading ML code of the SP... diff = --- tests/detect_macrodecl_attr.c -+++ /tmp/cocci-output-3944429-19c0fd-detect_macrodecl_attr.c ++++ /tmp/cocci-output-2167-ccad75-detect_macrodecl_attr.c @@ -1,7 +1,5 @@ #define __macro_attr MACROANNOTATION @@ -3806,7 +3842,7 @@ SPECIAL NAMES: adding __attr as a attribute diff = --- tests/detect_param_attr.c -+++ /tmp/cocci-output-3944429-cae4fc-detect_param_attr.c ++++ /tmp/cocci-output-2167-88a575-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) { @@ -3827,7 +3863,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/detect_struct_endattr.c -+++ /tmp/cocci-output-3944429-2cac5b-detect_struct_endattr.c ++++ /tmp/cocci-output-2167-c6d2a9-detect_struct_endattr.c @@ -2,7 +2,6 @@ struct abcd { @@ -3839,7 +3875,7 @@ detect_struct_gccattr.res diff = --- tests/detect_struct_gccattr.c -+++ /tmp/cocci-output-3944429-820052-detect_struct_gccattr.c ++++ /tmp/cocci-output-2167-88a5e2-detect_struct_gccattr.c @@ -1,18 +1,15 @@ struct abcd { int a; @@ -3883,7 +3919,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/devlink.c -+++ /tmp/cocci-output-3944429-457741-devlink.c ++++ /tmp/cocci-output-2167-ec0e52-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -3909,7 +3945,7 @@ SPECIAL NAMES: adding DISJ_DECLARER0 as a declarer diff = --- tests/disj.c -+++ /tmp/cocci-output-3944429-5e46da-disj.c ++++ /tmp/cocci-output-2167-8503d8-disj.c @@ -1,31 +1,31 @@ void f() { int disj_id0; @@ -3961,7 +3997,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-3944429-bf3fee-disjexpr.c ++++ /tmp/cocci-output-2167-ebb917-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -3970,7 +4006,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-3944429-bbd38b-disjexpr_ver1.c ++++ /tmp/cocci-output-2167-35f778-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -3979,7 +4015,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-3944429-b17782-disjexpr_ver2.c ++++ /tmp/cocci-output-2167-adb75e-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -3988,7 +4024,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-3944429-400dc0-disjid.c ++++ /tmp/cocci-output-2167-5bf976-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -4002,7 +4038,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-3944429-2638ac-distribute.c ++++ /tmp/cocci-output-2167-95e2cd-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -4012,7 +4048,7 @@ dotcall.res diff = --- tests/dotcall.c -+++ /tmp/cocci-output-3944429-a6995c-dotcall.c ++++ /tmp/cocci-output-2167-05b7f3-dotcall.c @@ -1,3 +1,2 @@ int main() { - xxx.foobar(); @@ -4020,7 +4056,7 @@ dots_comma.res diff = --- tests/dots_comma.c -+++ /tmp/cocci-output-3944429-7da732-dots_comma.c ++++ /tmp/cocci-output-2167-9522b9-dots_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -4030,7 +4066,7 @@ dots_in_block_remove.res diff = --- tests/dots_in_block_remove.c -+++ /tmp/cocci-output-3944429-02a847-dots_in_block_remove.c ++++ /tmp/cocci-output-2167-c67d6f-dots_in_block_remove.c @@ -1,10 +1,3 @@ int main() { @@ -4045,7 +4081,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-3944429-f9b599-double.c ++++ /tmp/cocci-output-2167-8bc496-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))) { @@ -4056,7 +4092,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-3944429-9363ae-double_assign.c ++++ /tmp/cocci-output-2167-fbf8eb-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -4067,7 +4103,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-3944429-cb9a63-double_lines.c ++++ /tmp/cocci-output-2167-6fb3da-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -4080,7 +4116,7 @@ doubleconst.res diff = --- tests/doubleconst.c -+++ /tmp/cocci-output-3944429-7f0110-doubleconst.c ++++ /tmp/cocci-output-2167-16ae97-doubleconst.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -4089,7 +4125,7 @@ doubleconst2.res diff = --- tests/doubleconst2.c -+++ /tmp/cocci-output-3944429-22cfb5-doubleconst2.c ++++ /tmp/cocci-output-2167-bd4bf2-doubleconst2.c @@ -1,3 +1,3 @@ int main () { - const char* const ccpc = &const_obj; @@ -4098,7 +4134,7 @@ doubleconst4.res diff = --- tests/doubleconst4.c -+++ /tmp/cocci-output-3944429-7922f3-doubleconst4.c ++++ /tmp/cocci-output-2167-1f0437-doubleconst4.c @@ -1,3 +1,3 @@ int main () { - char const* const ccpc = &const_obj; @@ -4107,7 +4143,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-3944429-3b2257-doublepos.c ++++ /tmp/cocci-output-2167-9f9d92-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -4117,7 +4153,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-3944429-d50051-doubleswitch.c ++++ /tmp/cocci-output-2167-da9bdc-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; @@ -4130,7 +4166,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-3944429-58b308-doundo.c ++++ /tmp/cocci-output-2167-209d8c-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -4141,7 +4177,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-3944429-5f91b1-dowhile.c ++++ /tmp/cocci-output-2167-3c9b79-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -4153,7 +4189,7 @@ dowhile_4.res diff = --- tests/dowhile_4.c -+++ /tmp/cocci-output-3944429-2a6f22-dowhile_4.c ++++ /tmp/cocci-output-2167-697c78-dowhile_4.c @@ -2,5 +2,4 @@ int fun() { do { printf("dummy message"); @@ -4168,7 +4204,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-3944429-429595-dowhile_for_complex.c ++++ /tmp/cocci-output-2167-f7842d-dowhile_for_complex.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -4187,7 +4223,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-3944429-a512e4-dowhile_nested.c ++++ /tmp/cocci-output-2167-ca2f97-dowhile_nested.c @@ -2,9 +2,6 @@ int fun() { int i = 1, j = 1; do { @@ -4201,7 +4237,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-3944429-bd06df-dropbr.c ++++ /tmp/cocci-output-2167-bf9482-dropbr.c @@ -1,5 +1,4 @@ int main () { - if (a) { @@ -4213,7 +4249,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-3944429-4fdbc6-dropcom.c ++++ /tmp/cocci-output-2167-9bc104-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -4228,7 +4264,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-3944429-6fff39-dropenderr.c ++++ /tmp/cocci-output-2167-de360e-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -4243,7 +4279,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-3944429-c3564b-dropf.c ++++ /tmp/cocci-output-2167-6bcbac-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -4252,7 +4288,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-3944429-22e9a5-dropparam.c ++++ /tmp/cocci-output-2167-76edbf-dropparam.c @@ -2,11 +2,11 @@ int f(char *x, int y, char* z) { return; } @@ -4270,7 +4306,7 @@ dtest.res diff = --- tests/dtest.c -+++ /tmp/cocci-output-3944429-11a10b-dtest.c ++++ /tmp/cocci-output-2167-d47621-dtest.c @@ -1,5 +1,5 @@ int main() { struct sk_buff *e; @@ -4282,7 +4318,7 @@ SPECIAL NAMES: adding Packet as a type diff = --- tests/eb1.c -+++ /tmp/cocci-output-3944429-fb9569-eb1.c ++++ /tmp/cocci-output-2167-9982be-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -4301,7 +4337,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-3944429-d43369-edots.c ++++ /tmp/cocci-output-2167-5a7631-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -4314,7 +4350,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-3944429-1802e2-edots_ver1.c ++++ /tmp/cocci-output-2167-4a44f0-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -4329,7 +4365,7 @@ efi3.res diff = --- tests/efi3.c -+++ /tmp/cocci-output-3944429-e722a4-efi3.c ++++ /tmp/cocci-output-2167-5243d0-efi3.c @@ -6,6 +6,6 @@ static efi_status_t virt_efi_get_time(ef goto exit; @@ -4341,7 +4377,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-3944429-149d94-elsify.c ++++ /tmp/cocci-output-2167-d62ef4-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -4355,7 +4391,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-3944429-c2ed54-empty.c ++++ /tmp/cocci-output-2167-c5b7c5-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -4368,7 +4404,7 @@ SPECIAL NAMES: adding autofree as a attribute diff = --- tests/end_attr.c -+++ /tmp/cocci-output-3944429-676ec1-end_attr.c ++++ /tmp/cocci-output-2167-0dac2d-end_attr.c @@ -1,10 +1,12 @@ int main() { - struct foo x autofree; @@ -4387,7 +4423,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-3944429-1d6760-end_commas.c ++++ /tmp/cocci-output-2167-e27f4f-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -4403,7 +4439,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-3944429-d65df7-endif.c ++++ /tmp/cocci-output-2167-362fa8-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -4431,7 +4467,7 @@ endmodif.res diff = --- tests/endmodif.c -+++ /tmp/cocci-output-3944429-7f95c5-endmodif.c ++++ /tmp/cocci-output-2167-10216f-endmodif.c @@ -1,11 +1,12 @@ -void f(void) + @@ -4475,7 +4511,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-3944429-f005be-endnl.c ++++ /tmp/cocci-output-2167-e83f2f-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -4516,12 +4552,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_490cdf.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_490cdf.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_d7fd58.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d7fd58.ml Compilation OK! Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-3944429-5620c0-endpos.c ++++ /tmp/cocci-output-2167-80648d-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -4540,7 +4576,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-3944429-c0c3f5-enum.c ++++ /tmp/cocci-output-2167-b641fa-enum.c @@ -5,5 +5,5 @@ typedef enum static reg_errcode_t regex_compile () @@ -4551,7 +4587,7 @@ enum_assign.res diff = --- tests/enum_assign.c -+++ /tmp/cocci-output-3944429-414089-enum_assign.c ++++ /tmp/cocci-output-2167-9fc5bd-enum_assign.c @@ -1,6 +1,7 @@ enum h { - a = 0, @@ -4565,27 +4601,27 @@ enumcast.res diff = --- tests/enumcast.c -+++ /tmp/cocci-output-3944429-030bdd-enumcast.c ++++ /tmp/cocci-output-2167-5ed14a-enumcast.c @@ -1 +1,2 @@ +enum{x = (int)1, }; int main() { return 12; } enumdots.res diff = --- tests/enumdots.c -+++ /tmp/cocci-output-3944429-9b2f6a-enumdots.c ++++ /tmp/cocci-output-2167-f3816b-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_c95ec2.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_c95ec2.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_ce4ca9.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ce4ca9.ml Compilation OK! Loading ML code of the SP... Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-3944429-627d87-exitc.c ++++ /tmp/cocci-output-2167-5952a4-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -4602,7 +4638,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-3944429-96b5b2-exp.c ++++ /tmp/cocci-output-2167-daeff4-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -4625,7 +4661,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-3944429-32864a-expnest.c ++++ /tmp/cocci-output-2167-b6f41c-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -4636,7 +4672,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-3944429-6bf4c3-expopt.c ++++ /tmp/cocci-output-2167-b2938c-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -4647,7 +4683,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-3944429-7579f3-expopt2.c ++++ /tmp/cocci-output-2167-f8421a-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -4658,7 +4694,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-3944429-1a9c97-expopt3.c ++++ /tmp/cocci-output-2167-f6fea0-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4670,7 +4706,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-3944429-db436e-expopt3_ver1.c ++++ /tmp/cocci-output-2167-b7b411-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4683,7 +4719,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-3944429-0023d9-expopt3_ver2.c ++++ /tmp/cocci-output-2167-43883a-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -4695,7 +4731,7 @@ exprlist_comma.res diff = --- tests/exprlist_comma.c -+++ /tmp/cocci-output-3944429-40eafb-exprlist_comma.c ++++ /tmp/cocci-output-2167-c8fab3-exprlist_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -4705,7 +4741,7 @@ exprun.res diff = --- tests/exprun.c -+++ /tmp/cocci-output-3944429-ff0f0f-exprun.c ++++ /tmp/cocci-output-2167-d5e6a9-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) @@ -4786,12 +4822,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_ae5e4b.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ae5e4b.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_e307c2.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e307c2.ml Compilation OK! Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-3944429-c3abe2-extra.c ++++ /tmp/cocci-output-2167-979d5e-extra.c @@ -1,12 +1,25 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -4823,7 +4859,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-3944429-1aabbe-failing_andany.c ++++ /tmp/cocci-output-2167-109de7-failing_andany.c @@ -1,13 +1,9 @@ static int smc_probe1(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -4841,7 +4877,7 @@ far.res diff = --- tests/far.c -+++ /tmp/cocci-output-3944429-4607e9-far.c ++++ /tmp/cocci-output-2167-346714-far.c @@ -1,7 +1,7 @@ int main(void) { @@ -4857,7 +4893,7 @@ SPECIAL NAMES: adding __counted_by as a attribute diff = --- tests/far2.c -+++ /tmp/cocci-output-3944429-d89e2e-far2.c ++++ /tmp/cocci-output-2167-8b0805-far2.c @@ -1,4 +1,4 @@ struct foo { size_t element_count; @@ -4867,7 +4903,7 @@ fields.res diff = --- tests/fields.c -+++ /tmp/cocci-output-3944429-86f252-fields.c ++++ /tmp/cocci-output-2167-685679-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -4880,7 +4916,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-3944429-847891-fieldsmin.c ++++ /tmp/cocci-output-2167-7e057f-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -4889,13 +4925,13 @@ }; finalize_only.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_92bbd2.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_92bbd2.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_ec1724.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ec1724.ml Compilation OK! Loading ML code of the SP... find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-3944429-29e383-find_long.c ++++ /tmp/cocci-output-2167-a6d5d7-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -4910,7 +4946,7 @@ finish.res diff = --- tests/finish.c -+++ /tmp/cocci-output-3944429-4cb521-finish.c ++++ /tmp/cocci-output-2167-f25341-finish.c @@ -1,14 +1,7 @@ void ieee80211_color_change_finish(struct ieee80211_vif *vif, u8 link_id) { @@ -4930,7 +4966,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-3944429-d1f249-fix_flow_need.c ++++ /tmp/cocci-output-2167-7385e7-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -4942,7 +4978,7 @@ flex.res diff = --- tests/flex.c -+++ /tmp/cocci-output-3944429-f5201d-flex.c ++++ /tmp/cocci-output-2167-89814c-flex.c @@ -3,5 +3,5 @@ struct scmi_msg_resp_sensor_description struct { #define SENSOR_UPDATE_BASE(x) 3 @@ -4953,7 +4989,7 @@ fltst.res diff = --- tests/fltst.c -+++ /tmp/cocci-output-3944429-2b6c93-fltst.c ++++ /tmp/cocci-output-2167-30efa1-fltst.c @@ -1,3 +1,3 @@ double aaa() { - return one + two; @@ -4962,7 +4998,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-3944429-ea7576-fn_todo.c ++++ /tmp/cocci-output-2167-c14d41-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; @@ -4974,7 +5010,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-3944429-00bfd9-fnptr.c ++++ /tmp/cocci-output-2167-24095a-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, @@ -4986,14 +5022,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-3944429-c7dc9b-fnret.c ++++ /tmp/cocci-output-2167-8b19b8-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-3944429-b2b09c-fnty.c ++++ /tmp/cocci-output-2167-825725-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -5003,14 +5039,14 @@ fntypedef.res diff = --- tests/fntypedef.c -+++ /tmp/cocci-output-3944429-55b157-fntypedef.c ++++ /tmp/cocci-output-2167-686574-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-3944429-f59e5e-for3.c ++++ /tmp/cocci-output-2167-dabaf0-for3.c @@ -1,4 +1,4 @@ int main () { - for(i=0; i!=10; i++) @@ -5020,7 +5056,7 @@ fordots.res diff = --- tests/fordots.c -+++ /tmp/cocci-output-3944429-a7ac4d-fordots.c ++++ /tmp/cocci-output-2167-20148f-fordots.c @@ -1,4 +1,2 @@ int main () { - for(int i = 0; i != 12; i++) a = 2; @@ -5029,7 +5065,7 @@ format.res diff = --- tests/format.c -+++ /tmp/cocci-output-3944429-d8ca74-format.c ++++ /tmp/cocci-output-2167-378f47-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -5040,14 +5076,14 @@ } format2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_2a43d7.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_2a43d7.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_e26050.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e26050.ml Compilation OK! Loading ML code of the SP... diff = format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-3944429-8074b9-format2.c ++++ /tmp/cocci-output-2167-849eec-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -5056,7 +5092,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-3944429-33c881-formatlist.c ++++ /tmp/cocci-output-2167-da6172-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -5074,7 +5110,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-3944429-222153-fortest.c ++++ /tmp/cocci-output-2167-7d7623-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -5114,7 +5150,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-3944429-4602c7-fortype.c ++++ /tmp/cocci-output-2167-567e32-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -5125,7 +5161,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-3944429-951b30-four.c ++++ /tmp/cocci-output-2167-f9936a-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -5135,7 +5171,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-3944429-c628dc-foura.c ++++ /tmp/cocci-output-2167-930771-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -5145,19 +5181,19 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-3944429-db4cf0-fp.c ++++ /tmp/cocci-output-2167-a0019a-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_602265.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_602265.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_673bc2.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_673bc2.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr.c -+++ /tmp/cocci-output-3944429-82ffa1-fptr.c ++++ /tmp/cocci-output-2167-d286ce-fptr.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -5168,12 +5204,12 @@ fptr2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_447a57.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_447a57.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_a2e898.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a2e898.ml Compilation OK! Loading ML code of the SP... diff = --- tests/fptr2.c -+++ /tmp/cocci-output-3944429-6c0882-fptr2.c ++++ /tmp/cocci-output-2167-38f931-fptr2.c @@ -1,7 +1,7 @@ int foo(int c, int d) { return 0; } @@ -5187,7 +5223,7 @@ fptr3.res diff = --- tests/fptr3.c -+++ /tmp/cocci-output-3944429-0124ef-fptr3.c ++++ /tmp/cocci-output-2167-399ed4-fptr3.c @@ -1,6 +1,6 @@ int foo(int c, int d) { return 0; } @@ -5198,7 +5234,7 @@ fresh_id_script.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_1adacb.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_1adacb.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_ce001f.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_ce001f.ml File "tests/fresh_id_script.cocci", line 37, characters 4-5: Warning 26 [unused-var]: unused variable i. Compilation OK! @@ -5207,7 +5243,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-3944429-e6801e-fsh.c ++++ /tmp/cocci-output-2167-215fea-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -5218,7 +5254,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-3944429-8cd2b8-fun.c ++++ /tmp/cocci-output-2167-eeb6ec-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -5227,7 +5263,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-3944429-5c2bde-func.c ++++ /tmp/cocci-output-2167-2ca440-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -5241,7 +5277,7 @@ funptr_array.res diff = --- tests/funptr_array.c -+++ /tmp/cocci-output-3944429-537b2f-funptr_array.c ++++ /tmp/cocci-output-2167-47d748-funptr_array.c @@ -1 +1 @@ -int (*x[2])(int x); +int (*x[2])(char x); @@ -5285,7 +5321,7 @@ gadget_misc.res diff = --- tests/gadget_misc.c -+++ /tmp/cocci-output-3944429-ee3b81-gadget_misc.c ++++ /tmp/cocci-output-2167-a48a5a-gadget_misc.c @@ -2,6 +2,5 @@ int main() { if(0) @@ -5299,7 +5335,7 @@ SPECIAL NAMES: adding double3x3 as a type diff = --- tests/gadget_ninelets_typedef.c -+++ /tmp/cocci-output-3944429-eda584-gadget_ninelets_typedef.c ++++ /tmp/cocci-output-2167-a55a70-gadget_ninelets_typedef.c @@ -1,21 +1,23 @@ typedef double MyFloat; @@ -5333,7 +5369,7 @@ gadget_remove_mpi_function_calls.res diff = --- tests/gadget_remove_mpi_function_calls.c -+++ /tmp/cocci-output-3944429-799e81-gadget_remove_mpi_function_calls.c ++++ /tmp/cocci-output-2167-ac1e69-gadget_remove_mpi_function_calls.c @@ -2,6 +2,5 @@ int main(int argc, char **argv) { @@ -5344,7 +5380,7 @@ gadget_remove_used_fields.res diff = --- tests/gadget_remove_used_fields.c -+++ /tmp/cocci-output-3944429-9f45d4-gadget_remove_used_fields.c ++++ /tmp/cocci-output-2167-1003b3-gadget_remove_used_fields.c @@ -1,8 +1,8 @@ -struct particle_data { int i; int j; int k; } * P ; @@ -5382,7 +5418,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_soa_select.c -+++ /tmp/cocci-output-3944429-c0d76b-gadget_soa_select.c ++++ /tmp/cocci-output-2167-6f5c49-gadget_soa_select.c @@ -1,5 +1,5 @@ struct sph_particle_data_soa_t { - int *Entropy; @@ -5393,7 +5429,7 @@ gadget_sorting_hook.res diff = --- tests/gadget_sorting_hook.c -+++ /tmp/cocci-output-3944429-3f1531-gadget_sorting_hook.c ++++ /tmp/cocci-output-2167-7b7f36-gadget_sorting_hook.c @@ -18,10 +18,24 @@ void soa_invalidate_aos__particle_data() int main() @@ -5426,7 +5462,7 @@ SPECIAL NAMES: adding MyFloat3 as a type diff = --- tests/gadget_triplets_typedef.c -+++ /tmp/cocci-output-3944429-b3ac2e-gadget_triplets_typedef.c ++++ /tmp/cocci-output-2167-8083a6-gadget_triplets_typedef.c @@ -3,6 +3,8 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -5455,7 +5491,7 @@ SPECIAL NAMES: adding MyDoublePos3 as a type diff = --- tests/gadget_triplets_typedef_ipcc.c -+++ /tmp/cocci-output-3944429-dbdd44-gadget_triplets_typedef_ipcc.c ++++ /tmp/cocci-output-2167-eb1268-gadget_triplets_typedef_ipcc.c @@ -3,6 +3,7 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -5476,7 +5512,7 @@ gcc_attr_with_func.res diff = --- tests/gcc_attr_with_func.c -+++ /tmp/cocci-output-3944429-8db340-gcc_attr_with_func.c ++++ /tmp/cocci-output-2167-77636d-gcc_attr_with_func.c @@ -1,8 +1,8 @@ -int __attribute__((always_inline)) func (int a); +int __attribute__((always_inline)) func (); @@ -5513,7 +5549,7 @@ gcc_attr_with_var.res diff = --- tests/gcc_attr_with_var.c -+++ /tmp/cocci-output-3944429-1e03b8-gcc_attr_with_var.c ++++ /tmp/cocci-output-2167-02d5f0-gcc_attr_with_var.c @@ -1,39 +1,39 @@ -int var1_end __attribute__((myattr1_end)); +int var1_end __attribute__((section(".shared"))); @@ -5572,7 +5608,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-3944429-07d811-gcc_min_max.c ++++ /tmp/cocci-output-2167-35cda0-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -5592,7 +5628,7 @@ SPECIAL NAMES: adding PVOID as a type diff = --- tests/getc.c -+++ /tmp/cocci-output-3944429-aa2358-getc.c ++++ /tmp/cocci-output-2167-88fc0c-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -5602,7 +5638,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-3944429-d41dd4-gilles-question.c ++++ /tmp/cocci-output-2167-445b24-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -5616,7 +5652,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-3944429-cd5fc7-gotobreak.c ++++ /tmp/cocci-output-2167-2ebfa4-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -5627,7 +5663,7 @@ hashhash.res diff = --- tests/hashhash.c -+++ /tmp/cocci-output-3944429-81f6a0-hashhash.c ++++ /tmp/cocci-output-2167-7e84b3-hashhash.c @@ -1,5 +1,5 @@ #define FOO(x) foo ## x @@ -5640,7 +5676,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-3944429-2e8120-hd.c ++++ /tmp/cocci-output-2167-9fa2bb-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -5649,7 +5685,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-3944429-c1069f-headers.c ++++ /tmp/cocci-output-2167-97a458-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -5668,7 +5704,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-3944429-76cce4-hex.c ++++ /tmp/cocci-output-2167-6a3c5b-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -5677,7 +5713,7 @@ SPECIAL NAMES: adding FUNC as a initializer ending in a comma diff = --- tests/hil1.c -+++ /tmp/cocci-output-3944429-0140e8-hil1.c ++++ /tmp/cocci-output-2167-2d8b6a-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -5689,12 +5725,12 @@ exn while in timeout_function id3.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_a27993.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a27993.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_3c92f0.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_3c92f0.ml Compilation OK! Loading ML code of the SP... diff = --- tests/id3.c -+++ /tmp/cocci-output-3944429-c2e858-id3.c ++++ /tmp/cocci-output-2167-d3058e-id3.c @@ -1,3 +1,3 @@ int foo () { - bar (6); @@ -5704,12 +5740,12 @@ exn while in timeout_function idcon_ocaml.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_12ee7c.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_12ee7c.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_f33e5f.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_f33e5f.ml Compilation OK! Loading ML code of the SP... diff = --- tests/idcon_ocaml.c -+++ /tmp/cocci-output-3944429-397120-idcon_ocaml.c ++++ /tmp/cocci-output-2167-3fef12-idcon_ocaml.c @@ -1,5 +1,5 @@ void f(void) { - g(a); @@ -5723,7 +5759,7 @@ identcall.res diff = --- tests/identcall.c -+++ /tmp/cocci-output-3944429-703105-identcall.c ++++ /tmp/cocci-output-2167-36ebe2-identcall.c @@ -1,3 +1,2 @@ int main () { - target += x(); @@ -5731,7 +5767,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-3944429-32e5fd-idstr.c ++++ /tmp/cocci-output-2167-f4c539-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -5741,7 +5777,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-3944429-574aed-if.c ++++ /tmp/cocci-output-2167-c6cf79-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -5783,7 +5819,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-3944429-47ade0-ifadd.c ++++ /tmp/cocci-output-2167-feedcf-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -5798,7 +5834,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-3944429-b6d731-ifd.c ++++ /tmp/cocci-output-2167-9395bb-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -5816,7 +5852,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-3944429-d7073d-ifdef1.c ++++ /tmp/cocci-output-2167-3629c2-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -5829,7 +5865,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-3944429-e98694-ifdef2.c ++++ /tmp/cocci-output-2167-45bd74-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -5845,7 +5881,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-3944429-32acfc-ifdef3.c ++++ /tmp/cocci-output-2167-38306d-ifdef3.c @@ -2,6 +2,15 @@ #include #include @@ -5868,7 +5904,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-3944429-b8e45d-ifdef4.c ++++ /tmp/cocci-output-2167-c87351-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -5884,7 +5920,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-3944429-893d24-ifdef5.c ++++ /tmp/cocci-output-2167-64e321-ifdef5.c @@ -11,3 +11,11 @@ void init_IRQ(void) uselessCall(); } @@ -5900,7 +5936,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-3944429-0ebbdf-ifdef6.c ++++ /tmp/cocci-output-2167-a23bee-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -5913,7 +5949,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-3944429-2f8f04-ifdef6a.c ++++ /tmp/cocci-output-2167-43a665-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -5925,7 +5961,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-3944429-e5561d-ifdefmeta.c ++++ /tmp/cocci-output-2167-19ab25-ifdefmeta.c @@ -1,26 +1,22 @@ int main() { - buf = alloca(3 @@ -5978,7 +6014,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-3944429-aa4e3a-ifdefmeta1.c ++++ /tmp/cocci-output-2167-b53e03-ifdefmeta1.c @@ -1,17 +1,9 @@ int main() { - buf = alloca(3 @@ -6000,7 +6036,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-3944429-decb60-ifdefmeta2.c ++++ /tmp/cocci-output-2167-6c84ad-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -6017,7 +6053,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-3944429-958d74-ifdefmeta3.c ++++ /tmp/cocci-output-2167-ac9f86-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -6034,7 +6070,7 @@ ifdefmeta4.res diff = --- tests/ifdefmeta4.c -+++ /tmp/cocci-output-3944429-918beb-ifdefmeta4.c ++++ /tmp/cocci-output-2167-bceb87-ifdefmeta4.c @@ -1,14 +1,12 @@ int main() { - buf = alloca(3 @@ -6058,7 +6094,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-3944429-7cbe01-ifend.c ++++ /tmp/cocci-output-2167-a34b88-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -6068,7 +6104,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-3944429-038ece-ifgoto.c ++++ /tmp/cocci-output-2167-390147-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -6084,7 +6120,7 @@ SPECIAL NAMES: adding IFaceVtbl as a type diff = --- tests/ifields.c -+++ /tmp/cocci-output-3944429-95b270-ifields.c ++++ /tmp/cocci-output-2167-855546-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -6107,7 +6143,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-3944429-ec8a3e-ifif.c ++++ /tmp/cocci-output-2167-55b068-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -6125,7 +6161,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-3944429-aafbb5-ifreturn.c ++++ /tmp/cocci-output-2167-c9ca01-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -6187,7 +6223,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-3944429-8367b1-ifreturn3.c ++++ /tmp/cocci-output-2167-185fd0-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -6213,7 +6249,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-3944429-a6ef33-ifreturn4.c ++++ /tmp/cocci-output-2167-a123cf-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -6237,7 +6273,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-3944429-cef2c5-ifreturn6.c ++++ /tmp/cocci-output-2167-dc7fc6-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -6251,7 +6287,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-3944429-324b5e-ifzer.c ++++ /tmp/cocci-output-2167-89c42f-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). */ @@ -6262,7 +6298,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-3944429-11980e-ifzz.c ++++ /tmp/cocci-output-2167-1df430-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -6278,7 +6314,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-3944429-d1c267-inc.c ++++ /tmp/cocci-output-2167-239c60-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -6287,7 +6323,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-3944429-db19b1-incl.c ++++ /tmp/cocci-output-2167-f285eb-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -6300,7 +6336,7 @@ incl2.res diff = --- tests/incl2.c -+++ /tmp/cocci-output-3944429-bdf48b-incl2.c ++++ /tmp/cocci-output-2167-de73f2-incl2.c @@ -1,3 +1,4 @@ +#include "beginning.h" #include @@ -6309,7 +6345,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-3944429-7ea514-inclifdef.c ++++ /tmp/cocci-output-2167-470028-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -6319,7 +6355,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-3944429-6adeaf-include.c ++++ /tmp/cocci-output-2167-d27060-include.c @@ -1,8 +1,6 @@ #include @@ -6332,7 +6368,7 @@ incompatible_value.res diff = --- tests/incompatible_value.c -+++ /tmp/cocci-output-3944429-da401c-incompatible_value.c ++++ /tmp/cocci-output-2167-9581b2-incompatible_value.c @@ -4,6 +4,6 @@ int main() { } @@ -6349,7 +6385,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-3944429-930210-inherited.c ++++ /tmp/cocci-output-2167-985b1b-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -6360,7 +6396,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-3944429-5ea1c2-inherited_ver1.c ++++ /tmp/cocci-output-2167-98b731-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -6376,7 +6412,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-3944429-b927ce-inhmet.c ++++ /tmp/cocci-output-2167-7b47b1-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -6385,7 +6421,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-3944429-83ee46-inhpos.c ++++ /tmp/cocci-output-2167-627dcf-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -6394,7 +6430,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-3944429-f0b306-initializer.c ++++ /tmp/cocci-output-2167-7e29b3-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -6410,14 +6446,14 @@ inline.res diff = --- tests/inline.c -+++ /tmp/cocci-output-3944429-0d90d8-inline.c ++++ /tmp/cocci-output-2167-e90b82-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-3944429-f3807b-insdef.c ++++ /tmp/cocci-output-2167-8aa155-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include @@ -6431,7 +6467,7 @@ SPECIAL NAMES: adding u32 as a type diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-3944429-c70c80-int2bool-local.c ++++ /tmp/cocci-output-2167-0a0d90-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -6474,7 +6510,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-3944429-49c60d-introbrace.c ++++ /tmp/cocci-output-2167-4a0ce9-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -6493,7 +6529,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-3944429-946b73-invert.c ++++ /tmp/cocci-output-2167-3fe665-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -6502,7 +6538,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-3944429-3eb5ba-ip.c ++++ /tmp/cocci-output-2167-c7dc92-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -6531,7 +6567,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-3944429-600234-ip2.c ++++ /tmp/cocci-output-2167-98c271-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -6556,7 +6592,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-3944429-4d1e82-isococci.c ++++ /tmp/cocci-output-2167-93efd1-isococci.c @@ -1,6 +1,3 @@ void f(int i) { @@ -6569,7 +6605,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-3944429-30395b-isoif.c ++++ /tmp/cocci-output-2167-5dcef0-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -6578,7 +6614,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-3944429-650458-isotest.c ++++ /tmp/cocci-output-2167-71e3de-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -6590,7 +6626,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-3944429-8d15dd-isotest2.c ++++ /tmp/cocci-output-2167-76dbe2-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -6601,7 +6637,7 @@ iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_df08af.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_df08af.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_2c1699.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_2c1699.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -6610,7 +6646,7 @@ exn while in timeout_function iteration_after_merge.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_5b1346.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_5b1346.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_a4e399.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a4e399.ml Compilation OK! Loading ML code of the SP... 2 pending new file instances @@ -6621,7 +6657,7 @@ SPECIAL NAMES: adding list_for_each as a iterator diff = --- tests/iterator.c -+++ /tmp/cocci-output-3944429-25cc06-iterator.c ++++ /tmp/cocci-output-2167-8e55b1-iterator.c @@ -2,9 +2,5 @@ void pcibios_report_status(u_int status_ { struct list_head *l; @@ -6637,7 +6673,7 @@ SPECIAL NAMES: adding for_each_set_bit as a iterator diff = --- tests/iterprint.c -+++ /tmp/cocci-output-3944429-77cc7c-iterprint.c ++++ /tmp/cocci-output-2167-5b5208-iterprint.c @@ -1,6 +1,4 @@ int main () { - for(bit = 0; bit < size; bit++) { @@ -6652,7 +6688,7 @@ julia10.res diff = --- tests/julia10.c -+++ /tmp/cocci-output-3944429-ee1fdf-julia10.c ++++ /tmp/cocci-output-2167-d251fb-julia10.c @@ -1,7 +1,5 @@ int main(int x) { f(); @@ -6664,7 +6700,7 @@ julia7.res diff = --- tests/julia7.c -+++ /tmp/cocci-output-3944429-3e882a-julia7.c ++++ /tmp/cocci-output-2167-761955-julia7.c @@ -1,7 +1,6 @@ int main(int x) { foo(); @@ -6677,7 +6713,7 @@ justremove.res diff = --- tests/justremove.c -+++ /tmp/cocci-output-3944429-63b616-justremove.c ++++ /tmp/cocci-output-2167-fa3b15-justremove.c @@ -1,17 +1,6 @@ int main () { - if (x) { @@ -6699,7 +6735,7 @@ keep_comma.res diff = --- tests/keep_comma.c -+++ /tmp/cocci-output-3944429-e27c7c-keep_comma.c ++++ /tmp/cocci-output-2167-c469c1-keep_comma.c @@ -1,4 +1,4 @@ int main () { - foo(); @@ -6709,7 +6745,7 @@ km.res diff = --- tests/km.c -+++ /tmp/cocci-output-3944429-59d8cc-km.c ++++ /tmp/cocci-output-2167-1979c1-km.c @@ -1,5 +1,4 @@ int main() { - int *data = kmalloc(element->string.length + 1, GFP_KERNEL); @@ -6720,7 +6756,7 @@ kmalloc.res diff = --- tests/kmalloc.c -+++ /tmp/cocci-output-3944429-bd4ba4-kmalloc.c ++++ /tmp/cocci-output-2167-5d2894-kmalloc.c @@ -1,9 +1,7 @@ int main() { struct bar *y; @@ -6738,7 +6774,7 @@ warning: r: metavariable S not used in the - or context code diff = --- tests/kmc.c -+++ /tmp/cocci-output-3944429-545758-kmc.c ++++ /tmp/cocci-output-2167-c4869c-kmc.c @@ -10,5 +10,4 @@ dmabounce_register_dev(struct device *de err_destroy: @@ -6748,7 +6784,7 @@ kmtest4.res diff = --- tests/kmtest4.c -+++ /tmp/cocci-output-3944429-34168d-kmtest4.c ++++ /tmp/cocci-output-2167-12e738-kmtest4.c @@ -1,4 +1,4 @@ int main () { x = kzalloc(3); @@ -6761,7 +6797,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/ktype.c -+++ /tmp/cocci-output-3944429-152fe1-ktype.c ++++ /tmp/cocci-output-2167-207331-ktype.c @@ -3,8 +3,6 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -6777,7 +6813,7 @@ warning: r: metavariable T not used in the - or context code diff = --- tests/ktype2.c -+++ /tmp/cocci-output-3944429-58b775-ktype2.c ++++ /tmp/cocci-output-2167-2cd37b-ktype2.c @@ -3,11 +3,8 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -6794,7 +6830,7 @@ labels_metastatement.res diff = --- tests/labels_metastatement.c -+++ /tmp/cocci-output-3944429-fc7a43-labels_metastatement.c ++++ /tmp/cocci-output-2167-a279d9-labels_metastatement.c @@ -1,9 +1,15 @@ int foo(int i) { @@ -6817,7 +6853,7 @@ labels_metastatement_ver1.res diff = --- tests/labels_metastatement_ver1.c -+++ /tmp/cocci-output-3944429-71703d-labels_metastatement_ver1.c ++++ /tmp/cocci-output-2167-f0b0fd-labels_metastatement_ver1.c @@ -1,5 +1,9 @@ int foo(int i) { @@ -6832,7 +6868,7 @@ lessone.res diff = --- tests/lessone.c -+++ /tmp/cocci-output-3944429-b2aabc-lessone.c ++++ /tmp/cocci-output-2167-570396-lessone.c @@ -1,4 +1,4 @@ int min() { - return 2.56 < 1; @@ -6841,13 +6877,13 @@ lfe.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_be5ccf.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_be5ccf.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_7578ed.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_7578ed.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-3944429-ab89df-lfe.c ++++ /tmp/cocci-output-2167-7a427b-lfe.c @@ -11,13 +11,21 @@ static bool tipc_service_insert_publ(str u32 key = p->key; @@ -6879,7 +6915,7 @@ lid.res diff = --- tests/lid.c -+++ /tmp/cocci-output-3944429-d644ec-lid.c ++++ /tmp/cocci-output-2167-a5c58e-lid.c @@ -1,6 +1,6 @@ int main () { int a; @@ -6891,7 +6927,7 @@ line_before_last.res diff = --- tests/line_before_last.c -+++ /tmp/cocci-output-3944429-f5894c-line_before_last.c ++++ /tmp/cocci-output-2167-fc9293-line_before_last.c @@ -1,17 +1,13 @@ int main () { - foo(); @@ -6913,7 +6949,7 @@ lineseq.res diff = --- tests/lineseq.c -+++ /tmp/cocci-output-3944429-39b039-lineseq.c ++++ /tmp/cocci-output-2167-d5a060-lineseq.c @@ -1,6 +1,4 @@ int main () { - one(); @@ -6947,7 +6983,7 @@ warning: line 86: should b be a metavariable? diff = --- tests/list_test.c -+++ /tmp/cocci-output-3944429-5de17e-list_test.c ++++ /tmp/cocci-output-2167-ab95e6-list_test.c @@ -1,55 +1,53 @@ int main () { - f(a); @@ -7146,14 +7182,14 @@ local.res diff = --- tests/local.c -+++ /tmp/cocci-output-3944429-d8e82c-local.c ++++ /tmp/cocci-output-2167-1c2c12-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-3944429-0a205d-localglobal.c ++++ /tmp/cocci-output-2167-e17aa1-localglobal.c @@ -3,5 +3,5 @@ int a; int main(int b) { int c; @@ -7164,7 +7200,7 @@ localid.res diff = --- tests/localid.c -+++ /tmp/cocci-output-3944429-4fe8d4-localid.c ++++ /tmp/cocci-output-2167-74d9af-localid.c @@ -2,8 +2,7 @@ int c; int main () { @@ -7179,7 +7215,7 @@ localmacroparams.res diff = --- tests/localmacroparams.c -+++ /tmp/cocci-output-3944429-103b79-localmacroparams.c ++++ /tmp/cocci-output-2167-473abc-localmacroparams.c @@ -1,2 +1,2 @@ -#define fn1(x) f(x) -#define fn2(x) f(y) @@ -7188,7 +7224,7 @@ log.res diff = --- tests/log.c -+++ /tmp/cocci-output-3944429-a8bcd6-log.c ++++ /tmp/cocci-output-2167-763a3a-log.c @@ -8,5 +8,4 @@ static struct var_t vars[] = { @@ -7198,7 +7234,7 @@ long.res diff = --- tests/long.c -+++ /tmp/cocci-output-3944429-1d1a7f-long.c ++++ /tmp/cocci-output-2167-c8ce89-long.c @@ -1,4 +1,4 @@ int main () { - hello_world("this is a very long sentence. this is a very long sentence. ", @@ -7209,7 +7245,7 @@ longconst.res diff = --- tests/longconst.c -+++ /tmp/cocci-output-3944429-4563ea-longconst.c ++++ /tmp/cocci-output-2167-c7e628-longconst.c @@ -2,18 +2,18 @@ long function1() { long a; @@ -7246,7 +7282,7 @@ warning: line 5: should a be a metavariable? diff = --- tests/longline2.c -+++ /tmp/cocci-output-3944429-dfb43f-longline2.c ++++ /tmp/cocci-output-2167-6219f3-longline2.c @@ -1,8 +1,16 @@ int main() { - f(sdhfkjdkdsahksadsdhjkdsa,sahdjshdkjsahdkjhsakjdsh,a,shdkjsdsdhkjsa,x,y,z); @@ -7271,7 +7307,7 @@ longlong.res diff = --- tests/longlong.c -+++ /tmp/cocci-output-3944429-e82ad0-longlong.c ++++ /tmp/cocci-output-2167-508646-longlong.c @@ -1,6 +1,6 @@ -long long a; +int a; @@ -7284,7 +7320,7 @@ longlongint.res diff = --- tests/longlongint.c -+++ /tmp/cocci-output-3944429-3a41b2-longlongint.c ++++ /tmp/cocci-output-2167-a62cdd-longlongint.c @@ -1,9 +1,3 @@ int main() { - unsigned int x; @@ -7298,7 +7334,7 @@ loop.res diff = --- tests/loop.c -+++ /tmp/cocci-output-3944429-b0b434-loop.c ++++ /tmp/cocci-output-2167-67aed1-loop.c @@ -1,5 +1,3 @@ int main() { - f(); @@ -7309,7 +7345,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/lvalue.c -+++ /tmp/cocci-output-3944429-c43f74-lvalue.c ++++ /tmp/cocci-output-2167-381479-lvalue.c @@ -1,4 +1,4 @@ int main() { - x = x + 1; @@ -7321,7 +7357,7 @@ SPECIAL NAMES: adding Scsi_Cmnd as a type diff = --- tests/macro.c -+++ /tmp/cocci-output-3944429-867b6e-macro.c ++++ /tmp/cocci-output-2167-d923c0-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))) @@ -7333,7 +7369,7 @@ macro_before_bool.res diff = --- tests/macro_before_bool.c -+++ /tmp/cocci-output-3944429-e0cf84-macro_before_bool.c ++++ /tmp/cocci-output-2167-3c5390-macro_before_bool.c @@ -1,4 +1,5 @@ static nokprobe_inline bool trace_kprobe_is_return(struct trace_kprobe *tk) { @@ -7343,7 +7379,7 @@ macro_int16.res diff = --- tests/macro_int16.c -+++ /tmp/cocci-output-3944429-75ceb9-macro_int16.c ++++ /tmp/cocci-output-2167-249062-macro_int16.c @@ -4,6 +4,6 @@ void main(void) { @@ -7355,7 +7391,7 @@ macro_params.res diff = --- tests/macro_params.c -+++ /tmp/cocci-output-3944429-356041-macro_params.c ++++ /tmp/cocci-output-2167-1b182f-macro_params.c @@ -5,9 +5,9 @@ int main(int argc, char **argv) { @@ -7371,7 +7407,7 @@ match_init.res diff = --- tests/match_init.c -+++ /tmp/cocci-output-3944429-da4502-match_init.c ++++ /tmp/cocci-output-2167-b59677-match_init.c @@ -1,15 +1,15 @@ int probably_works () { - int x = 3; @@ -7394,7 +7430,7 @@ match_no_meta.res diff = --- tests/match_no_meta.c -+++ /tmp/cocci-output-3944429-e8f26d-match_no_meta.c ++++ /tmp/cocci-output-2167-397a6c-match_no_meta.c @@ -2,6 +2,4 @@ void main(int i) { foo(1); @@ -7407,7 +7443,7 @@ warning: line 14: should i be a metavariable? diff = --- tests/max.c -+++ /tmp/cocci-output-3944429-bba2e1-max.c ++++ /tmp/cocci-output-2167-5ddc1f-max.c @@ -1,3 +1,3 @@ int main () { - if (x < 25) return i; @@ -7417,7 +7453,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/md1.c -+++ /tmp/cocci-output-3944429-766175-md1.c ++++ /tmp/cocci-output-2167-1eca27-md1.c @@ -1,9 +1,11 @@ struct main { - int a; @@ -7438,7 +7474,7 @@ md2.res diff = --- tests/md2.c -+++ /tmp/cocci-output-3944429-5aa392-md2.c ++++ /tmp/cocci-output-2167-c5660e-md2.c @@ -1,11 +1,11 @@ int main() { - int a; @@ -7459,7 +7495,7 @@ md3.res diff = --- tests/md3.c -+++ /tmp/cocci-output-3944429-69101d-md3.c ++++ /tmp/cocci-output-2167-39ba8a-md3.c @@ -1,5 +1,5 @@ struct s_t { - double one[3]; @@ -7470,7 +7506,7 @@ mdadd.res diff = --- tests/mdadd.c -+++ /tmp/cocci-output-3944429-2ede80-mdadd.c ++++ /tmp/cocci-output-2167-353248-mdadd.c @@ -1,3 +1,3 @@ int main () { - int a,b,c; @@ -7479,7 +7515,7 @@ mdec.res diff = --- tests/mdec.c -+++ /tmp/cocci-output-3944429-0092ca-mdec.c ++++ /tmp/cocci-output-2167-7542e9-mdec.c @@ -1,23 +1,26 @@ int main () { - int a, b, c, d; @@ -7531,8 +7567,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_cd7229.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_cd7229.ml -File "/tmp/ocaml_cocci_cd7229.ml", line 24, characters 4-11: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_42189d.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_42189d.ml +File "/tmp/ocaml_cocci_42189d.ml", line 24, characters 4-11: 24 | let unbound = List.nth __script_args__ 4 in ^^^^^^^ Warning 26 [unused-var]: unused variable unbound. @@ -7540,7 +7576,7 @@ Loading ML code of the SP... diff = --- tests/mdecl.c -+++ /tmp/cocci-output-3944429-68f3fc-mdecl.c ++++ /tmp/cocci-output-2167-dcbdd2-mdecl.c @@ -1,5 +1,4 @@ -int one () { if (c < 0) return 12; return x < 0; } + @@ -7550,19 +7586,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_125025.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_125025.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_88b111.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_88b111.ml Compilation OK! Loading ML code of the SP... diff = --- tests/mdeclp.c -+++ /tmp/cocci-output-3944429-af3764-mdeclp.c ++++ /tmp/cocci-output-2167-edbe23-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_9ea71f.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_9ea71f.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_4a3a3b.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_4a3a3b.ml File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The str subdirectory has been @@ -7576,7 +7612,7 @@ mdeclrep.res diff = --- tests/mdeclrep.c -+++ /tmp/cocci-output-3944429-5be05b-mdeclrep.c ++++ /tmp/cocci-output-2167-16d5fd-mdeclrep.c @@ -1,19 +1,22 @@ int main () { - int a,x,c; @@ -7607,7 +7643,7 @@ mdindex.res diff = --- tests/mdindex.c -+++ /tmp/cocci-output-3944429-a1b79c-mdindex.c ++++ /tmp/cocci-output-2167-aa4494-mdindex.c @@ -1,5 +1,5 @@ int main() { @@ -7619,7 +7655,7 @@ memory.res diff = --- tests/memory.c -+++ /tmp/cocci-output-3944429-84d4da-memory.c ++++ /tmp/cocci-output-2167-de6014-memory.c @@ -2,6 +2,5 @@ int __queue_add(Queue_t *queue, Scsi_Cmnd *SCpnt, int head) @@ -7630,7 +7666,7 @@ } merge_after_iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_aa15ee.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_aa15ee.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_d15fe9.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_d15fe9.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -7640,7 +7676,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/metaattr.c -+++ /tmp/cocci-output-3944429-8cc66a-metaattr.c ++++ /tmp/cocci-output-2167-18a5a3-metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -7653,7 +7689,7 @@ warning: line 43: x, previously declared as a metavariable, is used as an identifier diff = --- tests/metaline.c -+++ /tmp/cocci-output-3944429-70a70f-metaline.c ++++ /tmp/cocci-output-2167-1f22af-metaline.c @@ -1,9 +1,8 @@ int main () { - static int x; @@ -7671,7 +7707,7 @@ metaops.res diff = --- tests/metaops.c -+++ /tmp/cocci-output-3944429-892040-metaops.c ++++ /tmp/cocci-output-2167-25ca67-metaops.c @@ -2,24 +2,24 @@ int p1() { int x = 0; int y = 1; @@ -7748,7 +7784,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/metaops0.c -+++ /tmp/cocci-output-3944429-783178-metaops0.c ++++ /tmp/cocci-output-2167-086f0c-metaops0.c @@ -1,44 +1,11 @@ int p1() { - int x = 0; @@ -7797,7 +7833,7 @@ metaruleelem.res diff = --- tests/metaruleelem.c -+++ /tmp/cocci-output-3944429-9794ab-metaruleelem.c ++++ /tmp/cocci-output-2167-eb8405-metaruleelem.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -7810,7 +7846,7 @@ metastatement2.res diff = --- tests/metastatement2.c -+++ /tmp/cocci-output-3944429-bd4164-metastatement2.c ++++ /tmp/cocci-output-2167-282f7a-metastatement2.c @@ -1,6 +1,5 @@ void main(int i) { @@ -7821,7 +7857,7 @@ metastatement_for.res diff = --- tests/metastatement_for.c -+++ /tmp/cocci-output-3944429-16ff8e-metastatement_for.c ++++ /tmp/cocci-output-2167-3e209d-metastatement_for.c @@ -1,9 +1,6 @@ void main(void) { @@ -7835,7 +7871,7 @@ metastatement_if.res diff = --- tests/metastatement_if.c -+++ /tmp/cocci-output-3944429-a9be28-metastatement_if.c ++++ /tmp/cocci-output-2167-810279-metastatement_if.c @@ -5,8 +5,4 @@ void main(void) printf("%d", i); } @@ -7848,7 +7884,7 @@ mincom.res diff = --- tests/mincom.c -+++ /tmp/cocci-output-3944429-4c5e6f-mincom.c ++++ /tmp/cocci-output-2167-6f6cc2-mincom.c @@ -1,5 +1,7 @@ int main () { - if (rc == LS_NONE_FIRST_DE) @@ -7862,14 +7898,14 @@ minenum.res diff = --- tests/minenum.c -+++ /tmp/cocci-output-3944429-38538f-minenum.c ++++ /tmp/cocci-output-2167-fff8e1-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-3944429-beea83-minenum1.c ++++ /tmp/cocci-output-2167-31eac6-minenum1.c @@ -1,2 +1,2 @@ -enum h { x, a, z, +enum h { x, qq, @@ -7877,7 +7913,7 @@ minfn.res diff = --- tests/minfn.c -+++ /tmp/cocci-output-3944429-ad64f2-minfn.c ++++ /tmp/cocci-output-2167-b8fc04-minfn.c @@ -1,13 +1,5 @@ int main () { return first; } @@ -7895,7 +7931,7 @@ mini_null_ref.res diff = --- tests/mini_null_ref.c -+++ /tmp/cocci-output-3944429-ffbc94-mini_null_ref.c ++++ /tmp/cocci-output-2167-93d16f-mini_null_ref.c @@ -2,11 +2,12 @@ static int __devinit w90p910_keypad_prob { const struct w90p910_keypad_platform_data *pdata = @@ -7913,7 +7949,7 @@ miniswap.res diff = --- tests/miniswap.c -+++ /tmp/cocci-output-3944429-47e800-miniswap.c ++++ /tmp/cocci-output-2167-e5d7bc-miniswap.c @@ -1,5 +1,5 @@ static void swap_refcount_rec(void *a, void *b, int size) { @@ -7924,7 +7960,7 @@ minstruct.res diff = --- tests/minstruct.c -+++ /tmp/cocci-output-3944429-3a8bfd-minstruct.c ++++ /tmp/cocci-output-2167-bcf14c-minstruct.c @@ -1,5 +1,7 @@ static struct i2c_client client_template = { - .name = "(unset)", @@ -7937,7 +7973,7 @@ minusdots.res diff = --- tests/minusdots.c -+++ /tmp/cocci-output-3944429-677f00-minusdots.c ++++ /tmp/cocci-output-2167-10337f-minusdots.c @@ -1,9 +1,2 @@ void main(int i) { - @@ -7951,7 +7987,7 @@ minusdots_ver1.res diff = --- tests/minusdots_ver1.c -+++ /tmp/cocci-output-3944429-2bf41a-minusdots_ver1.c ++++ /tmp/cocci-output-2167-dfe096-minusdots_ver1.c @@ -1,6 +1,2 @@ void main(int i) { - @@ -7962,7 +7998,7 @@ move_type.res diff = --- tests/move_type.c -+++ /tmp/cocci-output-3944429-16fc44-move_type.c ++++ /tmp/cocci-output-2167-294d5f-move_type.c @@ -1,6 +1,6 @@ int main() { - int x; @@ -7974,7 +8010,7 @@ multi.res diff = --- tests/multi.c -+++ /tmp/cocci-output-3944429-64a492-multi.c ++++ /tmp/cocci-output-2167-042137-multi.c @@ -3,4 +3,5 @@ int main() { g(1); g(1); @@ -7983,7 +8019,7 @@ } multi_initialize_finalize.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_a0f13d.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a0f13d.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_25abe1.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_25abe1.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function @@ -7991,7 +8027,7 @@ warning: line 4: should ab be a metavariable? diff = --- tests/multichars.c -+++ /tmp/cocci-output-3944429-87b8f6-multichars.c ++++ /tmp/cocci-output-2167-d69305-multichars.c @@ -1,5 +1,5 @@ int main () { - f('XYZ',ab); @@ -8004,7 +8040,7 @@ multidec.res diff = --- tests/multidec.c -+++ /tmp/cocci-output-3944429-ed9e41-multidec.c ++++ /tmp/cocci-output-2167-6ef111-multidec.c @@ -1,11 +1,6 @@ int main () { int x = 3,z; @@ -8021,7 +8057,7 @@ multidecl3.res diff = --- tests/multidecl3.c -+++ /tmp/cocci-output-3944429-e9dc81-multidecl3.c ++++ /tmp/cocci-output-2167-9d5593-multidecl3.c @@ -1,17 +1,13 @@ int main () { - int *i, i[12], i, k, r; @@ -8045,7 +8081,7 @@ multipath.res diff = --- tests/multipath.c -+++ /tmp/cocci-output-3944429-c4dcbc-multipath.c ++++ /tmp/cocci-output-2167-df6c91-multipath.c @@ -2,8 +2,8 @@ static void multipathd(struct md_thread { for (;;) { @@ -8061,7 +8097,7 @@ warning: rule starting on line 3: metavariable T not used in the - or context code diff = --- tests/multiplus.c -+++ /tmp/cocci-output-3944429-173549-multiplus.c ++++ /tmp/cocci-output-2167-ac55c9-multiplus.c @@ -1,4 +1,4 @@ -static void xm_link_timer(void *arg) +static void xm_link_timer(struct work_struct *work) @@ -8071,7 +8107,7 @@ multiremove.res diff = --- tests/multiremove.c -+++ /tmp/cocci-output-3944429-52d730-multiremove.c ++++ /tmp/cocci-output-2167-1145ca-multiremove.c @@ -1,8 +1,5 @@ int main () { if (x) { xyz1(); } @@ -8084,7 +8120,7 @@ multistruct.res diff = --- tests/multistruct.c -+++ /tmp/cocci-output-3944429-2262a1-multistruct.c ++++ /tmp/cocci-output-2167-ea6806-multistruct.c @@ -1,5 +1,3 @@ -struct one x; @@ -8094,7 +8130,7 @@ multitype.res diff = --- tests/multitype.c -+++ /tmp/cocci-output-3944429-49c7a2-multitype.c ++++ /tmp/cocci-output-2167-aa9a63-multitype.c @@ -3,5 +3,5 @@ typedef struct foo { int a; } foo_t; int main() { foo_t * x; @@ -8106,7 +8142,7 @@ warning: non_delayed_fn: metavariable T not used in the - or context code diff = --- tests/multitypedef.c -+++ /tmp/cocci-output-3944429-a9ad2f-multitypedef.c ++++ /tmp/cocci-output-2167-e0095f-multitypedef.c @@ -5,5 +5,5 @@ typedef struct HYSDN_CARD { int ergo_inithardware(hysdn_card * card) @@ -8117,7 +8153,7 @@ multivars.res diff = --- tests/multivars.c -+++ /tmp/cocci-output-3944429-bd942c-multivars.c ++++ /tmp/cocci-output-2167-36665c-multivars.c @@ -1,5 +1,5 @@ void main(int i) { @@ -8132,7 +8168,7 @@ warning: line 4: should kfree be a metavariable? diff = --- tests/mv.c -+++ /tmp/cocci-output-3944429-da1a15-mv.c ++++ /tmp/cocci-output-2167-c4be2a-mv.c @@ -1,4 +1,4 @@ int main() { - u8 *xxx __free(kfree); @@ -8142,7 +8178,7 @@ na.res diff = --- tests/na.c -+++ /tmp/cocci-output-3944429-3b0dc5-na.c ++++ /tmp/cocci-output-2167-09918a-na.c @@ -4,10 +4,10 @@ void foo() { int i; @@ -8161,7 +8197,7 @@ nameless.res diff = --- tests/nameless.c -+++ /tmp/cocci-output-3944429-dccab3-nameless.c ++++ /tmp/cocci-output-2167-768967-nameless.c @@ -1,6 +1,6 @@ typedef union { int foo; @@ -8179,7 +8215,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-3944429-4140eb-nest.c ++++ /tmp/cocci-output-2167-a18d89-nest.c @@ -1,7 +1,7 @@ void info_func(int i) { foo(); @@ -8193,7 +8229,7 @@ nestadd.res diff = --- tests/nestadd.c -+++ /tmp/cocci-output-3944429-ef9d4a-nestadd.c ++++ /tmp/cocci-output-2167-172d62-nestadd.c @@ -1,3 +1,12 @@ int main() { foo(); @@ -8211,7 +8247,7 @@ warning: one: metavariable S not used in the - or context code diff = --- tests/nestone.c -+++ /tmp/cocci-output-3944429-5bf50d-nestone.c ++++ /tmp/cocci-output-2167-d9449c-nestone.c @@ -1,4 +1,3 @@ int foo() { if (x) { xxx(); return;} @@ -8220,7 +8256,7 @@ nestseq.res diff = --- tests/nestseq.c -+++ /tmp/cocci-output-3944429-42a082-nestseq.c ++++ /tmp/cocci-output-2167-ee47cf-nestseq.c @@ -2,4 +2,5 @@ int main () { f(); g(12); @@ -8230,7 +8266,7 @@ neststruct.res diff = --- tests/neststruct.c -+++ /tmp/cocci-output-3944429-aacaa9-neststruct.c ++++ /tmp/cocci-output-2167-b96bf6-neststruct.c @@ -8,6 +8,6 @@ struct usb_hub { static int hub_configure(struct usb_hub *hub) @@ -8243,7 +8279,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/nl.c -+++ /tmp/cocci-output-3944429-18b653-nl.c ++++ /tmp/cocci-output-2167-561dd5-nl.c @@ -1,4 +1,4 @@ int main() { - if (x) return; @@ -8254,7 +8290,7 @@ noa.res diff = --- tests/noa.c -+++ /tmp/cocci-output-3944429-30cd72-noa.c ++++ /tmp/cocci-output-2167-02a53f-noa.c @@ -2,6 +2,6 @@ int main () { if (x) { a(); } else { a(); } } @@ -8267,7 +8303,7 @@ SPECIAL NAMES: adding gfp_t as a type diff = --- tests/nocast.c -+++ /tmp/cocci-output-3944429-b00dd2-nocast.c ++++ /tmp/cocci-output-2167-cbc051-nocast.c @@ -1,4 +1,4 @@ -int main (unsigned int __nocast gfp_mask, int x) { +int main (gfp_t gfp_mask, int x) { @@ -8277,7 +8313,7 @@ noret.res diff = --- tests/noret.c -+++ /tmp/cocci-output-3944429-ae79e2-noret.c ++++ /tmp/cocci-output-2167-6628ca-noret.c @@ -1,18 +1,18 @@ -main (int x); -static xmain (int x); @@ -8309,7 +8345,7 @@ not.res diff = --- tests/not.c -+++ /tmp/cocci-output-3944429-ff3b2f-not.c ++++ /tmp/cocci-output-2167-784d0d-not.c @@ -1,9 +1,9 @@ int main() { int x; @@ -8326,7 +8362,7 @@ notest.res diff = --- tests/notest.c -+++ /tmp/cocci-output-3944429-708b2c-notest.c ++++ /tmp/cocci-output-2167-1edb15-notest.c @@ -1,6 +1,6 @@ int main() { struct foo *x; @@ -8340,7 +8376,7 @@ warning: line 6: should false be a metavariable? diff = --- tests/notnot.c -+++ /tmp/cocci-output-3944429-9cef3a-notnot.c ++++ /tmp/cocci-output-2167-e871b6-notnot.c @@ -1,4 +1,4 @@ bool foo(int bar) { @@ -8350,7 +8386,7 @@ noty.res diff = --- tests/noty.c -+++ /tmp/cocci-output-3944429-40b939-noty.c ++++ /tmp/cocci-output-2167-ceb9b3-noty.c @@ -1,3 +1,4 @@ int main(int *x) { if (NULL == x) { return; } @@ -8359,7 +8395,7 @@ noty2.res diff = --- tests/noty2.c -+++ /tmp/cocci-output-3944429-e14e87-noty2.c ++++ /tmp/cocci-output-2167-dd8c24-noty2.c @@ -1,14 +1,11 @@ main () { - foo(); @@ -8379,7 +8415,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/null_bool.c -+++ /tmp/cocci-output-3944429-9b255a-null_bool.c ++++ /tmp/cocci-output-2167-db278e-null_bool.c @@ -1,8 +1,8 @@ int main () { - if (x != NULL) return; @@ -8396,7 +8432,7 @@ null_type.res diff = --- tests/null_type.c -+++ /tmp/cocci-output-3944429-1241db-null_type.c ++++ /tmp/cocci-output-2167-345ed7-null_type.c @@ -2,7 +2,7 @@ int main(int i) { int *x; @@ -8411,7 +8447,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/oddifdef.c -+++ /tmp/cocci-output-3944429-73730d-oddifdef.c ++++ /tmp/cocci-output-2167-388cb9-oddifdef.c @@ -7,9 +7,7 @@ void one () { a = 5; @@ -8444,7 +8480,7 @@ of.res diff = --- tests/of.c -+++ /tmp/cocci-output-3944429-67a3a0-of.c ++++ /tmp/cocci-output-2167-720854-of.c @@ -1,16 +1,20 @@ static struct iommu_table *iommu_table_find(struct iommu_table * tbl) { @@ -8471,14 +8507,14 @@ omp.res SPECIAL NAMES: adding ok as a type Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_a179c6.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_a179c6.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_4fa38b.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_4fa38b.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function oneline.res diff = --- tests/oneline.c -+++ /tmp/cocci-output-3944429-94be5c-oneline.c ++++ /tmp/cocci-output-2167-8788b6-oneline.c @@ -1,4 +1,4 @@ int main () { - f(); @@ -8489,7 +8525,7 @@ op.res diff = --- tests/op.c -+++ /tmp/cocci-output-3944429-3d16c6-op.c ++++ /tmp/cocci-output-2167-bbd107-op.c @@ -1,5 +1,4 @@ int main () { - return 3; @@ -8499,7 +8535,7 @@ opt.res diff = --- tests/opt.c -+++ /tmp/cocci-output-3944429-d80a47-opt.c ++++ /tmp/cocci-output-2167-45a973-opt.c @@ -1,3 +1,2 @@ int main () { - yyy(); @@ -8507,7 +8543,7 @@ optional_qualifier.res diff = --- tests/optional_qualifier.c -+++ /tmp/cocci-output-3944429-b9ebfb-optional_qualifier.c ++++ /tmp/cocci-output-2167-e5b19e-optional_qualifier.c @@ -1,2 +1,2 @@ -int a; +const int a; @@ -8515,7 +8551,7 @@ optional_storage.res diff = --- tests/optional_storage.c -+++ /tmp/cocci-output-3944429-b067e6-optional_storage.c ++++ /tmp/cocci-output-2167-dd2be5-optional_storage.c @@ -1,4 +1,4 @@ -int foo1(void) +static int foo1(void) @@ -8525,7 +8561,7 @@ orexp.res diff = --- tests/orexp.c -+++ /tmp/cocci-output-3944429-cebd21-orexp.c ++++ /tmp/cocci-output-2167-479ac8-orexp.c @@ -1,3 +1,3 @@ int main() { - bar(12+12); @@ -8540,7 +8576,7 @@ warning: xxx: metavariable f not used in the - or context code diff = --- tests/overshoot.c -+++ /tmp/cocci-output-3944429-3dc4fc-overshoot.c ++++ /tmp/cocci-output-2167-20c889-overshoot.c @@ -1,9 +1,8 @@ int main () { a(); @@ -8560,7 +8596,7 @@ warning: line 20: should errp be a metavariable? diff = --- tests/p1p2.c -+++ /tmp/cocci-output-3944429-9f24a7-p1p2.c ++++ /tmp/cocci-output-2167-27e040-p1p2.c @@ -1,3 +1,3 @@ -int main(int x, Error **errp); +int __attribute__((nonnull(1))) main(int x, Error **errp); @@ -8570,7 +8606,7 @@ p9.res diff = --- tests/p9.c -+++ /tmp/cocci-output-3944429-057f87-p9.c ++++ /tmp/cocci-output-2167-57dc2c-p9.c @@ -1,3 +1,3 @@ -int f(int, int, int x) { +int f(int v0, int v1, int x) { @@ -8579,7 +8615,7 @@ pa.res diff = --- tests/pa.c -+++ /tmp/cocci-output-3944429-e8e080-pa.c ++++ /tmp/cocci-output-2167-aa799c-pa.c @@ -4,7 +4,8 @@ char *parse_args(const char *doing, unsigned num, s16 min_level, @@ -8594,7 +8630,7 @@ param.res diff = --- tests/param.c -+++ /tmp/cocci-output-3944429-12d7d0-param.c ++++ /tmp/cocci-output-2167-9a0631-param.c @@ -1 +1 @@ -void foo() { return; } + @@ -8603,7 +8639,7 @@ warning: line 14: should y be a metavariable? diff = --- tests/param_end.c -+++ /tmp/cocci-output-3944429-434369-param_end.c ++++ /tmp/cocci-output-2167-1ebf1e-param_end.c @@ -1,15 +1,15 @@ -int one (int x) { return; } +int one () { return; } @@ -8631,7 +8667,7 @@ param_to_exp.res diff = --- tests/param_to_exp.c -+++ /tmp/cocci-output-3944429-976c65-param_to_exp.c ++++ /tmp/cocci-output-2167-abeac9-param_to_exp.c @@ -1,3 +1,4 @@ int main (int x, int y) { + foo(x, y); @@ -8640,14 +8676,14 @@ param_ver1.res diff = --- tests/param_ver1.c -+++ /tmp/cocci-output-3944429-9cf0df-param_ver1.c ++++ /tmp/cocci-output-2167-323efe-param_ver1.c @@ -1 +1 @@ -void foo(int x) { return; } + parameters_dots.res diff = --- tests/parameters_dots.c -+++ /tmp/cocci-output-3944429-7b3b5a-parameters_dots.c ++++ /tmp/cocci-output-2167-eb603b-parameters_dots.c @@ -1,7 +1,3 @@ void main(int i) { - @@ -8659,7 +8695,7 @@ parenmac.res diff = --- tests/parenmac.c -+++ /tmp/cocci-output-3944429-5a5dab-parenmac.c ++++ /tmp/cocci-output-2167-070e67-parenmac.c @@ -1 +1 @@ -#define TXSSZ(val) (val<<4) +#define TXSSZ(val) ((val)<<4) @@ -8667,7 +8703,7 @@ warning: rule starting on line 1: metavariable S not used in the - or context code diff = --- tests/partial.c -+++ /tmp/cocci-output-3944429-035df7-partial.c ++++ /tmp/cocci-output-2167-e48695-partial.c @@ -1,3 +1,3 @@ #define CS_THIS_MODULE THIS_MODULE, #define CS_OWNER owner: @@ -8676,7 +8712,7 @@ partialmd.res diff = --- tests/partialmd.c -+++ /tmp/cocci-output-3944429-89645c-partialmd.c ++++ /tmp/cocci-output-2167-2c6838-partialmd.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8686,7 +8722,7 @@ partialmd2.res diff = --- tests/partialmd2.c -+++ /tmp/cocci-output-3944429-6d653e-partialmd2.c ++++ /tmp/cocci-output-2167-87e9dc-partialmd2.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8696,7 +8732,7 @@ partialmd3.res diff = --- tests/partialmd3.c -+++ /tmp/cocci-output-3944429-dfca34-partialmd3.c ++++ /tmp/cocci-output-2167-c1904e-partialmd3.c @@ -1,3 +1,4 @@ int main () { - int a,b,c; @@ -8707,7 +8743,7 @@ warning: line 6: should x be a metavariable? diff = --- tests/pb_distribute_type.c -+++ /tmp/cocci-output-3944429-ad425e-pb_distribute_type.c ++++ /tmp/cocci-output-2167-aef92e-pb_distribute_type.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8731,7 +8767,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type2.c -+++ /tmp/cocci-output-3944429-68268b-pb_distribute_type2.c ++++ /tmp/cocci-output-2167-eb9d4a-pb_distribute_type2.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8758,7 +8794,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type4.c -+++ /tmp/cocci-output-3944429-4b6227-pb_distribute_type4.c ++++ /tmp/cocci-output-2167-197af4-pb_distribute_type4.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -8782,7 +8818,7 @@ warning: line 23: should i be a metavariable? diff = --- tests/pb_params_iso.c -+++ /tmp/cocci-output-3944429-a0991e-pb_params_iso.c ++++ /tmp/cocci-output-2167-f675bb-pb_params_iso.c @@ -1,17 +1,17 @@ -int f(bool a, int i, bool b) { @@ -8808,7 +8844,7 @@ pb_parsing_macro.res diff = --- tests/pb_parsing_macro.c -+++ /tmp/cocci-output-3944429-8230f1-pb_parsing_macro.c ++++ /tmp/cocci-output-2167-4ab850-pb_parsing_macro.c @@ -1,4 +1,4 @@ #define FOO_METH_TEST(a) prefix_##a void FOO_METH_TEST(foo)(int x){ @@ -8818,7 +8854,7 @@ pb_tag_symbols.res diff = --- tests/pb_tag_symbols.c -+++ /tmp/cocci-output-3944429-e38531-pb_tag_symbols.c ++++ /tmp/cocci-output-2167-019ea5-pb_tag_symbols.c @@ -1,5 +1,3 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -8828,7 +8864,7 @@ pcim.res diff = --- tests/pcim.c -+++ /tmp/cocci-output-3944429-98a0c4-pcim.c ++++ /tmp/cocci-output-2167-4e9417-pcim.c @@ -1,5 +1,6 @@ int main () { - ctx->sensePA = pci_map_single(adapter->dev, cmd->sense_buffer, @@ -8841,7 +8877,7 @@ pcomma.res diff = --- tests/pcomma.c -+++ /tmp/cocci-output-3944429-83f959-pcomma.c ++++ /tmp/cocci-output-2167-882e37-pcomma.c @@ -1,14 +1,14 @@ -int main (int x) {} +int main (char c, int x) {} @@ -8868,7 +8904,7 @@ pif.res diff = --- tests/pif.c -+++ /tmp/cocci-output-3944429-6b1b9e-pif.c ++++ /tmp/cocci-output-2167-2c45c8-pif.c @@ -1,5 +1 @@ -void f(void) -{ @@ -8879,14 +8915,14 @@ plus33.res diff = --- tests/plus33.c -+++ /tmp/cocci-output-3944429-ddb62d-plus33.c ++++ /tmp/cocci-output-2167-514eca-plus33.c @@ -1 +1,2 @@ +typedef double double3x3[3][3]; int x; pmac.res diff = --- tests/pmac.c -+++ /tmp/cocci-output-3944429-1420b8-pmac.c ++++ /tmp/cocci-output-2167-06c9df-pmac.c @@ -4,7 +4,5 @@ #include #endif @@ -8897,12 +8933,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_3b6613.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_3b6613.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_fd3805.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_fd3805.ml Compilation OK! Loading ML code of the SP... diff = --- tests/poscon.c -+++ /tmp/cocci-output-3944429-b028eb-poscon.c ++++ /tmp/cocci-output-2167-cce635-poscon.c @@ -2,8 +2,8 @@ int main () { f(0); g(0); @@ -8919,7 +8955,7 @@ posiso.res diff = --- tests/posiso.c -+++ /tmp/cocci-output-3944429-b20137-posiso.c ++++ /tmp/cocci-output-2167-b6e10c-posiso.c @@ -1,9 +1,7 @@ int main () { int *x; @@ -8933,7 +8969,7 @@ positionc.res diff = --- tests/positionc.c -+++ /tmp/cocci-output-3944429-38aedb-positionc.c ++++ /tmp/cocci-output-2167-f768cb-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; @@ -8946,7 +8982,7 @@ post.res diff = --- tests/post.c -+++ /tmp/cocci-output-3944429-0eb020-post.c ++++ /tmp/cocci-output-2167-265fb4-post.c @@ -1,8 +1,6 @@ int main() { - f(3, foo + bar, 5); @@ -8959,7 +8995,7 @@ pragma2.res diff = --- tests/pragma2.c -+++ /tmp/cocci-output-3944429-56d56d-pragma2.c ++++ /tmp/cocci-output-2167-d6f905-pragma2.c @@ -4,7 +4,7 @@ int main() int n = 3; // FIXME: problem: uncommenting this breaks matching @@ -8973,7 +9009,7 @@ pragma3.res diff = --- tests/pragma3.c -+++ /tmp/cocci-output-3944429-aa077a-pragma3.c ++++ /tmp/cocci-output-2167-e80582-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') */ @@ -8987,7 +9023,7 @@ pragma_and_block_b.res diff = --- tests/pragma_and_block_b.c -+++ /tmp/cocci-output-3944429-221a11-pragma_and_block_b.c ++++ /tmp/cocci-output-2167-68ade8-pragma_and_block_b.c @@ -1,6 +1,5 @@ int main() { @@ -8998,7 +9034,7 @@ pragmainfo_multiline.res diff = --- tests/pragmainfo_multiline.c -+++ /tmp/cocci-output-3944429-d7407c-pragmainfo_multiline.c ++++ /tmp/cocci-output-2167-9668a7-pragmainfo_multiline.c @@ -1,6 +1,4 @@ int main() { @@ -9009,19 +9045,19 @@ pragmatest1.res diff = --- tests/pragmatest1.c -+++ /tmp/cocci-output-3944429-4a02eb-pragmatest1.c ++++ /tmp/cocci-output-2167-2847a0-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_dc1537.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_dc1537.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_221e5c.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_221e5c.ml Compilation OK! Loading ML code of the SP... diff = --- tests/pragmatest2.c -+++ /tmp/cocci-output-3944429-b3f634-pragmatest2.c ++++ /tmp/cocci-output-2167-31576b-pragmatest2.c @@ -1,6 +1,4 @@ #pragma xxx this is a test @@ -9034,7 +9070,7 @@ warning: rule starting on line 1: metavariable E not used in the - or context code diff = --- tests/print_return.c -+++ /tmp/cocci-output-3944429-c013e9-print_return.c ++++ /tmp/cocci-output-2167-657de0-print_return.c @@ -1,4 +1,3 @@ int config(struct pcmcia_device *link) { - bar(); @@ -9044,7 +9080,7 @@ proto.res diff = --- tests/proto.c -+++ /tmp/cocci-output-3944429-721104-proto.c ++++ /tmp/cocci-output-2167-ad9e45-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); @@ -9059,7 +9095,7 @@ proto2.res diff = --- tests/proto2.c -+++ /tmp/cocci-output-3944429-e72007-proto2.c ++++ /tmp/cocci-output-2167-4d641f-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); @@ -9076,7 +9112,7 @@ proto_ver1.res diff = --- tests/proto_ver1.c -+++ /tmp/cocci-output-3944429-02bbb0-proto_ver1.c ++++ /tmp/cocci-output-2167-382021-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); @@ -9091,7 +9127,7 @@ proto_ver2.res diff = --- tests/proto_ver2.c -+++ /tmp/cocci-output-3944429-6d5760-proto_ver2.c ++++ /tmp/cocci-output-2167-541430-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); @@ -9120,7 +9156,7 @@ protoassert.res diff = --- tests/protoassert.c -+++ /tmp/cocci-output-3944429-e9fe4b-protoassert.c ++++ /tmp/cocci-output-2167-054cdb-protoassert.c @@ -1,6 +1,8 @@ static unsigned mii_rd(ioaddr_t ioaddr, u_char phyaddr, u_char phyreg); @@ -9136,7 +9172,7 @@ ptrar.res diff = --- tests/ptrar.c -+++ /tmp/cocci-output-3944429-92bf59-ptrar.c ++++ /tmp/cocci-output-2167-ab6e8f-ptrar.c @@ -1,8 +1,8 @@ int main () { struct foo *x; @@ -9153,7 +9189,7 @@ ptrconstptr.res diff = --- tests/ptrconstptr.c -+++ /tmp/cocci-output-3944429-3bfc78-ptrconstptr.c ++++ /tmp/cocci-output-2167-531362-ptrconstptr.c @@ -1,3 +1,3 @@ void main() { - const char * const * x; @@ -9165,7 +9201,7 @@ warning: rule starting on line 12: metavariable S not used in the - or context code diff = --- tests/putloop.c -+++ /tmp/cocci-output-3944429-dd1290-putloop.c ++++ /tmp/cocci-output-2167-7b9258-putloop.c @@ -4,13 +4,11 @@ static int atmel_pctl_dt_node_to_map(str unsigned int *num_maps) { @@ -9196,7 +9232,7 @@ SPECIAL NAMES: adding survived_r1 as a type diff = --- tests/qualifier.c -+++ /tmp/cocci-output-3944429-475437-qualifier.c ++++ /tmp/cocci-output-2167-7f6e1d-qualifier.c @@ -1,11 +1,11 @@ int *foo(const int *i) { @@ -9234,7 +9270,7 @@ range.res diff = --- tests/range.c -+++ /tmp/cocci-output-3944429-dd07d9-range.c ++++ /tmp/cocci-output-2167-e8aa08-range.c @@ -1,17 +1,8 @@ int main() { - f(1); @@ -9257,7 +9293,7 @@ SPECIAL NAMES: adding RB_DECLARE_CALLBACKS_MAX as a declarer diff = --- tests/rb.c -+++ /tmp/cocci-output-3944429-21fde7-rb.c ++++ /tmp/cocci-output-2167-2b9ae3-rb.c @@ -1,2 +1 @@ -RB_DECLARE_CALLBACKS_MAX(static, augment_callbacks, struct drbd_interval, -rb, sector_t, end, NODE_END); @@ -9265,7 +9301,7 @@ rcu3.res diff = --- tests/rcu3.c -+++ /tmp/cocci-output-3944429-05e397-rcu3.c ++++ /tmp/cocci-output-2167-1f3183-rcu3.c @@ -3,6 +3,6 @@ static struct mtd_chip_driver *get_mtd_c struct list_head *pos; struct mtd_chip_driver *this; @@ -9278,7 +9314,7 @@ refl.res diff = --- tests/refl.c -+++ /tmp/cocci-output-3944429-d837bf-refl.c ++++ /tmp/cocci-output-2167-44e85e-refl.c @@ -1,5 +1,3 @@ int main () { int x; @@ -9288,7 +9324,7 @@ regesc.res diff = --- tests/regesc.c -+++ /tmp/cocci-output-3944429-36fe5e-regesc.c ++++ /tmp/cocci-output-2167-44b466-regesc.c @@ -1,5 +1,5 @@ int main () { - f(".foo"); @@ -9300,7 +9336,7 @@ regexp.res diff = --- tests/regexp.c -+++ /tmp/cocci-output-3944429-c675c3-regexp.c ++++ /tmp/cocci-output-2167-3963d4-regexp.c @@ -1,9 +1,23 @@ int main(void) { @@ -9328,7 +9364,7 @@ regexp2.res diff = --- tests/regexp2.c -+++ /tmp/cocci-output-3944429-64f285-regexp2.c ++++ /tmp/cocci-output-2167-b8fbe4-regexp2.c @@ -2,9 +2,23 @@ int main(void) { @@ -9356,7 +9392,7 @@ regexp3.res diff = --- tests/regexp3.c -+++ /tmp/cocci-output-3944429-a2f48c-regexp3.c ++++ /tmp/cocci-output-2167-bc8a1e-regexp3.c @@ -2,10 +2,27 @@ int main(void) { @@ -9387,12 +9423,12 @@ } relevant_position.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_723d8f.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_723d8f.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_0336dd.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_0336dd.ml Compilation OK! Loading ML code of the SP... diff = --- tests/relevant_position.c -+++ /tmp/cocci-output-3944429-7852b0-relevant_position.c ++++ /tmp/cocci-output-2167-2ea10b-relevant_position.c @@ -1,4 +1,4 @@ -struct blah { struct list_head xxx; }; + @@ -9402,7 +9438,7 @@ rem1.res diff = --- tests/rem1.c -+++ /tmp/cocci-output-3944429-5837a1-rem1.c ++++ /tmp/cocci-output-2167-fcf509-rem1.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9412,7 +9448,7 @@ rem2.res diff = --- tests/rem2.c -+++ /tmp/cocci-output-3944429-b04243-rem2.c ++++ /tmp/cocci-output-2167-e86215-rem2.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9422,7 +9458,7 @@ remaft.res diff = --- tests/remaft.c -+++ /tmp/cocci-output-3944429-2f6b50-remaft.c ++++ /tmp/cocci-output-2167-d8885c-remaft.c @@ -1,8 +1,6 @@ int main() { #ifdef BLAH @@ -9435,7 +9471,7 @@ remcom.res diff = --- tests/remcom.c -+++ /tmp/cocci-output-3944429-b96b8d-remcom.c ++++ /tmp/cocci-output-2167-687ae7-remcom.c @@ -3,20 +3,12 @@ asyncmeta_retry( Operation *op ) { @@ -9463,7 +9499,7 @@ remcom2.res diff = --- tests/remcom2.c -+++ /tmp/cocci-output-3944429-9e6f01-remcom2.c ++++ /tmp/cocci-output-2167-61fa25-remcom2.c @@ -2,7 +2,5 @@ int fn() { if (y) { @@ -9475,7 +9511,7 @@ remodif.res diff = --- tests/remodif.c -+++ /tmp/cocci-output-3944429-377d0d-remodif.c ++++ /tmp/cocci-output-2167-6aebb7-remodif.c @@ -5,7 +5,7 @@ static int hexium_attach(struct saa7146_ DEB_EE("\n"); @@ -9488,7 +9524,7 @@ remove-code-in-branch1.res diff = --- tests/remove-code-in-branch1.c -+++ /tmp/cocci-output-3944429-ee0071-remove-code-in-branch1.c ++++ /tmp/cocci-output-2167-700e4e-remove-code-in-branch1.c @@ -1,7 +1,7 @@ int main(void) { @@ -9501,7 +9537,7 @@ remove_call.res diff = --- tests/remove_call.c -+++ /tmp/cocci-output-3944429-632f79-remove_call.c ++++ /tmp/cocci-output-2167-631b54-remove_call.c @@ -1,6 +1,2 @@ int main () { - int x = 3 + FN() + FN(); @@ -9513,7 +9549,7 @@ SPECIAL NAMES: adding __cast_attr as a attribute diff = --- tests/remove_cast_attr.c -+++ /tmp/cocci-output-3944429-57ee1a-remove_cast_attr.c ++++ /tmp/cocci-output-2167-be0e6c-remove_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -9530,7 +9566,7 @@ remove_cast_attr_allminus.res diff = --- tests/remove_cast_attr_allminus.c -+++ /tmp/cocci-output-3944429-484225-remove_cast_attr_allminus.c ++++ /tmp/cocci-output-2167-fff0fb-remove_cast_attr_allminus.c @@ -2,9 +2,9 @@ int func() @@ -9551,7 +9587,7 @@ SPECIAL NAMES: adding __macro_attr as a attribute diff = --- tests/remove_macrodecl_attr.c -+++ /tmp/cocci-output-3944429-a07f43-remove_macrodecl_attr.c ++++ /tmp/cocci-output-2167-4d7792-remove_macrodecl_attr.c @@ -1,3 +1,3 @@ #define __macro_attr MACROANNOTATION @@ -9561,7 +9597,7 @@ SPECIAL NAMES: adding __attr__ as a attribute diff = --- tests/remove_metaattr.c -+++ /tmp/cocci-output-3944429-499aa0-remove_metaattr.c ++++ /tmp/cocci-output-2167-4c078b-remove_metaattr.c @@ -1,5 +1,5 @@ int main() { - int b __attr__ = 1; @@ -9573,7 +9609,7 @@ SPECIAL NAMES: adding __nocast as a attribute diff = --- tests/remove_param_attrs.c -+++ /tmp/cocci-output-3944429-2fb32d-remove_param_attrs.c ++++ /tmp/cocci-output-2167-cd94d5-remove_param_attrs.c @@ -6,15 +6,15 @@ int func2(int x, int __nocast y) { return 0; } @@ -9597,7 +9633,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr.c -+++ /tmp/cocci-output-3944429-dae35e-remove_struct_endattr.c ++++ /tmp/cocci-output-2167-b453f5-remove_struct_endattr.c @@ -4,4 +4,4 @@ struct abcd { int a; int b; @@ -9608,7 +9644,7 @@ SPECIAL NAMES: adding __struct_endattr as a attribute diff = --- tests/remove_struct_endattr_allminus.c -+++ /tmp/cocci-output-3944429-73e1cf-remove_struct_endattr_allminus.c ++++ /tmp/cocci-output-2167-a13abc-remove_struct_endattr_allminus.c @@ -1,13 +1 @@ #define __struct_endattr MACROANNOTATION - @@ -9626,7 +9662,7 @@ remparam.res diff = --- tests/remparam.c -+++ /tmp/cocci-output-3944429-117e77-remparam.c ++++ /tmp/cocci-output-2167-a7ca23-remparam.c @@ -1,14 +1,14 @@ static irqreturn_t -snd_ad1889_interrupt(void *dev_id, int x, @@ -9649,7 +9685,7 @@ rems.res diff = --- tests/rems.c -+++ /tmp/cocci-output-3944429-e0cf8f-rems.c ++++ /tmp/cocci-output-2167-3461a7-rems.c @@ -1,5 +1,4 @@ int main () { x(); @@ -9659,7 +9695,7 @@ rems1.res diff = --- tests/rems1.c -+++ /tmp/cocci-output-3944429-f2c34b-rems1.c ++++ /tmp/cocci-output-2167-4dfeb1-rems1.c @@ -1,5 +1,4 @@ int main () { x(); @@ -9671,7 +9707,7 @@ warning: line 8: should xxx be a metavariable? diff = --- tests/remstruct.c -+++ /tmp/cocci-output-3944429-634df3-remstruct.c ++++ /tmp/cocci-output-2167-dbbe1d-remstruct.c @@ -1,13 +1,4 @@ -static struct irqchip mpuio_irq_chip = { - .ack = mpuio_ack_irq, @@ -9689,7 +9725,7 @@ remu.res diff = --- tests/remu.c -+++ /tmp/cocci-output-3944429-8fd035-remu.c ++++ /tmp/cocci-output-2167-d59fb2-remu.c @@ -1,5 +1,4 @@ struct anon_vma { int x; @@ -9699,7 +9735,7 @@ replace_typedef.res diff = --- tests/replace_typedef.c -+++ /tmp/cocci-output-3944429-d3443b-replace_typedef.c ++++ /tmp/cocci-output-2167-606ce5-replace_typedef.c @@ -3,8 +3,8 @@ typedef struct foo { int x; } foo_t; typedef int int_t; @@ -9714,7 +9750,7 @@ replacement3.res diff = --- tests/replacement3.c -+++ /tmp/cocci-output-3944429-8fad1d-replacement3.c ++++ /tmp/cocci-output-2167-aca83f-replacement3.c @@ -1,6 +1,5 @@ int main() { - int *i; @@ -9726,7 +9762,7 @@ reserved.res diff = --- tests/reserved.c -+++ /tmp/cocci-output-3944429-fe65f6-reserved.c ++++ /tmp/cocci-output-2167-19f4cc-reserved.c @@ -1,7 +1,4 @@ int main() { - f(1,1); @@ -9738,7 +9774,7 @@ retest.res diff = --- tests/retest.c -+++ /tmp/cocci-output-3944429-e86840-retest.c ++++ /tmp/cocci-output-2167-48c649-retest.c @@ -1,6 +1,6 @@ int main () { foo(); @@ -9750,7 +9786,7 @@ retmacro.res diff = --- tests/retmacro.c -+++ /tmp/cocci-output-3944429-011d58-retmacro.c ++++ /tmp/cocci-output-2167-a83f40-retmacro.c @@ -1,6 +1,6 @@ #define REG_PATTERN_TEST(R, M, W) \ { \ @@ -9773,7 +9809,7 @@ warning: rule starting on line 18: metavariable S not used in the - or context code diff = --- tests/return.c -+++ /tmp/cocci-output-3944429-6d610d-return.c ++++ /tmp/cocci-output-2167-5b36b0-return.c @@ -1,6 +1,9 @@ void foo(int y) { int x; @@ -9789,7 +9825,7 @@ return_implicit.res diff = --- tests/return_implicit.c -+++ /tmp/cocci-output-3944429-f04d8c-return_implicit.c ++++ /tmp/cocci-output-2167-a0c67c-return_implicit.c @@ -1,4 +1,5 @@ void main(void) { @@ -9799,7 +9835,7 @@ retval.res diff = --- tests/retval.c -+++ /tmp/cocci-output-3944429-1a8200-retval.c ++++ /tmp/cocci-output-2167-ec3956-retval.c @@ -1,21 +1,15 @@ int main () { if (retval1) { @@ -9829,7 +9865,7 @@ retval2.res diff = --- tests/retval2.c -+++ /tmp/cocci-output-3944429-dad67f-retval2.c ++++ /tmp/cocci-output-2167-d672fb-retval2.c @@ -11,7 +11,7 @@ int getlen(int *input, size_t maxlen, in return -1; } @@ -9843,7 +9879,7 @@ warning: rule starting on line 8: metavariable p1 not used in the - or context code diff = --- tests/reusevar.c -+++ /tmp/cocci-output-3944429-190960-reusevar.c ++++ /tmp/cocci-output-2167-944859-reusevar.c @@ -1,8 +1,5 @@ int main () { - f(x); @@ -9861,7 +9897,7 @@ SPECIAL NAMES: adding __ro_after_init as a attribute diff = --- tests/roa.c -+++ /tmp/cocci-output-3944429-b08628-roa.c ++++ /tmp/cocci-output-2167-05ad95-roa.c @@ -1,10 +1,10 @@ -struct arm_delay_ops arm_delay_ops __ro_after_init = { +struct found used __ro_after_init = { @@ -9879,7 +9915,7 @@ rptr.res diff = --- tests/rptr.c -+++ /tmp/cocci-output-3944429-1f52ca-rptr.c ++++ /tmp/cocci-output-2167-d762c9-rptr.c @@ -1,6 +1,4 @@ int foo(struct resource *r) { @@ -9892,7 +9928,7 @@ same_expr.res diff = --- tests/same_expr.c -+++ /tmp/cocci-output-3944429-def04d-same_expr.c ++++ /tmp/cocci-output-2167-d86422-same_expr.c @@ -1,6 +1,5 @@ void main(int i) { @@ -9903,7 +9939,7 @@ sbef.res diff = --- tests/sbef.c -+++ /tmp/cocci-output-3944429-1956d8-sbef.c ++++ /tmp/cocci-output-2167-03e3ff-sbef.c @@ -2,6 +2,5 @@ int main () { { a(); @@ -9914,7 +9950,7 @@ sbef2.res diff = --- tests/sbef2.c -+++ /tmp/cocci-output-3944429-df015b-sbef2.c ++++ /tmp/cocci-output-2167-61b3e1-sbef2.c @@ -1,5 +1,4 @@ int main() { f(12); @@ -9924,7 +9960,7 @@ scope_problem.res diff = --- tests/scope_problem.c -+++ /tmp/cocci-output-3944429-8cd57f-scope_problem.c ++++ /tmp/cocci-output-2167-6eaee7-scope_problem.c @@ -1,15 +1,7 @@ void main(int i) { - @@ -9946,14 +9982,14 @@ SPECIAL NAMES: adding MyFloat as a type diff = --- tests/sd_2.c -+++ /tmp/cocci-output-3944429-7d8aac-sd_2.c ++++ /tmp/cocci-output-2167-83a449-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-3944429-a9ff91-serio.c ++++ /tmp/cocci-output-2167-79a9f6-serio.c @@ -1,8 +1,8 @@ struct serio { - struct semaphore drv_sem; @@ -9971,7 +10007,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/shared_brace.c -+++ /tmp/cocci-output-3944429-7c531d-shared_brace.c ++++ /tmp/cocci-output-2167-f7c331-shared_brace.c @@ -1,9 +1,7 @@ int __init ixj_init(void) @@ -9992,7 +10028,7 @@ warning: line 23: should p be a metavariable? diff = --- tests/signed.c -+++ /tmp/cocci-output-3944429-2ed570-signed.c ++++ /tmp/cocci-output-2167-14b810-signed.c @@ -1,5 +1,5 @@ -int main(signed *m, unsigned *p) { - signed x; @@ -10007,7 +10043,7 @@ SPECIAL NAMES: adding DEFINE_MUTEX as a declarer diff = --- tests/sis.c -+++ /tmp/cocci-output-3944429-7fa595-sis.c ++++ /tmp/cocci-output-2167-7f6046-sis.c @@ -1,4 +1,4 @@ -DECLARE_MUTEX(disconnect_sem); +DEFINE_MUTEX(disconnect_sem); @@ -10017,7 +10053,7 @@ sizeof.res diff = --- tests/sizeof.c -+++ /tmp/cocci-output-3944429-eb17be-sizeof.c ++++ /tmp/cocci-output-2167-0c8ae2-sizeof.c @@ -1,7 +1,7 @@ int main (int param) { @@ -10031,7 +10067,7 @@ sizeof_julia.res diff = --- tests/sizeof_julia.c -+++ /tmp/cocci-output-3944429-bbcd12-sizeof_julia.c ++++ /tmp/cocci-output-2167-2d0790-sizeof_julia.c @@ -1,5 +1,5 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) @@ -10042,7 +10078,7 @@ sizeptr.res diff = --- tests/sizeptr.c -+++ /tmp/cocci-output-3944429-2b6945-sizeptr.c ++++ /tmp/cocci-output-2167-da9cd7-sizeptr.c @@ -5,7 +5,7 @@ int main () { ssize_t b; ptrdiff_t c; @@ -10057,7 +10093,7 @@ sizestar.res diff = --- tests/sizestar.c -+++ /tmp/cocci-output-3944429-08aa5d-sizestar.c ++++ /tmp/cocci-output-2167-0fb152-sizestar.c @@ -1,7 +1,7 @@ int main () { max = num_var_ranges; @@ -10070,7 +10106,7 @@ sizet1.res diff = --- tests/sizet1.c -+++ /tmp/cocci-output-3944429-ce30c6-sizet1.c ++++ /tmp/cocci-output-2167-906dd7-sizet1.c @@ -1,3 +1,2 @@ int main() { - size_t x; @@ -10078,7 +10114,7 @@ skip.res diff = --- tests/skip.c -+++ /tmp/cocci-output-3944429-78790b-skip.c ++++ /tmp/cocci-output-2167-7eb52b-skip.c @@ -1,5 +1,3 @@ int main () { - f(1); @@ -10089,7 +10125,7 @@ sl2.res diff = --- tests/sl2.c -+++ /tmp/cocci-output-3944429-052bff-sl2.c ++++ /tmp/cocci-output-2167-3bea2a-sl2.c @@ -1,11 +1,14 @@ int main () { + something(); @@ -10110,12 +10146,12 @@ one(); slen.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_0066f6.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_0066f6.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_3e1d5a.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_3e1d5a.ml Compilation OK! Loading ML code of the SP... diff = --- tests/slen.c -+++ /tmp/cocci-output-3944429-f0d3af-slen.c ++++ /tmp/cocci-output-2167-1f5db6-slen.c @@ -3,16 +3,10 @@ int main() { one(); } @@ -10138,7 +10174,7 @@ smallfn.res diff = --- tests/smallfn.c -+++ /tmp/cocci-output-3944429-a28595-smallfn.c ++++ /tmp/cocci-output-2167-c6ed05-smallfn.c @@ -1,30 +1,65 @@ int main () { if (y) { @@ -10218,7 +10254,7 @@ snprintf.res diff = --- tests/snprintf.c -+++ /tmp/cocci-output-3944429-5e6f64-snprintf.c ++++ /tmp/cocci-output-2167-6e7b06-snprintf.c @@ -1,4 +1,4 @@ static ssize_t idletimer_tg_show(char *buf) { @@ -10228,7 +10264,7 @@ sp.res diff = --- tests/sp.c -+++ /tmp/cocci-output-3944429-567073-sp.c ++++ /tmp/cocci-output-2167-2b200b-sp.c @@ -1,4 +1,4 @@ -typedef struct { +struct name { @@ -10240,7 +10276,7 @@ spacing.res diff = --- tests/spacing.c -+++ /tmp/cocci-output-3944429-5eff6c-spacing.c ++++ /tmp/cocci-output-2167-33b715-spacing.c @@ -1,8 +1,21 @@ typedef int *foo; @@ -10266,7 +10302,7 @@ spl.res diff = --- tests/spl.c -+++ /tmp/cocci-output-3944429-079033-spl.c ++++ /tmp/cocci-output-2167-9af5e3-spl.c @@ -2,11 +2,13 @@ int main() { spin_lock(&isp116x->lock); /* take idle endpoints out of the schedule */ @@ -10284,7 +10320,7 @@ split_funcall1.res diff = --- tests/split_funcall1.c -+++ /tmp/cocci-output-3944429-e317cd-split_funcall1.c ++++ /tmp/cocci-output-2167-3319a4-split_funcall1.c @@ -1,4 +1,4 @@ int main(void) { @@ -10294,7 +10330,7 @@ split_funcall2.res diff = --- tests/split_funcall2.c -+++ /tmp/cocci-output-3944429-ed6ea8-split_funcall2.c ++++ /tmp/cocci-output-2167-9ce094-split_funcall2.c @@ -1,4 +1,4 @@ int main(void) { @@ -10304,7 +10340,7 @@ square.res diff = --- tests/square.c -+++ /tmp/cocci-output-3944429-684267-square.c ++++ /tmp/cocci-output-2167-fddf29-square.c @@ -2,7 +2,7 @@ int two() { return 2; } int main() { int a[3]; @@ -10320,7 +10356,7 @@ SPECIAL NAMES: adding LPINT as a type diff = --- tests/starprint.c -+++ /tmp/cocci-output-3944429-f2e86e-starprint.c ++++ /tmp/cocci-output-2167-1d0b6f-starprint.c @@ -1,6 +1,6 @@ typedef int *LPINT; @@ -10332,7 +10368,7 @@ static.res diff = --- tests/static.c -+++ /tmp/cocci-output-3944429-277433-static.c ++++ /tmp/cocci-output-2167-6c7b30-static.c @@ -1,4 +1,3 @@ static inline int i8042_read_data(void) { @@ -10343,7 +10379,7 @@ stm10.res diff = --- tests/stm10.c -+++ /tmp/cocci-output-3944429-67ccc3-stm10.c ++++ /tmp/cocci-output-2167-dc6be0-stm10.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -10355,7 +10391,7 @@ stm10_ver1.res diff = --- tests/stm10_ver1.c -+++ /tmp/cocci-output-3944429-71afcf-stm10_ver1.c ++++ /tmp/cocci-output-2167-980d7d-stm10_ver1.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10366,7 +10402,7 @@ stm2.res diff = --- tests/stm2.c -+++ /tmp/cocci-output-3944429-086765-stm2.c ++++ /tmp/cocci-output-2167-04c362-stm2.c @@ -1,5 +1,4 @@ int main(int x) { f(); @@ -10376,7 +10412,7 @@ stm3.res diff = --- tests/stm3.c -+++ /tmp/cocci-output-3944429-33b0b5-stm3.c ++++ /tmp/cocci-output-2167-185687-stm3.c @@ -1,5 +1,5 @@ int main(int x) { f(); @@ -10387,7 +10423,7 @@ stm4.res diff = --- tests/stm4.c -+++ /tmp/cocci-output-3944429-3c9882-stm4.c ++++ /tmp/cocci-output-2167-30ce0f-stm4.c @@ -2,4 +2,5 @@ int main(int x) { f(); replace(); @@ -10397,7 +10433,7 @@ stm5.res diff = --- tests/stm5.c -+++ /tmp/cocci-output-3944429-aa0a61-stm5.c ++++ /tmp/cocci-output-2167-174369-stm5.c @@ -1,5 +1,7 @@ int main(int x) { f(); @@ -10409,7 +10445,7 @@ stm6.res diff = --- tests/stm6.c -+++ /tmp/cocci-output-3944429-cfb263-stm6.c ++++ /tmp/cocci-output-2167-5dce1e-stm6.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10422,7 +10458,7 @@ stm8.res diff = --- tests/stm8.c -+++ /tmp/cocci-output-3944429-902984-stm8.c ++++ /tmp/cocci-output-2167-7d7852-stm8.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10433,7 +10469,7 @@ stm_exp.res diff = --- tests/stm_exp.c -+++ /tmp/cocci-output-3944429-23174b-stm_exp.c ++++ /tmp/cocci-output-2167-54c967-stm_exp.c @@ -1,7 +1,5 @@ int main() { - abs(); @@ -10445,7 +10481,7 @@ stmt.res diff = --- tests/stmt.c -+++ /tmp/cocci-output-3944429-562132-stmt.c ++++ /tmp/cocci-output-2167-5033fc-stmt.c @@ -1,4 +1,5 @@ int f() { int x; @@ -10455,7 +10491,7 @@ stmt_removed_and_added.res diff = --- tests/stmt_removed_and_added.c -+++ /tmp/cocci-output-3944429-06d631-stmt_removed_and_added.c ++++ /tmp/cocci-output-2167-c275e4-stmt_removed_and_added.c @@ -1,6 +1,6 @@ void main() { @@ -10468,7 +10504,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/str_init.c -+++ /tmp/cocci-output-3944429-780ce8-str_init.c ++++ /tmp/cocci-output-2167-7f3d3c-str_init.c @@ -1,7 +1,3 @@ struct foo x = { - .aaa = 5, @@ -10481,7 +10517,7 @@ warning: rule starting on line 1: metavariable f not used in the - or context code diff = --- tests/strangeorder.c -+++ /tmp/cocci-output-3944429-bd5009-strangeorder.c ++++ /tmp/cocci-output-2167-4f4125-strangeorder.c @@ -4,8 +4,10 @@ i2c_new_device(struct i2c_adapter *adap, struct i2c_client *client; @@ -10497,7 +10533,7 @@ strid.res diff = --- tests/strid.c -+++ /tmp/cocci-output-3944429-c81ac7-strid.c ++++ /tmp/cocci-output-2167-5f1e54-strid.c @@ -1,4 +1,4 @@ int main () { struct foo *a; @@ -10507,7 +10543,7 @@ strid2.res diff = --- tests/strid2.c -+++ /tmp/cocci-output-3944429-83c884-strid2.c ++++ /tmp/cocci-output-2167-768d82-strid2.c @@ -3,8 +3,8 @@ int main () { enum foo1 *b; struct foo a1; @@ -10523,7 +10559,7 @@ strtest.res diff = --- tests/strtest.c -+++ /tmp/cocci-output-3944429-7d0466-strtest.c ++++ /tmp/cocci-output-2167-7331e1-strtest.c @@ -1,3 +1,3 @@ int main() { - printf("hello\n"); @@ -10532,7 +10568,7 @@ struct.res diff = --- tests/struct.c -+++ /tmp/cocci-output-3944429-d09199-struct.c ++++ /tmp/cocci-output-2167-45dcf1-struct.c @@ -8,7 +8,5 @@ struct foo { int main() { @@ -10544,7 +10580,7 @@ struct_metavar.res diff = --- tests/struct_metavar.c -+++ /tmp/cocci-output-3944429-5386f3-struct_metavar.c ++++ /tmp/cocci-output-2167-a36ba5-struct_metavar.c @@ -9,9 +9,6 @@ struct foo { int main() { struct foo *a; @@ -10558,7 +10594,7 @@ struct_typedef.res diff = --- tests/struct_typedef.c -+++ /tmp/cocci-output-3944429-1cf89f-struct_typedef.c ++++ /tmp/cocci-output-2167-c77148-struct_typedef.c @@ -1,5 +1,5 @@ -typedef struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -10572,7 +10608,7 @@ warning: line 5: should my_foo be a metavariable? diff = --- tests/structfoo.c -+++ /tmp/cocci-output-3944429-6d68e0-structfoo.c ++++ /tmp/cocci-output-2167-21ad5f-structfoo.c @@ -1,4 +1 @@ -struct foo my_foo[] = { -.a = 1, @@ -10582,7 +10618,7 @@ structptr_func.res diff = --- tests/structptr_func.c -+++ /tmp/cocci-output-3944429-571dfe-structptr_func.c ++++ /tmp/cocci-output-2167-16660b-structptr_func.c @@ -1,5 +1,6 @@ void func(struct socket *sock, struct sockaddr *uaddr, int peer) { @@ -10594,7 +10630,7 @@ substruct.res diff = --- tests/substruct.c -+++ /tmp/cocci-output-3944429-eab542-substruct.c ++++ /tmp/cocci-output-2167-b74bf0-substruct.c @@ -1,5 +1,5 @@ struct a { int a; } x[2] = { @@ -10606,14 +10642,14 @@ sw.res diff = --- tests/sw.c -+++ /tmp/cocci-output-3944429-aa489e-sw.c ++++ /tmp/cocci-output-2167-1b717b-sw.c @@ -1 +1 @@ -int f() { switch (x) { case FOO: return; } } + swap3.res diff = --- tests/swap3.c -+++ /tmp/cocci-output-3944429-3f84f0-swap3.c ++++ /tmp/cocci-output-2167-7032c2-swap3.c @@ -2,7 +2,7 @@ static void __ar955x_tx_iq_cal_sort(stru struct coeff *coeff, int i, int nmeasurement) @@ -10626,7 +10662,7 @@ switch.res diff = --- tests/switch.c -+++ /tmp/cocci-output-3944429-8d30b9-switch.c ++++ /tmp/cocci-output-2167-40aa2a-switch.c @@ -3,6 +3,5 @@ int main () { default: break; @@ -10638,7 +10674,7 @@ warning: switch_1: metavariable S_1 not used in the - or context code diff = --- tests/switchdecl.c -+++ /tmp/cocci-output-3944429-fcdb40-switchdecl.c ++++ /tmp/cocci-output-2167-8d526b-switchdecl.c @@ -4,7 +4,7 @@ switch (2) { int x; @@ -10652,7 +10688,7 @@ warning: line 12: should g be a metavariable? diff = --- tests/symbol.c -+++ /tmp/cocci-output-3944429-f3b32d-symbol.c ++++ /tmp/cocci-output-2167-0c00ac-symbol.c @@ -1,7 +1,5 @@ int main() { int f = 0; @@ -10664,7 +10700,7 @@ td.res diff = --- tests/td.c -+++ /tmp/cocci-output-3944429-e939a0-td.c ++++ /tmp/cocci-output-2167-4fd142-td.c @@ -1,5 +1,5 @@ -struct foo {int a;}; +struct foo {int b;}; @@ -10677,7 +10713,7 @@ tdnl.res diff = --- tests/tdnl.c -+++ /tmp/cocci-output-3944429-ba13e5-tdnl.c ++++ /tmp/cocci-output-2167-abd70f-tdnl.c @@ -4,5 +4,4 @@ void main() { @@ -10687,14 +10723,14 @@ tdplus.res diff = --- tests/tdplus.c -+++ /tmp/cocci-output-3944429-17a3b4-tdplus.c ++++ /tmp/cocci-output-2167-9d0abd-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-3944429-e9872b-tern.c ++++ /tmp/cocci-output-2167-b765c5-tern.c @@ -1,4 +1,4 @@ int main () { - return (wc >= 0 && wc <= 0x7f ? wc : 0x7f); @@ -10704,7 +10740,7 @@ test0.res diff = --- tests/test0.c -+++ /tmp/cocci-output-3944429-27e161-test0.c ++++ /tmp/cocci-output-2167-56f82e-test0.c @@ -1,5 +1,3 @@ int main(int i) { - f(1); @@ -10714,7 +10750,7 @@ test1.res diff = --- tests/test1.c -+++ /tmp/cocci-output-3944429-113313-test1.c ++++ /tmp/cocci-output-2167-7f0c39-test1.c @@ -6,9 +6,9 @@ void main(int foo) { x(); if(1) { @@ -10731,7 +10767,7 @@ test10_ver1.res diff = --- tests/test10_ver1.c -+++ /tmp/cocci-output-3944429-3942aa-test10_ver1.c ++++ /tmp/cocci-output-2167-500c5d-test10_ver1.c @@ -3,7 +3,7 @@ void main(int i) { f(1); g(1); @@ -10745,7 +10781,7 @@ test11_ver1.res diff = --- tests/test11_ver1.c -+++ /tmp/cocci-output-3944429-d0d31b-test11_ver1.c ++++ /tmp/cocci-output-2167-d6d9dc-test11_ver1.c @@ -2,6 +2,6 @@ void main(int i) { f(1); g(1); @@ -10757,7 +10793,7 @@ test12.res diff = --- tests/test12.c -+++ /tmp/cocci-output-3944429-caa3d7-test12.c ++++ /tmp/cocci-output-2167-b2c580-test12.c @@ -1,6 +1,6 @@ void main(int foo) { @@ -10769,7 +10805,7 @@ test2.res diff = --- tests/test2.c -+++ /tmp/cocci-output-3944429-dbb13d-test2.c ++++ /tmp/cocci-output-2167-f9f047-test2.c @@ -2,7 +2,7 @@ void main() { f(1,2,3); @@ -10783,7 +10819,7 @@ test3.res diff = --- tests/test3.c -+++ /tmp/cocci-output-3944429-b8dc2b-test3.c ++++ /tmp/cocci-output-2167-1ab9bf-test3.c @@ -4,7 +4,7 @@ void main() f(3); @@ -10797,7 +10833,7 @@ test4.res diff = --- tests/test4.c -+++ /tmp/cocci-output-3944429-80cfa7-test4.c ++++ /tmp/cocci-output-2167-8013d3-test4.c @@ -1,7 +1,6 @@ void main() { @@ -10809,7 +10845,7 @@ test5.res diff = --- tests/test5.c -+++ /tmp/cocci-output-3944429-406c1b-test5.c ++++ /tmp/cocci-output-2167-5d6d2a-test5.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10825,7 +10861,7 @@ test5_ver1.res diff = --- tests/test5_ver1.c -+++ /tmp/cocci-output-3944429-1c3410-test5_ver1.c ++++ /tmp/cocci-output-2167-5f9a8c-test5_ver1.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10841,7 +10877,7 @@ test6.res diff = --- tests/test6.c -+++ /tmp/cocci-output-3944429-a13a8a-test6.c ++++ /tmp/cocci-output-2167-587790-test6.c @@ -4,13 +4,13 @@ void main() { /* a comment */ @@ -10872,7 +10908,7 @@ test7.res diff = --- tests/test7.c -+++ /tmp/cocci-output-3944429-1654fd-test7.c ++++ /tmp/cocci-output-2167-93cc76-test7.c @@ -2,10 +2,12 @@ void main() { @@ -10891,7 +10927,7 @@ test8.res diff = --- tests/test8.c -+++ /tmp/cocci-output-3944429-651286-test8.c ++++ /tmp/cocci-output-2167-e1c47e-test8.c @@ -1,7 +1,6 @@ -void main(int foo) { +void main(char i, int foo) { @@ -10904,7 +10940,7 @@ test9.res diff = --- tests/test9.c -+++ /tmp/cocci-output-3944429-6b47a1-test9.c ++++ /tmp/cocci-output-2167-04c666-test9.c @@ -4,9 +4,9 @@ void main(int foo) { // f(1); // if uncomment then problems g(2); @@ -10920,7 +10956,7 @@ test_s.res diff = --- tests/test_s.c -+++ /tmp/cocci-output-3944429-01a3d2-test_s.c ++++ /tmp/cocci-output-2167-256636-test_s.c @@ -2,7 +2,7 @@ int main () { if (x-one) { one(); @@ -10948,7 +10984,7 @@ warning: line 39: should y be a metavariable? diff = --- tests/test_unsigned_meta.c -+++ /tmp/cocci-output-3944429-09885d-test_unsigned_meta.c ++++ /tmp/cocci-output-2167-6de77f-test_unsigned_meta.c @@ -1,8 +1,12 @@ int main () { - unsigned int x; @@ -10968,7 +11004,7 @@ testand.res diff = --- tests/testand.c -+++ /tmp/cocci-output-3944429-5ab533-testand.c ++++ /tmp/cocci-output-2167-2b2582-testand.c @@ -1,5 +1,5 @@ int main () { f(1,2,3,4); @@ -10980,7 +11016,7 @@ testand2.res diff = --- tests/testand2.c -+++ /tmp/cocci-output-3944429-3441bc-testand2.c ++++ /tmp/cocci-output-2167-c4c978-testand2.c @@ -1,6 +1,6 @@ int main () { f(1,2,3,4); @@ -10992,7 +11028,7 @@ three_types.res diff = --- tests/three_types.c -+++ /tmp/cocci-output-3944429-5e3db4-three_types.c ++++ /tmp/cocci-output-2167-9536df-three_types.c @@ -7,5 +7,5 @@ via_init_dmablit(drm_device_t *dev) { drm_via_blitq_t *blitq; @@ -11003,7 +11039,7 @@ threea.res diff = --- tests/threea.c -+++ /tmp/cocci-output-3944429-2de566-threea.c ++++ /tmp/cocci-output-2167-c7edaf-threea.c @@ -1,4 +1,3 @@ int main() { f(12); @@ -11012,7 +11048,7 @@ tloop.res diff = --- tests/tloop.c -+++ /tmp/cocci-output-3944429-a6e3cf-tloop.c ++++ /tmp/cocci-output-2167-9999c4-tloop.c @@ -1,6 +1,5 @@ int foo(void) { @@ -11025,7 +11061,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/top.c -+++ /tmp/cocci-output-3944429-b4a920-top.c ++++ /tmp/cocci-output-2167-852e54-top.c @@ -1 +1 @@ -MODULE_PARM(suppress_pollack, "i"); +module_param(I, int, 0); @@ -11033,7 +11069,7 @@ SPECIAL NAMES: adding LIST_HEAD as a declarer diff = --- tests/topdec.c -+++ /tmp/cocci-output-3944429-e5b8f2-topdec.c ++++ /tmp/cocci-output-2167-1d913d-topdec.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -11043,7 +11079,7 @@ topdec_ver1.res diff = --- tests/topdec_ver1.c -+++ /tmp/cocci-output-3944429-7c1f2a-topdec_ver1.c ++++ /tmp/cocci-output-2167-b7d3bf-topdec_ver1.c @@ -4,4 +4,4 @@ static int debug; /* Network device part of the driver */ @@ -11053,7 +11089,7 @@ topdec_ver2.res diff = --- tests/topdec_ver2.c -+++ /tmp/cocci-output-3944429-df0b6e-topdec_ver2.c ++++ /tmp/cocci-output-2167-4685ac-topdec_ver2.c @@ -5,4 +5,4 @@ static int debug; /* Network device part of the driver */ @@ -11063,7 +11099,7 @@ topdecl.res diff = --- tests/topdecl.c -+++ /tmp/cocci-output-3944429-084842-topdecl.c ++++ /tmp/cocci-output-2167-6f92ac-topdecl.c @@ -1,3 +1,3 @@ int main () { - int x = foo(); @@ -11074,7 +11110,7 @@ SPECIAL NAMES: adding module_param as a declarer diff = --- tests/toplevel_macrostmt.c -+++ /tmp/cocci-output-3944429-b34685-toplevel_macrostmt.c ++++ /tmp/cocci-output-2167-98a2f6-toplevel_macrostmt.c @@ -2,7 +2,7 @@ void main(int i) { } @@ -11088,7 +11124,7 @@ warning: line 5: should usb_stor_host_template be a metavariable? diff = --- tests/toplevel_struct.c -+++ /tmp/cocci-output-3944429-dac6b3-toplevel_struct.c ++++ /tmp/cocci-output-2167-4a493e-toplevel_struct.c @@ -3,6 +3,7 @@ struct SHT usb_stor_host_template = { .name = "usb-storage", .proc_name = "usb-storage", @@ -11114,7 +11150,7 @@ triplet.res diff = --- tests/triplet.c -+++ /tmp/cocci-output-3944429-42f82a-triplet.c ++++ /tmp/cocci-output-2167-9fdab2-triplet.c @@ -1,5 +1,6 @@ typedef double dtriplet_t[3] ; // FIXME: such code would not be parsed on cocci side @@ -11127,7 +11163,7 @@ warning: rule starting on line 10: metavariable B not used in the - or context code diff = --- tests/tup.c -+++ /tmp/cocci-output-3944429-5aff25-tup.c ++++ /tmp/cocci-output-2167-6c796f-tup.c @@ -1,7 +1,7 @@ static int cm206_block_ioctl(struct inode *inode, struct file *file, unsigned cmd, unsigned long arg) @@ -11140,7 +11176,7 @@ twomatch.res diff = --- tests/twomatch.c -+++ /tmp/cocci-output-3944429-802724-twomatch.c ++++ /tmp/cocci-output-2167-8ee4ba-twomatch.c @@ -1,5 +1,5 @@ int main() { bar(12,1); @@ -11152,7 +11188,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/twoproto.c -+++ /tmp/cocci-output-3944429-656d73-twoproto.c ++++ /tmp/cocci-output-2167-234e9d-twoproto.c @@ -1,11 +1,9 @@ static void tc574_config(dev_link_t *link); @@ -11170,7 +11206,7 @@ ty.res diff = --- tests/ty.c -+++ /tmp/cocci-output-3944429-b65fe2-ty.c ++++ /tmp/cocci-output-2167-055ce5-ty.c @@ -1,4 +1,4 @@ int main () { - struct foo x; @@ -11181,7 +11217,7 @@ warning: line 7: should x be a metavariable? diff = --- tests/ty1.c -+++ /tmp/cocci-output-3944429-9f42b4-ty1.c ++++ /tmp/cocci-output-2167-08e713-ty1.c @@ -1,4 +1,3 @@ int fn(int y) { char x; @@ -11190,7 +11226,7 @@ ty_tyexp.res diff = --- tests/ty_tyexp.c -+++ /tmp/cocci-output-3944429-dd300c-ty_tyexp.c ++++ /tmp/cocci-output-2167-b92a46-ty_tyexp.c @@ -1,11 +1,11 @@ void main(double z) { @@ -11212,7 +11248,7 @@ SPECIAL NAMES: adding uint64_t as a type diff = --- tests/tydisj.c -+++ /tmp/cocci-output-3944429-6515c3-tydisj.c ++++ /tmp/cocci-output-2167-3efcd4-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(); @@ -11223,7 +11259,7 @@ SPECIAL NAMES: adding Location as a type diff = --- tests/tyex.c -+++ /tmp/cocci-output-3944429-047ec9-tyex.c ++++ /tmp/cocci-output-2167-82d17b-tyex.c @@ -1,12 +1,15 @@ typedef struct { double x; @@ -11245,7 +11281,7 @@ type.res diff = --- tests/type.c -+++ /tmp/cocci-output-3944429-069333-type.c ++++ /tmp/cocci-output-2167-4d9cba-type.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11256,7 +11292,7 @@ type1.res diff = --- tests/type1.c -+++ /tmp/cocci-output-3944429-10724f-type1.c ++++ /tmp/cocci-output-2167-828b26-type1.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11267,7 +11303,7 @@ type_and_var.res diff = --- tests/type_and_var.c -+++ /tmp/cocci-output-3944429-fad50a-type_and_var.c ++++ /tmp/cocci-output-2167-0479f3-type_and_var.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -11304,7 +11340,7 @@ type_and_var2.res diff = --- tests/type_and_var2.c -+++ /tmp/cocci-output-3944429-1f5106-type_and_var2.c ++++ /tmp/cocci-output-2167-601dfb-type_and_var2.c @@ -1,22 +1,28 @@ int main1() { - size_t a, b; @@ -11341,7 +11377,7 @@ type_annotated.res diff = --- tests/type_annotated.c -+++ /tmp/cocci-output-3944429-7deed9-type_annotated.c ++++ /tmp/cocci-output-2167-9ab534-type_annotated.c @@ -4,7 +4,7 @@ void f1(int z) { struct foo2 j; int k; @@ -11362,7 +11398,7 @@ type_constraints.res diff = --- tests/type_constraints.c -+++ /tmp/cocci-output-3944429-86458e-type_constraints.c ++++ /tmp/cocci-output-2167-5a6744-type_constraints.c @@ -1,9 +1,9 @@ void f(void) { int i; @@ -11379,7 +11415,7 @@ type_ver1.res diff = --- tests/type_ver1.c -+++ /tmp/cocci-output-3944429-7dcbbb-type_ver1.c ++++ /tmp/cocci-output-2167-de596a-type_ver1.c @@ -1,5 +1,5 @@ int foo() { - struct foo x; @@ -11390,7 +11426,7 @@ type_ver2.res diff = --- tests/type_ver2.c -+++ /tmp/cocci-output-3944429-4ce8bc-type_ver2.c ++++ /tmp/cocci-output-2167-6b91e8-type_ver2.c @@ -1,5 +1,5 @@ int foo() { - int x[10]; @@ -11402,7 +11438,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef.c -+++ /tmp/cocci-output-3944429-ac6884-typedef.c ++++ /tmp/cocci-output-2167-98f193-typedef.c @@ -1,15 +1,15 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11426,7 +11462,7 @@ SPECIAL NAMES: adding dev_link_t as a type diff = --- tests/typedef3.c -+++ /tmp/cocci-output-3944429-f1d858-typedef3.c ++++ /tmp/cocci-output-2167-2ab556-typedef3.c @@ -1,5 +1,5 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11445,7 +11481,7 @@ typeof.res diff = --- tests/typeof.c -+++ /tmp/cocci-output-3944429-d9cc77-typeof.c ++++ /tmp/cocci-output-2167-e1bfaf-typeof.c @@ -1,6 +1,4 @@ int main() { int x; @@ -11456,7 +11492,7 @@ typeof_expr.res diff = --- tests/typeof_expr.c -+++ /tmp/cocci-output-3944429-d380a1-typeof_expr.c ++++ /tmp/cocci-output-2167-9d0ade-typeof_expr.c @@ -1,4 +1,4 @@ int main () { int x = 0; @@ -11466,7 +11502,7 @@ typeofconst_i32l64.res diff = --- tests/typeofconst_i32l64.c -+++ /tmp/cocci-output-3944429-647cec-typeofconst_i32l64.c ++++ /tmp/cocci-output-2167-1e8543-typeofconst_i32l64.c @@ -1,49 +1,49 @@ void f() { -0; @@ -11563,7 +11599,7 @@ typeofconst_il32.res diff = --- tests/typeofconst_il32.c -+++ /tmp/cocci-output-3944429-95509e-typeofconst_il32.c ++++ /tmp/cocci-output-2167-e85184-typeofconst_il32.c @@ -1,49 +1,49 @@ void f() { -0; @@ -11660,7 +11696,7 @@ typin.res diff = --- tests/typin.c -+++ /tmp/cocci-output-3944429-56069e-typin.c ++++ /tmp/cocci-output-2167-30a950-typin.c @@ -2,7 +2,7 @@ int x; char y; @@ -11683,7 +11719,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-3944429-9303f5-unbrace.c ++++ /tmp/cocci-output-2167-59ab1a-unbrace.c @@ -5,8 +5,6 @@ static int mlxsw_sp_flower_parse_actions struct netlink_ext_ack *extack) { @@ -11878,7 +11914,7 @@ undref.res diff = --- tests/undref.c -+++ /tmp/cocci-output-3944429-ce5125-undref.c ++++ /tmp/cocci-output-2167-56f0ce-undref.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11886,13 +11922,13 @@ } undref2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_e20d33.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_e20d33.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_6d0d4b.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_6d0d4b.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref2.c -+++ /tmp/cocci-output-3944429-c9de92-undref2.c ++++ /tmp/cocci-output-2167-be300d-undref2.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11900,13 +11936,13 @@ } undref3.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_94c140.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_94c140.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_67734c.cmxs -g -I /build/reproducible-path/coccinelle-1.3.0.deb/ocaml -I /usr/lib/aarch64-linux-gnu/ocaml/5.3.0 -for-pack Coccinelle_modules /tmp/ocaml_cocci_67734c.ml Compilation OK! Loading ML code of the SP... diff = the value of f: unknown --- tests/undref3.c -+++ /tmp/cocci-output-3944429-660fc6-undref3.c ++++ /tmp/cocci-output-2167-1b4aed-undref3.c @@ -1,3 +1,3 @@ int main () { - bar(); @@ -11915,7 +11951,7 @@ unelse.res diff = --- tests/unelse.c -+++ /tmp/cocci-output-3944429-5b243d-unelse.c ++++ /tmp/cocci-output-2167-63c80d-unelse.c @@ -2,8 +2,6 @@ static short find_control(u16 control_in { if (!*pI) @@ -11930,7 +11966,7 @@ unfree.res diff = --- tests/unfree.c -+++ /tmp/cocci-output-3944429-0b1607-unfree.c ++++ /tmp/cocci-output-2167-d7b56f-unfree.c @@ -2,8 +2,7 @@ static void mppe_free(void *arg) { struct ppp_mppe_state *state = (struct ppp_mppe_state *) arg; @@ -11944,7 +11980,7 @@ unl.res diff = --- tests/unl.c -+++ /tmp/cocci-output-3944429-95a001-unl.c ++++ /tmp/cocci-output-2167-b3b007-unl.c @@ -1,10 +1,10 @@ int main () { - if (new_pe == NULL) { @@ -11961,7 +11997,7 @@ unstruct.res diff = --- tests/unstruct.c -+++ /tmp/cocci-output-3944429-4355b4-unstruct.c ++++ /tmp/cocci-output-2167-d6c7d3-unstruct.c @@ -1,4 +1,4 @@ -struct foo x __read_mostly = { .a = 12, }; @@ -11972,7 +12008,7 @@ unused.res diff = --- tests/unused.c -+++ /tmp/cocci-output-3944429-d8b302-unused.c ++++ /tmp/cocci-output-2167-1a23db-unused.c @@ -2,5 +2,5 @@ static int synth_field_string_size(char { char *start; @@ -11983,7 +12019,7 @@ updassign.res diff = --- tests/updassign.c -+++ /tmp/cocci-output-3944429-1dabe3-updassign.c ++++ /tmp/cocci-output-2167-88ad1a-updassign.c @@ -1,3 +1,3 @@ int main () { - int r = 1 + 2; @@ -11992,7 +12028,7 @@ useless_cast.res diff = --- tests/useless_cast.c -+++ /tmp/cocci-output-3944429-67ee64-useless_cast.c ++++ /tmp/cocci-output-2167-0602bd-useless_cast.c @@ -8,7 +8,7 @@ struct device { struct device *dev; @@ -12009,7 +12045,7 @@ warning: line 13: should ty_id be a metavariable? diff = --- tests/varargs.c -+++ /tmp/cocci-output-3944429-93076c-varargs.c ++++ /tmp/cocci-output-2167-3350f2-varargs.c @@ -1,6 +1,7 @@ static void @@ -12023,7 +12059,7 @@ varargs2.res diff = --- tests/varargs2.c -+++ /tmp/cocci-output-3944429-4ce1f6-varargs2.c ++++ /tmp/cocci-output-2167-d59ca1-varargs2.c @@ -1,3 +1,4 @@ static void f(char *fmt, ...) { @@ -12032,7 +12068,7 @@ varargs3.res diff = --- tests/varargs3.c -+++ /tmp/cocci-output-3944429-b9d073-varargs3.c ++++ /tmp/cocci-output-2167-02eb99-varargs3.c @@ -1,4 +1,3 @@ -static int foo(char *fmt, ...) { @@ -12049,7 +12085,7 @@ video1bis.res diff = --- tests/video1bis.c -+++ /tmp/cocci-output-3944429-cf48c6-video1bis.c ++++ /tmp/cocci-output-2167-dccb1f-video1bis.c @@ -3,7 +3,5 @@ void *arg) { if (cmd == VIDIOCGTUNER) { @@ -12061,7 +12097,7 @@ void.res diff = --- tests/void.c -+++ /tmp/cocci-output-3944429-9905ee-void.c ++++ /tmp/cocci-output-2167-55d39f-void.c @@ -2,4 +2,14 @@ int xbar(void) { return; } // this is some info about bar @@ -12080,7 +12116,7 @@ vpos.res diff = --- tests/vpos.c -+++ /tmp/cocci-output-3944429-94fcbc-vpos.c ++++ /tmp/cocci-output-2167-cb91f7-vpos.c @@ -1,9 +1,7 @@ int main() { f(2); @@ -12097,7 +12133,7 @@ SPECIAL NAMES: adding wchar_t as a type diff = --- tests/wchar.c -+++ /tmp/cocci-output-3944429-560a11-wchar.c ++++ /tmp/cocci-output-2167-a9edd6-wchar.c @@ -1,13 +1,4 @@ #include #include @@ -12115,7 +12151,7 @@ weird_argument.res diff = --- tests/weird_argument.c -+++ /tmp/cocci-output-3944429-f66640-weird_argument.c ++++ /tmp/cocci-output-2167-04f728-weird_argument.c @@ -1,7 +1,7 @@ static void ewx_i2c_setlines(snd_i2c_bus_t *bus, int clk, int data) { @@ -12131,7 +12167,7 @@ whitespace.res diff = --- tests/whitespace.c -+++ /tmp/cocci-output-3944429-1010b0-whitespace.c ++++ /tmp/cocci-output-2167-53e40c-whitespace.c @@ -1,3 +1,3 @@ int main () { - foo(sizeof (struct xxx)); @@ -12140,7 +12176,7 @@ wrongcheck.res diff = --- tests/wrongcheck.c -+++ /tmp/cocci-output-3944429-6f6a12-wrongcheck.c ++++ /tmp/cocci-output-2167-bd8953-wrongcheck.c @@ -1,5 +1,3 @@ int main () { - err = si476x_core_i2c_xfer(core, SI476X_I2C_RECV, @@ -12151,7 +12187,7 @@ warning: rule starting on line 1: metavariable A not used in the + code diff = --- tests/ws2.c -+++ /tmp/cocci-output-3944429-3ba554-ws2.c ++++ /tmp/cocci-output-2167-6a2281-ws2.c @@ -1,6 +1,5 @@ int main() { - if (foo()) @@ -12164,7 +12200,7 @@ SPECIAL NAMES: adding FOO as a declarer diff = --- tests/xfield.c -+++ /tmp/cocci-output-3944429-4b24a0-xfield.c ++++ /tmp/cocci-output-2167-e23c82-xfield.c @@ -1,4 +1,4 @@ -FOO(a2,b2,c2); +int x; @@ -12174,7 +12210,7 @@ y2.res diff = --- tests/y2.c -+++ /tmp/cocci-output-3944429-285129-y2.c ++++ /tmp/cocci-output-2167-b1fbc6-y2.c @@ -1,10 +1,6 @@ static void asuscom_interrupt_ipac(int intno, void *dev_id, struct pt_regs *regs) @@ -12189,7 +12225,7 @@ zero.res diff = --- tests/zero.c -+++ /tmp/cocci-output-3944429-1eb7a2-zero.c ++++ /tmp/cocci-output-2167-b217f5-zero.c @@ -1,6 +1,2 @@ int main () { - memset(command, 0, sizeof(struct sbp2_command_info)); @@ -12200,7 +12236,7 @@ zeroline.res diff = --- tests/zeroline.c -+++ /tmp/cocci-output-3944429-305631-zeroline.c ++++ /tmp/cocci-output-2167-522165-zeroline.c @@ -1,6 +1,7 @@ int main () { - int x; @@ -14049,47 +14085,47 @@ diversion by libc6 to: /lib/ld-linux-aarch64.so.1.usr-is-merged dh_installdeb dh_ocaml -W: coccinelle doesn't resolve dependency on unit Control_flow_c -W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c -W: coccinelle doesn't resolve dependency on unit Ograph_extended 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_stat +W: coccinelle doesn't resolve dependency on unit Token_annot W: coccinelle doesn't resolve dependency on unit Control_flow_c -W: coccinelle doesn't resolve dependency on unit Lexer_parser -W: coccinelle doesn't resolve dependency on unit Data -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 Danger +W: coccinelle doesn't resolve dependency on unit Type_annoter_c +W: coccinelle doesn't resolve dependency on unit Token_annot +W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c +W: coccinelle doesn't resolve dependency on unit Cpp_token_c W: coccinelle doesn't resolve dependency on unit Semantic_c +W: coccinelle doesn't resolve dependency on unit Includes_cache +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 Cpp_token_c +W: coccinelle doesn't resolve dependency on unit Data W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci W: coccinelle doesn't resolve dependency on unit Lexer_parser +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 Parsing_hacks +W: coccinelle doesn't resolve dependency on unit Ograph_extended W: coccinelle doesn't resolve dependency on unit Danger W: coccinelle doesn't resolve dependency on unit Includes_cache 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 Danger -W: coccinelle doesn't resolve dependency on unit Token_helpers -W: coccinelle doesn't resolve dependency on unit Token_helpers +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 Regexp_str W: coccinelle doesn't resolve dependency on unit Semantic_c -W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci -W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c W: coccinelle doesn't resolve dependency on unit Includes -W: coccinelle doesn't resolve dependency on unit Token_annot -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 Type_annoter_c +W: coccinelle doesn't resolve dependency on unit Lexer_parser +W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c -W: coccinelle doesn't resolve dependency on unit Regexp_str -W: coccinelle doesn't resolve dependency on unit Parsing_hacks -W: coccinelle doesn't resolve dependency on unit Cpp_token_c -W: coccinelle doesn't resolve dependency on unit Cpp_token_c -W: coccinelle doesn't resolve dependency on unit Includes_cache -W: coccinelle doesn't resolve dependency on unit Parsing_stat +W: coccinelle doesn't resolve dependency on unit Token_helpers W: coccinelle doesn't resolve dependency on unit Parsing_stat -W: coccinelle doesn't resolve dependency on unit Includes +W: coccinelle doesn't resolve dependency on unit Control_flow_c dh_gencontrol dh_md5sums dh_builddeb -dpkg-deb: building package 'coccinelle' in '../coccinelle_1.3.0.deb-1_arm64.deb'. dpkg-deb: building package 'coccinelle-dbgsym' in '../coccinelle-dbgsym_1.3.0.deb-1_arm64.deb'. +dpkg-deb: building package 'coccinelle' in '../coccinelle_1.3.0.deb-1_arm64.deb'. dpkg-genbuildinfo --build=binary -O../coccinelle_1.3.0.deb-1_arm64.buildinfo dpkg-genchanges --build=binary -O../coccinelle_1.3.0.deb-1_arm64.changes dpkg-genchanges: info: binary-only upload (no source code included) @@ -14097,12 +14133,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/4184248/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/4184248/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/3923861 and its subdirectories -I: Current time: Sat Oct 17 20:48:25 -12 2026 -I: pbuilder-time-stamp: 1792313305 +I: removing directory /srv/workspace/pbuilder/4184248 and its subdirectories +I: Current time: Mon Sep 15 16:28:01 +14 2025 +I: pbuilder-time-stamp: 1757903281