Diff of the two buildlogs: -- --- b1/build.log 2021-08-09 12:37:01.696264452 +0000 +++ b2/build.log 2021-08-09 12:40:40.896032208 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sun Sep 11 06:52:19 -12 2022 -I: pbuilder-time-stamp: 1662922339 +I: Current time: Tue Aug 10 02:37:03 +14 2021 +I: pbuilder-time-stamp: 1628512623 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -17,7 +17,7 @@ I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error -gpgv: Signature made Sun Jan 6 06:02:39 2019 -12 +gpgv: Signature made Mon Jan 7 08:02:39 2019 +14 gpgv: using RSA key AC9D68316918E4C026567767C16DA8E7F451B93C gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./coccinelle_1.0.4.deb-4.dsc @@ -31,136 +31,170 @@ dpkg-source: info: applying manual-build-fix.diff I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/10822/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/24387/tmp/hooks/D01_modify_environment starting +debug: Running on ionos1-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' +Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' +Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' +Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by 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/24387/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/24387/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16' - DISTRIBUTION='' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.0.3(1)-release' + BUILDDIR=/build + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15' + DIRSTACK=() + DISTRIBUTION= + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='2994278e51fc43059422731072f38699' - 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='10822' - PS1='# ' - PS2='> ' + INVOCATION_ID=7697d3df1f304540bc8321e2674805db + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=24387 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/tmp.rYrt8KgeFR/pbuilderrc_h2RK --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.rYrt8KgeFR/b1 --logfile b1/build.log coccinelle_1.0.4.deb-4.dsc' - SUDO_GID='110' - SUDO_UID='105' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://85.184.249.68: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/tmp.rYrt8KgeFR/pbuilderrc_ggcm --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.rYrt8KgeFR/b2 --logfile b2/build.log coccinelle_1.0.4.deb-4.dsc' + SUDO_GID=110 + SUDO_UID=105 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://78.137.99.97:3128 I: uname -a - Linux ionos5-amd64 5.10.0-0.bpo.8-amd64 #1 SMP Debian 5.10.46-2~bpo10+1 (2021-07-22) x86_64 GNU/Linux + Linux i-capture-the-hostname 4.19.0-17-amd64 #1 SMP Debian 4.19.194-3 (2021-07-18) x86_64 GNU/Linux I: ls -l /bin total 5116 - -rwxr-xr-x 1 root root 1168776 Apr 17 2019 bash - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bunzip2 - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzcat - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzip2 - -rwxr-xr-x 1 root root 14328 Jul 10 2019 bzip2recover - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore - -rwxr-xr-x 1 root root 43744 Feb 28 2019 cat - -rwxr-xr-x 1 root root 64320 Feb 28 2019 chgrp - -rwxr-xr-x 1 root root 64288 Feb 28 2019 chmod - -rwxr-xr-x 1 root root 72512 Feb 28 2019 chown - -rwxr-xr-x 1 root root 146880 Feb 28 2019 cp - -rwxr-xr-x 1 root root 121464 Jan 17 2019 dash - -rwxr-xr-x 1 root root 109408 Feb 28 2019 date - -rwxr-xr-x 1 root root 76712 Feb 28 2019 dd - -rwxr-xr-x 1 root root 93744 Feb 28 2019 df - -rwxr-xr-x 1 root root 138856 Feb 28 2019 dir - -rwxr-xr-x 1 root root 84288 Jan 9 2019 dmesg - lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname - -rwxr-xr-x 1 root root 39520 Feb 28 2019 echo - -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep - -rwxr-xr-x 1 root root 35424 Feb 28 2019 false - -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep - -rwxr-xr-x 1 root root 68880 Jan 9 2019 findmnt - -rwsr-xr-x 1 root root 34896 Apr 22 2020 fusermount - -rwxr-xr-x 1 root root 198976 Jan 7 2019 grep - -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip - -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe - -rwxr-xr-x 1 root root 98048 Jan 5 2019 gzip - -rwxr-xr-x 1 root root 26696 Sep 26 2018 hostname - -rwxr-xr-x 1 root root 68552 Feb 28 2019 ln - -rwxr-xr-x 1 root root 56760 Jul 26 2018 login - -rwxr-xr-x 1 root root 138856 Feb 28 2019 ls - -rwxr-xr-x 1 root root 108624 Jan 9 2019 lsblk - -rwxr-xr-x 1 root root 89088 Feb 28 2019 mkdir - -rwxr-xr-x 1 root root 68544 Feb 28 2019 mknod - -rwxr-xr-x 1 root root 43808 Feb 28 2019 mktemp - -rwxr-xr-x 1 root root 43008 Jan 9 2019 more - -rwsr-xr-x 1 root root 51280 Jan 9 2019 mount - -rwxr-xr-x 1 root root 14408 Jan 9 2019 mountpoint - -rwxr-xr-x 1 root root 138728 Feb 28 2019 mv - lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 39616 Feb 28 2019 pwd - lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash - -rwxr-xr-x 1 root root 47776 Feb 28 2019 readlink - -rwxr-xr-x 1 root root 68416 Feb 28 2019 rm - -rwxr-xr-x 1 root root 47776 Feb 28 2019 rmdir - -rwxr-xr-x 1 root root 23312 Jan 21 2019 run-parts - -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Sep 9 02:46 sh -> dash - -rwxr-xr-x 1 root root 39552 Feb 28 2019 sleep - -rwxr-xr-x 1 root root 80672 Feb 28 2019 stty - -rwsr-xr-x 1 root root 63568 Jan 9 2019 su - -rwxr-xr-x 1 root root 35488 Feb 28 2019 sync - -rwxr-xr-x 1 root root 445560 Apr 23 2019 tar - -rwxr-xr-x 1 root root 14440 Jan 21 2019 tempfile - -rwxr-xr-x 1 root root 97152 Feb 28 2019 touch - -rwxr-xr-x 1 root root 35424 Feb 28 2019 true - -rwxr-xr-x 1 root root 14328 Apr 22 2020 ulockmgr_server - -rwsr-xr-x 1 root root 34888 Jan 9 2019 umount - -rwxr-xr-x 1 root root 39584 Feb 28 2019 uname - -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress - -rwxr-xr-x 1 root root 138856 Feb 28 2019 vdir - -rwxr-xr-x 1 root root 34896 Jan 9 2019 wdctl - -rwxr-xr-x 1 root root 946 Jan 21 2019 which - lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat - -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp - -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff - -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep - -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep - -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce - -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep - -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless - -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore - -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew -I: user script /srv/workspace/pbuilder/10822/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1168776 Apr 18 2019 bash + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bunzip2 + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzcat + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2227 Jul 11 2019 bzdiff + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4877 Jun 25 2019 bzexe + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3641 Jul 11 2019 bzgrep + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzip2 + -rwxr-xr-x 1 root root 14328 Jul 11 2019 bzip2recover + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Jul 11 2019 bzmore + -rwxr-xr-x 1 root root 43744 Mar 1 2019 cat + -rwxr-xr-x 1 root root 64320 Mar 1 2019 chgrp + -rwxr-xr-x 1 root root 64288 Mar 1 2019 chmod + -rwxr-xr-x 1 root root 72512 Mar 1 2019 chown + -rwxr-xr-x 1 root root 146880 Mar 1 2019 cp + -rwxr-xr-x 1 root root 121464 Jan 18 2019 dash + -rwxr-xr-x 1 root root 109408 Mar 1 2019 date + -rwxr-xr-x 1 root root 76712 Mar 1 2019 dd + -rwxr-xr-x 1 root root 93744 Mar 1 2019 df + -rwxr-xr-x 1 root root 138856 Mar 1 2019 dir + -rwxr-xr-x 1 root root 84288 Jan 10 2019 dmesg + lrwxrwxrwx 1 root root 8 Sep 27 2018 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Sep 27 2018 domainname -> hostname + -rwxr-xr-x 1 root root 39520 Mar 1 2019 echo + -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep + -rwxr-xr-x 1 root root 35424 Mar 1 2019 false + -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep + -rwxr-xr-x 1 root root 68880 Jan 10 2019 findmnt + -rwsr-xr-x 1 root root 34896 Apr 23 2020 fusermount + -rwxr-xr-x 1 root root 198976 Jan 8 2019 grep + -rwxr-xr-x 2 root root 2345 Jan 6 2019 gunzip + -rwxr-xr-x 1 root root 6375 Jan 6 2019 gzexe + -rwxr-xr-x 1 root root 98048 Jan 6 2019 gzip + -rwxr-xr-x 1 root root 26696 Sep 27 2018 hostname + -rwxr-xr-x 1 root root 68552 Mar 1 2019 ln + -rwxr-xr-x 1 root root 56760 Jul 27 2018 login + -rwxr-xr-x 1 root root 138856 Mar 1 2019 ls + -rwxr-xr-x 1 root root 108624 Jan 10 2019 lsblk + -rwxr-xr-x 1 root root 89088 Mar 1 2019 mkdir + -rwxr-xr-x 1 root root 68544 Mar 1 2019 mknod + -rwxr-xr-x 1 root root 43808 Mar 1 2019 mktemp + -rwxr-xr-x 1 root root 43008 Jan 10 2019 more + -rwsr-xr-x 1 root root 51280 Jan 10 2019 mount + -rwxr-xr-x 1 root root 14408 Jan 10 2019 mountpoint + -rwxr-xr-x 1 root root 138728 Mar 1 2019 mv + lrwxrwxrwx 1 root root 8 Sep 27 2018 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Feb 15 2019 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 39616 Mar 1 2019 pwd + lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash + -rwxr-xr-x 1 root root 47776 Mar 1 2019 readlink + -rwxr-xr-x 1 root root 68416 Mar 1 2019 rm + -rwxr-xr-x 1 root root 47776 Mar 1 2019 rmdir + -rwxr-xr-x 1 root root 23312 Jan 22 2019 run-parts + -rwxr-xr-x 1 root root 122224 Dec 23 2018 sed + lrwxrwxrwx 1 root root 4 Aug 10 02:37 sh -> bash + lrwxrwxrwx 1 root root 4 Aug 7 22:25 sh.distrib -> dash + -rwxr-xr-x 1 root root 39552 Mar 1 2019 sleep + -rwxr-xr-x 1 root root 80672 Mar 1 2019 stty + -rwsr-xr-x 1 root root 63568 Jan 10 2019 su + -rwxr-xr-x 1 root root 35488 Mar 1 2019 sync + -rwxr-xr-x 1 root root 445560 Apr 24 2019 tar + -rwxr-xr-x 1 root root 14440 Jan 22 2019 tempfile + -rwxr-xr-x 1 root root 97152 Mar 1 2019 touch + -rwxr-xr-x 1 root root 35424 Mar 1 2019 true + -rwxr-xr-x 1 root root 14328 Apr 23 2020 ulockmgr_server + -rwsr-xr-x 1 root root 34888 Jan 10 2019 umount + -rwxr-xr-x 1 root root 39584 Mar 1 2019 uname + -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress + -rwxr-xr-x 1 root root 138856 Mar 1 2019 vdir + -rwxr-xr-x 1 root root 34896 Jan 10 2019 wdctl + -rwxr-xr-x 1 root root 946 Jan 22 2019 which + lrwxrwxrwx 1 root root 8 Sep 27 2018 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1983 Jan 6 2019 zcat + -rwxr-xr-x 1 root root 1677 Jan 6 2019 zcmp + -rwxr-xr-x 1 root root 5879 Jan 6 2019 zdiff + -rwxr-xr-x 1 root root 29 Jan 6 2019 zegrep + -rwxr-xr-x 1 root root 29 Jan 6 2019 zfgrep + -rwxr-xr-x 1 root root 2080 Jan 6 2019 zforce + -rwxr-xr-x 1 root root 7584 Jan 6 2019 zgrep + -rwxr-xr-x 1 root root 2205 Jan 6 2019 zless + -rwxr-xr-x 1 root root 1841 Jan 6 2019 zmore + -rwxr-xr-x 1 root root 4552 Jan 6 2019 znew +I: user script /srv/workspace/pbuilder/24387/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -1156,7 +1190,7 @@ fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/coccinelle-1.0.4.deb/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b +I: Running cd /build/coccinelle-1.0.4.deb/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package coccinelle dpkg-buildpackage: info: source version 1.0.4.deb-4 dpkg-buildpackage: info: source distribution unstable @@ -1215,7 +1249,7 @@ if test -z ""; then \ @echo cleaning generated parsers and lexers; \ rm -f lexer_cocci.ml lexer_cli.ml lexer_script.ml parser_cocci_menhir.ml parser_cocci_menhir.mli; fi -/bin/sh: 2: @echo: not found +/bin/sh: line 1: @echo: command not found make[3]: Leaving directory '/build/coccinelle-1.0.4.deb/parsing_cocci' make[3]: Entering directory '/build/coccinelle-1.0.4.deb/parsing_c' rm -f parsing_c.top @@ -1325,7 +1359,7 @@ checking whether make supports nested variables... yes configure: determining version suffix checking for date... /bin/date -configure: version suffix set to Sun, 11 Sep 2022 06:55:45 -1200 +configure: version suffix set to Tue, 10 Aug 2021 02:39:05 +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) @@ -1344,7 +1378,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... /bin/tar checking for patch... /usr/bin/patch checking for echo... /bin/echo @@ -1533,7 +1567,7 @@ mkdir -p ocaml/coccilib dh_auto_build dh_auto_build: Compatibility levels before 9 are deprecated (level 8 in use) - make -j16 + make -j15 make[2]: Entering directory '/build/coccinelle-1.0.4.deb' make[3]: Entering directory '/build/coccinelle-1.0.4.deb' make[3]: '.depend' is up to date. @@ -1573,11 +1607,11 @@ /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/enum.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/dynArray.mli /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.ml -skipped building ocamlextra/setPt.cmo in optimizing mode: ocamlextra/setPt.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oassoc.mli -/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c common.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c osequence.mli +skipped building ocamlextra/setPt.cmo in optimizing mode: ocamlextra/setPt.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c oarray.mli +/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c common.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/dynArray.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.ml File "common.ml", line 2197, characters 16-32: @@ -1596,10 +1630,10 @@ /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph_simple.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -I ocollection -c ograph_extended.mli -/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ograph.ml -/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ocollection/osetb.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c osequence.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ocollection/oassocb.ml +/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ograph.ml +/usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ocollection/osetb.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c oarray.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ograph_simple.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -I ocollection -c ograph_extended.ml @@ -1651,15 +1685,15 @@ /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast_cocci.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_printf.ml -skipped building semantic_cocci.cmo in optimizing mode: semantic_cocci.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c cocci_grep.ml -skipped building flag_parsing_cocci.cmo in optimizing mode: flag_parsing_cocci.cmx will be built instead. +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c git_grep.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c dpll.ml +skipped building flag_parsing_cocci.cmo in optimizing mode: flag_parsing_cocci.cmx will be built instead. File "parse_printf.ml", line 23, characters 19-34: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c git_grep.ml +skipped building semantic_cocci.cmo in optimizing mode: semantic_cocci.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c command_line.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0_cocci.mli @@ -1671,6 +1705,7 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c safe_for_multi_decls.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c disjdistr.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_constants2.mli +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c compute_lines.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c comm_assoc.mli @@ -1690,7 +1725,6 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c insert_plus.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c function_prototypes.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c data.mli -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c commas_on_lists.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_cocci.mli @@ -1703,13 +1737,13 @@ /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c arity.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c index.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c data.ml -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.ml skipped building visitor_ast0_types.cmo in optimizing mode: visitor_ast0_types.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_aux.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_compile.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.ml skipped building parse_aux.cmo in optimizing mode: parse_aux.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.ml @@ -1724,11 +1758,11 @@ /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c test_exps.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unitary_ast0.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c context_neg.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjust_pragmas.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.ml File "check_meta.ml", line 62, characters 28-44: Warning 3: deprecated: String.uppercase Use String.uppercase_ascii instead. -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjust_pragmas.ml -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c commas_on_lists.ml File "parser_cocci_menhir.mly", line 649, characters 29-44: Warning 52: Code should not depend on the actual values of @@ -1740,9 +1774,9 @@ /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c safe_for_multi_decls.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c disjdistr.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_constants2.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c insert_plus.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c single_statement.ml -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c function_prototypes.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_script.ml @@ -1763,8 +1797,8 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_annot.ml -skipped building token_c.cmo in optimizing mode: token_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c ast_c.ml +skipped building token_c.cmo in optimizing mode: token_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.ml skipped building parsing_stat.cmo in optimizing mode: parsing_stat.cmx will be built instead. skipped building ast_c.cmo in optimizing mode: ast_c.cmx will be built instead. @@ -1776,7 +1810,7 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c danger.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.mli -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.mli @@ -1786,27 +1820,27 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.ml +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_analysis_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.mli +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lib_parsing_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_consistency_c.ml -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.ml -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.ml -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c danger.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_string_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c danger.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.ml -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.ml @@ -1824,17 +1858,18 @@ make[7]: Entering directory '/build/coccinelle-1.0.4.deb/engine' make[8]: Entering directory '/build/coccinelle-1.0.4.deb/engine' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c flag_matcher.ml -skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c lib_engine.ml -skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. +skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_exhaustive_pattern.ml -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c isomorphisms_c_c.ml +skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c cocci_vs_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.ml +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.ml skipped building lib_engine.cmo in optimizing mode: lib_engine.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pattern_c.mli @@ -1844,7 +1879,6 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c postprocess_transinfo.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctlcocci_integration.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttomember.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.ml @@ -1875,8 +1909,8 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.ml @@ -1891,8 +1925,8 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.ml -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -a -o extra.cmxa classic_patch.cmx kbuild.cmx maintainers.cmx make[8]: Leaving directory '/build/coccinelle-1.0.4.deb/extra' make[7]: Leaving directory '/build/coccinelle-1.0.4.deb/extra' @@ -1916,10 +1950,10 @@ make[7]: Entering directory '/build/coccinelle-1.0.4.deb/ocaml' make[8]: Entering directory '/build/coccinelle-1.0.4.deb/ocaml' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c exposed_modules.ml -skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c prepare_ocamlcocci.mli -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.mli +skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.mli +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c coccilib.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c yes_prepare_ocamlcocci.ml @@ -1980,14 +2014,14 @@ make[6]: Entering directory '/build/coccinelle-1.0.4.deb/parsing_cocci' make[7]: Entering directory '/build/coccinelle-1.0.4.deb/parsing_cocci' skipped building visitor_ast0_types.cmo in optimizing mode: visitor_ast0_types.cmx will be built instead. -skipped building semantic_cocci.cmo in optimizing mode: semantic_cocci.cmx will be built instead. -skipped building flag_parsing_cocci.cmo in optimizing mode: flag_parsing_cocci.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.mli +skipped building semantic_cocci.cmo in optimizing mode: semantic_cocci.cmx will be built instead. +skipped building flag_parsing_cocci.cmo in optimizing mode: flag_parsing_cocci.cmx will be built instead. skipped building parse_aux.cmo in optimizing mode: parse_aux.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_compile.mli +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c comm_assoc.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.ml @@ -2032,24 +2066,24 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c danger.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.mli -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.ml -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.mli -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.mli -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.mli +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_string_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.ml +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.ml +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.mli +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.mli +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_analysis_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.mli +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lib_parsing_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_consistency_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_c.ml @@ -2077,16 +2111,17 @@ make[6]: Leaving directory '/build/coccinelle-1.0.4.deb/parsing_c' make[6]: Entering directory '/build/coccinelle-1.0.4.deb/engine' make[7]: Entering directory '/build/coccinelle-1.0.4.deb/engine' -skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c lib_engine.ml -skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. +skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_exhaustive_pattern.ml -/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.mli +skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c cocci_vs_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.ml +/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.mli /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.ml skipped building lib_engine.cmo in optimizing mode: lib_engine.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pattern_c.mli @@ -2096,7 +2131,6 @@ /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c postprocess_transinfo.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctlcocci_integration.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttomember.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.ml @@ -2117,15 +2151,15 @@ make[7]: Entering directory '/build/coccinelle-1.0.4.deb/popl09' skipped building ast_popl.cmo in optimizing mode: ast_popl.cmx will be built instead. skipped building ../engine/lib_engine.cmo in optimizing mode: ../engine/lib_engine.cmx will be built instead. -skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.mli +skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.mli -/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.ml +/usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o popl.cmxa ast_popl.cmx asttopopl.cmx insert_quantifiers.cmx pretty_print_popl.cmx flag_popl.cmx popltoctl.cmx popl.cmx @@ -2760,7 +2794,7 @@ /texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb> -Output written on manual.pdf (53 pages, 275426 bytes). +Output written on manual.pdf (53 pages, 275425 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2019/dev/Debian) (preloaded format=pdflatex) @@ -3207,7 +3241,7 @@ /texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb> -Output written on manual.pdf (54 pages, 283536 bytes). +Output written on manual.pdf (54 pages, 283531 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2019/dev/Debian) (preloaded format=pdflatex) @@ -3532,7 +3566,7 @@ texmf-dist/fonts/type1/urw/times/utmb8a.pfb> -Output written on main_grammar.pdf (24 pages, 212227 bytes). +Output written on main_grammar.pdf (24 pages, 212232 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2019/dev/Debian) (preloaded format=pdflatex) @@ -3842,7 +3876,7 @@ texmf-dist/fonts/type1/urw/times/utmb8a.pfb> -Output written on main_grammar.pdf (24 pages, 213388 bytes). +Output written on main_grammar.pdf (24 pages, 213395 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2019/dev/Debian) (preloaded format=pdflatex) @@ -4411,7 +4445,7 @@ ec/ecrm1728.600pk> -Output written on options.pdf (11 pages, 136560 bytes). +Output written on options.pdf (11 pages, 136008 bytes). Transcript written on options.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2019/dev/Debian) (preloaded format=pdflatex) @@ -4471,7 +4505,7 @@ ec/ecrm1728.600pk> -Output written on options.pdf (11 pages, 136560 bytes). +Output written on options.pdf (11 pages, 136008 bytes). Transcript written on options.log. make[2]: Leaving directory '/build/coccinelle-1.0.4.deb/docs/manual' make[1]: Leaving directory '/build/coccinelle-1.0.4.deb' @@ -4491,7 +4525,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-19064-67d4ba-62.c ++++ /tmp/cocci-output-9583-57b021-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -4509,7 +4543,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-19064-6e3769-a3d.c ++++ /tmp/cocci-output-9583-581559-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -4531,7 +4565,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-19064-d6f1cd-a_and_e_ver1.c ++++ /tmp/cocci-output-9583-4f6069-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -4544,7 +4578,7 @@ warning: line 4: should a be a metavariable? diff = --- tests/ab.c -+++ /tmp/cocci-output-19064-4c54cb-ab.c ++++ /tmp/cocci-output-9583-31ed0b-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -4555,7 +4589,7 @@ addaft.res diff = --- tests/addaft.c -+++ /tmp/cocci-output-19064-e60ec9-addaft.c ++++ /tmp/cocci-output-9583-0266ca-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -4579,7 +4613,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-19064-9d8905-addbefore.c ++++ /tmp/cocci-output-9583-735eed-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -4590,7 +4624,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-19064-9346cf-addbeforeafter.c ++++ /tmp/cocci-output-9583-4dcbaa-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -4603,7 +4637,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-19064-7dfdca-addelse.c ++++ /tmp/cocci-output-9583-27c9c5-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -4611,7 +4645,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-19064-a55046-addfield.c ++++ /tmp/cocci-output-9583-57b042-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -4623,7 +4657,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-19064-259c9e-addif.c ++++ /tmp/cocci-output-9583-6a8514-addif.c @@ -1,7 +1,19 @@ +#ifdef FOO +/* some comment */ @@ -4647,7 +4681,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-19064-fb8620-addif1.c ++++ /tmp/cocci-output-9583-24fd2b-addif1.c @@ -1,7 +1,15 @@ +#ifdef FOO +int xxx() { @@ -4667,7 +4701,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-19064-a58051-addif2.c ++++ /tmp/cocci-output-9583-02d4e3-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -4685,7 +4719,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-19064-3641e1-addifdef.c ++++ /tmp/cocci-output-9583-46319a-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -4704,7 +4738,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-19064-3f1069-addifelse.c ++++ /tmp/cocci-output-9583-3a9c1b-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -4723,7 +4757,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-19064-033d98-addifelse2.c ++++ /tmp/cocci-output-9583-a1797c-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){ @@ -4743,7 +4777,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-19064-5f766b-addtoo.c ++++ /tmp/cocci-output-9583-c6cfe1-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -4767,7 +4801,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-19064-0cd6b5-addtrace.c ++++ /tmp/cocci-output-9583-124fd1-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -4800,7 +4834,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-19064-983057-after_if.c ++++ /tmp/cocci-output-9583-904620-after_if.c @@ -1,4 +1,5 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -4811,7 +4845,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-19064-e31c9c-allex.c ++++ /tmp/cocci-output-9583-81f33f-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -4824,7 +4858,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-19064-e3bb5a-allex2.c ++++ /tmp/cocci-output-9583-b2d896-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -4835,7 +4869,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-19064-e7c122-allex3.c ++++ /tmp/cocci-output-9583-b78951-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -4845,7 +4879,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-19064-ebf498-anon.c ++++ /tmp/cocci-output-9583-8b3357-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -4856,7 +4890,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-19064-ff3f2b-ar.c ++++ /tmp/cocci-output-9583-63269c-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -4870,7 +4904,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-19064-ad33b5-arg.c ++++ /tmp/cocci-output-9583-154055-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -4885,7 +4919,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-19064-14eeec-argument.c ++++ /tmp/cocci-output-9583-3f1c44-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -4899,7 +4933,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-19064-13b7bb-arparam.c ++++ /tmp/cocci-output-9583-5aea36-arparam.c @@ -1,3 +1,7 @@ +g(int q[1024]) { + return 12; @@ -4911,7 +4945,7 @@ array_init.res diff = --- tests/array_init.c -+++ /tmp/cocci-output-19064-ba4bdf-array_init.c ++++ /tmp/cocci-output-9583-b31676-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"); @@ -4919,7 +4953,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-19064-a78cb4-array_size.c ++++ /tmp/cocci-output-9583-180936-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -4927,7 +4961,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-19064-878ece-arraysz.c ++++ /tmp/cocci-output-9583-0b7292-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -4937,7 +4971,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-19064-d1618f-as_stm.c ++++ /tmp/cocci-output-9583-9808a2-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -4947,7 +4981,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-19064-fe4564-attradd.c ++++ /tmp/cocci-output-9583-802e93-attradd.c @@ -1,3 +1,5 @@ int main () { - char f; @@ -4958,7 +4992,7 @@ attrs2groups.res diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-19064-b5da5e-attrs2groups.c ++++ /tmp/cocci-output-9583-bd165f-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -4987,7 +5021,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-19064-1df1e0-b1.c ++++ /tmp/cocci-output-9583-de8da0-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -5003,7 +5037,7 @@ b2.res diff = --- tests/b2.c -+++ /tmp/cocci-output-19064-8a45b4-b2.c ++++ /tmp/cocci-output-9583-063605-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -5022,7 +5056,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-19064-a4bf6d-bad_kfree.c ++++ /tmp/cocci-output-9583-65fb88-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -5035,7 +5069,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-19064-908dbc-bad_ptr_print.c ++++ /tmp/cocci-output-9583-78f669-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -5045,7 +5079,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-19064-53ff5c-bad_typedef.c ++++ /tmp/cocci-output-9583-79b858-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -5065,7 +5099,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-19064-16f549-badexp.c ++++ /tmp/cocci-output-9583-fc6396-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -5090,7 +5124,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-19064-b46361-badtypedef.c ++++ /tmp/cocci-output-9583-2a58fa-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -5104,7 +5138,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-19064-1fbf2d-badwhen.c ++++ /tmp/cocci-output-9583-9bb8c5-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -5116,7 +5150,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-19064-b47e1f-badzero.c ++++ /tmp/cocci-output-9583-19fbce-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -5130,7 +5164,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-19064-91f5a1-befS.c ++++ /tmp/cocci-output-9583-9a967f-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -5169,7 +5203,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-19064-d910eb-before.c ++++ /tmp/cocci-output-9583-1821c2-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -5180,7 +5214,7 @@ ben.res diff = --- tests/ben.c -+++ /tmp/cocci-output-19064-6a29fe-ben.c ++++ /tmp/cocci-output-9583-c2fdef-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -5220,7 +5254,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-19064-13ea39-bigin.c ++++ /tmp/cocci-output-9583-e90bfd-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -5231,7 +5265,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-19064-9f214c-bigrepl.c ++++ /tmp/cocci-output-9583-baf255-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -5248,7 +5282,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-19064-9f34ac-binop.c ++++ /tmp/cocci-output-9583-455252-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -5267,7 +5301,7 @@ bitfield.res diff = --- tests/bitfield.c -+++ /tmp/cocci-output-19064-b87719-bitfield.c ++++ /tmp/cocci-output-9583-c0e5b7-bitfield.c @@ -1,5 +1,5 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -5279,7 +5313,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-19064-4ad996-boolr.c ++++ /tmp/cocci-output-9583-2c0cce-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -5288,7 +5322,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-19064-4e9e4f-braces.c ++++ /tmp/cocci-output-9583-aee852-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -5306,7 +5340,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-19064-8a2321-branchparen.c ++++ /tmp/cocci-output-9583-7df81c-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -5323,7 +5357,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-19064-1bf6c5-break.c ++++ /tmp/cocci-output-9583-4a6b85-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -5349,7 +5383,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-19064-6cc8eb-bug1.c ++++ /tmp/cocci-output-9583-45886b-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, @@ -5360,7 +5394,7 @@ bugloop.res diff = --- tests/bugloop.c -+++ /tmp/cocci-output-19064-375a36-bugloop.c ++++ /tmp/cocci-output-9583-9e6dd3-bugloop.c @@ -8,8 +8,8 @@ static int stir_transmit_thread(void *ar while (x) { @@ -5375,7 +5409,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-19064-445d8f-bugon.c ++++ /tmp/cocci-output-9583-8fd62c-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -5386,7 +5420,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-19064-38b741-bus.c ++++ /tmp/cocci-output-9583-f076d9-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -5398,7 +5432,7 @@ cards.res diff = --- tests/cards.c -+++ /tmp/cocci-output-19064-17790d-cards.c ++++ /tmp/cocci-output-9583-1a0b0c-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -5407,7 +5441,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-19064-5aaf75-cast.c ++++ /tmp/cocci-output-9583-aa8d4b-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -5415,7 +5449,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-19064-569298-cast_iso.c ++++ /tmp/cocci-output-9583-dd88b0-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -5428,7 +5462,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-19064-0c2afa-castdecl.c ++++ /tmp/cocci-output-9583-37373a-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -5447,7 +5481,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-19064-e6d56e-change.c ++++ /tmp/cocci-output-9583-98c07a-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -5458,7 +5492,7 @@ change_type.res diff = --- tests/change_type.c -+++ /tmp/cocci-output-19064-4b9745-change_type.c ++++ /tmp/cocci-output-9583-dda745-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -5468,7 +5502,7 @@ changei.res diff = --- tests/changei.c -+++ /tmp/cocci-output-19064-c59bc6-changei.c ++++ /tmp/cocci-output-9583-efddc3-changei.c @@ -1,7 +1,7 @@ -typedef struct i istruct; +typedef struct i xxx; @@ -5484,7 +5518,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-19064-0776f1-com.c ++++ /tmp/cocci-output-9583-f8013d-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -5497,7 +5531,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-19064-e125d4-comadd.c ++++ /tmp/cocci-output-9583-55b8ad-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -5507,7 +5541,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-19064-adec78-comment_brace.c ++++ /tmp/cocci-output-9583-e501ff-comment_brace.c @@ -1,7 +1,9 @@ int main () { @@ -5522,7 +5556,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-19064-45d9d7-comment_brace2.c ++++ /tmp/cocci-output-9583-5daa40-comment_brace2.c @@ -1,7 +1,9 @@ int main () { @@ -5537,7 +5571,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-19064-a1841a-comments.c ++++ /tmp/cocci-output-9583-616bc4-comments.c @@ -1,5 +1,15 @@ int main() { @@ -5557,7 +5591,7 @@ compare.res diff = --- tests/compare.c -+++ /tmp/cocci-output-19064-5847c0-compare.c ++++ /tmp/cocci-output-9583-78e227-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -5571,7 +5605,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-19064-d7d88f-condexp.c ++++ /tmp/cocci-output-9583-ab6937-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -5587,7 +5621,7 @@ warning: line 3: should text be a metavariable? diff = --- tests/const.c -+++ /tmp/cocci-output-19064-b6adb1-const.c ++++ /tmp/cocci-output-9583-5f5d51-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -5597,7 +5631,7 @@ warning: line 3: should i be a metavariable? diff = --- tests/const1bis.c -+++ /tmp/cocci-output-19064-132691-const1bis.c ++++ /tmp/cocci-output-9583-6b72fc-const1bis.c @@ -1,5 +1,5 @@ void foo(int j) { - const int i; @@ -5608,7 +5642,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-19064-d91a97-const_adding.c ++++ /tmp/cocci-output-9583-ef6c3d-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -5620,7 +5654,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-19064-504564-const_array.c ++++ /tmp/cocci-output-9583-89eb19-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -5639,7 +5673,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-19064-1e0aab-const_implicit_iso.c ++++ /tmp/cocci-output-9583-6c317e-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -5650,7 +5684,7 @@ warning: line 9: should f be a metavariable? diff = --- tests/constrem.c -+++ /tmp/cocci-output-19064-e3d0a0-constrem.c ++++ /tmp/cocci-output-9583-bba1f5-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -5658,7 +5692,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-19064-fb88fd-constructor.c ++++ /tmp/cocci-output-9583-43a66e-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -5670,7 +5704,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-19064-446206-constty.c ++++ /tmp/cocci-output-9583-eba0a0-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -5682,7 +5716,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-19064-e0c338-constx.c ++++ /tmp/cocci-output-9583-aee1f1-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -5700,14 +5734,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-19064-9061d5-cptr.c ++++ /tmp/cocci-output-9583-b4c13a-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char * const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-19064-066594-cr.c ++++ /tmp/cocci-output-9583-25fc98-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -5720,7 +5754,7 @@ cr1a.res diff = --- tests/cr1a.c -+++ /tmp/cocci-output-19064-7cbd3a-cr1a.c ++++ /tmp/cocci-output-9583-d34811-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -5745,7 +5779,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-19064-83b145-cs_check.c ++++ /tmp/cocci-output-9583-935ebe-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -5758,7 +5792,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-19064-2e6b28-cst.c ++++ /tmp/cocci-output-9583-88f1de-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -5769,7 +5803,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-19064-e292e0-cst_null.c ++++ /tmp/cocci-output-9583-28bc26-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -5807,7 +5841,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-19064-3db683-csw.c ++++ /tmp/cocci-output-9583-955f4e-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -5826,7 +5860,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-19064-2ddcbc-dbg.c ++++ /tmp/cocci-output-9583-b67c32-dbg.c @@ -4,5 +4,6 @@ static inline void alloc_resource(struct struct resource *pr, *r = &dev->resource[idx]; @@ -5838,7 +5872,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-19064-77a364-dbg1.c ++++ /tmp/cocci-output-9583-7b39f9-dbg1.c @@ -1,5 +1,6 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) @@ -5850,7 +5884,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-19064-414549-dc_close.c ++++ /tmp/cocci-output-9583-6ec728-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -5862,7 +5896,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-19064-c4f670-debug.c ++++ /tmp/cocci-output-9583-115a9c-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -5872,7 +5906,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-19064-98b6f6-dec.c ++++ /tmp/cocci-output-9583-61ac78-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -5882,7 +5916,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-19064-80ed57-decl.c ++++ /tmp/cocci-output-9583-0ab4fd-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -5894,7 +5928,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-19064-9f3e22-decl2.c ++++ /tmp/cocci-output-9583-6af8d8-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -5906,7 +5940,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-19064-708a6e-decl_space.c ++++ /tmp/cocci-output-9583-cee941-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -5918,7 +5952,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-19064-3abb54-decl_star.c ++++ /tmp/cocci-output-9583-dce256-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -5930,13 +5964,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-19064-45d39f-defe.c ++++ /tmp/cocci-output-9583-33a91a-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-19064-1458e0-define_exp.c ++++ /tmp/cocci-output-9583-009f08-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -5947,7 +5981,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-19064-fa2706-define_param.c ++++ /tmp/cocci-output-9583-a852dd-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -5965,7 +5999,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-19064-009d9f-delete_function.c ++++ /tmp/cocci-output-9583-94ed92-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -5982,7 +6016,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-19064-2c75a0-delp.c ++++ /tmp/cocci-output-9583-b94a5c-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -5992,7 +6026,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-19064-23fcdc-deref.c ++++ /tmp/cocci-output-9583-c7e4f1-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -6005,7 +6039,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-19064-732c4f-destroy.c ++++ /tmp/cocci-output-9583-bee077-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -6022,7 +6056,7 @@ devlink.res diff = --- tests/devlink.c -+++ /tmp/cocci-output-19064-a5b9ab-devlink.c ++++ /tmp/cocci-output-9583-c03c99-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -6043,7 +6077,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-19064-2918cf-disjexpr.c ++++ /tmp/cocci-output-9583-166d99-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -6052,7 +6086,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-19064-8752df-disjexpr_ver1.c ++++ /tmp/cocci-output-9583-30b18f-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -6061,7 +6095,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-19064-1bfb47-disjexpr_ver2.c ++++ /tmp/cocci-output-9583-3e40dc-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -6070,7 +6104,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-19064-ca62a0-disjid.c ++++ /tmp/cocci-output-9583-a6dad5-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -6084,7 +6118,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-19064-1b1500-distribute.c ++++ /tmp/cocci-output-9583-cb414b-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -6094,7 +6128,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-19064-8bd5e4-double.c ++++ /tmp/cocci-output-9583-069fa9-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))) { @@ -6105,7 +6139,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-19064-5845f0-double_assign.c ++++ /tmp/cocci-output-9583-aace45-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -6116,7 +6150,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-19064-19403c-double_lines.c ++++ /tmp/cocci-output-9583-647cf8-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -6129,7 +6163,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-19064-ecf2f9-doublepos.c ++++ /tmp/cocci-output-9583-68a135-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -6139,7 +6173,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-19064-e19470-doubleswitch.c ++++ /tmp/cocci-output-9583-485481-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; @@ -6152,7 +6186,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-19064-a29ac7-doundo.c ++++ /tmp/cocci-output-9583-9a8101-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -6163,7 +6197,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-19064-a85629-dowhile.c ++++ /tmp/cocci-output-9583-8b732e-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -6175,7 +6209,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-19064-521728-dropbr.c ++++ /tmp/cocci-output-9583-03900a-dropbr.c @@ -1,5 +1,3 @@ int main () { - if (a) { @@ -6186,7 +6220,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-19064-9aa6e1-dropcom.c ++++ /tmp/cocci-output-9583-21cced-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -6201,7 +6235,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-19064-c20e24-dropenderr.c ++++ /tmp/cocci-output-9583-0d93d4-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -6217,7 +6251,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-19064-61ced2-dropf.c ++++ /tmp/cocci-output-9583-71e9f0-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -6226,7 +6260,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-19064-267844-dropparam.c ++++ /tmp/cocci-output-9583-79648f-dropparam.c @@ -2,12 +2,12 @@ int f(char *x, int y, char* z) { return; } @@ -6245,7 +6279,7 @@ eb1.res diff = --- tests/eb1.c -+++ /tmp/cocci-output-19064-446f54-eb1.c ++++ /tmp/cocci-output-9583-c06e33-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -6264,7 +6298,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-19064-a25dfa-edots.c ++++ /tmp/cocci-output-9583-ee35c3-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -6277,7 +6311,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-19064-3d214c-edots_ver1.c ++++ /tmp/cocci-output-9583-836656-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -6292,7 +6326,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-19064-f6cfa0-elsify.c ++++ /tmp/cocci-output-9583-e63216-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -6306,7 +6340,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-19064-2323ff-empty.c ++++ /tmp/cocci-output-9583-9d5197-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -6318,7 +6352,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-19064-145be5-end_commas.c ++++ /tmp/cocci-output-9583-e95f88-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -6332,7 +6366,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-19064-946d6d-endif.c ++++ /tmp/cocci-output-9583-e0ebd8-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -6360,7 +6394,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-19064-cbb388-endnl.c ++++ /tmp/cocci-output-9583-b0ee9b-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -6401,7 +6435,7 @@ 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_950d42.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_950d42.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_67b989.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_67b989.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Common, and its interface was not compiled with -opaque File "_none_", line 1: @@ -6410,7 +6444,7 @@ Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-19064-844011-endpos.c ++++ /tmp/cocci-output-9583-62118f-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -6428,7 +6462,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-19064-e2986b-enum.c ++++ /tmp/cocci-output-9583-a1befd-enum.c @@ -18,5 +18,5 @@ xxx static reg_errcode_t regex_compile () @@ -6438,7 +6472,7 @@ } exitc.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_fc296e.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_fc296e.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_3b2b12.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_3b2b12.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Common, and its interface was not compiled with -opaque File "_none_", line 1: @@ -6448,7 +6482,7 @@ Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-19064-c6952c-exitc.c ++++ /tmp/cocci-output-9583-8b9699-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -6463,7 +6497,7 @@ exitp.res diff = --- tests/exitp.c -+++ /tmp/cocci-output-19064-ca8450-exitp.c ++++ /tmp/cocci-output-9583-34b62b-exitp.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -6478,7 +6512,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-19064-cfe7d1-exp.c ++++ /tmp/cocci-output-9583-251849-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -6501,7 +6535,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-19064-abb300-expnest.c ++++ /tmp/cocci-output-9583-dbb798-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -6512,7 +6546,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-19064-ec5894-expopt.c ++++ /tmp/cocci-output-9583-907da7-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -6523,7 +6557,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-19064-a14a68-expopt2.c ++++ /tmp/cocci-output-9583-8c6426-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -6534,7 +6568,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-19064-2fb1ed-expopt3.c ++++ /tmp/cocci-output-9583-6ef43d-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -6546,7 +6580,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-19064-5a4fdf-expopt3_ver1.c ++++ /tmp/cocci-output-9583-32f06b-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -6559,7 +6593,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-19064-c5bed4-expopt3_ver2.c ++++ /tmp/cocci-output-9583-37d29c-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -6570,8 +6604,8 @@ } extra.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_31808f.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_31808f.ml -File "/tmp/ocaml_cocci_31808f.ml", line 27, characters 4-6: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_c54786.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_c54786.ml +File "/tmp/ocaml_cocci_c54786.ml", line 27, characters 4-6: Warning 26: unused variable ff. File "_none_", line 1: Warning 58: no cmx file was found in path for module Ast_c, and its interface was not compiled with -opaque @@ -6583,7 +6617,7 @@ Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-19064-cbf4e7-extra.c ++++ /tmp/cocci-output-9583-68cc61-extra.c @@ -1,12 +1,23 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -6613,7 +6647,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-19064-0c9d78-failing_andany.c ++++ /tmp/cocci-output-9583-f78312-failing_andany.c @@ -8,6 +8,4 @@ static int smc_probe1(struct net_device static int smc_probe2(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -6625,7 +6659,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fields.c -+++ /tmp/cocci-output-19064-ac89d5-fields.c ++++ /tmp/cocci-output-9583-ea5fc6-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -6638,7 +6672,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-19064-9f0fc9-fieldsmin.c ++++ /tmp/cocci-output-9583-0b2c2c-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -6648,7 +6682,7 @@ find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-19064-d0e008-find_long.c ++++ /tmp/cocci-output-9583-74dcd9-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -6663,7 +6697,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-19064-1f41de-fix_flow_need.c ++++ /tmp/cocci-output-9583-2b6107-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -6675,7 +6709,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-19064-3ed2ae-fn_todo.c ++++ /tmp/cocci-output-9583-a40358-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; @@ -6687,7 +6721,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-19064-7c4fec-fnptr.c ++++ /tmp/cocci-output-9583-46909c-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, @@ -6699,14 +6733,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-19064-78b20d-fnret.c ++++ /tmp/cocci-output-9583-4965e2-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-19064-07e2d3-fnty.c ++++ /tmp/cocci-output-9583-c365d3-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -6716,7 +6750,7 @@ format.res diff = --- tests/format.c -+++ /tmp/cocci-output-19064-27b25f-format.c ++++ /tmp/cocci-output-9583-44dda9-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -6727,7 +6761,7 @@ } format2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_6389a7.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_6389a7.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_3feb4a.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_3feb4a.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Common, and its interface was not compiled with -opaque File "_none_", line 1: @@ -6738,7 +6772,7 @@ format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-19064-91725d-format2.c ++++ /tmp/cocci-output-9583-e8c138-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -6747,7 +6781,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-19064-90a005-formatlist.c ++++ /tmp/cocci-output-9583-f58450-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -6765,7 +6799,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-19064-aeef19-fortest.c ++++ /tmp/cocci-output-9583-4f5a35-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -6805,7 +6839,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-19064-7e27e5-fortype.c ++++ /tmp/cocci-output-9583-7e272e-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -6816,7 +6850,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-19064-7c719a-four.c ++++ /tmp/cocci-output-9583-0f780b-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -6826,7 +6860,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-19064-4ac2e7-foura.c ++++ /tmp/cocci-output-9583-e6e3c4-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -6836,7 +6870,7 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-19064-bd388e-fp.c ++++ /tmp/cocci-output-9583-055a86-fp.c @@ -1,3 +1,2 @@ int main(int (*x)(int,int)) { - x(); @@ -6844,7 +6878,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-19064-c08c5b-fsh.c ++++ /tmp/cocci-output-9583-b7c53e-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -6856,7 +6890,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-19064-6e84a6-fun.c ++++ /tmp/cocci-output-9583-12f780-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -6865,7 +6899,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-19064-d69fad-func.c ++++ /tmp/cocci-output-9583-79810c-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -6879,7 +6913,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-19064-b449ef-gcc_min_max.c ++++ /tmp/cocci-output-9583-485cd7-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -6896,7 +6930,7 @@ getc.res diff = --- tests/getc.c -+++ /tmp/cocci-output-19064-a8cdf0-getc.c ++++ /tmp/cocci-output-9583-59bfc2-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -6906,7 +6940,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-19064-f6c934-gilles-question.c ++++ /tmp/cocci-output-9583-7f06cf-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -6919,7 +6953,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-19064-de1222-gotobreak.c ++++ /tmp/cocci-output-9583-faafe0-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -6932,7 +6966,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-19064-247888-hd.c ++++ /tmp/cocci-output-9583-da0771-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -6941,7 +6975,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-19064-7cfe1b-headers.c ++++ /tmp/cocci-output-9583-333951-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -6960,7 +6994,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-19064-4f07f6-hex.c ++++ /tmp/cocci-output-9583-f3040b-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -6968,7 +7002,7 @@ hil1.res diff = --- tests/hil1.c -+++ /tmp/cocci-output-19064-6c06f0-hil1.c ++++ /tmp/cocci-output-9583-1c4726-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -6979,7 +7013,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-19064-b288fe-idstr.c ++++ /tmp/cocci-output-9583-19c8a3-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -6988,7 +7022,7 @@ if.res diff = --- tests/if.c -+++ /tmp/cocci-output-19064-d1e572-if.c ++++ /tmp/cocci-output-9583-33e946-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -7030,7 +7064,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-19064-185ab7-ifadd.c ++++ /tmp/cocci-output-9583-a024b5-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -7045,7 +7079,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-19064-1ebbd1-ifd.c ++++ /tmp/cocci-output-9583-f7e730-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -7063,7 +7097,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-19064-0b716f-ifdef1.c ++++ /tmp/cocci-output-9583-dbbba2-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -7076,7 +7110,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-19064-44e9fb-ifdef2.c ++++ /tmp/cocci-output-9583-3de126-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -7092,7 +7126,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-19064-d0aacd-ifdef3.c ++++ /tmp/cocci-output-9583-155335-ifdef3.c @@ -2,6 +2,14 @@ #include #include @@ -7113,7 +7147,7 @@ warning: line 9: should irq_desc be a metavariable? diff = --- tests/ifdef4.c -+++ /tmp/cocci-output-19064-d4b775-ifdef4.c ++++ /tmp/cocci-output-9583-a71402-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -7129,7 +7163,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-19064-5c3a17-ifdef5.c ++++ /tmp/cocci-output-9583-78d71f-ifdef5.c @@ -11,3 +11,10 @@ void init_IRQ(void) uselessCall(); } @@ -7144,7 +7178,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-19064-713dc6-ifdef6.c ++++ /tmp/cocci-output-9583-caed7c-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -7157,7 +7191,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-19064-94aa27-ifdef6a.c ++++ /tmp/cocci-output-9583-1a47ef-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -7169,7 +7203,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-19064-0c4078-ifdefmeta.c ++++ /tmp/cocci-output-9583-f85e94-ifdefmeta.c @@ -1,26 +1,22 @@ int main() { - buf = alloca(3 @@ -7230,7 +7264,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-19064-2c9340-ifdefmeta1.c ++++ /tmp/cocci-output-9583-d40c5c-ifdefmeta1.c @@ -1,17 +1,2 @@ int main() { - buf = alloca(3 @@ -7252,7 +7286,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-19064-210dad-ifdefmeta2.c ++++ /tmp/cocci-output-9583-2cc037-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -7269,7 +7303,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-19064-cc3f37-ifdefmeta3.c ++++ /tmp/cocci-output-9583-619700-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -7286,7 +7320,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-19064-13832e-ifend.c ++++ /tmp/cocci-output-9583-f30040-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -7296,7 +7330,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-19064-967a6c-ifgoto.c ++++ /tmp/cocci-output-9583-6c21a7-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -7310,7 +7344,7 @@ ifields.res diff = --- tests/ifields.c -+++ /tmp/cocci-output-19064-e2f760-ifields.c ++++ /tmp/cocci-output-9583-132c2b-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -7333,7 +7367,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-19064-c6ac48-ifif.c ++++ /tmp/cocci-output-9583-e90070-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -7351,7 +7385,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-19064-8746f7-ifreturn.c ++++ /tmp/cocci-output-9583-29adb8-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -7413,7 +7447,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-19064-51b584-ifreturn3.c ++++ /tmp/cocci-output-9583-da4d5c-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -7439,7 +7473,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-19064-ab4213-ifreturn4.c ++++ /tmp/cocci-output-9583-6bdb3d-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -7463,7 +7497,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-19064-dd44c2-ifreturn6.c ++++ /tmp/cocci-output-9583-e734ae-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -7477,7 +7511,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-19064-473325-ifzer.c ++++ /tmp/cocci-output-9583-3410a4-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). */ @@ -7488,7 +7522,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-19064-f548c0-ifzz.c ++++ /tmp/cocci-output-9583-bf2538-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -7504,7 +7538,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-19064-0082b6-inc.c ++++ /tmp/cocci-output-9583-75447e-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -7513,7 +7547,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-19064-b1298f-incl.c ++++ /tmp/cocci-output-9583-d9a46d-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -7526,7 +7560,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-19064-73a127-inclifdef.c ++++ /tmp/cocci-output-9583-3caf5d-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -7536,7 +7570,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-19064-476a7d-include.c ++++ /tmp/cocci-output-9583-d55178-include.c @@ -1,8 +1,6 @@ #include @@ -7550,7 +7584,7 @@ incpos.res diff = --- tests/incpos.c -+++ /tmp/cocci-output-19064-896037-incpos.c ++++ /tmp/cocci-output-9583-19249a-incpos.c @@ -1,3 +1,4 @@ +#include #include @@ -7559,7 +7593,7 @@ incpos1.res diff = --- tests/incpos1.c -+++ /tmp/cocci-output-19064-b1d225-incpos1.c ++++ /tmp/cocci-output-9583-3176c0-incpos1.c @@ -1,3 +1,4 @@ +#include #include "two" @@ -7568,7 +7602,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-19064-c3013b-inherited.c ++++ /tmp/cocci-output-9583-fbb9ae-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -7579,7 +7613,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-19064-f5e9b4-inherited_ver1.c ++++ /tmp/cocci-output-9583-70b1b3-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -7595,7 +7629,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-19064-19766b-inhmet.c ++++ /tmp/cocci-output-9583-f46a5d-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -7604,7 +7638,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-19064-b78282-inhpos.c ++++ /tmp/cocci-output-9583-6439cd-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -7613,7 +7647,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-19064-09d81a-initializer.c ++++ /tmp/cocci-output-9583-bb40ef-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -7628,21 +7662,21 @@ warning: line 4: should x be a metavariable? diff = --- tests/inline.c -+++ /tmp/cocci-output-19064-6840cc-inline.c ++++ /tmp/cocci-output-9583-60d0e1-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-19064-c187ff-insdef.c ++++ /tmp/cocci-output-9583-20bc38-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include int2bool-local.res diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-19064-854ffe-int2bool-local.c ++++ /tmp/cocci-output-9583-b683b6-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -7688,7 +7722,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-19064-d7bb51-introbrace.c ++++ /tmp/cocci-output-9583-a322bc-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -7707,7 +7741,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-19064-84708e-invert.c ++++ /tmp/cocci-output-9583-29b158-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -7716,7 +7750,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-19064-c238b8-ip.c ++++ /tmp/cocci-output-9583-9d379e-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -7745,7 +7779,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-19064-f1c9f4-ip2.c ++++ /tmp/cocci-output-9583-790809-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -7770,7 +7804,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-19064-58b39e-isococci.c ++++ /tmp/cocci-output-9583-e3c5db-isococci.c @@ -1,6 +1,4 @@ void f(int i) { @@ -7783,7 +7817,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-19064-ed195e-isoif.c ++++ /tmp/cocci-output-9583-6a61c1-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -7792,7 +7826,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-19064-967e32-isotest.c ++++ /tmp/cocci-output-9583-4891e7-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -7805,7 +7839,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-19064-d5c99d-isotest2.c ++++ /tmp/cocci-output-9583-dbcff0-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -7817,7 +7851,7 @@ iterator.res diff = --- tests/iterator.c -+++ /tmp/cocci-output-19064-9dd3cb-iterator.c ++++ /tmp/cocci-output-9583-37500d-iterator.c @@ -2,9 +2,5 @@ void pcibios_report_status(u_int status_ { struct list_head *l; @@ -7832,7 +7866,7 @@ iterprint.res diff = --- tests/iterprint.c -+++ /tmp/cocci-output-19064-a0587d-iterprint.c ++++ /tmp/cocci-output-9583-55eecd-iterprint.c @@ -1,6 +1,4 @@ int main () { - for(bit = 0; bit < size; bit++) { @@ -7848,7 +7882,7 @@ diff = 129 133 --- tests/julia10.c -+++ /tmp/cocci-output-19064-9c0e3d-julia10.c ++++ /tmp/cocci-output-9583-d560f7-julia10.c @@ -1,7 +1,5 @@ int main(int x) { f(); @@ -7860,7 +7894,7 @@ julia7.res diff = --- tests/julia7.c -+++ /tmp/cocci-output-19064-af8b22-julia7.c ++++ /tmp/cocci-output-9583-bc3b3d-julia7.c @@ -1,7 +1,6 @@ int main(int x) { foo(); @@ -7873,7 +7907,7 @@ justremove.res diff = --- tests/justremove.c -+++ /tmp/cocci-output-19064-b9dfb7-justremove.c ++++ /tmp/cocci-output-9583-0b7a24-justremove.c @@ -1,17 +1,6 @@ int main () { - if (x) { @@ -7895,7 +7929,7 @@ keep_comma.res diff = --- tests/keep_comma.c -+++ /tmp/cocci-output-19064-4a3e30-keep_comma.c ++++ /tmp/cocci-output-9583-a7a288-keep_comma.c @@ -1,4 +1,4 @@ int main () { - foo(); @@ -7905,7 +7939,7 @@ km.res diff = --- tests/km.c -+++ /tmp/cocci-output-19064-3d9a3d-km.c ++++ /tmp/cocci-output-9583-f0e598-km.c @@ -1,5 +1,4 @@ int main() { - int *data = kmalloc(element->string.length + 1, GFP_KERNEL); @@ -7916,7 +7950,7 @@ kmalloc.res diff = --- tests/kmalloc.c -+++ /tmp/cocci-output-19064-11d79a-kmalloc.c ++++ /tmp/cocci-output-9583-52fff1-kmalloc.c @@ -1,9 +1,7 @@ int main() { struct bar *y; @@ -7934,7 +7968,7 @@ warning: r: metavariable S not used in the - or context code diff = --- tests/kmc.c -+++ /tmp/cocci-output-19064-9d0246-kmc.c ++++ /tmp/cocci-output-9583-56aee6-kmc.c @@ -10,5 +10,4 @@ dmabounce_register_dev(struct device *de err_destroy: @@ -7944,7 +7978,7 @@ kr.res diff = --- tests/kr.c -+++ /tmp/cocci-output-19064-45766f-kr.c ++++ /tmp/cocci-output-9583-d60ea5-kr.c @@ -3,5 +3,4 @@ int a(x) { y = (j) @@ -7956,7 +7990,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/ktype.c -+++ /tmp/cocci-output-19064-c1a8d4-ktype.c ++++ /tmp/cocci-output-9583-15e7f5-ktype.c @@ -3,8 +3,6 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -7972,7 +8006,7 @@ warning: r: metavariable T not used in the - or context code diff = --- tests/ktype2.c -+++ /tmp/cocci-output-19064-092bd9-ktype2.c ++++ /tmp/cocci-output-9583-376d76-ktype2.c @@ -3,11 +3,8 @@ typedef struct r1_private_data_s conf_t; static int run(mddev_t *mddev) { @@ -7989,7 +8023,7 @@ labels_metastatement.res diff = --- tests/labels_metastatement.c -+++ /tmp/cocci-output-19064-ca692b-labels_metastatement.c ++++ /tmp/cocci-output-9583-1dadaf-labels_metastatement.c @@ -1,9 +1,15 @@ int foo(int i) { @@ -8012,7 +8046,7 @@ labels_metastatement_ver1.res diff = --- tests/labels_metastatement_ver1.c -+++ /tmp/cocci-output-19064-197747-labels_metastatement_ver1.c ++++ /tmp/cocci-output-9583-523d72-labels_metastatement_ver1.c @@ -1,5 +1,9 @@ int foo(int i) { @@ -8027,7 +8061,7 @@ lid.res diff = --- tests/lid.c -+++ /tmp/cocci-output-19064-358197-lid.c ++++ /tmp/cocci-output-9583-98a0ef-lid.c @@ -1,6 +1,6 @@ int main () { int a; @@ -8039,7 +8073,7 @@ line_before_last.res diff = --- tests/line_before_last.c -+++ /tmp/cocci-output-19064-92141e-line_before_last.c ++++ /tmp/cocci-output-9583-1e9631-line_before_last.c @@ -1,17 +1,13 @@ int main () { - foo(); @@ -8082,7 +8116,7 @@ warning: line 86: should b be a metavariable? diff = --- tests/list_test.c -+++ /tmp/cocci-output-19064-2201e0-list_test.c ++++ /tmp/cocci-output-9583-6a2290-list_test.c @@ -1,55 +1,53 @@ int main () { - f(a); @@ -8281,14 +8315,14 @@ local.res diff = --- tests/local.c -+++ /tmp/cocci-output-19064-971249-local.c ++++ /tmp/cocci-output-9583-2c88c1-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-19064-3ecb29-localglobal.c ++++ /tmp/cocci-output-9583-6ce579-localglobal.c @@ -3,5 +3,5 @@ int a; int main(int b) { int c; @@ -8299,7 +8333,7 @@ localid.res diff = --- tests/localid.c -+++ /tmp/cocci-output-19064-28c41a-localid.c ++++ /tmp/cocci-output-9583-6e4e91-localid.c @@ -2,8 +2,7 @@ int c; int main () { @@ -8314,7 +8348,7 @@ log.res diff = --- tests/log.c -+++ /tmp/cocci-output-19064-611d99-log.c ++++ /tmp/cocci-output-9583-74bf31-log.c @@ -8,5 +8,4 @@ static struct var_t vars[] = { @@ -8324,7 +8358,7 @@ longconst.res diff = --- tests/longconst.c -+++ /tmp/cocci-output-19064-4408ce-longconst.c ++++ /tmp/cocci-output-9583-fb12e6-longconst.c @@ -2,18 +2,18 @@ long function1() { long a; @@ -8361,7 +8395,7 @@ warning: line 5: should a be a metavariable? diff = --- tests/longline2.c -+++ /tmp/cocci-output-19064-2868aa-longline2.c ++++ /tmp/cocci-output-9583-ef244a-longline2.c @@ -1,8 +1,16 @@ int main() { - f(sdhfkjdkdsahksadsdhjkdsa,sahdjshdkjsahdkjhsakjdsh,a,shdkjsdsdhkjsa,x,y,z); @@ -8386,7 +8420,7 @@ longlong.res diff = --- tests/longlong.c -+++ /tmp/cocci-output-19064-3d1ca6-longlong.c ++++ /tmp/cocci-output-9583-4c5af6-longlong.c @@ -1,6 +1,6 @@ -long long a; +int a; @@ -8399,7 +8433,7 @@ longlongint.res diff = --- tests/longlongint.c -+++ /tmp/cocci-output-19064-2c9fb4-longlongint.c ++++ /tmp/cocci-output-9583-af761e-longlongint.c @@ -1,9 +1,3 @@ int main() { - unsigned int x; @@ -8413,7 +8447,7 @@ loop.res diff = --- tests/loop.c -+++ /tmp/cocci-output-19064-c90d3b-loop.c ++++ /tmp/cocci-output-9583-eac8cb-loop.c @@ -1,5 +1,3 @@ int main() { - f(); @@ -8424,7 +8458,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/lvalue.c -+++ /tmp/cocci-output-19064-2d62cc-lvalue.c ++++ /tmp/cocci-output-9583-427645-lvalue.c @@ -1,4 +1,4 @@ int main() { - x = x + 1; @@ -8435,7 +8469,7 @@ macro.res diff = --- tests/macro.c -+++ /tmp/cocci-output-19064-4ca1b7-macro.c ++++ /tmp/cocci-output-9583-589be2-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))) @@ -8447,7 +8481,7 @@ macro_int16.res diff = --- tests/macro_int16.c -+++ /tmp/cocci-output-19064-6df5ac-macro_int16.c ++++ /tmp/cocci-output-9583-9432e7-macro_int16.c @@ -4,6 +4,6 @@ void main(void) { @@ -8459,7 +8493,7 @@ match_init.res diff = --- tests/match_init.c -+++ /tmp/cocci-output-19064-6ef7ac-match_init.c ++++ /tmp/cocci-output-9583-a3f528-match_init.c @@ -1,15 +1,15 @@ int probably_works () { - int x = 3; @@ -8482,7 +8516,7 @@ match_no_meta.res diff = --- tests/match_no_meta.c -+++ /tmp/cocci-output-19064-fb8d8b-match_no_meta.c ++++ /tmp/cocci-output-9583-f53928-match_no_meta.c @@ -2,6 +2,4 @@ void main(int i) { foo(1); @@ -8495,7 +8529,7 @@ warning: line 14: should i be a metavariable? diff = --- tests/max.c -+++ /tmp/cocci-output-19064-2974f8-max.c ++++ /tmp/cocci-output-9583-dcf82c-max.c @@ -1,3 +1,3 @@ int main () { - if (x < 25) return i; @@ -8504,7 +8538,7 @@ mdec.res diff = --- tests/mdec.c -+++ /tmp/cocci-output-19064-e62a68-mdec.c ++++ /tmp/cocci-output-9583-9bcda5-mdec.c @@ -1,23 +1,26 @@ int main () { - int a, b, c, d; @@ -8556,8 +8590,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_098c51.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_098c51.ml -File "/tmp/ocaml_cocci_098c51.ml", line 30, characters 4-11: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_9e88a9.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_9e88a9.ml +File "/tmp/ocaml_cocci_9e88a9.ml", line 30, characters 4-11: Warning 26: unused variable unbound. File "_none_", line 1: Warning 58: no cmx file was found in path for module Common, and its interface was not compiled with -opaque @@ -8567,7 +8601,7 @@ Loading ML code of the SP... diff = --- tests/mdecl.c -+++ /tmp/cocci-output-19064-85c70f-mdecl.c ++++ /tmp/cocci-output-9583-221646-mdecl.c @@ -1,5 +1,4 @@ -int one () { if (c < 0) return 12; return x < 0; } + @@ -8577,7 +8611,7 @@ -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_631ea8.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_631ea8.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_44ae14.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_44ae14.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Common, and its interface was not compiled with -opaque File "_none_", line 1: @@ -8586,7 +8620,7 @@ Loading ML code of the SP... mdeclp2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_63c8af.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_63c8af.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_a81dad.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_a81dad.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Common, and its interface was not compiled with -opaque File "_none_", line 1: @@ -8596,7 +8630,7 @@ memory.res diff = --- tests/memory.c -+++ /tmp/cocci-output-19064-6f5130-memory.c ++++ /tmp/cocci-output-9583-0deb45-memory.c @@ -2,6 +2,5 @@ int __queue_add(Queue_t *queue, Scsi_Cmnd *SCpnt, int head) @@ -8611,7 +8645,7 @@ warning: line 48: should y be a metavariable? diff = --- tests/metaline.c -+++ /tmp/cocci-output-19064-8b6cf1-metaline.c ++++ /tmp/cocci-output-9583-c5814c-metaline.c @@ -1,9 +1,8 @@ int main () { - static int x; @@ -8632,7 +8666,7 @@ diff = --- tests/metaops.c -+++ /tmp/cocci-output-19064-19ebb4-metaops.c ++++ /tmp/cocci-output-9583-37d20a-metaops.c @@ -2,24 +2,24 @@ int p1() { int x = 0; int y = 1; @@ -8708,7 +8742,7 @@ metaops0.res diff = --- tests/metaops0.c -+++ /tmp/cocci-output-19064-e51d2c-metaops0.c ++++ /tmp/cocci-output-9583-2f13cf-metaops0.c @@ -1,44 +1,11 @@ int p1() { - int x = 0; @@ -8757,7 +8791,7 @@ metaruleelem.res diff = --- tests/metaruleelem.c -+++ /tmp/cocci-output-19064-34be91-metaruleelem.c ++++ /tmp/cocci-output-9583-ad8ef9-metaruleelem.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -8770,7 +8804,7 @@ metastatement2.res diff = --- tests/metastatement2.c -+++ /tmp/cocci-output-19064-dcb24e-metastatement2.c ++++ /tmp/cocci-output-9583-3cdcca-metastatement2.c @@ -1,6 +1,5 @@ void main(int i) { @@ -8781,7 +8815,7 @@ metastatement_for.res diff = --- tests/metastatement_for.c -+++ /tmp/cocci-output-19064-5ed88f-metastatement_for.c ++++ /tmp/cocci-output-9583-174149-metastatement_for.c @@ -1,9 +1,6 @@ void main(void) { @@ -8795,7 +8829,7 @@ metastatement_if.res diff = --- tests/metastatement_if.c -+++ /tmp/cocci-output-19064-407a18-metastatement_if.c ++++ /tmp/cocci-output-9583-4eef17-metastatement_if.c @@ -5,8 +5,4 @@ void main(void) printf("%d", i); } @@ -8808,7 +8842,7 @@ mincom.res diff = --- tests/mincom.c -+++ /tmp/cocci-output-19064-b4fba1-mincom.c ++++ /tmp/cocci-output-9583-397539-mincom.c @@ -1,5 +1,7 @@ int main () { - if (rc == LS_NONE_FIRST_DE) @@ -8822,14 +8856,14 @@ minenum.res diff = --- tests/minenum.c -+++ /tmp/cocci-output-19064-2a9544-minenum.c ++++ /tmp/cocci-output-9583-7929a8-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-19064-90817e-minenum1.c ++++ /tmp/cocci-output-9583-872459-minenum1.c @@ -1,2 +1,2 @@ -enum h { x, a, z, +enum h { x, qq, @@ -8837,7 +8871,7 @@ minfn.res diff = --- tests/minfn.c -+++ /tmp/cocci-output-19064-b59cd3-minfn.c ++++ /tmp/cocci-output-9583-3882b3-minfn.c @@ -1,13 +1,5 @@ int main () { return first; } @@ -8855,7 +8889,7 @@ mini_null_ref.res diff = --- tests/mini_null_ref.c -+++ /tmp/cocci-output-19064-253842-mini_null_ref.c ++++ /tmp/cocci-output-9583-d32cd9-mini_null_ref.c @@ -2,11 +2,12 @@ static int __devinit w90p910_keypad_prob { const struct w90p910_keypad_platform_data *pdata = @@ -8873,7 +8907,7 @@ miniswap.res diff = --- tests/miniswap.c -+++ /tmp/cocci-output-19064-5774c1-miniswap.c ++++ /tmp/cocci-output-9583-17d1d4-miniswap.c @@ -1,5 +1,5 @@ static void swap_refcount_rec(void *a, void *b, int size) { @@ -8884,7 +8918,7 @@ minstruct.res diff = --- tests/minstruct.c -+++ /tmp/cocci-output-19064-4a1813-minstruct.c ++++ /tmp/cocci-output-9583-ca93cb-minstruct.c @@ -1,5 +1,7 @@ static struct i2c_client client_template = { - .name = "(unset)", @@ -8897,7 +8931,7 @@ minusdots.res diff = --- tests/minusdots.c -+++ /tmp/cocci-output-19064-36fdf5-minusdots.c ++++ /tmp/cocci-output-9583-b248b7-minusdots.c @@ -1,9 +1,3 @@ void main(int i) { - @@ -8911,7 +8945,7 @@ minusdots_ver1.res diff = --- tests/minusdots_ver1.c -+++ /tmp/cocci-output-19064-eea976-minusdots_ver1.c ++++ /tmp/cocci-output-9583-cd9c8c-minusdots_ver1.c @@ -1,6 +1,2 @@ void main(int i) { - @@ -8926,7 +8960,7 @@ diff = 102 105 --- tests/multichars.c -+++ /tmp/cocci-output-19064-142602-multichars.c ++++ /tmp/cocci-output-9583-4e13ca-multichars.c @@ -1,5 +1,5 @@ int main () { - f('XYZ',ab); @@ -8939,7 +8973,7 @@ multidec.res diff = --- tests/multidec.c -+++ /tmp/cocci-output-19064-002385-multidec.c ++++ /tmp/cocci-output-9583-72332d-multidec.c @@ -1,11 +1,6 @@ int main () { int x = 3,z; @@ -8956,7 +8990,7 @@ multidecl3.res diff = --- tests/multidecl3.c -+++ /tmp/cocci-output-19064-51c5ca-multidecl3.c ++++ /tmp/cocci-output-9583-de5c7f-multidecl3.c @@ -1,17 +1,13 @@ int main () { - int *i, i[12], i, k, r; @@ -8980,7 +9014,7 @@ multipath.res diff = --- tests/multipath.c -+++ /tmp/cocci-output-19064-4b25c0-multipath.c ++++ /tmp/cocci-output-9583-f2f8c9-multipath.c @@ -2,8 +2,8 @@ static void multipathd(struct md_thread { for (;;) { @@ -8996,7 +9030,7 @@ warning: rule starting on line 3: metavariable T not used in the - or context code diff = --- tests/multiplus.c -+++ /tmp/cocci-output-19064-2f47ea-multiplus.c ++++ /tmp/cocci-output-9583-de8b14-multiplus.c @@ -1,4 +1,4 @@ -static void xm_link_timer(void *arg) +static void xm_link_timer(struct work_struct *work) @@ -9006,7 +9040,7 @@ multiremove.res diff = --- tests/multiremove.c -+++ /tmp/cocci-output-19064-e4c85c-multiremove.c ++++ /tmp/cocci-output-9583-b4ba92-multiremove.c @@ -1,8 +1,5 @@ int main () { if (x) { xyz1(); } @@ -9019,7 +9053,7 @@ multistruct.res diff = --- tests/multistruct.c -+++ /tmp/cocci-output-19064-bb0db9-multistruct.c ++++ /tmp/cocci-output-9583-d2ab6f-multistruct.c @@ -1,5 +1,3 @@ -struct one x; @@ -9029,7 +9063,7 @@ multitype.res diff = --- tests/multitype.c -+++ /tmp/cocci-output-19064-48bcc8-multitype.c ++++ /tmp/cocci-output-9583-2c838a-multitype.c @@ -3,5 +3,5 @@ typedef struct foo { int a; } foo_t; int main() { foo_t * x; @@ -9041,7 +9075,7 @@ warning: non_delayed_fn: metavariable T not used in the - or context code diff = --- tests/multitypedef.c -+++ /tmp/cocci-output-19064-aa0de9-multitypedef.c ++++ /tmp/cocci-output-9583-e6dbf6-multitypedef.c @@ -5,5 +5,5 @@ typedef struct HYSDN_CARD { int ergo_inithardware(hysdn_card * card) @@ -9052,7 +9086,7 @@ multivars.res diff = --- tests/multivars.c -+++ /tmp/cocci-output-19064-b0eac1-multivars.c ++++ /tmp/cocci-output-9583-600ebc-multivars.c @@ -1,5 +1,5 @@ void main(int i) { @@ -9063,7 +9097,7 @@ na.res diff = --- tests/na.c -+++ /tmp/cocci-output-19064-50889e-na.c ++++ /tmp/cocci-output-9583-5e001b-na.c @@ -4,10 +4,10 @@ void foo() { int i; @@ -9082,7 +9116,7 @@ nameless.res diff = --- tests/nameless.c -+++ /tmp/cocci-output-19064-24538d-nameless.c ++++ /tmp/cocci-output-9583-0f7944-nameless.c @@ -1,6 +1,6 @@ typedef union { int foo; @@ -9096,7 +9130,7 @@ warning: line 18: should xxx be a metavariable? diff = --- tests/nest.c -+++ /tmp/cocci-output-19064-b52cad-nest.c ++++ /tmp/cocci-output-9583-a58d78-nest.c @@ -1,7 +1,7 @@ void info_func(int i) { foo(); @@ -9111,7 +9145,7 @@ warning: one: metavariable S not used in the - or context code diff = --- tests/nestone.c -+++ /tmp/cocci-output-19064-4d713c-nestone.c ++++ /tmp/cocci-output-9583-385d43-nestone.c @@ -1,4 +1,3 @@ int foo() { if (x) { xxx(); return;} @@ -9120,7 +9154,7 @@ nestseq.res diff = --- tests/nestseq.c -+++ /tmp/cocci-output-19064-004640-nestseq.c ++++ /tmp/cocci-output-9583-8fcb58-nestseq.c @@ -2,4 +2,5 @@ int main () { f(); g(12); @@ -9130,7 +9164,7 @@ neststruct.res diff = --- tests/neststruct.c -+++ /tmp/cocci-output-19064-314f1f-neststruct.c ++++ /tmp/cocci-output-9583-aa3ca0-neststruct.c @@ -8,6 +8,6 @@ struct usb_hub { static int hub_configure(struct usb_hub *hub) @@ -9143,7 +9177,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/nl.c -+++ /tmp/cocci-output-19064-004763-nl.c ++++ /tmp/cocci-output-9583-68ef07-nl.c @@ -1,4 +1,4 @@ int main() { - if (x) return; @@ -9154,7 +9188,7 @@ noa.res diff = --- tests/noa.c -+++ /tmp/cocci-output-19064-e03fae-noa.c ++++ /tmp/cocci-output-9583-ade7bf-noa.c @@ -2,6 +2,6 @@ int main () { if (x) { a(); } else { a(); } } @@ -9166,7 +9200,7 @@ nocast.res diff = --- tests/nocast.c -+++ /tmp/cocci-output-19064-6ea971-nocast.c ++++ /tmp/cocci-output-9583-b7334f-nocast.c @@ -1,4 +1,4 @@ -int main (unsigned int __nocast gfp_mask, int x) { +int main (gfp_t gfp_mask, int x) { @@ -9176,7 +9210,7 @@ noret.res diff = --- tests/noret.c -+++ /tmp/cocci-output-19064-e10be2-noret.c ++++ /tmp/cocci-output-9583-992499-noret.c @@ -1,18 +1,18 @@ -main (int x); -static xmain (int x); @@ -9208,7 +9242,7 @@ not.res diff = --- tests/not.c -+++ /tmp/cocci-output-19064-9f9426-not.c ++++ /tmp/cocci-output-9583-2dab47-not.c @@ -1,9 +1,9 @@ int main() { int x; @@ -9225,7 +9259,7 @@ notest.res diff = --- tests/notest.c -+++ /tmp/cocci-output-19064-64aea4-notest.c ++++ /tmp/cocci-output-9583-ac13f1-notest.c @@ -1,6 +1,6 @@ int main() { struct foo *x; @@ -9237,7 +9271,7 @@ noty.res diff = --- tests/noty.c -+++ /tmp/cocci-output-19064-247719-noty.c ++++ /tmp/cocci-output-9583-81ac6b-noty.c @@ -1,3 +1,4 @@ int main(int *x) { if (NULL == x) { return; } @@ -9246,7 +9280,7 @@ noty2.res diff = --- tests/noty2.c -+++ /tmp/cocci-output-19064-9b132e-noty2.c ++++ /tmp/cocci-output-9583-b723f3-noty2.c @@ -1,14 +1,11 @@ main () { - foo(); @@ -9266,7 +9300,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/null_bool.c -+++ /tmp/cocci-output-19064-cf223d-null_bool.c ++++ /tmp/cocci-output-9583-e2e032-null_bool.c @@ -1,8 +1,8 @@ int main () { - if (x != NULL) return; @@ -9283,7 +9317,7 @@ null_type.res diff = --- tests/null_type.c -+++ /tmp/cocci-output-19064-35ae51-null_type.c ++++ /tmp/cocci-output-9583-e9d9e6-null_type.c @@ -2,7 +2,7 @@ int main(int i) { int *x; @@ -9299,7 +9333,7 @@ warning: line 6: should x be a metavariable? diff = --- tests/oddifdef.c -+++ /tmp/cocci-output-19064-8a22c4-oddifdef.c ++++ /tmp/cocci-output-9583-d983d6-oddifdef.c @@ -7,9 +7,7 @@ void one () { a = 5; @@ -9332,7 +9366,7 @@ of.res diff = --- tests/of.c -+++ /tmp/cocci-output-19064-13330b-of.c ++++ /tmp/cocci-output-9583-0d31b3-of.c @@ -1,16 +1,20 @@ static struct iommu_table *iommu_table_find(struct iommu_table * tbl) { @@ -9359,7 +9393,7 @@ oneline.res diff = --- tests/oneline.c -+++ /tmp/cocci-output-19064-da1be5-oneline.c ++++ /tmp/cocci-output-9583-9efacd-oneline.c @@ -1,4 +1,4 @@ int main () { - f(); @@ -9370,7 +9404,7 @@ opt.res diff = --- tests/opt.c -+++ /tmp/cocci-output-19064-91d496-opt.c ++++ /tmp/cocci-output-9583-543d70-opt.c @@ -1,3 +1,2 @@ int main () { - yyy(); @@ -9378,7 +9412,7 @@ optional_qualifier.res diff = --- tests/optional_qualifier.c -+++ /tmp/cocci-output-19064-1cf027-optional_qualifier.c ++++ /tmp/cocci-output-9583-70e312-optional_qualifier.c @@ -1,2 +1,2 @@ -int a; +const int a; @@ -9386,7 +9420,7 @@ optional_storage.res diff = --- tests/optional_storage.c -+++ /tmp/cocci-output-19064-4a6ab8-optional_storage.c ++++ /tmp/cocci-output-9583-99b672-optional_storage.c @@ -1,4 +1,4 @@ -int foo1(void) +static int foo1(void) @@ -9396,7 +9430,7 @@ orexp.res diff = --- tests/orexp.c -+++ /tmp/cocci-output-19064-abf607-orexp.c ++++ /tmp/cocci-output-9583-5fa7b1-orexp.c @@ -1,3 +1,3 @@ int main() { - bar(12+12); @@ -9407,7 +9441,7 @@ warning: xxx: metavariable f not used in the - or context code diff = --- tests/overshoot.c -+++ /tmp/cocci-output-19064-b79427-overshoot.c ++++ /tmp/cocci-output-9583-b7a52d-overshoot.c @@ -1,9 +1,6 @@ int main () { a(); @@ -9422,7 +9456,7 @@ p9.res diff = --- tests/p9.c -+++ /tmp/cocci-output-19064-584510-p9.c ++++ /tmp/cocci-output-9583-a028fc-p9.c @@ -1,3 +1,3 @@ -int f(int, int, int x) { +int f(int v2, int v3, int x) { @@ -9431,7 +9465,7 @@ pa.res diff = --- tests/pa.c -+++ /tmp/cocci-output-19064-e06893-pa.c ++++ /tmp/cocci-output-9583-84e331-pa.c @@ -3,8 +3,8 @@ char *parse_args(const char *doing, const struct kernel_param *params, unsigned num, @@ -9446,7 +9480,7 @@ param.res diff = --- tests/param.c -+++ /tmp/cocci-output-19064-98f227-param.c ++++ /tmp/cocci-output-9583-65eff1-param.c @@ -1 +1 @@ -void foo() { return; } + @@ -9455,7 +9489,7 @@ warning: line 14: should y be a metavariable? diff = --- tests/param_end.c -+++ /tmp/cocci-output-19064-26a9e0-param_end.c ++++ /tmp/cocci-output-9583-41e02a-param_end.c @@ -1,15 +1,15 @@ -int one (int x) { return; } +int one () { return; } @@ -9483,7 +9517,7 @@ param_to_exp.res diff = --- tests/param_to_exp.c -+++ /tmp/cocci-output-19064-77dc47-param_to_exp.c ++++ /tmp/cocci-output-9583-603469-param_to_exp.c @@ -1,3 +1,4 @@ int main (int x, int y) { + foo(x, y); @@ -9492,14 +9526,14 @@ param_ver1.res diff = --- tests/param_ver1.c -+++ /tmp/cocci-output-19064-32f33c-param_ver1.c ++++ /tmp/cocci-output-9583-410de5-param_ver1.c @@ -1 +1 @@ -void foo(int x) { return; } + parameters_dots.res diff = --- tests/parameters_dots.c -+++ /tmp/cocci-output-19064-4e75bd-parameters_dots.c ++++ /tmp/cocci-output-9583-8e643e-parameters_dots.c @@ -1,7 +1,4 @@ void main(int i) { @@ -9512,7 +9546,7 @@ warning: rule starting on line 1: metavariable S not used in the - or context code diff = --- tests/partial.c -+++ /tmp/cocci-output-19064-63ac4f-partial.c ++++ /tmp/cocci-output-9583-eabd5f-partial.c @@ -1,3 +1,3 @@ #define CS_THIS_MODULE THIS_MODULE, #define CS_OWNER owner: @@ -9522,7 +9556,7 @@ warning: line 6: should x be a metavariable? diff = --- tests/pb_distribute_type.c -+++ /tmp/cocci-output-19064-5ff443-pb_distribute_type.c ++++ /tmp/cocci-output-9583-d416d6-pb_distribute_type.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -9546,7 +9580,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type2.c -+++ /tmp/cocci-output-19064-52a74f-pb_distribute_type2.c ++++ /tmp/cocci-output-9583-6ec90f-pb_distribute_type2.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -9573,7 +9607,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/pb_distribute_type4.c -+++ /tmp/cocci-output-19064-1616dc-pb_distribute_type4.c ++++ /tmp/cocci-output-9583-6ebd25-pb_distribute_type4.c @@ -1,15 +1,15 @@ int foo() { - int x; @@ -9597,7 +9631,7 @@ warning: line 23: should i be a metavariable? diff = --- tests/pb_params_iso.c -+++ /tmp/cocci-output-19064-d70127-pb_params_iso.c ++++ /tmp/cocci-output-9583-6ab82a-pb_params_iso.c @@ -1,17 +1,17 @@ -int f(bool a, int i, bool b) { @@ -9623,7 +9657,7 @@ pb_parsing_macro.res diff = --- tests/pb_parsing_macro.c -+++ /tmp/cocci-output-19064-b78ac5-pb_parsing_macro.c ++++ /tmp/cocci-output-9583-ae3eea-pb_parsing_macro.c @@ -1,4 +1,4 @@ #define FOO_METH_TEST(a) prefix_##a void FOO_METH_TEST(foo)(int x){ @@ -9633,7 +9667,7 @@ pb_tag_symbols.res diff = --- tests/pb_tag_symbols.c -+++ /tmp/cocci-output-19064-f3c974-pb_tag_symbols.c ++++ /tmp/cocci-output-9583-678796-pb_tag_symbols.c @@ -1,5 +1,3 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -9643,7 +9677,7 @@ pcim.res diff = --- tests/pcim.c -+++ /tmp/cocci-output-19064-b87e7d-pcim.c ++++ /tmp/cocci-output-9583-961da5-pcim.c @@ -1,5 +1,6 @@ int main () { - ctx->sensePA = pci_map_single(adapter->dev, cmd->sense_buffer, @@ -9656,7 +9690,7 @@ pmac.res diff = --- tests/pmac.c -+++ /tmp/cocci-output-19064-94cc83-pmac.c ++++ /tmp/cocci-output-9583-d11775-pmac.c @@ -4,7 +4,5 @@ #include #endif @@ -9668,7 +9702,7 @@ posiso.res diff = --- tests/posiso.c -+++ /tmp/cocci-output-19064-7d5df2-posiso.c ++++ /tmp/cocci-output-9583-dac447-posiso.c @@ -1,9 +1,7 @@ int main () { int *x; @@ -9682,7 +9716,7 @@ positionc.res diff = --- tests/positionc.c -+++ /tmp/cocci-output-19064-fa6bd6-positionc.c ++++ /tmp/cocci-output-9583-ee0bf0-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; @@ -9695,7 +9729,7 @@ post.res diff = --- tests/post.c -+++ /tmp/cocci-output-19064-b86d20-post.c ++++ /tmp/cocci-output-9583-bdf60f-post.c @@ -1,8 +1,6 @@ int main() { - f(3, foo + bar, 5); @@ -9708,7 +9742,7 @@ pragmatest.res diff = --- tests/pragmatest.c -+++ /tmp/cocci-output-19064-e563db-pragmatest.c ++++ /tmp/cocci-output-9583-20993d-pragmatest.c @@ -1,17 +1,10 @@ int two () { return 12; } @@ -9731,7 +9765,7 @@ pragmatest1.res diff = --- tests/pragmatest1.c -+++ /tmp/cocci-output-19064-0361db-pragmatest1.c ++++ /tmp/cocci-output-9583-563901-pragmatest1.c @@ -1,3 +1,2 @@ -#pragma xxx a b c @@ -9742,7 +9776,7 @@ warning: rule starting on line 1: metavariable E not used in the - or context code diff = --- tests/print_return.c -+++ /tmp/cocci-output-19064-65e1b9-print_return.c ++++ /tmp/cocci-output-9583-ba0bbc-print_return.c @@ -1,4 +1,3 @@ int config(struct pcmcia_device *link) { - bar(); @@ -9752,7 +9786,7 @@ proto.res diff = --- tests/proto.c -+++ /tmp/cocci-output-19064-c1b9a4-proto.c ++++ /tmp/cocci-output-9583-c86355-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); @@ -9767,7 +9801,7 @@ proto2.res diff = --- tests/proto2.c -+++ /tmp/cocci-output-19064-11cdbb-proto2.c ++++ /tmp/cocci-output-9583-a1abb0-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); @@ -9784,7 +9818,7 @@ proto_ver1.res diff = --- tests/proto_ver1.c -+++ /tmp/cocci-output-19064-8b0a3b-proto_ver1.c ++++ /tmp/cocci-output-9583-313efe-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); @@ -9799,7 +9833,7 @@ proto_ver2.res diff = --- tests/proto_ver2.c -+++ /tmp/cocci-output-19064-f5e00c-proto_ver2.c ++++ /tmp/cocci-output-9583-8abe2e-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); @@ -9828,7 +9862,7 @@ protoassert.res diff = --- tests/protoassert.c -+++ /tmp/cocci-output-19064-72807d-protoassert.c ++++ /tmp/cocci-output-9583-39887b-protoassert.c @@ -1,6 +1,8 @@ static unsigned mii_rd(ioaddr_t ioaddr, u_char phyaddr, u_char phyreg); @@ -9845,7 +9879,7 @@ ptrar.res diff = --- tests/ptrar.c -+++ /tmp/cocci-output-19064-8cb707-ptrar.c ++++ /tmp/cocci-output-9583-086d23-ptrar.c @@ -1,8 +1,8 @@ int main () { struct foo *x; @@ -9862,7 +9896,7 @@ rcu3.res diff = --- tests/rcu3.c -+++ /tmp/cocci-output-19064-b863e7-rcu3.c ++++ /tmp/cocci-output-9583-d2087b-rcu3.c @@ -3,6 +3,6 @@ static struct mtd_chip_driver *get_mtd_c struct list_head *pos; struct mtd_chip_driver *this; @@ -9875,7 +9909,7 @@ regexp.res diff = --- tests/regexp.c -+++ /tmp/cocci-output-19064-62d417-regexp.c ++++ /tmp/cocci-output-9583-bc6665-regexp.c @@ -1,9 +1,23 @@ int main(void) { @@ -9903,7 +9937,7 @@ regexp2.res diff = --- tests/regexp2.c -+++ /tmp/cocci-output-19064-c0f3cd-regexp2.c ++++ /tmp/cocci-output-9583-5592ba-regexp2.c @@ -2,9 +2,23 @@ int main(void) { @@ -9931,7 +9965,7 @@ regexp3.res diff = --- tests/regexp3.c -+++ /tmp/cocci-output-19064-67bac8-regexp3.c ++++ /tmp/cocci-output-9583-ccd2e5-regexp3.c @@ -2,10 +2,27 @@ int main(void) { @@ -9963,7 +9997,7 @@ rem1.res diff = --- tests/rem1.c -+++ /tmp/cocci-output-19064-086823-rem1.c ++++ /tmp/cocci-output-9583-0c0355-rem1.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9973,7 +10007,7 @@ rem2.res diff = --- tests/rem2.c -+++ /tmp/cocci-output-19064-5eb6a5-rem2.c ++++ /tmp/cocci-output-9583-9dbd4f-rem2.c @@ -1,5 +1,4 @@ int main () { xxx(); @@ -9983,7 +10017,7 @@ remaft.res diff = --- tests/remaft.c -+++ /tmp/cocci-output-19064-1afe33-remaft.c ++++ /tmp/cocci-output-9583-9cb90a-remaft.c @@ -1,8 +1,6 @@ int main() { #ifdef BLAH @@ -9996,7 +10030,7 @@ remove_call.res diff = --- tests/remove_call.c -+++ /tmp/cocci-output-19064-819844-remove_call.c ++++ /tmp/cocci-output-9583-7d88dd-remove_call.c @@ -1,6 +1,2 @@ int main () { - int x = 3 + FN() + FN(); @@ -10007,7 +10041,7 @@ remparam.res diff = --- tests/remparam.c -+++ /tmp/cocci-output-19064-b37de9-remparam.c ++++ /tmp/cocci-output-9583-047b40-remparam.c @@ -1,14 +1,14 @@ static irqreturn_t -snd_ad1889_interrupt(void *dev_id, int x, @@ -10030,7 +10064,7 @@ rems.res diff = --- tests/rems.c -+++ /tmp/cocci-output-19064-b87e33-rems.c ++++ /tmp/cocci-output-9583-4eb010-rems.c @@ -1,5 +1,4 @@ int main () { x(); @@ -10040,7 +10074,7 @@ rems1.res diff = --- tests/rems1.c -+++ /tmp/cocci-output-19064-7c6351-rems1.c ++++ /tmp/cocci-output-9583-4658c8-rems1.c @@ -1,5 +1,4 @@ int main () { x(); @@ -10052,7 +10086,7 @@ warning: line 8: should xxx be a metavariable? diff = --- tests/remstruct.c -+++ /tmp/cocci-output-19064-1d42cd-remstruct.c ++++ /tmp/cocci-output-9583-cc30ba-remstruct.c @@ -1,13 +1,4 @@ -static struct irqchip mpuio_irq_chip = { - .ack = mpuio_ack_irq, @@ -10070,7 +10104,7 @@ replace_typedef.res diff = --- tests/replace_typedef.c -+++ /tmp/cocci-output-19064-9741a4-replace_typedef.c ++++ /tmp/cocci-output-9583-3662dc-replace_typedef.c @@ -3,8 +3,8 @@ typedef struct foo { int x; } foo_t; typedef int int_t; @@ -10085,7 +10119,7 @@ reserved.res diff = --- tests/reserved.c -+++ /tmp/cocci-output-19064-bf97db-reserved.c ++++ /tmp/cocci-output-9583-2034c3-reserved.c @@ -1,7 +1,4 @@ int main() { - f(1,1); @@ -10097,7 +10131,7 @@ retest.res diff = --- tests/retest.c -+++ /tmp/cocci-output-19064-fd0ade-retest.c ++++ /tmp/cocci-output-9583-7fe96d-retest.c @@ -1,6 +1,6 @@ int main () { foo(); @@ -10109,7 +10143,7 @@ retmacro.res diff = --- tests/retmacro.c -+++ /tmp/cocci-output-19064-a2f5cb-retmacro.c ++++ /tmp/cocci-output-9583-3ac870-retmacro.c @@ -1,6 +1,6 @@ #define REG_PATTERN_TEST(R, M, W) \ { \ @@ -10132,7 +10166,7 @@ warning: rule starting on line 18: metavariable S not used in the - or context code diff = --- tests/return.c -+++ /tmp/cocci-output-19064-c961da-return.c ++++ /tmp/cocci-output-9583-c28527-return.c @@ -1,6 +1,9 @@ void foo(int y) { int x; @@ -10148,7 +10182,7 @@ return_implicit.res diff = --- tests/return_implicit.c -+++ /tmp/cocci-output-19064-9e88aa-return_implicit.c ++++ /tmp/cocci-output-9583-863719-return_implicit.c @@ -1,4 +1,5 @@ void main(void) { @@ -10158,7 +10192,7 @@ retval.res diff = --- tests/retval.c -+++ /tmp/cocci-output-19064-06fabe-retval.c ++++ /tmp/cocci-output-9583-f0143d-retval.c @@ -1,21 +1,15 @@ int main () { if (retval1) { @@ -10188,7 +10222,7 @@ retval2.res diff = --- tests/retval2.c -+++ /tmp/cocci-output-19064-fa99aa-retval2.c ++++ /tmp/cocci-output-9583-6da89b-retval2.c @@ -11,7 +11,7 @@ int getlen(int *input, size_t maxlen, in return -1; } @@ -10201,7 +10235,7 @@ rptr.res diff = --- tests/rptr.c -+++ /tmp/cocci-output-19064-06441c-rptr.c ++++ /tmp/cocci-output-9583-67c5f7-rptr.c @@ -1,6 +1,4 @@ int foo(struct resource *r) { @@ -10212,7 +10246,7 @@ same_expr.res diff = --- tests/same_expr.c -+++ /tmp/cocci-output-19064-0ec985-same_expr.c ++++ /tmp/cocci-output-9583-4b5a34-same_expr.c @@ -1,6 +1,5 @@ void main(int i) { @@ -10223,7 +10257,7 @@ scope_problem.res diff = --- tests/scope_problem.c -+++ /tmp/cocci-output-19064-445d67-scope_problem.c ++++ /tmp/cocci-output-9583-ea53ca-scope_problem.c @@ -1,15 +1,7 @@ void main(int i) { - @@ -10247,7 +10281,7 @@ warning: rule starting on line 1: metavariable T not used in the - or context code diff = --- tests/shared_brace.c -+++ /tmp/cocci-output-19064-fc19ec-shared_brace.c ++++ /tmp/cocci-output-9583-53ebc7-shared_brace.c @@ -1,9 +1,7 @@ int __init ixj_init(void) @@ -10265,7 +10299,7 @@ warning: line 10: should a be a metavariable? diff = --- tests/signed.c -+++ /tmp/cocci-output-19064-5045ba-signed.c ++++ /tmp/cocci-output-9583-059db7-signed.c @@ -1,5 +1,5 @@ int main() { - signed x; @@ -10277,7 +10311,7 @@ sis.res diff = --- tests/sis.c -+++ /tmp/cocci-output-19064-d5ec94-sis.c ++++ /tmp/cocci-output-9583-c17a01-sis.c @@ -1,4 +1,4 @@ -DECLARE_MUTEX(disconnect_sem); +DEFINE_MUTEX(disconnect_sem); @@ -10287,7 +10321,7 @@ sizeof.res diff = --- tests/sizeof.c -+++ /tmp/cocci-output-19064-d04a3d-sizeof.c ++++ /tmp/cocci-output-9583-b5e635-sizeof.c @@ -1,7 +1,7 @@ int main (int param) { @@ -10301,7 +10335,7 @@ sizeof_julia.res diff = --- tests/sizeof_julia.c -+++ /tmp/cocci-output-19064-6c7f1f-sizeof_julia.c ++++ /tmp/cocci-output-9583-b9da65-sizeof_julia.c @@ -1,5 +1,5 @@ static int typhoon_ioctl(struct video_device *dev, unsigned int cmd, void *arg) @@ -10312,7 +10346,7 @@ sizeptr.res diff = --- tests/sizeptr.c -+++ /tmp/cocci-output-19064-8e418e-sizeptr.c ++++ /tmp/cocci-output-9583-112d6f-sizeptr.c @@ -5,7 +5,7 @@ int main () { ssize_t b; ptrdiff_t c; @@ -10327,7 +10361,7 @@ sizestar.res diff = --- tests/sizestar.c -+++ /tmp/cocci-output-19064-4afa2c-sizestar.c ++++ /tmp/cocci-output-9583-400df0-sizestar.c @@ -1,7 +1,7 @@ int main () { max = num_var_ranges; @@ -10340,7 +10374,7 @@ skip.res diff = --- tests/skip.c -+++ /tmp/cocci-output-19064-78f52e-skip.c ++++ /tmp/cocci-output-9583-590aae-skip.c @@ -1,5 +1,3 @@ int main () { - f(1); @@ -10351,7 +10385,7 @@ sl2.res diff = --- tests/sl2.c -+++ /tmp/cocci-output-19064-c5a96d-sl2.c ++++ /tmp/cocci-output-9583-063905-sl2.c @@ -1,11 +1,14 @@ int main () { + something(); @@ -10372,7 +10406,7 @@ one(); slen.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_76fcf5.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_76fcf5.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_b4015d.cmxs -g -I /usr/lib/ocaml -I /build/coccinelle-1.0.4.deb/ocaml /tmp/ocaml_cocci_b4015d.ml File "_none_", line 1: Warning 58: no cmx file was found in path for module Common, and its interface was not compiled with -opaque File "_none_", line 1: @@ -10381,7 +10415,7 @@ Loading ML code of the SP... diff = --- tests/slen.c -+++ /tmp/cocci-output-19064-3394d8-slen.c ++++ /tmp/cocci-output-9583-8d1251-slen.c @@ -3,16 +3,10 @@ int main() { one(); } @@ -10404,7 +10438,7 @@ smallfn.res diff = --- tests/smallfn.c -+++ /tmp/cocci-output-19064-db9f26-smallfn.c ++++ /tmp/cocci-output-9583-20b698-smallfn.c @@ -1,30 +1,65 @@ int main () { if (y) { @@ -10484,7 +10518,7 @@ sp.res diff = --- tests/sp.c -+++ /tmp/cocci-output-19064-bbb1b9-sp.c ++++ /tmp/cocci-output-9583-7420a4-sp.c @@ -1,4 +1,4 @@ -typedef struct { +struct name { @@ -10496,7 +10530,7 @@ spacing.res diff = --- tests/spacing.c -+++ /tmp/cocci-output-19064-cef48a-spacing.c ++++ /tmp/cocci-output-9583-a51a76-spacing.c @@ -1,8 +1,19 @@ typedef int *foo; @@ -10520,7 +10554,7 @@ spl.res diff = --- tests/spl.c -+++ /tmp/cocci-output-19064-d5d837-spl.c ++++ /tmp/cocci-output-9583-247c69-spl.c @@ -2,11 +2,13 @@ int main() { spin_lock(&isp116x->lock); /* take idle endpoints out of the schedule */ @@ -10538,7 +10572,7 @@ starprint.res diff = --- tests/starprint.c -+++ /tmp/cocci-output-19064-acc05d-starprint.c ++++ /tmp/cocci-output-9583-90f4e3-starprint.c @@ -1,6 +1,6 @@ typedef int *LPINT; @@ -10550,7 +10584,7 @@ static.res diff = --- tests/static.c -+++ /tmp/cocci-output-19064-c723b8-static.c ++++ /tmp/cocci-output-9583-2d1530-static.c @@ -1,4 +1,3 @@ static inline int i8042_read_data(void) { @@ -10560,7 +10594,7 @@ stm10.res diff = --- tests/stm10.c -+++ /tmp/cocci-output-19064-953c33-stm10.c ++++ /tmp/cocci-output-9583-014193-stm10.c @@ -1,6 +1,7 @@ int main(int x) { f(); @@ -10572,7 +10606,7 @@ stm10_ver1.res diff = --- tests/stm10_ver1.c -+++ /tmp/cocci-output-19064-4593cf-stm10_ver1.c ++++ /tmp/cocci-output-9583-adb68d-stm10_ver1.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10583,7 +10617,7 @@ stm2.res diff = --- tests/stm2.c -+++ /tmp/cocci-output-19064-b6358b-stm2.c ++++ /tmp/cocci-output-9583-dbf893-stm2.c @@ -1,5 +1,4 @@ int main(int x) { f(); @@ -10593,7 +10627,7 @@ stm3.res diff = --- tests/stm3.c -+++ /tmp/cocci-output-19064-58dbfe-stm3.c ++++ /tmp/cocci-output-9583-fb89b3-stm3.c @@ -1,5 +1,5 @@ int main(int x) { f(); @@ -10604,7 +10638,7 @@ stm4.res diff = --- tests/stm4.c -+++ /tmp/cocci-output-19064-0a06e3-stm4.c ++++ /tmp/cocci-output-9583-f08cd3-stm4.c @@ -2,4 +2,5 @@ int main(int x) { f(); replace(); @@ -10614,7 +10648,7 @@ stm5.res diff = --- tests/stm5.c -+++ /tmp/cocci-output-19064-87481c-stm5.c ++++ /tmp/cocci-output-9583-a28d04-stm5.c @@ -1,5 +1,7 @@ int main(int x) { f(); @@ -10626,7 +10660,7 @@ stm6.res diff = --- tests/stm6.c -+++ /tmp/cocci-output-19064-c2d113-stm6.c ++++ /tmp/cocci-output-9583-174c3b-stm6.c @@ -1,5 +1,6 @@ int main(int x) { f(); @@ -10638,7 +10672,7 @@ stm8.res diff = --- tests/stm8.c -+++ /tmp/cocci-output-19064-4f1e31-stm8.c ++++ /tmp/cocci-output-9583-00e466-stm8.c @@ -1,5 +1,5 @@ int main(int x) { f(); @@ -10649,7 +10683,7 @@ stmt.res diff = --- tests/stmt.c -+++ /tmp/cocci-output-19064-1c18da-stmt.c ++++ /tmp/cocci-output-9583-e02d22-stmt.c @@ -1,4 +1,5 @@ int f() { int x; @@ -10660,7 +10694,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/str_init.c -+++ /tmp/cocci-output-19064-ab2fd6-str_init.c ++++ /tmp/cocci-output-9583-f8d80f-str_init.c @@ -1,7 +1,3 @@ struct foo x = { - .aaa = 5, @@ -10673,7 +10707,7 @@ warning: rule starting on line 1: metavariable f not used in the - or context code diff = --- tests/strangeorder.c -+++ /tmp/cocci-output-19064-a61d89-strangeorder.c ++++ /tmp/cocci-output-9583-1134e7-strangeorder.c @@ -4,8 +4,10 @@ i2c_new_device(struct i2c_adapter *adap, struct i2c_client *client; @@ -10689,7 +10723,7 @@ strid.res diff = --- tests/strid.c -+++ /tmp/cocci-output-19064-7a8ee2-strid.c ++++ /tmp/cocci-output-9583-d4c834-strid.c @@ -1,4 +1,4 @@ int main () { struct foo *a; @@ -10699,7 +10733,7 @@ strid2.res diff = --- tests/strid2.c -+++ /tmp/cocci-output-19064-b7dc0a-strid2.c ++++ /tmp/cocci-output-9583-84767c-strid2.c @@ -3,8 +3,8 @@ int main () { enum foo1 *b; struct foo a1; @@ -10715,7 +10749,7 @@ struct.res diff = --- tests/struct.c -+++ /tmp/cocci-output-19064-fade0f-struct.c ++++ /tmp/cocci-output-9583-f1921c-struct.c @@ -8,7 +8,5 @@ struct foo { int main() { @@ -10727,7 +10761,7 @@ struct_metavar.res diff = --- tests/struct_metavar.c -+++ /tmp/cocci-output-19064-54b52d-struct_metavar.c ++++ /tmp/cocci-output-9583-4005e6-struct_metavar.c @@ -9,9 +9,6 @@ struct foo { int main() { struct foo *a; @@ -10741,7 +10775,7 @@ struct_typedef.res diff = --- tests/struct_typedef.c -+++ /tmp/cocci-output-19064-bc90c5-struct_typedef.c ++++ /tmp/cocci-output-9583-61b7d9-struct_typedef.c @@ -1,5 +1,5 @@ -typedef struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -10754,7 +10788,7 @@ warning: line 5: should my_foo be a metavariable? diff = --- tests/structfoo.c -+++ /tmp/cocci-output-19064-17369d-structfoo.c ++++ /tmp/cocci-output-9583-7794ae-structfoo.c @@ -1,4 +1 @@ -struct foo my_foo[] = { -.a = 1, @@ -10764,7 +10798,7 @@ substruct.res diff = --- tests/substruct.c -+++ /tmp/cocci-output-19064-1c3db4-substruct.c ++++ /tmp/cocci-output-9583-7df6af-substruct.c @@ -1,5 +1,5 @@ struct a { int a; } x[2] = { @@ -10776,14 +10810,14 @@ sw.res diff = --- tests/sw.c -+++ /tmp/cocci-output-19064-e5a60d-sw.c ++++ /tmp/cocci-output-9583-114362-sw.c @@ -1 +1 @@ -int f() { switch (x) { case FOO: return; } } + swap3.res diff = --- tests/swap3.c -+++ /tmp/cocci-output-19064-42f9c8-swap3.c ++++ /tmp/cocci-output-9583-16adad-swap3.c @@ -2,7 +2,7 @@ static void __ar955x_tx_iq_cal_sort(stru struct coeff *coeff, int i, int nmeasurement) @@ -10796,7 +10830,7 @@ switch.res diff = --- tests/switch.c -+++ /tmp/cocci-output-19064-4f1827-switch.c ++++ /tmp/cocci-output-9583-216f7f-switch.c @@ -3,6 +3,5 @@ int main () { default: break; @@ -10808,7 +10842,7 @@ warning: switch_1: metavariable S_1 not used in the - or context code diff = --- tests/switchdecl.c -+++ /tmp/cocci-output-19064-d57b12-switchdecl.c ++++ /tmp/cocci-output-9583-6dbc9a-switchdecl.c @@ -4,7 +4,7 @@ switch (2) { int x; @@ -10822,7 +10856,7 @@ warning: line 12: should g be a metavariable? diff = --- tests/symbol.c -+++ /tmp/cocci-output-19064-eb0d68-symbol.c ++++ /tmp/cocci-output-9583-854792-symbol.c @@ -1,7 +1,5 @@ int main() { int f = 0; @@ -10834,7 +10868,7 @@ td.res diff = --- tests/td.c -+++ /tmp/cocci-output-19064-52ddd1-td.c ++++ /tmp/cocci-output-9583-a229d5-td.c @@ -1,5 +1,5 @@ -struct foo {int a;}; +struct foo {int b;}; @@ -10847,7 +10881,7 @@ tdnl.res diff = --- tests/tdnl.c -+++ /tmp/cocci-output-19064-41b288-tdnl.c ++++ /tmp/cocci-output-9583-01dd5c-tdnl.c @@ -4,5 +4,4 @@ void main() { @@ -10857,7 +10891,7 @@ tern.res diff = --- tests/tern.c -+++ /tmp/cocci-output-19064-670b5d-tern.c ++++ /tmp/cocci-output-9583-3cc9aa-tern.c @@ -1,4 +1,4 @@ int main () { - return (wc >= 0 && wc <= 0x7f ? wc : 0x7f); @@ -10867,7 +10901,7 @@ test0.res diff = --- tests/test0.c -+++ /tmp/cocci-output-19064-c66ee2-test0.c ++++ /tmp/cocci-output-9583-6a2402-test0.c @@ -1,5 +1,3 @@ int main(int i) { - f(1); @@ -10877,7 +10911,7 @@ test1.res diff = --- tests/test1.c -+++ /tmp/cocci-output-19064-b113a4-test1.c ++++ /tmp/cocci-output-9583-cd8ab5-test1.c @@ -6,9 +6,9 @@ void main(int foo) { x(); if(1) { @@ -10894,7 +10928,7 @@ test10_ver1.res diff = --- tests/test10_ver1.c -+++ /tmp/cocci-output-19064-545660-test10_ver1.c ++++ /tmp/cocci-output-9583-ec1a08-test10_ver1.c @@ -3,7 +3,7 @@ void main(int i) { f(1); g(1); @@ -10908,7 +10942,7 @@ test11_ver1.res diff = --- tests/test11_ver1.c -+++ /tmp/cocci-output-19064-a16c75-test11_ver1.c ++++ /tmp/cocci-output-9583-3f3dac-test11_ver1.c @@ -2,6 +2,6 @@ void main(int i) { f(1); g(1); @@ -10920,7 +10954,7 @@ test12.res diff = --- tests/test12.c -+++ /tmp/cocci-output-19064-924d09-test12.c ++++ /tmp/cocci-output-9583-a74144-test12.c @@ -1,6 +1,6 @@ void main(int foo) { @@ -10932,7 +10966,7 @@ test2.res diff = --- tests/test2.c -+++ /tmp/cocci-output-19064-85ad0d-test2.c ++++ /tmp/cocci-output-9583-be4ae3-test2.c @@ -2,7 +2,7 @@ void main() { f(1,2,3); @@ -10946,7 +10980,7 @@ test3.res diff = --- tests/test3.c -+++ /tmp/cocci-output-19064-9ef68c-test3.c ++++ /tmp/cocci-output-9583-96eeea-test3.c @@ -4,7 +4,7 @@ void main() f(3); @@ -10960,7 +10994,7 @@ test4.res diff = --- tests/test4.c -+++ /tmp/cocci-output-19064-ad63d4-test4.c ++++ /tmp/cocci-output-9583-37b2d0-test4.c @@ -1,7 +1,6 @@ void main() { @@ -10972,7 +11006,7 @@ test5.res diff = --- tests/test5.c -+++ /tmp/cocci-output-19064-d7749d-test5.c ++++ /tmp/cocci-output-9583-f893f1-test5.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -10988,7 +11022,7 @@ test5_ver1.res diff = --- tests/test5_ver1.c -+++ /tmp/cocci-output-19064-30c281-test5_ver1.c ++++ /tmp/cocci-output-9583-9ea715-test5_ver1.c @@ -12,9 +12,9 @@ void main() { f(1); @@ -11004,7 +11038,7 @@ test6.res diff = --- tests/test6.c -+++ /tmp/cocci-output-19064-bf1f0d-test6.c ++++ /tmp/cocci-output-9583-ad351f-test6.c @@ -4,13 +4,13 @@ void main() { /* a comment */ @@ -11035,7 +11069,7 @@ test7.res diff = --- tests/test7.c -+++ /tmp/cocci-output-19064-38e431-test7.c ++++ /tmp/cocci-output-9583-a1caf6-test7.c @@ -2,10 +2,12 @@ void main() { @@ -11054,7 +11088,7 @@ test8.res diff = --- tests/test8.c -+++ /tmp/cocci-output-19064-429659-test8.c ++++ /tmp/cocci-output-9583-6ff324-test8.c @@ -1,7 +1,6 @@ -void main(int foo) { +void main(char i, int foo) { @@ -11067,7 +11101,7 @@ test9.res diff = --- tests/test9.c -+++ /tmp/cocci-output-19064-81cb6f-test9.c ++++ /tmp/cocci-output-9583-87fd52-test9.c @@ -4,9 +4,9 @@ void main(int foo) { // f(1); // if uncoment then problems g(2); @@ -11083,7 +11117,7 @@ test_s.res diff = --- tests/test_s.c -+++ /tmp/cocci-output-19064-bbc087-test_s.c ++++ /tmp/cocci-output-9583-7ccf8f-test_s.c @@ -2,7 +2,7 @@ int main () { if (x-one) { one(); @@ -11111,7 +11145,7 @@ warning: line 39: should y be a metavariable? diff = --- tests/test_unsigned_meta.c -+++ /tmp/cocci-output-19064-91125f-test_unsigned_meta.c ++++ /tmp/cocci-output-9583-5eb054-test_unsigned_meta.c @@ -1,8 +1,12 @@ int main () { - unsigned int x; @@ -11131,7 +11165,7 @@ testand.res diff = --- tests/testand.c -+++ /tmp/cocci-output-19064-80cc09-testand.c ++++ /tmp/cocci-output-9583-3e628b-testand.c @@ -1,5 +1,5 @@ int main () { f(1,2,3,4); @@ -11143,7 +11177,7 @@ testand2.res diff = --- tests/testand2.c -+++ /tmp/cocci-output-19064-c02d2c-testand2.c ++++ /tmp/cocci-output-9583-9c558d-testand2.c @@ -1,6 +1,6 @@ int main () { f(1,2,3,4); @@ -11155,7 +11189,7 @@ three_types.res diff = --- tests/three_types.c -+++ /tmp/cocci-output-19064-ba89ff-three_types.c ++++ /tmp/cocci-output-9583-93737e-three_types.c @@ -7,5 +7,5 @@ via_init_dmablit(drm_device_t *dev) { drm_via_blitq_t *blitq; @@ -11166,7 +11200,7 @@ threea.res diff = --- tests/threea.c -+++ /tmp/cocci-output-19064-c19fee-threea.c ++++ /tmp/cocci-output-9583-d1e732-threea.c @@ -1,4 +1,3 @@ int main() { f(12); @@ -11175,14 +11209,14 @@ top.res diff = --- tests/top.c -+++ /tmp/cocci-output-19064-9e7f06-top.c ++++ /tmp/cocci-output-9583-9515e7-top.c @@ -1 +1 @@ -MODULE_PARM(suppress_pollack, "i"); +module_param(I, int, 0); topdec.res diff = --- tests/topdec.c -+++ /tmp/cocci-output-19064-76855a-topdec.c ++++ /tmp/cocci-output-9583-25cacd-topdec.c @@ -5,4 +5,5 @@ static int debug; /* Network device part of the driver */ @@ -11193,7 +11227,7 @@ topdec_ver1.res diff = --- tests/topdec_ver1.c -+++ /tmp/cocci-output-19064-85e96b-topdec_ver1.c ++++ /tmp/cocci-output-9583-b31d12-topdec_ver1.c @@ -2,6 +2,5 @@ static int debug; #endif @@ -11205,7 +11239,7 @@ topdec_ver2.res diff = --- tests/topdec_ver2.c -+++ /tmp/cocci-output-19064-4498c8-topdec_ver2.c ++++ /tmp/cocci-output-9583-1583b0-topdec_ver2.c @@ -5,4 +5,5 @@ static int debug; /* Network device part of the driver */ @@ -11216,7 +11250,7 @@ toplevel_macrostmt.res diff = --- tests/toplevel_macrostmt.c -+++ /tmp/cocci-output-19064-c27c35-toplevel_macrostmt.c ++++ /tmp/cocci-output-9583-6eb95e-toplevel_macrostmt.c @@ -2,7 +2,7 @@ void main(int i) { } @@ -11230,7 +11264,7 @@ warning: line 5: should usb_stor_host_template be a metavariable? diff = --- tests/toplevel_struct.c -+++ /tmp/cocci-output-19064-512b87-toplevel_struct.c ++++ /tmp/cocci-output-9583-280983-toplevel_struct.c @@ -3,6 +3,7 @@ struct SHT usb_stor_host_template = { .name = "usb-storage", .proc_name = "usb-storage", @@ -11258,7 +11292,7 @@ warning: rule starting on line 10: metavariable B not used in the - or context code diff = --- tests/tup.c -+++ /tmp/cocci-output-19064-fcfa79-tup.c ++++ /tmp/cocci-output-9583-457584-tup.c @@ -1,7 +1,7 @@ static int cm206_block_ioctl(struct inode *inode, struct file *file, unsigned cmd, unsigned long arg) @@ -11271,7 +11305,7 @@ twomatch.res diff = --- tests/twomatch.c -+++ /tmp/cocci-output-19064-728094-twomatch.c ++++ /tmp/cocci-output-9583-b2b8c9-twomatch.c @@ -1,5 +1,5 @@ int main() { bar(12,1); @@ -11282,7 +11316,7 @@ twoproto.res diff = --- tests/twoproto.c -+++ /tmp/cocci-output-19064-17e902-twoproto.c ++++ /tmp/cocci-output-9583-0555bd-twoproto.c @@ -1,11 +1,9 @@ static void tc574_config(dev_link_t *link); @@ -11300,7 +11334,7 @@ ty.res diff = --- tests/ty.c -+++ /tmp/cocci-output-19064-3008ec-ty.c ++++ /tmp/cocci-output-9583-f59f4a-ty.c @@ -1,4 +1,4 @@ int main () { - struct foo x; @@ -11311,7 +11345,7 @@ warning: line 7: should x be a metavariable? diff = --- tests/ty1.c -+++ /tmp/cocci-output-19064-2e2fd6-ty1.c ++++ /tmp/cocci-output-9583-761550-ty1.c @@ -1,4 +1,3 @@ int fn(int y) { char x; @@ -11320,7 +11354,7 @@ ty_tyexp.res diff = --- tests/ty_tyexp.c -+++ /tmp/cocci-output-19064-eb4c88-ty_tyexp.c ++++ /tmp/cocci-output-9583-321a87-ty_tyexp.c @@ -1,11 +1,11 @@ void main(double z) { @@ -11343,7 +11377,7 @@ (ONCE) disjtype not supported in smpl type inference, assuming unknown diff = --- tests/tydisj.c -+++ /tmp/cocci-output-19064-669d0c-tydisj.c ++++ /tmp/cocci-output-9583-85228d-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(); @@ -11352,7 +11386,7 @@ tyex.res diff = --- tests/tyex.c -+++ /tmp/cocci-output-19064-260771-tyex.c ++++ /tmp/cocci-output-9583-2295be-tyex.c @@ -1,12 +1,15 @@ typedef struct { double x; @@ -11375,7 +11409,7 @@ warning: line 7: should x be a metavariable? diff = --- tests/type.c -+++ /tmp/cocci-output-19064-fe74dc-type.c ++++ /tmp/cocci-output-9583-860f27-type.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11386,7 +11420,7 @@ type1.res diff = --- tests/type1.c -+++ /tmp/cocci-output-19064-c58cfa-type1.c ++++ /tmp/cocci-output-9583-6e628d-type1.c @@ -1,5 +1,5 @@ int foo() { - int x; @@ -11397,7 +11431,7 @@ type_annotated.res diff = --- tests/type_annotated.c -+++ /tmp/cocci-output-19064-f8f0ab-type_annotated.c ++++ /tmp/cocci-output-9583-32cab0-type_annotated.c @@ -4,7 +4,7 @@ void f1(int z) { struct foo2 j; int k; @@ -11418,7 +11452,7 @@ type_ver1.res diff = --- tests/type_ver1.c -+++ /tmp/cocci-output-19064-f1e935-type_ver1.c ++++ /tmp/cocci-output-9583-e59c00-type_ver1.c @@ -1,5 +1,5 @@ int foo() { - struct foo x; @@ -11429,7 +11463,7 @@ type_ver2.res diff = --- tests/type_ver2.c -+++ /tmp/cocci-output-19064-45dea5-type_ver2.c ++++ /tmp/cocci-output-9583-af09ab-type_ver2.c @@ -1,5 +1,5 @@ int foo() { - int x[10]; @@ -11440,7 +11474,7 @@ typedef.res diff = --- tests/typedef.c -+++ /tmp/cocci-output-19064-e2283d-typedef.c ++++ /tmp/cocci-output-9583-edc0d0-typedef.c @@ -1,15 +1,15 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11463,7 +11497,7 @@ typedef3.res diff = --- tests/typedef3.c -+++ /tmp/cocci-output-19064-5b0310-typedef3.c ++++ /tmp/cocci-output-9583-038593-typedef3.c @@ -1,5 +1,5 @@ typedef struct bluecard_info_t { - dev_link_t link; @@ -11482,7 +11516,7 @@ typeof.res diff = --- tests/typeof.c -+++ /tmp/cocci-output-19064-dfe451-typeof.c ++++ /tmp/cocci-output-9583-15dc6e-typeof.c @@ -1,6 +1,4 @@ int main() { int x; @@ -11493,7 +11527,7 @@ unelse.res diff = --- tests/unelse.c -+++ /tmp/cocci-output-19064-42bb76-unelse.c ++++ /tmp/cocci-output-9583-93b969-unelse.c @@ -2,8 +2,6 @@ static short find_control(u16 control_in { if (!*pI) @@ -11508,7 +11542,7 @@ unfree.res diff = --- tests/unfree.c -+++ /tmp/cocci-output-19064-9328d9-unfree.c ++++ /tmp/cocci-output-9583-eaf280-unfree.c @@ -2,8 +2,7 @@ static void mppe_free(void *arg) { struct ppp_mppe_state *state = (struct ppp_mppe_state *) arg; @@ -11522,7 +11556,7 @@ unl.res diff = --- tests/unl.c -+++ /tmp/cocci-output-19064-4d4cb6-unl.c ++++ /tmp/cocci-output-9583-3a3b14-unl.c @@ -1,10 +1,10 @@ int main () { - if (new_pe == NULL) { @@ -11539,7 +11573,7 @@ useless_cast.res diff = --- tests/useless_cast.c -+++ /tmp/cocci-output-19064-483bc5-useless_cast.c ++++ /tmp/cocci-output-9583-f1b2a3-useless_cast.c @@ -8,7 +8,7 @@ struct device { struct device *dev; @@ -11552,7 +11586,7 @@ varargs.res diff = --- tests/varargs.c -+++ /tmp/cocci-output-19064-9bf864-varargs.c ++++ /tmp/cocci-output-9583-8984b5-varargs.c @@ -1,4 +1,5 @@ static void @@ -11563,7 +11597,7 @@ varargs2.res diff = --- tests/varargs2.c -+++ /tmp/cocci-output-19064-2813e6-varargs2.c ++++ /tmp/cocci-output-9583-268bd5-varargs2.c @@ -1,3 +1,4 @@ static void f(char *fmt, ...) { @@ -11572,7 +11606,7 @@ varargs3.res diff = --- tests/varargs3.c -+++ /tmp/cocci-output-19064-c11ef2-varargs3.c ++++ /tmp/cocci-output-9583-8ef85a-varargs3.c @@ -1,4 +1,3 @@ -static int foo(char *fmt, ...) { @@ -11589,7 +11623,7 @@ video1bis.res diff = --- tests/video1bis.c -+++ /tmp/cocci-output-19064-6b713e-video1bis.c ++++ /tmp/cocci-output-9583-e58389-video1bis.c @@ -3,7 +3,5 @@ void *arg) { if (cmd == VIDIOCGTUNER) { @@ -11601,7 +11635,7 @@ void.res diff = --- tests/void.c -+++ /tmp/cocci-output-19064-4e1bc3-void.c ++++ /tmp/cocci-output-9583-c754e1-void.c @@ -1,5 +1,13 @@ int xbar(void) { return; } @@ -11619,7 +11653,7 @@ vpos.res diff = --- tests/vpos.c -+++ /tmp/cocci-output-19064-e657c8-vpos.c ++++ /tmp/cocci-output-9583-1f1bca-vpos.c @@ -1,9 +1,7 @@ int main() { f(2); @@ -11633,7 +11667,7 @@ whitespace.res diff = --- tests/whitespace.c -+++ /tmp/cocci-output-19064-67c10f-whitespace.c ++++ /tmp/cocci-output-9583-ef532f-whitespace.c @@ -1,3 +1,3 @@ int main () { - foo(sizeof (struct xxx)); @@ -11642,7 +11676,7 @@ wierd_argument.res diff = --- tests/wierd_argument.c -+++ /tmp/cocci-output-19064-8664ae-wierd_argument.c ++++ /tmp/cocci-output-9583-ec6430-wierd_argument.c @@ -1,7 +1,7 @@ static void ewx_i2c_setlines(snd_i2c_bus_t *bus, int clk, int data) { @@ -11657,7 +11691,7 @@ wrongcheck.res diff = --- tests/wrongcheck.c -+++ /tmp/cocci-output-19064-0951a9-wrongcheck.c ++++ /tmp/cocci-output-9583-aa37d6-wrongcheck.c @@ -1,5 +1,3 @@ int main () { - err = si476x_core_i2c_xfer(core, SI476X_I2C_RECV, @@ -11668,7 +11702,7 @@ warning: rule starting on line 1: metavariable A not used in the + code diff = --- tests/ws2.c -+++ /tmp/cocci-output-19064-21280a-ws2.c ++++ /tmp/cocci-output-9583-d0b36b-ws2.c @@ -1,6 +1,5 @@ int main() { - if (foo()) @@ -11680,7 +11714,7 @@ xfield.res diff = --- tests/xfield.c -+++ /tmp/cocci-output-19064-1e3143-xfield.c ++++ /tmp/cocci-output-9583-9d3f4a-xfield.c @@ -1,4 +1,4 @@ -FOO(a2,b2,c2); +int x; @@ -11690,7 +11724,7 @@ y2.res diff = --- tests/y2.c -+++ /tmp/cocci-output-19064-817f52-y2.c ++++ /tmp/cocci-output-9583-628552-y2.c @@ -1,10 +1,6 @@ static void asuscom_interrupt_ipac(int intno, void *dev_id, struct pt_regs *regs) @@ -11705,7 +11739,7 @@ zero.res diff = --- tests/zero.c -+++ /tmp/cocci-output-19064-352381-zero.c ++++ /tmp/cocci-output-9583-23af9d-zero.c @@ -1,6 +1,2 @@ int main () { - memset(command, 0, sizeof(struct sbp2_command_info)); @@ -12607,28 +12641,28 @@ dh_installdeb -O--parallel dh_installdeb: Compatibility levels before 9 are deprecated (level 8 in use) dh_ocaml -O--parallel -W: coccinelle doesn't resolve dependency on unit Ograph_extended -W: coccinelle doesn't resolve dependency on unit Oassoc -W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci +W: coccinelle doesn't resolve dependency on unit Token_views_c W: coccinelle doesn't resolve dependency on unit Token_c -W: coccinelle doesn't resolve dependency on unit Externalanalysis -W: coccinelle doesn't resolve dependency on unit Ocollection -W: coccinelle doesn't resolve dependency on unit Lexer_parser W: coccinelle doesn't resolve dependency on unit Dumper -W: coccinelle doesn't resolve dependency on unit SetPt -W: coccinelle doesn't resolve dependency on unit Type_annoter_c -W: coccinelle doesn't resolve dependency on unit Objet W: coccinelle doesn't resolve dependency on unit Cpp_token_c +W: coccinelle doesn't resolve dependency on unit Control_flow_c +W: coccinelle doesn't resolve dependency on unit Ograph_extended W: coccinelle doesn't resolve dependency on unit Commands -W: coccinelle doesn't resolve dependency on unit Seti -W: coccinelle doesn't resolve dependency on unit Flag_parsing_c -W: coccinelle doesn't resolve dependency on unit Regexp_pcre -W: coccinelle doesn't resolve dependency on unit Parsing_stat -W: coccinelle doesn't resolve dependency on unit Token_views_c W: coccinelle doesn't resolve dependency on unit Oset -W: coccinelle doesn't resolve dependency on unit Control_flow_c +W: coccinelle doesn't resolve dependency on unit Regexp_pcre W: coccinelle doesn't resolve dependency on unit Token_annot +W: coccinelle doesn't resolve dependency on unit Parsing_stat +W: coccinelle doesn't resolve dependency on unit Externalanalysis +W: coccinelle doesn't resolve dependency on unit Type_annoter_c +W: coccinelle doesn't resolve dependency on unit Objet +W: coccinelle doesn't resolve dependency on unit Lexer_parser +W: coccinelle doesn't resolve dependency on unit Seti +W: coccinelle doesn't resolve dependency on unit Ocollection +W: coccinelle doesn't resolve dependency on unit Flag_parsing_c +W: coccinelle doesn't resolve dependency on unit SetPt +W: coccinelle doesn't resolve dependency on unit Oassoc W: coccinelle doesn't resolve dependency on unit Setb +W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci dh_gencontrol -O--parallel dh_md5sums -O--parallel dh_builddeb -O--parallel @@ -12641,12 +12675,14 @@ dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/24387/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/24387/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/10822 and its subdirectories -I: Current time: Sun Sep 11 07:00:01 -12 2022 -I: pbuilder-time-stamp: 1662922801 +I: removing directory /srv/workspace/pbuilder/24387 and its subdirectories +I: Current time: Tue Aug 10 02:40:40 +14 2021 +I: pbuilder-time-stamp: 1628512840