Diff of the two buildlogs: -- --- b1/build.log 2023-05-10 20:31:03.094388020 +0000 +++ b2/build.log 2023-05-10 20:47:48.306347935 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Wed May 10 08:13:36 -12 2023 -I: pbuilder-time-stamp: 1683749616 +I: Current time: Wed Jun 12 16:54:05 +14 2024 +I: pbuilder-time-stamp: 1718160845 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz] I: copying local configuration @@ -16,7 +16,7 @@ I: copying [./coccinelle_1.1.1.deb.orig.tar.gz] I: copying [./coccinelle_1.1.1.deb-2.debian.tar.xz] I: Extracting source -gpgv: Signature made Wed Nov 9 23:15:14 2022 -12 +gpgv: Signature made Fri Nov 11 01:15:14 2022 +14 gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./coccinelle_1.1.1.deb-2.dsc: no acceptable signature found @@ -30,135 +30,167 @@ dpkg-source: info: applying dont-expose-parmap.diff I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/577572/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/1295228/tmp/hooks/D01_modify_environment starting +debug: Running on ionos15-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Jun 12 16:54 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/1295228/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/1295228/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=15' - DISTRIBUTION='bookworm' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="15" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.2.15(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=16' + DIRSTACK=() + DISTRIBUTION=bookworm + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='044bdf3ffca24ca39a04d5a963e8233d' - 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='577572' - PS1='# ' - PS2='> ' + INVOCATION_ID=3d48e245c0f944dab972a988ebfad534 + 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=1295228 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.s5F582c2/pbuilderrc_H6lX --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.s5F582c2/b1 --logfile b1/build.log coccinelle_1.1.1.deb-2.dsc' - SUDO_GID='111' - SUDO_UID='106' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://78.137.99.97:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.s5F582c2/pbuilderrc_xxqr --distribution bookworm --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.s5F582c2/b2 --logfile b2/build.log --extrapackages usrmerge coccinelle_1.1.1.deb-2.dsc' + SUDO_GID=111 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://85.184.249.68:3128 I: uname -a - Linux ionos11-amd64 5.10.0-22-amd64 #1 SMP Debian 5.10.178-3 (2023-04-22) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-0.deb11.6-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.15-1~bpo11+1 (2023-03-16) x86_64 GNU/Linux I: ls -l /bin total 5632 - -rwxr-xr-x 1 root root 1265648 Apr 23 09:23 bash - -rwxr-xr-x 3 root root 39224 Sep 18 2022 bunzip2 - -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzcat - lrwxrwxrwx 1 root root 6 Sep 18 2022 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2225 Sep 18 2022 bzdiff - lrwxrwxrwx 1 root root 6 Sep 18 2022 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe - lrwxrwxrwx 1 root root 6 Sep 18 2022 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3775 Sep 18 2022 bzgrep - -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzip2 - -rwxr-xr-x 1 root root 14568 Sep 18 2022 bzip2recover - lrwxrwxrwx 1 root root 6 Sep 18 2022 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Sep 18 2022 bzmore - -rwxr-xr-x 1 root root 44016 Sep 20 2022 cat - -rwxr-xr-x 1 root root 68656 Sep 20 2022 chgrp - -rwxr-xr-x 1 root root 64496 Sep 20 2022 chmod - -rwxr-xr-x 1 root root 72752 Sep 20 2022 chown - -rwxr-xr-x 1 root root 151152 Sep 20 2022 cp - -rwxr-xr-x 1 root root 125640 Jan 5 01:20 dash - -rwxr-xr-x 1 root root 121904 Sep 20 2022 date - -rwxr-xr-x 1 root root 89240 Sep 20 2022 dd - -rwxr-xr-x 1 root root 102200 Sep 20 2022 df - -rwxr-xr-x 1 root root 151344 Sep 20 2022 dir - -rwxr-xr-x 1 root root 88656 Mar 22 22:02 dmesg - lrwxrwxrwx 1 root root 8 Dec 19 01:33 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Dec 19 01:33 domainname -> hostname - -rwxr-xr-x 1 root root 43856 Sep 20 2022 echo - -rwxr-xr-x 1 root root 41 Jan 24 02:43 egrep - -rwxr-xr-x 1 root root 35664 Sep 20 2022 false - -rwxr-xr-x 1 root root 41 Jan 24 02:43 fgrep - -rwxr-xr-x 1 root root 85600 Mar 22 22:02 findmnt - -rwsr-xr-x 1 root root 35128 Mar 22 20:35 fusermount - -rwxr-xr-x 1 root root 203152 Jan 24 02:43 grep - -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip - -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe - -rwxr-xr-x 1 root root 98136 Apr 9 2022 gzip - -rwxr-xr-x 1 root root 22680 Dec 19 01:33 hostname - -rwxr-xr-x 1 root root 72824 Sep 20 2022 ln - -rwxr-xr-x 1 root root 53024 Mar 23 00:40 login - -rwxr-xr-x 1 root root 151344 Sep 20 2022 ls - -rwxr-xr-x 1 root root 207168 Mar 22 22:02 lsblk - -rwxr-xr-x 1 root root 97552 Sep 20 2022 mkdir - -rwxr-xr-x 1 root root 72912 Sep 20 2022 mknod - -rwxr-xr-x 1 root root 43952 Sep 20 2022 mktemp - -rwxr-xr-x 1 root root 59712 Mar 22 22:02 more - -rwsr-xr-x 1 root root 59704 Mar 22 22:02 mount - -rwxr-xr-x 1 root root 18744 Mar 22 22:02 mountpoint - -rwxr-xr-x 1 root root 142968 Sep 20 2022 mv - lrwxrwxrwx 1 root root 8 Dec 19 01:33 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Apr 2 18:25 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 43952 Sep 20 2022 pwd - lrwxrwxrwx 1 root root 4 Apr 23 09:23 rbash -> bash - -rwxr-xr-x 1 root root 52112 Sep 20 2022 readlink - -rwxr-xr-x 1 root root 72752 Sep 20 2022 rm - -rwxr-xr-x 1 root root 56240 Sep 20 2022 rmdir - -rwxr-xr-x 1 root root 27560 Nov 2 2022 run-parts - -rwxr-xr-x 1 root root 126424 Jan 5 07:55 sed - lrwxrwxrwx 1 root root 4 Jan 5 01:20 sh -> dash - -rwxr-xr-x 1 root root 43888 Sep 20 2022 sleep - -rwxr-xr-x 1 root root 85008 Sep 20 2022 stty - -rwsr-xr-x 1 root root 72000 Mar 22 22:02 su - -rwxr-xr-x 1 root root 39824 Sep 20 2022 sync - -rwxr-xr-x 1 root root 531984 Apr 6 02:25 tar - -rwxr-xr-x 1 root root 14520 Nov 2 2022 tempfile - -rwxr-xr-x 1 root root 109616 Sep 20 2022 touch - -rwxr-xr-x 1 root root 35664 Sep 20 2022 true - -rwxr-xr-x 1 root root 14568 Mar 22 20:35 ulockmgr_server - -rwsr-xr-x 1 root root 35128 Mar 22 22:02 umount - -rwxr-xr-x 1 root root 43888 Sep 20 2022 uname - -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress - -rwxr-xr-x 1 root root 151344 Sep 20 2022 vdir - -rwxr-xr-x 1 root root 72024 Mar 22 22:02 wdctl - lrwxrwxrwx 1 root root 8 Dec 19 01:33 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat - -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp - -rwxr-xr-x 1 root root 6460 Apr 9 2022 zdiff - -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep - -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep - -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce - -rwxr-xr-x 1 root root 8103 Apr 9 2022 zgrep - -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless - -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore - -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew -I: user script /srv/workspace/pbuilder/577572/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1265648 Apr 24 2023 bash + -rwxr-xr-x 3 root root 39224 Sep 19 2022 bunzip2 + -rwxr-xr-x 3 root root 39224 Sep 19 2022 bzcat + lrwxrwxrwx 1 root root 6 Sep 19 2022 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2225 Sep 19 2022 bzdiff + lrwxrwxrwx 1 root root 6 Sep 19 2022 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4893 Nov 28 2021 bzexe + lrwxrwxrwx 1 root root 6 Sep 19 2022 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3775 Sep 19 2022 bzgrep + -rwxr-xr-x 3 root root 39224 Sep 19 2022 bzip2 + -rwxr-xr-x 1 root root 14568 Sep 19 2022 bzip2recover + lrwxrwxrwx 1 root root 6 Sep 19 2022 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Sep 19 2022 bzmore + -rwxr-xr-x 1 root root 44016 Sep 21 2022 cat + -rwxr-xr-x 1 root root 68656 Sep 21 2022 chgrp + -rwxr-xr-x 1 root root 64496 Sep 21 2022 chmod + -rwxr-xr-x 1 root root 72752 Sep 21 2022 chown + -rwxr-xr-x 1 root root 151152 Sep 21 2022 cp + -rwxr-xr-x 1 root root 125640 Jan 6 2023 dash + -rwxr-xr-x 1 root root 121904 Sep 21 2022 date + -rwxr-xr-x 1 root root 89240 Sep 21 2022 dd + -rwxr-xr-x 1 root root 102200 Sep 21 2022 df + -rwxr-xr-x 1 root root 151344 Sep 21 2022 dir + -rwxr-xr-x 1 root root 88656 Mar 24 2023 dmesg + lrwxrwxrwx 1 root root 8 Dec 20 2022 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Dec 20 2022 domainname -> hostname + -rwxr-xr-x 1 root root 43856 Sep 21 2022 echo + -rwxr-xr-x 1 root root 41 Jan 25 2023 egrep + -rwxr-xr-x 1 root root 35664 Sep 21 2022 false + -rwxr-xr-x 1 root root 41 Jan 25 2023 fgrep + -rwxr-xr-x 1 root root 85600 Mar 24 2023 findmnt + -rwsr-xr-x 1 root root 35128 Mar 23 2023 fusermount + -rwxr-xr-x 1 root root 203152 Jan 25 2023 grep + -rwxr-xr-x 2 root root 2346 Apr 10 2022 gunzip + -rwxr-xr-x 1 root root 6447 Apr 10 2022 gzexe + -rwxr-xr-x 1 root root 98136 Apr 10 2022 gzip + -rwxr-xr-x 1 root root 22680 Dec 20 2022 hostname + -rwxr-xr-x 1 root root 72824 Sep 21 2022 ln + -rwxr-xr-x 1 root root 53024 Mar 24 2023 login + -rwxr-xr-x 1 root root 151344 Sep 21 2022 ls + -rwxr-xr-x 1 root root 207168 Mar 24 2023 lsblk + -rwxr-xr-x 1 root root 97552 Sep 21 2022 mkdir + -rwxr-xr-x 1 root root 72912 Sep 21 2022 mknod + -rwxr-xr-x 1 root root 43952 Sep 21 2022 mktemp + -rwxr-xr-x 1 root root 59712 Mar 24 2023 more + -rwsr-xr-x 1 root root 59704 Mar 24 2023 mount + -rwxr-xr-x 1 root root 18744 Mar 24 2023 mountpoint + -rwxr-xr-x 1 root root 142968 Sep 21 2022 mv + lrwxrwxrwx 1 root root 8 Dec 20 2022 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Apr 3 2023 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 43952 Sep 21 2022 pwd + lrwxrwxrwx 1 root root 4 Apr 24 2023 rbash -> bash + -rwxr-xr-x 1 root root 52112 Sep 21 2022 readlink + -rwxr-xr-x 1 root root 72752 Sep 21 2022 rm + -rwxr-xr-x 1 root root 56240 Sep 21 2022 rmdir + -rwxr-xr-x 1 root root 27560 Nov 3 2022 run-parts + -rwxr-xr-x 1 root root 126424 Jan 6 2023 sed + lrwxrwxrwx 1 root root 9 Jun 12 16:54 sh -> /bin/bash + -rwxr-xr-x 1 root root 43888 Sep 21 2022 sleep + -rwxr-xr-x 1 root root 85008 Sep 21 2022 stty + -rwsr-xr-x 1 root root 72000 Mar 24 2023 su + -rwxr-xr-x 1 root root 39824 Sep 21 2022 sync + -rwxr-xr-x 1 root root 531984 Apr 7 2023 tar + -rwxr-xr-x 1 root root 14520 Nov 3 2022 tempfile + -rwxr-xr-x 1 root root 109616 Sep 21 2022 touch + -rwxr-xr-x 1 root root 35664 Sep 21 2022 true + -rwxr-xr-x 1 root root 14568 Mar 23 2023 ulockmgr_server + -rwsr-xr-x 1 root root 35128 Mar 24 2023 umount + -rwxr-xr-x 1 root root 43888 Sep 21 2022 uname + -rwxr-xr-x 2 root root 2346 Apr 10 2022 uncompress + -rwxr-xr-x 1 root root 151344 Sep 21 2022 vdir + -rwxr-xr-x 1 root root 72024 Mar 24 2023 wdctl + lrwxrwxrwx 1 root root 8 Dec 20 2022 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1984 Apr 10 2022 zcat + -rwxr-xr-x 1 root root 1678 Apr 10 2022 zcmp + -rwxr-xr-x 1 root root 6460 Apr 10 2022 zdiff + -rwxr-xr-x 1 root root 29 Apr 10 2022 zegrep + -rwxr-xr-x 1 root root 29 Apr 10 2022 zfgrep + -rwxr-xr-x 1 root root 2081 Apr 10 2022 zforce + -rwxr-xr-x 1 root root 8103 Apr 10 2022 zgrep + -rwxr-xr-x 1 root root 2206 Apr 10 2022 zless + -rwxr-xr-x 1 root root 1842 Apr 10 2022 zmore + -rwxr-xr-x 1 root root 4577 Apr 10 2022 znew +I: user script /srv/workspace/pbuilder/1295228/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -358,7 +390,7 @@ Get: 128 http://deb.debian.org/debian bookworm/main amd64 texlive-latex-recommended all 2022.20230122-3 [8880 kB] Get: 129 http://deb.debian.org/debian bookworm/main amd64 texlive-pictures all 2022.20230122-3 [15.8 MB] Get: 130 http://deb.debian.org/debian bookworm/main amd64 texlive-latex-extra all 2022.20230122-4 [19.2 MB] -Fetched 755 MB in 55s (13.6 MB/s) +Fetched 755 MB in 1min 17s (9791 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libpython3.11-minimal:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19596 files and directories currently installed.) @@ -913,8 +945,19 @@ Writing extended state information... Building tag database... -> Finished parsing the build-deps +Reading package lists... +Building dependency tree... +Reading state information... +usrmerge is already the newest version (35). +0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/coccinelle-1.1.1.deb/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../coccinelle_1.1.1.deb-2_source.changes +I: user script /srv/workspace/pbuilder/1295228/tmp/hooks/A99_set_merged_usr starting +Re-configuring usrmerge... +removed '/etc/unsupported-skip-usrmerge-conversion' +The system has been successfully converted. +I: user script /srv/workspace/pbuilder/1295228/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/coccinelle-1.1.1.deb/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../coccinelle_1.1.1.deb-2_source.changes dpkg-buildpackage: info: source package coccinelle dpkg-buildpackage: info: source version 1.1.1.deb-2 dpkg-buildpackage: info: source distribution unstable @@ -924,7 +967,7 @@ debian/rules clean dh clean --with ocaml,python3,autoreconf dh_auto_clean - make -j15 distclean + make -j16 distclean make[1]: Entering directory '/build/coccinelle-1.1.1.deb' CLEAN commons CLEAN globals @@ -959,14 +1002,14 @@ configure: configuring coccinelle 1.1.1 in /build/coccinelle-1.1.1.deb checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes -checking for a race-free mkdir -p... /bin/mkdir -p +checking for a race-free mkdir -p... /usr/bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes configure: determining version suffix -checking for date... /bin/date -configure: version suffix set to Wed, 10 May 2023 08:25:07 -1200 +checking for date... /usr/bin/date +configure: version suffix set to Wed, 12 Jun 2024 17:02:03 +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) @@ -985,10 +1028,10 @@ 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 tar... /bin/tar +checking for bash... /bin/sh +checking for tar... /usr/bin/tar checking for patch... /usr/bin/patch -checking for echo... /bin/echo +checking for echo... /usr/bin/echo checking for patchelf... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes @@ -1103,7 +1146,7 @@ make[1]: Entering directory '/build/coccinelle-1.1.1.deb' /usr/bin/make -C docs/manual pdf make[2]: Entering directory '/build/coccinelle-1.1.1.deb/docs/manual' -./find-xxdate: 12: opam: not found +./find-xxdate: line 12: opam: command not found *** Hevea: Unable to find xxdate.exe *** /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) (preloaded format=pdflatex) @@ -3630,14 +3673,14 @@ make[2]: Leaving directory '/build/coccinelle-1.1.1.deb/docs/manual' make[1]: Leaving directory '/build/coccinelle-1.1.1.deb' dh_auto_build -Ncoccinelle-doc - make -j15 + make -j16 make[1]: Entering directory '/build/coccinelle-1.1.1.deb' /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pyml -I /usr/lib/ocaml/parmap -I /usr/lib/ocaml/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) OCAMLYACC parsing_c/parser_c.mly OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_c/lexer_c.mli -OCAMLDEP parsing_cocci/lexer_script.mli OCAMLDEP parsing_cocci/lexer_cli.mli +OCAMLDEP parsing_cocci/lexer_script.mli OCAMLDEP parsing_cocci/lexer_cocci.mli OCAMLDEP tools/spgen/source/main.mli OCAMLDEP tools/spgen/source/spgen_test.mli @@ -3798,14 +3841,22 @@ OCAMLLEX tools/spgen/source/spgen_lexer.mll OCAMLLEX parsing_c/lexer_c.mll OCAMLLEX parsing_cocci/lexer_script.mll +25 states, 314 transitions, table size 1406 bytes OCAMLLEX parsing_cocci/lexer_cli.mll OCAMLLEX parsing_cocci/lexer_cocci.mll +14 states, 681 transitions, table size 2808 bytes +ocamllex warning: +File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string. OCAMLDEP tools/spgen/source/main.ml +143 states, 8123 transitions, table size 33350 bytes +23641 additional bytes used for bindings OCAMLDEP tools/spgen/source/spgen_test.ml OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/file_transform.ml +400 states, 6934 transitions, table size 30136 bytes +4105 additional bytes used for bindings OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/rule_header.ml @@ -3822,6 +3873,8 @@ OCAMLDEP enter.ml OCAMLDEP read_options.ml OCAMLDEP testing.ml +564 states, 26650 transitions, table size 109984 bytes +17879 additional bytes used for bindings OCAMLDEP cocci.ml OCAMLDEP flag_cocci.ml OCAMLDEP extra/maintainers.ml @@ -3856,22 +3909,14 @@ OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/ocamlcocci_aux.ml -25 states, 314 transitions, table size 1406 bytes -14 states, 681 transitions, table size 2808 bytes -ocamllex warning: -File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string. OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/externalanalysis.ml -143 states, 8123 transitions, table size 33350 bytes -23641 additional bytes used for bindings OCAMLDEP ctl/wrapper_ctl.ml OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ast_ctl.ml OCAMLDEP ctl/flag_ctl.ml -400 states, 6934 transitions, table size 30136 bytes -4105 additional bytes used for bindings OCAMLDEP parsing_c/test_parsing_c.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml @@ -3895,8 +3940,6 @@ OCAMLDEP parsing_c/semantic_c.ml OCAMLDEP parsing_c/pretty_print_c.ml OCAMLDEP parsing_c/control_flow_c_build.ml -564 states, 26650 transitions, table size 109984 bytes -17879 additional bytes used for bindings OCAMLDEP parsing_c/includes_cache.ml OCAMLDEP parsing_c/lib_parsing_c.ml OCAMLDEP parsing_c/visitor_c.ml @@ -3944,9 +3987,9 @@ OCAMLDEP parsing_cocci/iso_compile.ml OCAMLDEP parsing_cocci/comm_assoc.ml OCAMLDEP parsing_cocci/iso_pattern.ml +OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/unify_ast.ml OCAMLDEP parsing_cocci/unparse_ast0.ml -OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/ast0toast.ml OCAMLDEP parsing_cocci/visitor_ast0.ml OCAMLDEP parsing_cocci/visitor_ast.ml @@ -3961,9 +4004,9 @@ OCAMLDEP globals/flag.ml OCAMLDEP globals/config.ml OCAMLDEP commons/ograph_extended.ml +OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/common.ml OCAMLDEP commons/commands.ml -OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/ocamlextra/dumper.ml OCAMLDEP parsing_c/parser_c.mli OCAMLDEP tools/spgen/source/spgen_lexer.ml @@ -4001,18 +4044,22 @@ OCAMLC tools/spgen/source/spgen_lexer.mli OCAMLC tools/spgen/source/spgen.mli OCAMLC tools/spgen/source/spgen_test.mli -OCAMLC tools/spgen/source/main.mli cp globals/regexp.cmi ocaml/regexp.cmi +OCAMLC tools/spgen/source/main.mli cp globals/config.cmi ocaml/config.cmi cp globals/flag.cmi ocaml/flag.cmi cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi cp globals/iteration.cmi ocaml/iteration.cmi cp commons/commands.cmi ocaml/commands.cmi +cp commons/common.cmi ocaml/common.cmi cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi OCAMLC globals/regexp.ml OCAMLC globals/config.ml OCAMLC globals/flag.ml +OCAMLC parsing_c/flag_parsing_c.ml +OCAMLC globals/iteration.ml OCAMLC commons/commands.ml +OCAMLC commons/common.ml OCAMLC commons/ocamlextra/dumper.ml OCAMLOPT commons/ocamlextra/dumper.ml OCAMLOPT commons/commands.ml @@ -4043,25 +4090,24 @@ OCAMLOPT flag_cocci.ml OCAMLC tools/spgen/source/globals.mli OCAMLC tools/spgen/source/ast_tostring.mli -OCAMLOPT tools/spgen/source/spgen_lexer.ml cp parsing_c/token_c.cmi ocaml/token_c.cmi -cp commons/common.cmi ocaml/common.cmi +OCAMLOPT tools/spgen/source/spgen_lexer.ml cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi OCAMLC parsing_c/token_c.ml cp globals/regexp.cmo ocaml/regexp.cmo cp globals/config.cmo ocaml/config.cmo cp globals/flag.cmo ocaml/flag.cmo -OCAMLC parsing_c/flag_parsing_c.ml -OCAMLC globals/iteration.ml +cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo +cp globals/iteration.cmo ocaml/iteration.cmo cp commons/commands.cmo ocaml/commands.cmo -OCAMLC commons/common.ml -cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo OCAMLC parsing_cocci/ast_cocci.ml +cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo cp globals/config.cmx ocaml/config.cmx cp commons/commands.cmx ocaml/commands.cmx cp commons/ocamlextra/dumper.cmx ocaml/dumper.cmx OCAMLOPT commons/common.ml OCAMLOPT globals/flag.ml +OCAMLOPT globals/regexp.ml OCAMLC parsing_cocci/ast0_cocci.mli OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLC parsing_cocci/visitor_ast.mli @@ -4078,29 +4124,12 @@ OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLC engine/check_exhaustive_pattern.mli OCAMLC popl09/ast_popl.mli -OCAMLC testing.mli cp parsing_c/token_c.cmo ocaml/token_c.cmo -cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo -cp globals/iteration.cmo ocaml/iteration.cmo +OCAMLC parsing_cocci/ast0_cocci.ml +cp globals/regexp.cmx ocaml/regexp.cmx cp globals/flag.cmx ocaml/flag.cmx -OCAMLOPT globals/regexp.ml OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLC parsing_cocci/ast0toast.mli -OCAMLC parsing_cocci/unparse_ast0.mli -OCAMLC parsing_cocci/unify_ast.mli -OCAMLC parsing_cocci/compute_lines.mli -OCAMLC parsing_cocci/comm_assoc.mli -OCAMLC parsing_cocci/single_statement.mli -OCAMLC parsing_cocci/simple_assignments.mli -OCAMLC parsing_cocci/get_metas.mli -OCAMLC parsing_cocci/check_meta.mli -OCAMLC parsing_cocci/top_level.mli -OCAMLC parsing_cocci/type_infer.mli -OCAMLC parsing_cocci/test_exps.mli -OCAMLC parsing_cocci/unitary_ast0.mli -OCAMLC parsing_cocci/arity.mli -OCAMLC parsing_cocci/index.mli -OCAMLC parsing_cocci/context_neg.mli File "commons/common.ml", line 5305, characters 4-14: 5305 | write_file file1 (unwords xs); ^^^^^^^^^^ @@ -4109,6 +4138,7 @@ 5306 | write_file file2 (unwords ys); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. +OCAMLC parsing_cocci/unparse_ast0.mli File "commons/common.ml", line 5333, characters 4-14: 5333 | write_file "/tmp/diff1" xstr; ^^^^^^^^^^ @@ -4117,25 +4147,23 @@ 5334 | write_file "/tmp/diff2" ystr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. +OCAMLC parsing_cocci/unify_ast.mli +OCAMLC parsing_cocci/compute_lines.mli +OCAMLC parsing_cocci/comm_assoc.mli +OCAMLC parsing_cocci/single_statement.mli +OCAMLC parsing_cocci/simple_assignments.mli +OCAMLC parsing_cocci/get_metas.mli +OCAMLC parsing_cocci/check_meta.mli +OCAMLC parsing_cocci/top_level.mli +OCAMLC parsing_cocci/type_infer.mli +OCAMLC parsing_cocci/test_exps.mli +OCAMLC parsing_cocci/unitary_ast0.mli +OCAMLC parsing_cocci/arity.mli +OCAMLC parsing_cocci/index.mli +OCAMLC parsing_cocci/context_neg.mli OCAMLC parsing_cocci/adjust_pragmas.mli OCAMLC parsing_cocci/insert_plus.mli OCAMLC parsing_cocci/function_prototypes.mli -File "commons/common.ml", line 5305, characters 4-14: -5305 | write_file file1 (unwords xs); - ^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. -File "commons/common.ml", line 5306, characters 4-14: -5306 | write_file file2 (unwords ys); - ^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. -File "commons/common.ml", line 5333, characters 4-14: -5333 | write_file "/tmp/diff1" xstr; - ^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. -File "commons/common.ml", line 5334, characters 4-14: -5334 | write_file "/tmp/diff2" ystr; - ^^^^^^^^^^ -Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC parsing_cocci/data.mli OCAMLOPT parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/id_utils.mli @@ -4163,26 +4191,35 @@ OCAMLC engine/c_vs_c.mli OCAMLC engine/isomorphisms_c_c.mli OCAMLC engine/cocci_vs_c.mli -OCAMLC engine/pattern_c.mli -OCAMLC engine/transformation_c.mli -OCAMLC engine/asttomember.mli -OCAMLC engine/asttoctl2.mli -OCAMLC engine/ctltotex.mli -OCAMLC engine/postprocess_transinfo.mli -OCAMLC engine/ctlcocci_integration.mli OCAMLC popl09/asttopopl.mli OCAMLC popl09/insert_quantifiers.mli OCAMLC popl09/pretty_print_popl.mli +OCAMLC testing.mli +File "commons/common.ml", line 5305, characters 4-14: +5305 | write_file file1 (unwords xs); + ^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. +File "commons/common.ml", line 5306, characters 4-14: +5306 | write_file file2 (unwords ys); + ^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC tools/spgen/source/detect_patch.mli +File "commons/common.ml", line 5333, characters 4-14: +5333 | write_file "/tmp/diff1" xstr; + ^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. +File "commons/common.ml", line 5334, characters 4-14: +5334 | write_file "/tmp/diff2" ystr; + ^^^^^^^^^^ +Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLC tools/spgen/source/meta_variable.mli -OCAMLC tools/spgen/source/file_transform.mli cp parsing_c/ast_c.cmi ocaml/ast_c.cmi +OCAMLC tools/spgen/source/file_transform.mli cp parsing_c/parser_c.cmi ocaml/parser_c.cmi cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi +cp commons/common.cmo ocaml/common.cmo OCAMLC parsing_c/ast_c.ml cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo -OCAMLC parsing_cocci/ast0_cocci.ml -cp globals/regexp.cmx ocaml/regexp.cmx OCAMLC parsing_cocci/visitor_ast0.mli OCAMLC parsing_cocci/iso_pattern.mli OCAMLC parsing_cocci/parse_aux.mli @@ -4196,47 +4233,52 @@ OCAMLC parsing_c/parsing_recovery_c.mli OCAMLC parsing_c/comment_annotater_c.mli OCAMLC engine/pretty_print_engine.mli -OCAMLC popl09/popltoctl.mli -OCAMLC popl09/popl.mli +OCAMLC engine/pattern_c.mli +OCAMLC engine/transformation_c.mli +OCAMLC engine/asttomember.mli +OCAMLC engine/asttoctl2.mli +OCAMLC engine/ctltotex.mli +OCAMLC engine/postprocess_transinfo.mli +OCAMLC engine/ctlcocci_integration.mli OCAMLC tools/spgen/source/snapshot.mli OCAMLC tools/spgen/source/user_input.mli OCAMLC tools/spgen/source/rule_body.mli OCAMLC tools/spgen/source/rule_header.mli OCAMLC tools/spgen/source/context_rule.mli -OCAMLC tools/spgen/source/script_rule.mli -OCAMLC tools/spgen/source/spgen_interactive.mli -OCAMLC tools/spgen/source/spgen_config.mli cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi -cp parsing_c/ast_c.cmo ocaml/ast_c.cmo OCAMLC parsing_c/lexer_c.ml OCAMLC parsing_c/visitor_c.ml -cp commons/common.cmo ocaml/common.cmo cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo OCAMLC parsing_cocci/iso_compile.mli MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLC parsing_c/lib_parsing_c.mli OCAMLC parsing_c/cpp_token_c.mli +OCAMLC popl09/popltoctl.mli +OCAMLC popl09/popl.mli OCAMLC tools/spgen/source/position_generator.mli OCAMLC tools/spgen/source/disj_generator.mli -OCAMLC parsing_c/parsing_hacks.mli -OCAMLC parsing_c/cpp_analysis_c.mli -OCAMLC parsing_c/parse_c.mli -cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi +OCAMLC tools/spgen/source/script_rule.mli +OCAMLC tools/spgen/source/spgen_interactive.mli +cp parsing_c/ast_c.cmo ocaml/ast_c.cmo +OCAMLC tools/spgen/source/spgen_config.mli OCAMLC parsing_c/parser_c.ml OCAMLC parsing_c/pretty_print_c.ml OCAMLC parsing_c/lib_parsing_c.ml +OCAMLC parsing_c/parsing_hacks.mli +OCAMLC parsing_c/cpp_analysis_c.mli +cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi +OCAMLC parsing_c/parse_c.mli OCAMLC parsing_c/unparse_c.mli OCAMLC parsing_c/cpp_ast_c.mli OCAMLC ocaml/exposed_modules.mli OCAMLC ocaml/coccilib.mli -OCAMLC cocci.mli cp parsing_c/parse_c.cmi ocaml/parse_c.cmi +OCAMLC cocci.mli OCAMLC parsing_c/parse_c.ml -cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo -cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo +cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo File "parsing_c/parse_c.ml", line 680, characters 1-37: 680 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ @@ -4337,8 +4379,10 @@ 1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. -cp parsing_c/parse_c.cmo ocaml/parse_c.cmo cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo +cp parsing_c/parse_c.cmo ocaml/parse_c.cmo +cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo +cp parsing_c/parser_c.cmo ocaml/parser_c.cmo OCAMLOPT commons/ograph_simple.ml OCAMLOPT commons/ograph_extended.ml OCAMLOPT globals/iteration.ml @@ -4352,27 +4396,26 @@ OCAMLOPT parsing_c/token_c.ml OCAMLOPT parsing_c/semantic_c.ml OCAMLOPT ctl/pretty_print_ctl.ml -OCAMLC python/yes_pycocci.mli OCAMLOPT extra/classic_patch.ml OCAMLOPT extra/kbuild.ml OCAMLOPT extra/maintainers.ml OCAMLOPT read_options.ml -cp parsing_c/parser_c.cmo ocaml/parser_c.cmo -cp parsing_c/token_c.cmx ocaml/token_c.cmx cp globals/iteration.cmx ocaml/iteration.cmx cp commons/common.cmx ocaml/common.cmx OCAMLOPT -o globals/globals.cmxa -OCAMLOPT -o extra/extra.cmxa +cp parsing_c/token_c.cmx ocaml/token_c.cmx cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx OCAMLOPT -o commons/commons.cmxa OCAMLOPT ctl/ctl_engine.ml +OCAMLOPT -o extra/extra.cmxa OCAMLOPT parsing_cocci/ast0_cocci.ml OCAMLOPT parsing_cocci/pretty_print_cocci.ml +OCAMLC python/yes_pycocci.mli OCAMLOPT parsing_c/ast_c.ml OCAMLOPT popl09/ast_popl.ml OCAMLOPT tools/spgen/source/globals.ml -OCAMLOPT tools/spgen/source/ast_tostring.ml cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx +OCAMLOPT tools/spgen/source/ast_tostring.ml OCAMLOPT popl09/insert_quantifiers.ml OCAMLOPT parsing_cocci/visitor_ast0_types.ml OCAMLOPT parsing_cocci/visitor_ast.ml @@ -4380,19 +4423,19 @@ OCAMLOPT parsing_cocci/top_level.ml OCAMLOPT parsing_cocci/arity.ml OCAMLOPT parsing_cocci/index.ml -OCAMLOPT parsing_cocci/data.ml cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx +OCAMLOPT parsing_cocci/data.ml +OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLOPT parsing_c/includes.ml OCAMLOPT parsing_c/control_flow_c.ml OCAMLOPT parsing_c/lexer_parser.ml OCAMLOPT parsing_c/type_c.ml -OCAMLOPT engine/isomorphisms_c_c.ml OCAMLOPT ocaml/externalanalysis.ml +OCAMLOPT engine/isomorphisms_c_c.ml cp parsing_c/ast_c.cmx ocaml/ast_c.cmx -OCAMLOPT parsing_cocci/visitor_ast0.ml -OCAMLOPT ctl/wrapper_ctl.ml OCAMLOPT parsing_c/visitor_c.ml OCAMLOPT engine/check_exhaustive_pattern.ml +OCAMLOPT ctl/wrapper_ctl.ml OCAMLOPT -o ctl/ctl.cmxa OCAMLOPT engine/lib_engine.ml OCAMLOPT engine/check_reachability.ml @@ -4400,14 +4443,34 @@ OCAMLOPT popl09/asttopopl.ml OCAMLOPT popl09/pretty_print_popl.ml OCAMLOPT parsing_c/lib_parsing_c.ml -cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx OCAMLOPT parsing_c/parsing_consistency_c.ml +cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx +OCAMLOPT parsing_cocci/ast0toast.ml +OCAMLOPT parsing_cocci/iso_compile.ml +OCAMLOPT parsing_cocci/simple_assignments.ml +OCAMLOPT parsing_cocci/get_metas.ml +OCAMLOPT parsing_cocci/stmtlist.ml +OCAMLOPT parsing_cocci/check_meta.ml +OCAMLOPT parsing_cocci/test_exps.ml +OCAMLOPT parsing_cocci/unitary_ast0.ml +OCAMLOPT parsing_cocci/adjust_pragmas.ml +OCAMLOPT parsing_cocci/free_vars.ml +OCAMLOPT parsing_cocci/safe_for_multi_decls.ml +OCAMLOPT parsing_cocci/cleanup_rules.ml +OCAMLOPT parsing_cocci/disjdistr.ml +OCAMLOPT parsing_cocci/get_constants2.ml +OCAMLOPT parsing_cocci/adjacency.ml +OCAMLOPT parsing_cocci/commas_on_lists.ml +OCAMLOPT parsing_cocci/re_constraints.ml OCAMLOPT parsing_c/includes_cache.ml OCAMLOPT parsing_c/control_flow_c_build.ml OCAMLOPT parsing_c/pretty_print_c.ml OCAMLOPT parsing_c/danger.ml OCAMLOPT engine/c_vs_c.ml +OCAMLOPT engine/asttomember.ml +OCAMLOPT tools/spgen/source/detect_patch.ml cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx +OCAMLOPT tools/spgen/source/snapshot.ml File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: 1626 | (pp_elem_sp pr_elem pr_space).expression ^^^^^^^^^^ @@ -4496,47 +4559,28 @@ 1689 | (pp_elem_sp pr_elem pr_space).toplevel ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -OCAMLOPT parsing_cocci/ast0toast.ml -OCAMLOPT parsing_cocci/iso_compile.ml -OCAMLOPT parsing_cocci/simple_assignments.ml -OCAMLOPT parsing_cocci/get_metas.ml -OCAMLOPT parsing_cocci/check_meta.ml -OCAMLOPT parsing_cocci/test_exps.ml -OCAMLOPT parsing_cocci/unitary_ast0.ml -OCAMLOPT parsing_cocci/adjust_pragmas.ml -OCAMLOPT parsing_cocci/free_vars.ml -OCAMLOPT parsing_cocci/safe_for_multi_decls.ml -OCAMLOPT parsing_cocci/cleanup_rules.ml -OCAMLOPT parsing_cocci/disjdistr.ml -OCAMLOPT parsing_cocci/get_constants2.ml -OCAMLOPT parsing_cocci/adjacency.ml -OCAMLOPT parsing_cocci/commas_on_lists.ml -OCAMLOPT parsing_cocci/re_constraints.ml -OCAMLOPT engine/asttomember.ml -OCAMLOPT tools/spgen/source/detect_patch.ml -OCAMLOPT parsing_cocci/stmtlist.ml +OCAMLOPT parsing_cocci/id_utils.ml +File "tools/spgen/source/snapshot.ml", line 130, characters 37-53: +130 | let inc_line snp = inc_current_line (set_mode_context Ast0.NONE snp) + ^^^^^^^^^^^^^^^^ +Warning 6 [labels-omitted]: label arity was omitted in the application of this function. +OCAMLOPT tools/spgen/source/position_generator.ml +OCAMLOPT parsing_cocci/unparse_ast0.ml +OCAMLOPT parsing_cocci/unify_ast.ml +OCAMLOPT parsing_cocci/type_infer.ml OCAMLOPT parsing_c/parser_c.ml OCAMLOPT parsing_c/unparse_cocci.ml OCAMLOPT ocaml/ocamlcocci_aux.ml OCAMLOPT python/pycocci_aux.ml OCAMLOPT engine/pretty_print_engine.ml cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx -OCAMLOPT parsing_cocci/unparse_ast0.ml -OCAMLOPT parsing_cocci/unify_ast.ml -OCAMLOPT parsing_cocci/type_infer.ml OCAMLOPT tools/spgen/source/meta_variable.ml -OCAMLOPT tools/spgen/source/snapshot.ml File "parsing_c/unparse_cocci.ml", line 91, characters 2-35: 91 | Pretty_print_c.mk_pretty_printers pr_celem pr_cspace ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space, pr_nl, pr_indent, pr_outdent, pr_unindent were omitted in the application of this function. -File "tools/spgen/source/snapshot.ml", line 130, characters 37-53: -130 | let inc_line snp = inc_current_line (set_mode_context Ast0.NONE snp) - ^^^^^^^^^^^^^^^^ -Warning 6 [labels-omitted]: label arity was omitted in the application of this function. OCAMLOPT engine/asttoctl2.ml -OCAMLOPT parsing_cocci/id_utils.ml -OCAMLOPT tools/spgen/source/position_generator.ml +OCAMLOPT tools/spgen/source/disj_generator.ml File "tools/spgen/source/meta_variable.ml", line 568, characters 25-36: 568 | let constr = constraints rn idconstr in ^^^^^^^^^^^ @@ -4545,47 +4589,46 @@ 70 | let print_option_space fn = function ^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable print_option_space. +OCAMLOPT tools/spgen/source/rule_body.ml OCAMLOPT tools/spgen/source/user_input.ml OCAMLOPT tools/spgen/source/rule_header.ml OCAMLOPT tools/spgen/source/file_transform.ml +OCAMLOPT parsing_cocci/comm_assoc.ml +OCAMLOPT parsing_cocci/context_neg.ml OCAMLOPT tools/spgen/source/script_rule.ml OCAMLOPT tools/spgen/source/spgen_interactive.ml OCAMLOPT tools/spgen/source/spgen_config.ml +OCAMLOPT parsing_cocci/iso_pattern.ml OCAMLOPT parsing_cocci/parse_aux.ml +OCAMLOPT tools/spgen/source/context_rule.ml OCAMLOPT parsing_c/unparse_hrule.ml -OCAMLOPT tools/spgen/source/disj_generator.ml -OCAMLOPT parsing_cocci/iso_pattern.ml -OCAMLOPT parsing_cocci/comm_assoc.ml +OCAMLOPT parsing_c/lexer_c.ml File "parsing_c/unparse_hrule.ml", line 202, characters 6-33: 202 | Pretty_print_c.pp_param_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -OCAMLOPT parsing_cocci/context_neg.ml +OCAMLOPT parsing_c/parse_string_c.ml File "parsing_c/unparse_hrule.ml", line 340, characters 5-31: 340 | Pretty_print_c.pp_type_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -OCAMLOPT parsing_c/lexer_c.ml -OCAMLOPT parsing_c/parse_string_c.ml OCAMLOPT parsing_c/token_helpers.ml cp parsing_c/parser_c.cmx ocaml/parser_c.cmx -OCAMLOPT tools/spgen/source/rule_body.ml -OCAMLOPT tools/spgen/source/context_rule.ml +cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx +OCAMLOPT popl09/popltoctl.ml OCAMLOPT parsing_c/token_views_c.ml -OCAMLOPT parsing_c/parsing_recovery_c.ml OCAMLOPT parsing_c/unparse_c.ml +OCAMLOPT parsing_c/parsing_recovery_c.ml OCAMLOPT parsing_c/comment_annotater_c.ml +OCAMLOPT popl09/popl.ml +OCAMLOPT -o popl09/popl09.cmxa File "parsing_c/unparse_c.ml", line 275, characters 2-31: 275 | Pretty_print_c.pp_program_gen pr_get_elem pr_space celem; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. -cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx -OCAMLOPT parsing_c/cpp_token_c.ml -OCAMLOPT popl09/popltoctl.ml OCAMLOPT parsing_cocci/insert_plus.ml +OCAMLOPT parsing_c/cpp_token_c.ml OCAMLOPT parsing_c/parsing_hacks.ml -OCAMLOPT popl09/popl.ml -OCAMLOPT -o popl09/popl09.cmxa OCAMLOPT parsing_cocci/single_statement.ml OCAMLOPT parsing_cocci/function_prototypes.ml OCAMLOPT parsing_c/cpp_analysis_c.ml @@ -4605,8 +4648,8 @@ OCAMLOPT parsing_c/cpp_ast_c.ml OCAMLOPT parsing_c/type_annoter_c.ml OCAMLOPT parsing_c/compare_c.ml -OCAMLOPT ocaml/exposed_modules.ml cp parsing_c/parse_c.cmx ocaml/parse_c.cmx +OCAMLOPT ocaml/exposed_modules.ml OCAMLOPT parsing_c/test_parsing_c.ml OCAMLOPT ocaml/coccilib.ml File "ocaml/coccilib.ml", line 116, characters 2-19: @@ -4618,24 +4661,24 @@ ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. OCAMLOPT -o parsing_c/parsing_c.cmxa +OCAMLDEP parsing_cocci/parser_cocci_menhir.ml +OCAMLDEP parsing_cocci/parser_cocci_menhir.mli +OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLOPT ocaml/yes_prepare_ocamlcocci.ml OCAMLOPT ocaml/run_ocamlcocci.ml OCAMLOPT python/yes_pycocci.ml -OCAMLOPT ocaml/prepare_ocamlcocci.ml -OCAMLOPT -o ocaml/ocaml.cmxa +OCAMLC parsing_cocci/lexer_cocci.mli +OCAMLC parsing_cocci/lexer_script.mli OCAMLOPT python/pycocci.ml OCAMLOPT -o python/python.cmxa OCAMLOPT engine/cocci_vs_c.ml OCAMLOPT engine/postprocess_transinfo.ml -OCAMLDEP parsing_cocci/parser_cocci_menhir.ml -OCAMLDEP parsing_cocci/parser_cocci_menhir.mli -OCAMLC parsing_cocci/parser_cocci_menhir.mli -OCAMLC parsing_cocci/lexer_cocci.mli -OCAMLC parsing_cocci/lexer_script.mli +OCAMLOPT ocaml/prepare_ocamlcocci.ml +OCAMLOPT -o ocaml/ocaml.cmxa OCAMLOPT engine/pattern_c.ml OCAMLOPT engine/transformation_c.ml -OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLOPT engine/ctlcocci_integration.ml +OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLOPT -o engine/engine.cmxa OCAMLOPT parsing_cocci/lexer_cocci.ml OCAMLOPT parsing_cocci/lexer_script.ml @@ -4645,6 +4688,7 @@ OCAMLOPT tools/spgen/source/spgen.ml OCAMLOPT tools/spgen/source/spgen_test.ml OCAMLOPT tools/spgen/source/main.ml +OCAMLOPT -o tools/spgen/source/spgen.opt OCAMLOPT testing.ml OCAMLOPT enter.ml File "enter.ml", line 844, characters 2-20: @@ -4655,7 +4699,6 @@ 853 | Common.long_usage usage_msg short_options other_options ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels short_opt, long_opt were omitted in the application of this function. -OCAMLOPT -o tools/spgen/source/spgen.opt OCAMLOPT main.ml OCAMLOPT -o spatch.opt make[1]: Leaving directory '/build/coccinelle-1.1.1.deb' @@ -4668,7 +4711,7 @@ 62.res diff = --- tests/62.c -+++ /tmp/cocci-output-754406-fc4a01-62.c ++++ /tmp/cocci-output-1720952-6e2c7c-62.c @@ -1,8 +1,12 @@ static struct usb_driver carl9170_driver = { .id_table = carl9170_usb_ids, @@ -4686,7 +4729,7 @@ a3d.res diff = --- tests/a3d.c -+++ /tmp/cocci-output-754406-cac9d9-a3d.c ++++ /tmp/cocci-output-1720952-fc0a6d-a3d.c @@ -6,13 +6,13 @@ struct a3d { static void a3d_connect(struct gameport *gameport, struct gameport_dev *dev) { @@ -4708,7 +4751,7 @@ a_and_e_ver1.res diff = --- tests/a_and_e_ver1.c -+++ /tmp/cocci-output-754406-d1985c-a_and_e_ver1.c ++++ /tmp/cocci-output-1720952-6ba04c-a_and_e_ver1.c @@ -1,6 +1,7 @@ void main(int i) { @@ -4721,7 +4764,7 @@ warning: line 4: should a be a metavariable? diff = --- tests/ab.c -+++ /tmp/cocci-output-754406-0b91ab-ab.c ++++ /tmp/cocci-output-1720952-7b0348-ab.c @@ -1,5 +1,5 @@ int main () { foo = 5; @@ -4732,7 +4775,7 @@ action.res diff = --- tests/action.c -+++ /tmp/cocci-output-754406-a4c726-action.c ++++ /tmp/cocci-output-1720952-d15654-action.c @@ -1,10 +1,9 @@ void work() { @@ -4750,7 +4793,7 @@ add1.res diff = --- tests/add1.c -+++ /tmp/cocci-output-754406-7e7486-add1.c ++++ /tmp/cocci-output-1720952-9fa652-add1.c @@ -7,6 +7,9 @@ static int create_scheduling_groups(void ret = build_groups(sd, i); } @@ -4764,7 +4807,7 @@ addaft.res diff = --- tests/addaft.c -+++ /tmp/cocci-output-754406-33b12a-addaft.c ++++ /tmp/cocci-output-1720952-f92b9c-addaft.c @@ -1,16 +1,8 @@ int main () { foo(); @@ -4788,7 +4831,7 @@ addbefore.res diff = --- tests/addbefore.c -+++ /tmp/cocci-output-754406-79cf9c-addbefore.c ++++ /tmp/cocci-output-1720952-c6a070-addbefore.c @@ -1,5 +1,6 @@ int main () { if (x) { @@ -4799,7 +4842,7 @@ addbeforeafter.res diff = --- tests/addbeforeafter.c -+++ /tmp/cocci-output-754406-dd6e5f-addbeforeafter.c ++++ /tmp/cocci-output-1720952-2ace0e-addbeforeafter.c @@ -1,6 +1,8 @@ int main () { if (x) { @@ -4812,7 +4855,7 @@ addelse.res diff = --- tests/addelse.c -+++ /tmp/cocci-output-754406-a7fb1c-addelse.c ++++ /tmp/cocci-output-1720952-775eb8-addelse.c @@ -1,3 +1,2 @@ int main () { - if (x == 12) return 6; @@ -4820,7 +4863,7 @@ addes.res diff = --- tests/addes.c -+++ /tmp/cocci-output-754406-8078ae-addes.c ++++ /tmp/cocci-output-1720952-741fc7-addes.c @@ -1 +1,3 @@ int i; +struct foo { @@ -4828,7 +4871,7 @@ addfield.res diff = --- tests/addfield.c -+++ /tmp/cocci-output-754406-a2aa31-addfield.c ++++ /tmp/cocci-output-1720952-33a893-addfield.c @@ -1,4 +1,6 @@ struct i2c_client I = { - .name = E, @@ -4840,7 +4883,7 @@ addfield2.res diff = --- tests/addfield2.c -+++ /tmp/cocci-output-754406-abdccc-addfield2.c ++++ /tmp/cocci-output-1720952-a14e4d-addfield2.c @@ -1,17 +1,21 @@ struct foo { + int roto; @@ -4866,7 +4909,7 @@ addif.res diff = --- tests/addif.c -+++ /tmp/cocci-output-754406-294069-addif.c ++++ /tmp/cocci-output-1720952-42244f-addif.c @@ -1,7 +1,19 @@ +#ifdef FOO +/* some comment */ @@ -4890,7 +4933,7 @@ addif1.res diff = --- tests/addif1.c -+++ /tmp/cocci-output-754406-070887-addif1.c ++++ /tmp/cocci-output-1720952-51a6c5-addif1.c @@ -1,7 +1,15 @@ +#ifdef FOO +int xxx() { @@ -4910,7 +4953,7 @@ addif2.res diff = --- tests/addif2.c -+++ /tmp/cocci-output-754406-65fcaf-addif2.c ++++ /tmp/cocci-output-1720952-7eedec-addif2.c @@ -1,7 +1,13 @@ +#ifdef FOO +int/*foo*/ xxx; @@ -4928,7 +4971,7 @@ addifdef.res diff = --- tests/addifdef.c -+++ /tmp/cocci-output-754406-6464fc-addifdef.c ++++ /tmp/cocci-output-1720952-f7f56a-addifdef.c @@ -1,10 +1,14 @@ #ifdef FOO +#ifdef LINUX_VERSION_CODE >= KERNEL_VERSION(3,5,0) @@ -4947,7 +4990,7 @@ addifelse.res diff = --- tests/addifelse.c -+++ /tmp/cocci-output-754406-37cd42-addifelse.c ++++ /tmp/cocci-output-1720952-6c18ae-addifelse.c @@ -1,8 +1,14 @@ +#if LINUX_VERSION_CODE >= KERNEL_VERSION(3,15,0) static void rfcomm_l2data_ready(struct sock *sk) @@ -4966,7 +5009,7 @@ addifelse2.res diff = --- tests/addifelse2.c -+++ /tmp/cocci-output-754406-952b4f-addifelse2.c ++++ /tmp/cocci-output-1720952-6798fa-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){ @@ -4986,7 +5029,7 @@ addinc.res diff = --- tests/addinc.c -+++ /tmp/cocci-output-754406-0fa679-addinc.c ++++ /tmp/cocci-output-1720952-54419f-addinc.c @@ -1,4 +1,5 @@ #ifndef FOO #define FOO @@ -4996,7 +5039,7 @@ addtoo.res diff = --- tests/addtoo.c -+++ /tmp/cocci-output-754406-193ac4-addtoo.c ++++ /tmp/cocci-output-1720952-c080fc-addtoo.c @@ -1,16 +1,8 @@ int main () { - if (x) { @@ -5020,7 +5063,7 @@ addtrace.res diff = --- tests/addtrace.c -+++ /tmp/cocci-output-754406-cde4c7-addtrace.c ++++ /tmp/cocci-output-1720952-eb9379-addtrace.c @@ -2,13 +2,24 @@ short VerDate(char *pcDate) { short sRetour = 0; @@ -5053,7 +5096,7 @@ after_if.res diff = --- tests/after_if.c -+++ /tmp/cocci-output-754406-ebc4d9-after_if.c ++++ /tmp/cocci-output-1720952-79a1cc-after_if.c @@ -1,4 +1,5 @@ #ifdef ELMC_MULTICAST static void set_multicast_list(struct net_device *dev); @@ -5064,7 +5107,7 @@ allex.res diff = --- tests/allex.c -+++ /tmp/cocci-output-754406-01131d-allex.c ++++ /tmp/cocci-output-1720952-45a243-allex.c @@ -6,7 +6,7 @@ int main () { goto out; } @@ -5077,7 +5120,7 @@ allex2.res diff = --- tests/allex2.c -+++ /tmp/cocci-output-754406-509acc-allex2.c ++++ /tmp/cocci-output-1720952-f4d8b1-allex2.c @@ -8,5 +8,5 @@ int main () { } return 15; @@ -5088,7 +5131,7 @@ allex3.res diff = --- tests/allex3.c -+++ /tmp/cocci-output-754406-3c47f0-allex3.c ++++ /tmp/cocci-output-1720952-c5dcd2-allex3.c @@ -9,5 +9,4 @@ int main () { } return 15; @@ -5098,7 +5141,7 @@ andid.res diff = --- tests/andid.c -+++ /tmp/cocci-output-754406-6a9e66-andid.c ++++ /tmp/cocci-output-1720952-0a327a-andid.c @@ -1,5 +1,5 @@ int main () { - int frontandback = 12; @@ -5109,7 +5152,7 @@ anon.res diff = --- tests/anon.c -+++ /tmp/cocci-output-754406-50295a-anon.c ++++ /tmp/cocci-output-1720952-b76e34-anon.c @@ -12,5 +12,5 @@ static int ppa_queuecommand(struct scsi_ void (*done) (struct scsi_cmnd *)) { @@ -5120,7 +5163,7 @@ anonfield.res diff = --- tests/anonfield.c -+++ /tmp/cocci-output-754406-9ba511-anonfield.c ++++ /tmp/cocci-output-1720952-961c40-anonfield.c @@ -1,3 +1,3 @@ struct { - int; @@ -5129,7 +5172,7 @@ ar.res diff = --- tests/ar.c -+++ /tmp/cocci-output-754406-f5f145-ar.c ++++ /tmp/cocci-output-1720952-2a31ee-ar.c @@ -4,9 +4,4 @@ int main() { struct foo *x; struct bar *y; @@ -5143,7 +5186,7 @@ arg.res diff = --- tests/arg.c -+++ /tmp/cocci-output-754406-c08edd-arg.c ++++ /tmp/cocci-output-1720952-789f2a-arg.c @@ -1,6 +1,6 @@ int main () { - foo(bar()); @@ -5158,7 +5201,7 @@ argument.res diff = --- tests/argument.c -+++ /tmp/cocci-output-754406-848881-argument.c ++++ /tmp/cocci-output-1720952-ab82f4-argument.c @@ -1,8 +1,5 @@ void main(int i){ @@ -5172,7 +5215,7 @@ arparam.res diff = --- tests/arparam.c -+++ /tmp/cocci-output-754406-7dd80d-arparam.c ++++ /tmp/cocci-output-1720952-a45dbc-arparam.c @@ -1,3 +1,8 @@ +int g(int q[1024]) +{ @@ -5185,7 +5228,7 @@ array_init.res diff = --- tests/array_init.c -+++ /tmp/cocci-output-754406-625172-array_init.c ++++ /tmp/cocci-output-1720952-71cb6a-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"); @@ -5193,7 +5236,7 @@ array_size.res diff = --- tests/array_size.c -+++ /tmp/cocci-output-754406-6259ca-array_size.c ++++ /tmp/cocci-output-1720952-f91d4f-array_size.c @@ -1,2 +1,2 @@ -#define MAX_SETUP_STRINGS (sizeof(setup_strings) / sizeof(char *)) +#define MAX_SETUP_STRINGS ARRAY_SIZE(setup_strings) @@ -5201,7 +5244,7 @@ arraysz.res diff = --- tests/arraysz.c -+++ /tmp/cocci-output-754406-d07f77-arraysz.c ++++ /tmp/cocci-output-1720952-dd9f2c-arraysz.c @@ -7,4 +7,4 @@ typedef struct signature { static const Signature signatures[] = { {"SSTBIOS", 0x0000d, 7} /* "SSTBIOS" @ offset 0x0000d */ @@ -5211,7 +5254,7 @@ as_stm.res diff = --- tests/as_stm.c -+++ /tmp/cocci-output-754406-3bd5c5-as_stm.c ++++ /tmp/cocci-output-1720952-a00ded-as_stm.c @@ -1,3 +1,5 @@ int main () { +#ifdef BEFORE @@ -5223,7 +5266,7 @@ warning: line 36: should id be a metavariable? diff = --- tests/attr_with_arguments.c -+++ /tmp/cocci-output-754406-43507e-attr_with_arguments.c ++++ /tmp/cocci-output-1720952-1783aa-attr_with_arguments.c @@ -1,9 +1,9 @@ -aarg(1,2) int func() { - int id aarg3(1,2); @@ -5257,7 +5300,7 @@ attradd.res diff = --- tests/attradd.c -+++ /tmp/cocci-output-754406-2cde7c-attradd.c ++++ /tmp/cocci-output-1720952-3b38ce-attradd.c @@ -1,3 +1,3 @@ int main () { - char f; @@ -5266,7 +5309,7 @@ attrs2groups.res diff = --- tests/attrs2groups.c -+++ /tmp/cocci-output-754406-cbce39-attrs2groups.c ++++ /tmp/cocci-output-1720952-5730d9-attrs2groups.c @@ -3,18 +3,24 @@ static ssize_t devspec_show(struct devic { return 42; @@ -5298,7 +5341,7 @@ b1.res diff = --- tests/b1.c -+++ /tmp/cocci-output-754406-a267b6-b1.c ++++ /tmp/cocci-output-1720952-764ac0-b1.c @@ -1,7 +1,9 @@ int main () { while (1) { @@ -5314,7 +5357,7 @@ b2.res diff = --- tests/b2.c -+++ /tmp/cocci-output-754406-018300-b2.c ++++ /tmp/cocci-output-1720952-e8385d-b2.c @@ -1,9 +1,11 @@ int main () { if (1) { @@ -5333,7 +5376,7 @@ bad_kfree.res diff = --- tests/bad_kfree.c -+++ /tmp/cocci-output-754406-9f2042-bad_kfree.c ++++ /tmp/cocci-output-1720952-23af8d-bad_kfree.c @@ -14,7 +14,7 @@ int bad () { kfree(itv[i]); print("foo",itv[i]); @@ -5346,7 +5389,7 @@ bad_ptr_print.res diff = --- tests/bad_ptr_print.c -+++ /tmp/cocci-output-754406-62a302-bad_ptr_print.c ++++ /tmp/cocci-output-1720952-7ee5b4-bad_ptr_print.c @@ -1,4 +1,4 @@ static inline int tester(struct usb_endpoint_descriptor *epd) { @@ -5356,7 +5399,7 @@ bad_typedef.res diff = --- tests/bad_typedef.c -+++ /tmp/cocci-output-754406-636cdf-bad_typedef.c ++++ /tmp/cocci-output-1720952-3ebfa2-bad_typedef.c @@ -4,7 +4,7 @@ typedef struct { @@ -5376,7 +5419,7 @@ badcfg.res diff = --- tests/badcfg.c -+++ /tmp/cocci-output-754406-211a3f-badcfg.c ++++ /tmp/cocci-output-1720952-d277d3-badcfg.c @@ -3,7 +3,7 @@ const char *netdev_cmd_to_name(enum netd #define N(val) \ case NETDEV_##val: \ @@ -5389,7 +5432,7 @@ badexp.res diff = --- tests/badexp.c -+++ /tmp/cocci-output-754406-781db9-badexp.c ++++ /tmp/cocci-output-1720952-65eab3-badexp.c @@ -1,4 +1,4 @@ int main() { foo(a); @@ -5416,7 +5459,7 @@ badtypedef.res diff = --- tests/badtypedef.c -+++ /tmp/cocci-output-754406-7f1c94-badtypedef.c ++++ /tmp/cocci-output-1720952-a6b0f6-badtypedef.c @@ -5,7 +5,7 @@ int main() { foo_t *b; foo_t *c; @@ -5430,7 +5473,7 @@ badwhen.res diff = --- tests/badwhen.c -+++ /tmp/cocci-output-754406-dedf88-badwhen.c ++++ /tmp/cocci-output-1720952-878a57-badwhen.c @@ -4,7 +4,5 @@ int main () { g(); } @@ -5442,7 +5485,7 @@ badzero.res diff = --- tests/badzero.c -+++ /tmp/cocci-output-754406-74b4e6-badzero.c ++++ /tmp/cocci-output-1720952-3d0716-badzero.c @@ -4,7 +4,7 @@ int main () { int z; if (y - x == 0) return; @@ -5459,7 +5502,7 @@ befS.res diff = --- tests/befS.c -+++ /tmp/cocci-output-754406-fc452a-befS.c ++++ /tmp/cocci-output-1720952-9d050b-befS.c @@ -1,20 +1,32 @@ int main () { + foo(); @@ -5498,7 +5541,7 @@ before.res diff = --- tests/before.c -+++ /tmp/cocci-output-754406-2525d3-before.c ++++ /tmp/cocci-output-1720952-ba062f-before.c @@ -1,4 +1,6 @@ int main () { + blah(); @@ -5509,7 +5552,7 @@ ben.res diff = --- tests/ben.c -+++ /tmp/cocci-output-754406-ee12bd-ben.c ++++ /tmp/cocci-output-1720952-3d7122-ben.c @@ -1,22 +1,20 @@ +static GType this_type = 0; +static const GTypeInfo this_info = { @@ -5549,7 +5592,7 @@ bigin.res diff = --- tests/bigin.c -+++ /tmp/cocci-output-754406-49a644-bigin.c ++++ /tmp/cocci-output-1720952-fb8e7e-bigin.c @@ -9,5 +9,6 @@ int main() { if (x) if (x) @@ -5560,7 +5603,7 @@ bigrepl.res diff = --- tests/bigrepl.c -+++ /tmp/cocci-output-754406-04b91b-bigrepl.c ++++ /tmp/cocci-output-1720952-e8163c-bigrepl.c @@ -1,6 +1,9 @@ int main () { - one(argument1(nested, argument), argument2(nested, argument), foo(), @@ -5577,7 +5620,7 @@ binop.res diff = --- tests/binop.c -+++ /tmp/cocci-output-754406-63dcc5-binop.c ++++ /tmp/cocci-output-1720952-e155a4-binop.c @@ -2,10 +2,12 @@ void main() { int i = 0; int j = 0; @@ -5597,7 +5640,7 @@ warning: rule starting on line 11: metavariable v not used in the - or context code diff = --- tests/bitfield.c -+++ /tmp/cocci-output-754406-a2d214-bitfield.c ++++ /tmp/cocci-output-1720952-6f4578-bitfield.c @@ -1,15 +1,15 @@ struct dvb_frontend { - struct dvb_frontend_ops* ops; @@ -5629,7 +5672,7 @@ (ONCE) already tagged but only removed, so safe diff = --- tests/boolr.c -+++ /tmp/cocci-output-754406-e5b7f4-boolr.c ++++ /tmp/cocci-output-1720952-065d66-boolr.c @@ -1,4 +1,3 @@ int main() { - bool i3, i4, i5; @@ -5638,7 +5681,7 @@ bracebraceline.res diff = --- tests/bracebraceline.c -+++ /tmp/cocci-output-754406-f44ef1-bracebraceline.c ++++ /tmp/cocci-output-1720952-fd0d84-bracebraceline.c @@ -1,6 +1,5 @@ int main () { if (x) { @@ -5650,7 +5693,7 @@ braceline.res diff = --- tests/braceline.c -+++ /tmp/cocci-output-754406-f89a08-braceline.c ++++ /tmp/cocci-output-1720952-109ecb-braceline.c @@ -1,6 +1,3 @@ int main () { - if (x) { @@ -5662,7 +5705,7 @@ braces.res diff = --- tests/braces.c -+++ /tmp/cocci-output-754406-2d9ff4-braces.c ++++ /tmp/cocci-output-1720952-2499fa-braces.c @@ -1,9 +1,9 @@ -#define main { foo(); } +#define main foo(); @@ -5680,7 +5723,7 @@ branchparen.res diff = --- tests/branchparen.c -+++ /tmp/cocci-output-754406-9bdc2a-branchparen.c ++++ /tmp/cocci-output-1720952-d4091b-branchparen.c @@ -1,6 +1,10 @@ int main () { - if (x) @@ -5697,7 +5740,7 @@ break.res diff = --- tests/break.c -+++ /tmp/cocci-output-754406-4637d2-break.c ++++ /tmp/cocci-output-1720952-a9f049-break.c @@ -5,8 +5,10 @@ int main () { x = 15; if (x > 1 ) { foo(); break; } @@ -5723,7 +5766,7 @@ bug1.res diff = --- tests/bug1.c -+++ /tmp/cocci-output-754406-8c5855-bug1.c ++++ /tmp/cocci-output-1720952-2f05f2-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, @@ -5734,7 +5777,7 @@ bugloop.res diff = --- tests/bugloop.c -+++ /tmp/cocci-output-754406-c141dc-bugloop.c ++++ /tmp/cocci-output-1720952-4d105f-bugloop.c @@ -8,8 +8,8 @@ static int stir_transmit_thread(void *ar while (x) { @@ -5749,7 +5792,7 @@ bugon.res diff = --- tests/bugon.c -+++ /tmp/cocci-output-754406-8bd615-bugon.c ++++ /tmp/cocci-output-1720952-a974f6-bugon.c @@ -1,5 +1,4 @@ static void b44_tx(struct b44 *bp) { @@ -5760,7 +5803,7 @@ bus.res diff = --- tests/bus.c -+++ /tmp/cocci-output-754406-956316-bus.c ++++ /tmp/cocci-output-1720952-8b7fb5-bus.c @@ -1,5 +1,5 @@ int main () { struct foo *dev; @@ -5772,7 +5815,7 @@ cards.res diff = --- tests/cards.c -+++ /tmp/cocci-output-754406-52cf42-cards.c ++++ /tmp/cocci-output-1720952-d3836c-cards.c @@ -1,3 +1,3 @@ -MODULE_PARM(io, "1-" __MODULE_STRING(MAX_CARDS) "i"); + @@ -5781,7 +5824,7 @@ caseprint.res diff = --- tests/caseprint.c -+++ /tmp/cocci-output-754406-c7498d-caseprint.c ++++ /tmp/cocci-output-1720952-20155e-caseprint.c @@ -3,4 +3,10 @@ int f() { case 12: return 0; case 1: return 2; @@ -5796,7 +5839,7 @@ cast.res diff = --- tests/cast.c -+++ /tmp/cocci-output-754406-90b9d1-cast.c ++++ /tmp/cocci-output-1720952-d3c685-cast.c @@ -1,3 +1,2 @@ int main () { - ((struct xxx *)E)->foo = 12; @@ -5804,7 +5847,7 @@ cast_iso.res diff = --- tests/cast_iso.c -+++ /tmp/cocci-output-754406-facee1-cast_iso.c ++++ /tmp/cocci-output-1720952-2e3c12-cast_iso.c @@ -1,6 +1,6 @@ static int vx_hwdep_dsp_load(snd_hwdep_t *hw, snd_hwdep_dsp_image_t *dsp) { @@ -5817,7 +5860,7 @@ castdecl.res diff = --- tests/castdecl.c -+++ /tmp/cocci-output-754406-77b2c2-castdecl.c ++++ /tmp/cocci-output-1720952-a16c20-castdecl.c @@ -1,9 +1,9 @@ int main() { - long i1, i2; @@ -5836,7 +5879,7 @@ cex_wishlist_complex1.res diff = --- tests/cex_wishlist_complex1.c -+++ /tmp/cocci-output-754406-f8d441-cex_wishlist_complex1.c ++++ /tmp/cocci-output-1720952-b31179-cex_wishlist_complex1.c @@ -1,6 +1,6 @@ #include int main() { @@ -5848,7 +5891,7 @@ cex_wishlist_complex2.res diff = --- tests/cex_wishlist_complex2.c -+++ /tmp/cocci-output-754406-423005-cex_wishlist_complex2.c ++++ /tmp/cocci-output-1720952-cfbaf1-cex_wishlist_complex2.c @@ -2,7 +2,7 @@ int main() { double d; @@ -5861,7 +5904,7 @@ cex_wishlist_complex3.res diff = --- tests/cex_wishlist_complex3.c -+++ /tmp/cocci-output-754406-cd3fb2-cex_wishlist_complex3.c ++++ /tmp/cocci-output-1720952-d30365-cex_wishlist_complex3.c @@ -2,7 +2,7 @@ int main() { double d; @@ -5875,7 +5918,7 @@ change.res diff = --- tests/change.c -+++ /tmp/cocci-output-754406-b69c33-change.c ++++ /tmp/cocci-output-1720952-7bedf9-change.c @@ -1,5 +1,6 @@ int main () { foo(); @@ -5886,7 +5929,7 @@ change_type.res diff = --- tests/change_type.c -+++ /tmp/cocci-output-754406-39c684-change_type.c ++++ /tmp/cocci-output-1720952-af1606-change_type.c @@ -1,4 +1,4 @@ int main () { struct foo *x; @@ -5896,7 +5939,7 @@ changei.res diff = --- tests/changei.c -+++ /tmp/cocci-output-754406-fe982f-changei.c ++++ /tmp/cocci-output-1720952-406d29-changei.c @@ -1,7 +1,7 @@ -typedef struct i istruct; +typedef struct i xxx; @@ -5912,7 +5955,7 @@ cocci_args.res diff = --- tests/cocci_args.c -+++ /tmp/cocci-output-754406-a73d25-cocci_args.c ++++ /tmp/cocci-output-1720952-7a6329-cocci_args.c @@ -1,3 +1,3 @@ int main () { - f(); @@ -5921,7 +5964,7 @@ com.res diff = --- tests/com.c -+++ /tmp/cocci-output-754406-024e9e-com.c ++++ /tmp/cocci-output-1720952-2a2401-com.c @@ -1,8 +1,3 @@ int main() { - foo(); @@ -5934,7 +5977,7 @@ comadd.res diff = --- tests/comadd.c -+++ /tmp/cocci-output-754406-8ae085-comadd.c ++++ /tmp/cocci-output-1720952-3ba064-comadd.c @@ -1,3 +1,5 @@ +// some comment +// some other comment @@ -5944,7 +5987,7 @@ comj.res diff = --- tests/comj.c -+++ /tmp/cocci-output-754406-fac153-comj.c ++++ /tmp/cocci-output-1720952-910ec3-comj.c @@ -2,6 +2,8 @@ int foo(int bar) { int i, j; @@ -5956,12 +5999,12 @@ return j; comma.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_bb987b.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_bb987b.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_1d22ef.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_1d22ef.ml Compilation OK! Loading ML code of the SP... diff = --- tests/comma.c -+++ /tmp/cocci-output-754406-8953e0-comma.c ++++ /tmp/cocci-output-1720952-e46545-comma.c @@ -3,9 +3,9 @@ show_cpuinfo (struct seq_file *m, void * { for (i = 0; i < ARRAY_SIZE(feature_bits) && size > 1; ++i) { @@ -5977,7 +6020,7 @@ comma_call.res diff = --- tests/comma_call.c -+++ /tmp/cocci-output-754406-7e7db3-comma_call.c ++++ /tmp/cocci-output-1720952-b1659c-comma_call.c @@ -1,10 +1,13 @@ int main() { - if (x) @@ -5999,7 +6042,7 @@ comma_if.res diff = --- tests/comma_if.c -+++ /tmp/cocci-output-754406-ed7aeb-comma_if.c ++++ /tmp/cocci-output-1720952-92637b-comma_if.c @@ -1,13 +1,19 @@ int main() { - if (uffdio_zeropage.zeropage == -EEXIST) @@ -6029,7 +6072,7 @@ comment_brace.res diff = --- tests/comment_brace.c -+++ /tmp/cocci-output-754406-6d9330-comment_brace.c ++++ /tmp/cocci-output-1720952-7e2a1d-comment_brace.c @@ -1,7 +1,9 @@ int main () { @@ -6044,7 +6087,7 @@ comment_brace2.res diff = --- tests/comment_brace2.c -+++ /tmp/cocci-output-754406-8867d2-comment_brace2.c ++++ /tmp/cocci-output-1720952-79ab48-comment_brace2.c @@ -1,7 +1,9 @@ int main () { @@ -6058,8 +6101,8 @@ comment_line.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_bd68ca.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_bd68ca.ml -File "/tmp/ocaml_cocci_bd68ca.ml", line 31, characters 4-5: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_03f013.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_03f013.ml +File "/tmp/ocaml_cocci_03f013.ml", line 31, characters 4-5: 31 | let p = match List.nth __args__ 1 with Coccilib.Pos x -> x | _ -> failwith "bad value" in ^ Warning 26 [unused-var]: unused variable p. @@ -6069,7 +6112,7 @@ 1 diff = --- tests/comment_line.c -+++ /tmp/cocci-output-754406-c71ebe-comment_line.c ++++ /tmp/cocci-output-1720952-2b5a45-comment_line.c @@ -1,11 +1,9 @@ int main() { before(); @@ -6084,8 +6127,8 @@ } comment_middle.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_8243b9.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_8243b9.ml -File "/tmp/ocaml_cocci_8243b9.ml", line 30, characters 5-6: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_db1f8d.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_db1f8d.ml +File "/tmp/ocaml_cocci_db1f8d.ml", line 30, characters 5-6: 30 | let f = match List.nth __args__ 0 with Coccilib.Str x -> x | _ -> failwith "bad value" in ^ Warning 26 [unused-var]: unused variable f. @@ -6093,7 +6136,7 @@ Loading ML code of the SP... diff = --- tests/comment_middle.c -+++ /tmp/cocci-output-754406-ac407c-comment_middle.c ++++ /tmp/cocci-output-1720952-81a507-comment_middle.c @@ -5,5 +5,4 @@ struct i { }; @@ -6103,7 +6146,7 @@ comments.res diff = --- tests/comments.c -+++ /tmp/cocci-output-754406-cda755-comments.c ++++ /tmp/cocci-output-1720952-43a9c1-comments.c @@ -1,5 +1,16 @@ int main() { @@ -6124,7 +6167,7 @@ compare.res diff = --- tests/compare.c -+++ /tmp/cocci-output-754406-516787-compare.c ++++ /tmp/cocci-output-1720952-13f09c-compare.c @@ -1,7 +1,7 @@ struct aic7xxx_host { struct aic7xxx_cmd_queue { @@ -6138,7 +6181,7 @@ compare_const2.res diff = --- tests/compare_const2.c -+++ /tmp/cocci-output-754406-6e86b9-compare_const2.c ++++ /tmp/cocci-output-1720952-9a786d-compare_const2.c @@ -1,6 +1,6 @@ int main () { // int i,o; @@ -6151,7 +6194,7 @@ condexp.res diff = --- tests/condexp.c -+++ /tmp/cocci-output-754406-930861-condexp.c ++++ /tmp/cocci-output-1720952-fdea97-condexp.c @@ -5,7 +5,7 @@ main(int argc, char *argv[]) dpy = XOpenDisplay (displayname); if (!dpy) { @@ -6167,7 +6210,7 @@ warning: line 3: should text be a metavariable? diff = --- tests/const.c -+++ /tmp/cocci-output-754406-a17724-const.c ++++ /tmp/cocci-output-1720952-c07ee3-const.c @@ -1,3 +1,3 @@ void foo(const char *text) { - strcat(buf->data, text); @@ -6179,7 +6222,7 @@ warning: line 16: should i be a metavariable? diff = --- tests/const1bis.c -+++ /tmp/cocci-output-754406-8519d9-const1bis.c ++++ /tmp/cocci-output-1720952-4dcf7e-const1bis.c @@ -1,25 +1,25 @@ void foo(int j) { - const int i; @@ -6215,7 +6258,7 @@ const_adding.res diff = --- tests/const_adding.c -+++ /tmp/cocci-output-754406-564052-const_adding.c ++++ /tmp/cocci-output-1720952-888c28-const_adding.c @@ -2,6 +2,6 @@ void main(int i) { @@ -6227,7 +6270,7 @@ const_array.res diff = --- tests/const_array.c -+++ /tmp/cocci-output-754406-7816c1-const_array.c ++++ /tmp/cocci-output-1720952-954395-const_array.c @@ -24,9 +24,9 @@ static const struct foo *r128_family4[] }; @@ -6246,7 +6289,7 @@ const_implicit_iso.res diff = --- tests/const_implicit_iso.c -+++ /tmp/cocci-output-754406-58a40c-const_implicit_iso.c ++++ /tmp/cocci-output-1720952-cb8289-const_implicit_iso.c @@ -1,4 +1,4 @@ void main(double y) { - const int x; @@ -6256,7 +6299,7 @@ constptr.res diff = --- tests/constptr.c -+++ /tmp/cocci-output-754406-d6fddb-constptr.c ++++ /tmp/cocci-output-1720952-f92e48-constptr.c @@ -1,7 +1,7 @@ int main() { @@ -6272,7 +6315,7 @@ constraints.res diff = --- tests/constraints.c -+++ /tmp/cocci-output-754406-296806-constraints.c ++++ /tmp/cocci-output-1720952-9129fd-constraints.c @@ -1,23 +1,23 @@ void f() @@ -6307,7 +6350,7 @@ warning: line 9: should f be a metavariable? diff = --- tests/constrem.c -+++ /tmp/cocci-output-754406-cec3f5-constrem.c ++++ /tmp/cocci-output-1720952-020f46-constrem.c @@ -1,3 +1 @@ -static const int a; @@ -6315,7 +6358,7 @@ constructor.res diff = --- tests/constructor.c -+++ /tmp/cocci-output-754406-89eeb4-constructor.c ++++ /tmp/cocci-output-1720952-edd18e-constructor.c @@ -1,5 +1,5 @@ int main () { - imx_add_platform_device_dmamask(Ename, Eid, Eres, Enum_res, @@ -6327,7 +6370,7 @@ constty.res diff = --- tests/constty.c -+++ /tmp/cocci-output-754406-2a1f1b-constty.c ++++ /tmp/cocci-output-1720952-b79b6c-constty.c @@ -1,7 +1,6 @@ int main () { const int x; @@ -6339,7 +6382,7 @@ constx.res diff = --- tests/constx.c -+++ /tmp/cocci-output-754406-1c5c5a-constx.c ++++ /tmp/cocci-output-1720952-e24ff2-constx.c @@ -1,8 +1,8 @@ int main() { - foo(12); @@ -6356,7 +6399,7 @@ } countcalls.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_737bd0.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_737bd0.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_c2cba6.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c2cba6.ml File "tests/countcalls.cocci", line 63, characters 30-46: Alert deprecated: Stdlib.String.lowercase Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. @@ -6367,14 +6410,14 @@ cptr.res diff = --- tests/cptr.c -+++ /tmp/cocci-output-754406-2a5ba9-cptr.c ++++ /tmp/cocci-output-1720952-9fd219-cptr.c @@ -1 +1 @@ -static const char *str = "..."; +static const char *const str = "..."; cr.res diff = --- tests/cr.c -+++ /tmp/cocci-output-754406-1cbc09-cr.c ++++ /tmp/cocci-output-1720952-8b42a3-cr.c @@ -1,7 +1,6 @@ int main(void) { @@ -6387,7 +6430,7 @@ cr1a.res diff = --- tests/cr1a.c -+++ /tmp/cocci-output-754406-0cd3d1-cr1a.c ++++ /tmp/cocci-output-1720952-a98a69-cr1a.c @@ -6,14 +6,17 @@ int __init probe_base_port(int base) if (base) b = e = base; @@ -6412,7 +6455,7 @@ warning: line 5: should handle be a metavariable? diff = --- tests/cs_check.c -+++ /tmp/cocci-output-754406-4bf9c9-cs_check.c ++++ /tmp/cocci-output-1720952-362899-cs_check.c @@ -4,7 +4,7 @@ do { last_fn = (fn); if ((last_ret = (re static void nsp_cs_config(dev_link_t *link) { @@ -6425,7 +6468,7 @@ cst.res diff = --- tests/cst.c -+++ /tmp/cocci-output-754406-81d948-cst.c ++++ /tmp/cocci-output-1720952-90c14e-cst.c @@ -1,5 +1,5 @@ int main(int x) { - emu10k1_t *emu = snd_magic_cast(1, 2, return -ENXIO); @@ -6436,7 +6479,7 @@ cst_null.res diff = --- tests/cst_null.c -+++ /tmp/cocci-output-754406-8ea3d4-cst_null.c ++++ /tmp/cocci-output-1720952-00ac77-cst_null.c @@ -2,9 +2,8 @@ void* videobuf_alloc(unsigned int size) { struct videobuf_buffer *vb; @@ -6472,12 +6515,12 @@ vb->magic = MAGIC_BUFFER; cstr.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_c35470.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_c35470.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_ffc3e1.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_ffc3e1.ml Compilation OK! Loading ML code of the SP... diff = --- tests/cstr.c -+++ /tmp/cocci-output-754406-171e89-cstr.c ++++ /tmp/cocci-output-1720952-7fb7fe-cstr.c @@ -1,4 +1,8 @@ int main() { f(1,2,1,2,3); @@ -6491,7 +6534,7 @@ warning: line 4: should foo be a metavariable? diff = --- tests/cststr.c -+++ /tmp/cocci-output-754406-0fc065-cststr.c ++++ /tmp/cocci-output-1720952-29d73c-cststr.c @@ -1,3 +1,3 @@ int main () { - foo((ptr_t)"blah"); @@ -6501,7 +6544,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/csw.c -+++ /tmp/cocci-output-754406-61cc65-csw.c ++++ /tmp/cocci-output-1720952-fff9da-csw.c @@ -1,14 +1,6 @@ int main() { switch (x) { @@ -6520,7 +6563,7 @@ dbg.res diff = --- tests/dbg.c -+++ /tmp/cocci-output-754406-2edc83-dbg.c ++++ /tmp/cocci-output-1720952-e59936-dbg.c @@ -4,5 +4,6 @@ static inline void alloc_resource(struct struct resource *pr, *r = &dev->resource[idx]; @@ -6532,7 +6575,7 @@ dbg1.res diff = --- tests/dbg1.c -+++ /tmp/cocci-output-754406-1684c9-dbg1.c ++++ /tmp/cocci-output-1720952-0fe7db-dbg1.c @@ -2,4 +2,5 @@ static inline void alloc_resource(struct pci_dev *dev, int idx) { @@ -6542,7 +6585,7 @@ dc_close.res diff = --- tests/dc_close.c -+++ /tmp/cocci-output-754406-5d2f87-dc_close.c ++++ /tmp/cocci-output-1720952-fb3c9d-dc_close.c @@ -5,6 +5,7 @@ initicc(struct IsdnCardState *cs) INIT_WORK(&cs->work, icc_bh, cs); @@ -6554,7 +6597,7 @@ debug.res diff = --- tests/debug.c -+++ /tmp/cocci-output-754406-22ec76-debug.c ++++ /tmp/cocci-output-1720952-551a9f-debug.c @@ -1,5 +1,4 @@ static int __init init_3c574_cs(void) { @@ -6564,7 +6607,7 @@ dec.res diff = --- tests/dec.c -+++ /tmp/cocci-output-754406-728181-dec.c ++++ /tmp/cocci-output-1720952-3aa323-dec.c @@ -1,4 +1,5 @@ int f(int x) { + int z; @@ -6574,7 +6617,7 @@ decl.res diff = --- tests/decl.c -+++ /tmp/cocci-output-754406-a27282-decl.c ++++ /tmp/cocci-output-1720952-3515a8-decl.c @@ -1,5 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -6586,7 +6629,7 @@ warning: line 8: should x be a metavariable? diff = --- tests/decl2.c -+++ /tmp/cocci-output-754406-75600b-decl2.c ++++ /tmp/cocci-output-1720952-56c526-decl2.c @@ -1,6 +1,6 @@ static int az_ioctl(int cmd, void *arg) { @@ -6598,7 +6641,7 @@ decl_space.res diff = --- tests/decl_space.c -+++ /tmp/cocci-output-754406-0b4400-decl_space.c ++++ /tmp/cocci-output-1720952-238d3c-decl_space.c @@ -1,4 +1,4 @@ int main () { - int *x = y; @@ -6610,7 +6653,7 @@ decl_star.res diff = --- tests/decl_star.c -+++ /tmp/cocci-output-754406-faaecf-decl_star.c ++++ /tmp/cocci-output-1720952-435aa1-decl_star.c @@ -1,5 +1,5 @@ int main () { - int *x; @@ -6622,7 +6665,7 @@ declmeta.res diff = --- tests/declmeta.c -+++ /tmp/cocci-output-754406-fdbf46-declmeta.c ++++ /tmp/cocci-output-1720952-cdbf0e-declmeta.c @@ -1,7 +1,7 @@ -int b,c; +int c; @@ -6637,13 +6680,13 @@ defe.res diff = --- tests/defe.c -+++ /tmp/cocci-output-754406-c930d0-defe.c ++++ /tmp/cocci-output-1720952-3e32ad-defe.c @@ -1 +1,0 @@ -#define x 3 define_exp.res diff = --- tests/define_exp.c -+++ /tmp/cocci-output-754406-a10d2f-define_exp.c ++++ /tmp/cocci-output-1720952-6d8985-define_exp.c @@ -1,5 +1,5 @@ #define IRQ_T(info) ((info->flags & ASYNC_SHARE_IRQ) ? \ - SA_SHIRQ : SA_INTERRUPT) @@ -6654,7 +6697,7 @@ define_param.res diff = --- tests/define_param.c -+++ /tmp/cocci-output-754406-7e28b6-define_param.c ++++ /tmp/cocci-output-1720952-e249ca-define_param.c @@ -1,10 +1,10 @@ -#define fieldsize(a) (sizeof(a)/sizeof(*a)) + @@ -6671,7 +6714,7 @@ defineinit.res diff = --- tests/defineinit.c -+++ /tmp/cocci-output-754406-a25862-defineinit.c ++++ /tmp/cocci-output-1720952-a864ec-defineinit.c @@ -1,3 +1,3 @@ #define MYMACRO(adsf) { \ - .foo = (asdf),\ @@ -6681,7 +6724,7 @@ delete_function.res diff = --- tests/delete_function.c -+++ /tmp/cocci-output-754406-e4d766-delete_function.c ++++ /tmp/cocci-output-1720952-94d50e-delete_function.c @@ -2,12 +2,6 @@ int first () { return 0; } @@ -6698,7 +6741,7 @@ delp.res diff = --- tests/delp.c -+++ /tmp/cocci-output-754406-a7b7e4-delp.c ++++ /tmp/cocci-output-1720952-ba856a-delp.c @@ -1,4 +1,4 @@ int main () { return @@ -6708,7 +6751,7 @@ depfail.res diff = --- tests/depfail.c -+++ /tmp/cocci-output-754406-5b54cc-depfail.c ++++ /tmp/cocci-output-1720952-3ac5b6-depfail.c @@ -1,5 +1,4 @@ int main(void) { @@ -6718,7 +6761,7 @@ deref.res diff = --- tests/deref.c -+++ /tmp/cocci-output-754406-bb9708-deref.c ++++ /tmp/cocci-output-1720952-356f10-deref.c @@ -1,6 +1,6 @@ int main () { int **q; @@ -6731,7 +6774,7 @@ destroy.res diff = --- tests/destroy.c -+++ /tmp/cocci-output-754406-d0c6b1-destroy.c ++++ /tmp/cocci-output-1720952-bafe2d-destroy.c @@ -6,7 +6,12 @@ static void wlcore_nvs_cb(const struct f goto out; @@ -6748,7 +6791,7 @@ detect_cast_attr.res diff = --- tests/detect_cast_attr.c -+++ /tmp/cocci-output-754406-5047c5-detect_cast_attr.c ++++ /tmp/cocci-output-1720952-fd6747-detect_cast_attr.c @@ -2,9 +2,9 @@ int func() @@ -6767,7 +6810,7 @@ warning: line 8: should a be a metavariable? diff = --- tests/detect_macrodecl_attr.c -+++ /tmp/cocci-output-754406-670fda-detect_macrodecl_attr.c ++++ /tmp/cocci-output-1720952-1d8bf3-detect_macrodecl_attr.c @@ -1,5 +1,5 @@ #define __macro_attr MACROANNOTATION @@ -6778,7 +6821,7 @@ detect_param_attr.res diff = --- tests/detect_param_attr.c -+++ /tmp/cocci-output-754406-cf25fc-detect_param_attr.c ++++ /tmp/cocci-output-1720952-c8499b-detect_param_attr.c @@ -1,11 +1,12 @@ -int func1(int __nocast *u, __nocast int z, int q __nocast, int w) { +int func1(char __nocast *u, __nocast int z, char q __nocast, int w) { @@ -6798,7 +6841,7 @@ detect_struct_endattr.res diff = --- tests/detect_struct_endattr.c -+++ /tmp/cocci-output-754406-bf342e-detect_struct_endattr.c ++++ /tmp/cocci-output-1720952-02b58a-detect_struct_endattr.c @@ -2,7 +2,6 @@ struct abcd { @@ -6810,7 +6853,7 @@ detect_struct_gccattr.res diff = --- tests/detect_struct_gccattr.c -+++ /tmp/cocci-output-754406-4028a6-detect_struct_gccattr.c ++++ /tmp/cocci-output-1720952-653b83-detect_struct_gccattr.c @@ -1,12 +1,10 @@ struct abcd { int a; @@ -6841,7 +6884,7 @@ devlink.res diff = --- tests/devlink.c -+++ /tmp/cocci-output-754406-6c1493-devlink.c ++++ /tmp/cocci-output-1720952-f3bccb-devlink.c @@ -1,12 +1,12 @@ -static void cm4000_release(dev_link_t *link); +static void cm4000_release(struct pcmcia_device *link); @@ -6867,7 +6910,7 @@ warning: line 18: should disj_type be a metavariable? diff = --- tests/disj.c -+++ /tmp/cocci-output-754406-549790-disj.c ++++ /tmp/cocci-output-1720952-353363-disj.c @@ -1,31 +1,31 @@ void f() { int disj_id0; @@ -6919,7 +6962,7 @@ disjexpr.res diff = --- tests/disjexpr.c -+++ /tmp/cocci-output-754406-64cf2e-disjexpr.c ++++ /tmp/cocci-output-1720952-eb4af4-disjexpr.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v, v.fld2); @@ -6928,7 +6971,7 @@ disjexpr_ver1.res diff = --- tests/disjexpr_ver1.c -+++ /tmp/cocci-output-754406-ce2c17-disjexpr_ver1.c ++++ /tmp/cocci-output-1720952-303950-disjexpr_ver1.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld); @@ -6937,7 +6980,7 @@ disjexpr_ver2.res diff = --- tests/disjexpr_ver2.c -+++ /tmp/cocci-output-754406-ffbc01-disjexpr_ver2.c ++++ /tmp/cocci-output-1720952-e9ca21-disjexpr_ver2.c @@ -1,3 +1,3 @@ int main (int i) { - f(v.fld, v.fld2, v); @@ -6946,7 +6989,7 @@ disjid.res diff = --- tests/disjid.c -+++ /tmp/cocci-output-754406-392e70-disjid.c ++++ /tmp/cocci-output-1720952-1afe37-disjid.c @@ -1,5 +1,5 @@ -int foo (int x, int z) { return 0; } -int foo (int y, int z) { return 0; } @@ -6960,7 +7003,7 @@ distribute.res diff = --- tests/distribute.c -+++ /tmp/cocci-output-754406-cd6ac7-distribute.c ++++ /tmp/cocci-output-1720952-12e8dd-distribute.c @@ -1,4 +1,4 @@ int main(int i) { @@ -6970,7 +7013,7 @@ dotcall.res diff = --- tests/dotcall.c -+++ /tmp/cocci-output-754406-70cd8b-dotcall.c ++++ /tmp/cocci-output-1720952-88d689-dotcall.c @@ -1,3 +1,2 @@ int main() { - xxx.foobar(); @@ -6978,7 +7021,7 @@ dots_comma.res diff = --- tests/dots_comma.c -+++ /tmp/cocci-output-754406-ddd13f-dots_comma.c ++++ /tmp/cocci-output-1720952-cdcb4d-dots_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -6988,7 +7031,7 @@ double.res diff = --- tests/double.c -+++ /tmp/cocci-output-754406-42a475-double.c ++++ /tmp/cocci-output-1720952-e89ef5-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))) { @@ -6999,7 +7042,7 @@ double_assign.res diff = --- tests/double_assign.c -+++ /tmp/cocci-output-754406-ea986f-double_assign.c ++++ /tmp/cocci-output-1720952-3948f9-double_assign.c @@ -4,6 +4,5 @@ int main() { } @@ -7010,7 +7053,7 @@ double_lines.res diff = --- tests/double_lines.c -+++ /tmp/cocci-output-754406-3416de-double_lines.c ++++ /tmp/cocci-output-1720952-94a626-double_lines.c @@ -1,7 +1,4 @@ int main () { test(); @@ -7023,7 +7066,7 @@ doublepos.res diff = --- tests/doublepos.c -+++ /tmp/cocci-output-754406-32afe8-doublepos.c ++++ /tmp/cocci-output-1720952-095f81-doublepos.c @@ -1,5 +1,4 @@ int main() { - f(1,2); @@ -7033,7 +7076,7 @@ doubleswitch.res diff = --- tests/doubleswitch.c -+++ /tmp/cocci-output-754406-60c2dd-doubleswitch.c ++++ /tmp/cocci-output-1720952-7d3604-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; @@ -7046,7 +7089,7 @@ doundo.res diff = --- tests/doundo.c -+++ /tmp/cocci-output-754406-2d5b35-doundo.c ++++ /tmp/cocci-output-1720952-2e3a45-doundo.c @@ -4,5 +4,5 @@ int main() { const s8 (*queue_priority_mapping)[2]; @@ -7057,7 +7100,7 @@ dowhile.res diff = --- tests/dowhile.c -+++ /tmp/cocci-output-754406-094eda-dowhile.c ++++ /tmp/cocci-output-1720952-5592a1-dowhile.c @@ -1,7 +1,5 @@ int main() { do { @@ -7069,7 +7112,7 @@ dropbr.res diff = --- tests/dropbr.c -+++ /tmp/cocci-output-754406-b683c9-dropbr.c ++++ /tmp/cocci-output-1720952-29aaef-dropbr.c @@ -1,5 +1,4 @@ int main () { - if (a) { @@ -7081,7 +7124,7 @@ dropcom.res diff = --- tests/dropcom.c -+++ /tmp/cocci-output-754406-b0f3aa-dropcom.c ++++ /tmp/cocci-output-1720952-67eb7c-dropcom.c @@ -2,10 +2,6 @@ int one() { return 0; } #endif /* XXX */ @@ -7096,7 +7139,7 @@ dropenderr.res diff = --- tests/dropenderr.c -+++ /tmp/cocci-output-754406-492e30-dropenderr.c ++++ /tmp/cocci-output-1720952-0ef7d3-dropenderr.c @@ -1,8 +1,6 @@ int main () { - if (x) goto end; @@ -7111,7 +7154,7 @@ dropf.res diff = --- tests/dropf.c -+++ /tmp/cocci-output-754406-5cfbb0-dropf.c ++++ /tmp/cocci-output-1720952-f7688a-dropf.c @@ -1,3 +1,3 @@ int main() { - x = f(1) + f(3); @@ -7120,7 +7163,7 @@ dropparam.res diff = --- tests/dropparam.c -+++ /tmp/cocci-output-754406-af0502-dropparam.c ++++ /tmp/cocci-output-1720952-fcfd05-dropparam.c @@ -2,12 +2,12 @@ int f(char *x, int y, char* z) { return; } @@ -7139,7 +7182,7 @@ dtest.res diff = --- tests/dtest.c -+++ /tmp/cocci-output-754406-43e509-dtest.c ++++ /tmp/cocci-output-1720952-e1875b-dtest.c @@ -1,5 +1,5 @@ int main() { struct sk_buff *e; @@ -7150,7 +7193,7 @@ eb1.res diff = --- tests/eb1.c -+++ /tmp/cocci-output-754406-11638e-eb1.c ++++ /tmp/cocci-output-1720952-dff2a6-eb1.c @@ -1,7 +1,13 @@ int func() { int c; @@ -7169,7 +7212,7 @@ edots.res diff = --- tests/edots.c -+++ /tmp/cocci-output-754406-fd0616-edots.c ++++ /tmp/cocci-output-1720952-8039cd-edots.c @@ -1,6 +1,6 @@ void main(int i) { - foo[45]; @@ -7182,7 +7225,7 @@ edots_ver1.res diff = --- tests/edots_ver1.c -+++ /tmp/cocci-output-754406-d51ca2-edots_ver1.c ++++ /tmp/cocci-output-1720952-18d9f2-edots_ver1.c @@ -1,7 +1,7 @@ void main(int i) { - foo[45]; @@ -7197,7 +7240,7 @@ efi3.res diff = --- tests/efi3.c -+++ /tmp/cocci-output-754406-02c354-efi3.c ++++ /tmp/cocci-output-1720952-469ff0-efi3.c @@ -6,6 +6,6 @@ static efi_status_t virt_efi_get_time(ef goto exit; @@ -7209,7 +7252,7 @@ elsify.res diff = --- tests/elsify.c -+++ /tmp/cocci-output-754406-6cd8b8-elsify.c ++++ /tmp/cocci-output-1720952-96a891-elsify.c @@ -1,7 +1,7 @@ int main () { if (x) @@ -7223,7 +7266,7 @@ empty.res diff = --- tests/empty.c -+++ /tmp/cocci-output-754406-581272-empty.c ++++ /tmp/cocci-output-1720952-a42b45-empty.c @@ -1,6 +1,6 @@ static int vlsi_hard_start_xmit(struct sk_buff *skb, struct net_device *ndev) { @@ -7235,7 +7278,7 @@ end_attr.res diff = --- tests/end_attr.c -+++ /tmp/cocci-output-754406-2d173d-end_attr.c ++++ /tmp/cocci-output-1720952-180480-end_attr.c @@ -1,10 +1,12 @@ int main() { - struct foo x autofree; @@ -7254,7 +7297,7 @@ end_commas.res diff = --- tests/end_commas.c -+++ /tmp/cocci-output-754406-12544a-end_commas.c ++++ /tmp/cocci-output-1720952-ff4ee8-end_commas.c @@ -1,4 +1,6 @@ static struct i2c_client client_template = { - .name = "adv7175_client", @@ -7268,7 +7311,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/endif.c -+++ /tmp/cocci-output-754406-f3e08b-endif.c ++++ /tmp/cocci-output-1720952-0eaa3c-endif.c @@ -2,18 +2,23 @@ void f(int i) { x = 1; @@ -7296,7 +7339,7 @@ endnl.res diff = --- tests/endnl.c -+++ /tmp/cocci-output-754406-2b78f6-endnl.c ++++ /tmp/cocci-output-1720952-602ada-endnl.c @@ -1,18 +1,36 @@ int main () { +#ifdef FOO @@ -7337,12 +7380,12 @@ endpos.res warning: s: metavariable p not used in the - or context code Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_089731.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_089731.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_25f40e.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_25f40e.ml Compilation OK! Loading ML code of the SP... diff = --- tests/endpos.c -+++ /tmp/cocci-output-754406-b560a3-endpos.c ++++ /tmp/cocci-output-1720952-40e96a-endpos.c @@ -1,4 +1,5 @@ int main () { + main(); @@ -7361,7 +7404,7 @@ enum.res diff = --- tests/enum.c -+++ /tmp/cocci-output-754406-a2713c-enum.c ++++ /tmp/cocci-output-1720952-ca5e39-enum.c @@ -18,5 +18,5 @@ xxx static reg_errcode_t regex_compile () @@ -7372,7 +7415,7 @@ enum_assign.res diff = --- tests/enum_assign.c -+++ /tmp/cocci-output-754406-4c3656-enum_assign.c ++++ /tmp/cocci-output-1720952-1c802d-enum_assign.c @@ -1,6 +1,7 @@ enum h { - a = 0, @@ -7386,20 +7429,20 @@ enumdots.res diff = --- tests/enumdots.c -+++ /tmp/cocci-output-754406-e7c33e-enumdots.c ++++ /tmp/cocci-output-1720952-f5363f-enumdots.c @@ -1,3 +1,2 @@ enum binder_work_type { - BINDER_WORK_TRANSACTION = 12, } t; exitc.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_7b6417.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_7b6417.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_8dbe0f.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_8dbe0f.ml Compilation OK! Loading ML code of the SP... Failure in rule starting on line 8 diff = --- tests/exitc.c -+++ /tmp/cocci-output-754406-4ce840-exitc.c ++++ /tmp/cocci-output-1720952-18fb31-exitc.c @@ -1,6 +1,6 @@ int main () { - f(a1); @@ -7416,7 +7459,7 @@ exp.res diff = --- tests/exp.c -+++ /tmp/cocci-output-754406-c4cf36-exp.c ++++ /tmp/cocci-output-1720952-f5b595-exp.c @@ -1,14 +1,14 @@ int main(int i) { @@ -7439,7 +7482,7 @@ expnest.res diff = --- tests/expnest.c -+++ /tmp/cocci-output-754406-045764-expnest.c ++++ /tmp/cocci-output-1720952-faa70f-expnest.c @@ -2,5 +2,5 @@ int main() { x = 3 + 4; x = f() + 15; @@ -7450,7 +7493,7 @@ expopt.res diff = --- tests/expopt.c -+++ /tmp/cocci-output-754406-67f83d-expopt.c ++++ /tmp/cocci-output-1720952-27bb48-expopt.c @@ -1,5 +1,5 @@ int main() { int *x; @@ -7461,7 +7504,7 @@ expopt2.res diff = --- tests/expopt2.c -+++ /tmp/cocci-output-754406-7e17e3-expopt2.c ++++ /tmp/cocci-output-1720952-ef4536-expopt2.c @@ -1,5 +1,5 @@ void main(int i) { @@ -7472,7 +7515,7 @@ expopt3.res diff = --- tests/expopt3.c -+++ /tmp/cocci-output-754406-e0fb88-expopt3.c ++++ /tmp/cocci-output-1720952-e7d5a9-expopt3.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7484,7 +7527,7 @@ expopt3_ver1.res diff = --- tests/expopt3_ver1.c -+++ /tmp/cocci-output-754406-8b2545-expopt3_ver1.c ++++ /tmp/cocci-output-1720952-654691-expopt3_ver1.c @@ -1,6 +1,6 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7497,7 +7540,7 @@ expopt3_ver2.res diff = --- tests/expopt3_ver2.c -+++ /tmp/cocci-output-754406-5b8274-expopt3_ver2.c ++++ /tmp/cocci-output-1720952-0e46c4-expopt3_ver2.c @@ -1,5 +1,5 @@ static int pcm20_ioctl(struct video_device *dev, unsigned int cmd, void *arg) { @@ -7509,7 +7552,7 @@ exprlist_comma.res diff = --- tests/exprlist_comma.c -+++ /tmp/cocci-output-754406-50dc35-exprlist_comma.c ++++ /tmp/cocci-output-1720952-0612c8-exprlist_comma.c @@ -1,4 +1,4 @@ int main(void) { @@ -7518,8 +7561,8 @@ } extra.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_9ca3e4.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_9ca3e4.ml -File "/tmp/ocaml_cocci_9ca3e4.ml", line 38, characters 4-6: +ocamlopt.opt -shared -o /tmp/ocaml_cocci_d64e57.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_d64e57.ml +File "/tmp/ocaml_cocci_d64e57.ml", line 38, characters 4-6: 38 | let ff = match List.nth __args__ 1 with Coccilib.Str x -> x | _ -> failwith "bad value" in ^^ Warning 26 [unused-var]: unused variable ff. @@ -7527,7 +7570,7 @@ Loading ML code of the SP... diff = --- tests/extra.c -+++ /tmp/cocci-output-754406-bca989-extra.c ++++ /tmp/cocci-output-1720952-d9f9f2-extra.c @@ -1,12 +1,25 @@ #ifdef FIRST -int main (int a, struct foo *b, struct bar *c) { @@ -7559,7 +7602,7 @@ failing_andany.res diff = --- tests/failing_andany.c -+++ /tmp/cocci-output-754406-3b640e-failing_andany.c ++++ /tmp/cocci-output-1720952-2eb2ee-failing_andany.c @@ -1,13 +1,9 @@ static int smc_probe1(struct net_device *dev, void __iomem *ioaddr, unsigned long irq_flags) @@ -7577,7 +7620,7 @@ far.res diff = --- tests/far.c -+++ /tmp/cocci-output-754406-7e276a-far.c ++++ /tmp/cocci-output-1720952-d45df8-far.c @@ -1,7 +1,7 @@ int main(void) { @@ -7592,7 +7635,7 @@ fields.res diff = --- tests/fields.c -+++ /tmp/cocci-output-754406-b9c0e5-fields.c ++++ /tmp/cocci-output-1720952-afa3ce-fields.c @@ -1,4 +1,7 @@ struct foo x = { + .a = 1, @@ -7605,7 +7648,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fieldsmin.c -+++ /tmp/cocci-output-754406-1ce1b5-fieldsmin.c ++++ /tmp/cocci-output-1720952-99e0e3-fieldsmin.c @@ -1,5 +1,3 @@ struct foo x = { - .a = 1, @@ -7614,13 +7657,13 @@ }; finalize_only.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_bf2ddb.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_bf2ddb.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_9992e8.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_9992e8.ml Compilation OK! Loading ML code of the SP... find_long.res diff = --- tests/find_long.c -+++ /tmp/cocci-output-754406-9e6271-find_long.c ++++ /tmp/cocci-output-1720952-05c21c-find_long.c @@ -3,8 +3,8 @@ long function() long a; int b; @@ -7635,7 +7678,7 @@ fix_flow_need.res diff = --- tests/fix_flow_need.c -+++ /tmp/cocci-output-754406-3d7a07-fix_flow_need.c ++++ /tmp/cocci-output-1720952-e8d8aa-fix_flow_need.c @@ -5,7 +5,6 @@ void main(int i) { if(1) { foo(); @@ -7647,7 +7690,7 @@ flex.res diff = --- tests/flex.c -+++ /tmp/cocci-output-754406-b69e3e-flex.c ++++ /tmp/cocci-output-1720952-c57157-flex.c @@ -3,5 +3,5 @@ struct scmi_msg_resp_sensor_description struct { #define SENSOR_UPDATE_BASE(x) 3 @@ -7658,7 +7701,7 @@ fn_todo.res diff = --- tests/fn_todo.c -+++ /tmp/cocci-output-754406-157e39-fn_todo.c ++++ /tmp/cocci-output-1720952-a61533-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; @@ -7670,7 +7713,7 @@ fnptr.res diff = --- tests/fnptr.c -+++ /tmp/cocci-output-754406-8ba91f-fnptr.c ++++ /tmp/cocci-output-1720952-cb46c6-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, @@ -7682,14 +7725,14 @@ warning: line 6: should x be a metavariable? diff = --- tests/fnret.c -+++ /tmp/cocci-output-754406-542dca-fnret.c ++++ /tmp/cocci-output-1720952-460fdb-fnret.c @@ -1 +1 @@ -static void foo(int x) { return; } + fnty.res diff = --- tests/fnty.c -+++ /tmp/cocci-output-754406-ea8d55-fnty.c ++++ /tmp/cocci-output-1720952-185d2a-fnty.c @@ -1,4 +1,4 @@ -struct allfns { +struct newname { @@ -7699,14 +7742,14 @@ fntypedef.res diff = --- tests/fntypedef.c -+++ /tmp/cocci-output-754406-7811f3-fntypedef.c ++++ /tmp/cocci-output-1720952-c7bf63-fntypedef.c @@ -1 +1 @@ -typedef void (*toto_t)(int a, int b); +typedef void(*toto_t)(int a, int b, int c); format.res diff = --- tests/format.c -+++ /tmp/cocci-output-754406-0991df-format.c ++++ /tmp/cocci-output-1720952-f2f51a-format.c @@ -1,5 +1,5 @@ int main () { - printf("one %d two\n", 1); @@ -7717,14 +7760,14 @@ } format2.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_f7b021.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_f7b021.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_ebfa22.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_ebfa22.ml Compilation OK! Loading ML code of the SP... diff = format string is 1x format string is 2x --- tests/format2.c -+++ /tmp/cocci-output-754406-00004d-format2.c ++++ /tmp/cocci-output-1720952-19243c-format2.c @@ -1,4 +1,3 @@ int main () { foo("blah %x blah"); @@ -7733,7 +7776,7 @@ formatlist.res diff = --- tests/formatlist.c -+++ /tmp/cocci-output-754406-d5a79f-formatlist.c ++++ /tmp/cocci-output-1720952-5bfe4a-formatlist.c @@ -1,10 +1,10 @@ int main () { foo("xyz %d abc"); @@ -7751,7 +7794,7 @@ fortest.res diff = --- tests/fortest.c -+++ /tmp/cocci-output-754406-2b780a-fortest.c ++++ /tmp/cocci-output-1720952-67b722-fortest.c @@ -1,18 +1,18 @@ int main() { - for(x=0; x!=10; x++) @@ -7791,7 +7834,7 @@ warning: line 4: should x be a metavariable? diff = --- tests/fortype.c -+++ /tmp/cocci-output-754406-e85b11-fortype.c ++++ /tmp/cocci-output-1720952-f2255f-fortype.c @@ -1,4 +1,4 @@ int main () { - for (int x = 0; x!=10; x++) @@ -7802,7 +7845,7 @@ four.res diff = --- tests/four.c -+++ /tmp/cocci-output-754406-d9bae9-four.c ++++ /tmp/cocci-output-1720952-4345d5-four.c @@ -1,5 +1,3 @@ int main () { f(1); @@ -7812,7 +7855,7 @@ foura.res diff = --- tests/foura.c -+++ /tmp/cocci-output-754406-da1de8-foura.c ++++ /tmp/cocci-output-1720952-bf2705-foura.c @@ -1,5 +1,4 @@ int main () { f(1); @@ -7822,14 +7865,14 @@ fp.res diff = --- tests/fp.c -+++ /tmp/cocci-output-754406-911c2d-fp.c ++++ /tmp/cocci-output-1720952-229945-fp.c @@ -1,3 +1,2 @@ int main(int (*x)(int,int)) { - x(); } fresh_id_script.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_648d9d.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_648d9d.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_3a6e9c.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_3a6e9c.ml File "tests/fresh_id_script.cocci", line 11, characters 5-14: Warning 26 [unused-var]: unused variable fresh_ml0. File "tests/fresh_id_script.cocci", line 35, characters 5-14: @@ -7844,7 +7887,7 @@ fsh.res diff = --- tests/fsh.c -+++ /tmp/cocci-output-754406-ed6708-fsh.c ++++ /tmp/cocci-output-1720952-b86e53-fsh.c @@ -1,4 +1,4 @@ int main () { f(c); @@ -7856,7 +7899,7 @@ warning: line 5: should x be a metavariable? diff = --- tests/fun.c -+++ /tmp/cocci-output-754406-fbbeac-fun.c ++++ /tmp/cocci-output-1720952-7aa677-fun.c @@ -1 +1,4 @@ +struct a { + int a; @@ -7865,7 +7908,7 @@ func.res diff = --- tests/func.c -+++ /tmp/cocci-output-754406-d6f72a-func.c ++++ /tmp/cocci-output-1720952-0ea7f7-func.c @@ -1,6 +1,7 @@ static int hidg_setup(struct usb_function *f, const struct usb_ctrlrequest *ctrl) @@ -7879,7 +7922,7 @@ funptr_array.res diff = --- tests/funptr_array.c -+++ /tmp/cocci-output-754406-3cbaf2-funptr_array.c ++++ /tmp/cocci-output-1720952-75c9f4-funptr_array.c @@ -1 +1 @@ -int (*x[2])(int x); +int (*x[2])(char x); @@ -7899,7 +7942,7 @@ gadget_misc.res diff = --- tests/gadget_misc.c -+++ /tmp/cocci-output-754406-4f1da3-gadget_misc.c ++++ /tmp/cocci-output-1720952-c8eadb-gadget_misc.c @@ -2,6 +2,5 @@ int main() { if(0) @@ -7910,7 +7953,7 @@ gadget_ninelets_typedef.res diff = --- tests/gadget_ninelets_typedef.c -+++ /tmp/cocci-output-754406-824815-gadget_ninelets_typedef.c ++++ /tmp/cocci-output-1720952-056666-gadget_ninelets_typedef.c @@ -1,21 +1,23 @@ typedef double MyFloat; @@ -7944,7 +7987,7 @@ gadget_remove_mpi_function_calls.res diff = --- tests/gadget_remove_mpi_function_calls.c -+++ /tmp/cocci-output-754406-0b7ba7-gadget_remove_mpi_function_calls.c ++++ /tmp/cocci-output-1720952-d616ec-gadget_remove_mpi_function_calls.c @@ -2,6 +2,5 @@ int main(int argc, char **argv) { @@ -7955,7 +7998,7 @@ gadget_remove_used_fields.res diff = --- tests/gadget_remove_used_fields.c -+++ /tmp/cocci-output-754406-c1327f-gadget_remove_used_fields.c ++++ /tmp/cocci-output-1720952-cad976-gadget_remove_used_fields.c @@ -1,8 +1,8 @@ -struct particle_data { int i; int j; int k; } * P ; @@ -7977,7 +8020,7 @@ gadget_soa_select.res diff = --- tests/gadget_soa_select.c -+++ /tmp/cocci-output-754406-a0bd6e-gadget_soa_select.c ++++ /tmp/cocci-output-1720952-bcf09b-gadget_soa_select.c @@ -1,5 +1,5 @@ struct sph_particle_data_soa_t { - int *Entropy; @@ -7988,7 +8031,7 @@ gadget_sorting_hook.res diff = --- tests/gadget_sorting_hook.c -+++ /tmp/cocci-output-754406-28fdf1-gadget_sorting_hook.c ++++ /tmp/cocci-output-1720952-ee33f0-gadget_sorting_hook.c @@ -18,10 +18,24 @@ void soa_invalidate_aos__particle_data() int main() @@ -8017,7 +8060,7 @@ gadget_triplets_typedef.res diff = --- tests/gadget_triplets_typedef.c -+++ /tmp/cocci-output-754406-1932ee-gadget_triplets_typedef.c ++++ /tmp/cocci-output-1720952-5fd377-gadget_triplets_typedef.c @@ -3,6 +3,8 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -8044,7 +8087,7 @@ gadget_triplets_typedef_ipcc.res diff = --- tests/gadget_triplets_typedef_ipcc.c -+++ /tmp/cocci-output-754406-4f1ae0-gadget_triplets_typedef_ipcc.c ++++ /tmp/cocci-output-1720952-52cbd5-gadget_triplets_typedef_ipcc.c @@ -3,6 +3,7 @@ typedef double MyFloat; typedef long double MyLongDouble; typedef long double MyDoublePos; @@ -8065,7 +8108,7 @@ gcc_attr_with_func.res diff = --- tests/gcc_attr_with_func.c -+++ /tmp/cocci-output-754406-4c0924-gcc_attr_with_func.c ++++ /tmp/cocci-output-1720952-995d40-gcc_attr_with_func.c @@ -1,8 +1,8 @@ -int __attribute__((always_inline)) func (int a); +int __attribute__((always_inline)) func (); @@ -8094,7 +8137,7 @@ gcc_attr_with_var.res diff = --- tests/gcc_attr_with_var.c -+++ /tmp/cocci-output-754406-b6d5a9-gcc_attr_with_var.c ++++ /tmp/cocci-output-1720952-1e4752-gcc_attr_with_var.c @@ -1,39 +1,43 @@ -int var1_end __attribute__((myattr1_end)); +int var1_end __attribute__((section(".shared"))); @@ -8162,7 +8205,7 @@ gcc_min_max.res diff = --- tests/gcc_min_max.c -+++ /tmp/cocci-output-754406-35be09-gcc_min_max.c ++++ /tmp/cocci-output-1720952-03c0b3-gcc_min_max.c @@ -1,8 +1,8 @@ int main() { @@ -8179,7 +8222,7 @@ getc.res diff = --- tests/getc.c -+++ /tmp/cocci-output-754406-086583-getc.c ++++ /tmp/cocci-output-1720952-cdffd9-getc.c @@ -1,4 +1,4 @@ int IFoo_QueryInterface(int *iface, long *riid, void **ppv) { @@ -8189,7 +8232,7 @@ gilles-question.res diff = --- tests/gilles-question.c -+++ /tmp/cocci-output-754406-c17eef-gilles-question.c ++++ /tmp/cocci-output-1720952-aa7019-gilles-question.c @@ -2,8 +2,6 @@ void main(int i) { f(0); @@ -8202,7 +8245,7 @@ gotobreak.res diff = --- tests/gotobreak.c -+++ /tmp/cocci-output-754406-a839b5-gotobreak.c ++++ /tmp/cocci-output-1720952-659ac4-gotobreak.c @@ -11,5 +11,5 @@ static void sedlbauer_config(struct pcmc CS_CHECK(GetNextTuple, pcmcia_get_next_tuple(link, &tuple)); } @@ -8215,7 +8258,7 @@ warning: line 4: should y be a metavariable? diff = --- tests/hd.c -+++ /tmp/cocci-output-754406-affb00-hd.c ++++ /tmp/cocci-output-1720952-bb6c82-hd.c @@ -1,3 +1,3 @@ #include "hd.h" @@ -8224,7 +8267,7 @@ headers.res diff = --- tests/headers.c -+++ /tmp/cocci-output-754406-806ac2-headers.c ++++ /tmp/cocci-output-1720952-51bd4b-headers.c @@ -10,12 +10,12 @@ static int empeg_write (struct usb_seria } @@ -8243,7 +8286,7 @@ hex.res diff = --- tests/hex.c -+++ /tmp/cocci-output-754406-8648f6-hex.c ++++ /tmp/cocci-output-1720952-966ef7-hex.c @@ -1,3 +1,2 @@ int main() { - f(0x00); @@ -8251,7 +8294,7 @@ hil1.res diff = --- tests/hil1.c -+++ /tmp/cocci-output-754406-92d002-hil1.c ++++ /tmp/cocci-output-1720952-7fd2da-hil1.c @@ -2,5 +2,5 @@ { HILSE_FUNC, { func: &funct }, funct_arg, zero_rc }, @@ -8263,12 +8306,12 @@ exn while in timeout_function idcon_ocaml.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_b86178.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_b86178.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_a4ce74.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_a4ce74.ml Compilation OK! Loading ML code of the SP... diff = --- tests/idcon_ocaml.c -+++ /tmp/cocci-output-754406-656165-idcon_ocaml.c ++++ /tmp/cocci-output-1720952-cfd233-idcon_ocaml.c @@ -1,5 +1,5 @@ void f(void) { - g(a); @@ -8282,7 +8325,7 @@ idstr.res diff = --- tests/idstr.c -+++ /tmp/cocci-output-754406-940e53-idstr.c ++++ /tmp/cocci-output-1720952-dbeb1d-idstr.c @@ -1,3 +1,3 @@ int main () { - printf("arena 0x%08x, numfree = %d\n", (unsigned)dt, dt->numfree); @@ -8291,7 +8334,7 @@ if.res diff = --- tests/if.c -+++ /tmp/cocci-output-754406-701d6c-if.c ++++ /tmp/cocci-output-1720952-235c66-if.c @@ -1,27 +1,37 @@ int main () { + before(); @@ -8333,7 +8376,7 @@ ifadd.res diff = --- tests/ifadd.c -+++ /tmp/cocci-output-754406-68dd7d-ifadd.c ++++ /tmp/cocci-output-1720952-03d3e8-ifadd.c @@ -3,6 +3,7 @@ int main() { if (x) { one(); @@ -8348,7 +8391,7 @@ ifd.res diff = --- tests/ifd.c -+++ /tmp/cocci-output-754406-9afdff-ifd.c ++++ /tmp/cocci-output-1720952-fa1021-ifd.c @@ -1,9 +1,13 @@ int main () { one(); @@ -8366,7 +8409,7 @@ ifdef1.res diff = --- tests/ifdef1.c -+++ /tmp/cocci-output-754406-0031b7-ifdef1.c ++++ /tmp/cocci-output-1720952-01a0a0-ifdef1.c @@ -1,5 +1,8 @@ #include #include @@ -8379,7 +8422,7 @@ ifdef2.res diff = --- tests/ifdef2.c -+++ /tmp/cocci-output-754406-bbde78-ifdef2.c ++++ /tmp/cocci-output-1720952-4eac56-ifdef2.c @@ -1,6 +1,11 @@ #include #include @@ -8395,7 +8438,7 @@ ifdef3.res diff = --- tests/ifdef3.c -+++ /tmp/cocci-output-754406-9b688f-ifdef3.c ++++ /tmp/cocci-output-1720952-4a4134-ifdef3.c @@ -2,6 +2,15 @@ #include #include @@ -8417,7 +8460,7 @@ warning: line 9: should irq_desc be a metavariable? diff = --- tests/ifdef4.c -+++ /tmp/cocci-output-754406-f859ab-ifdef4.c ++++ /tmp/cocci-output-1720952-4f0990-ifdef4.c @@ -7,7 +7,10 @@ void init_IRQ(void) { @@ -8433,7 +8476,7 @@ ifdef5.res diff = --- tests/ifdef5.c -+++ /tmp/cocci-output-754406-fad5eb-ifdef5.c ++++ /tmp/cocci-output-1720952-dbd503-ifdef5.c @@ -11,3 +11,11 @@ void init_IRQ(void) uselessCall(); } @@ -8449,7 +8492,7 @@ ifdef6.res diff = --- tests/ifdef6.c -+++ /tmp/cocci-output-754406-1b582b-ifdef6.c ++++ /tmp/cocci-output-1720952-5fdc9a-ifdef6.c @@ -1,5 +1,8 @@ #include #include @@ -8462,7 +8505,7 @@ ifdef6a.res diff = --- tests/ifdef6a.c -+++ /tmp/cocci-output-754406-01245f-ifdef6a.c ++++ /tmp/cocci-output-1720952-128697-ifdef6a.c @@ -1,4 +1,7 @@ #include +#ifdef CONFIG_NKERNEL @@ -8474,7 +8517,7 @@ ifdefmeta.res diff = --- tests/ifdefmeta.c -+++ /tmp/cocci-output-754406-45ecf7-ifdefmeta.c ++++ /tmp/cocci-output-1720952-cd70d4-ifdefmeta.c @@ -1,26 +1,30 @@ int main() { - buf = alloca(3 @@ -8543,7 +8586,7 @@ ifdefmeta1.res diff = --- tests/ifdefmeta1.c -+++ /tmp/cocci-output-754406-1d3c82-ifdefmeta1.c ++++ /tmp/cocci-output-1720952-49f367-ifdefmeta1.c @@ -1,17 +1,2 @@ int main() { - buf = alloca(3 @@ -8565,7 +8608,7 @@ ifdefmeta2.res diff = --- tests/ifdefmeta2.c -+++ /tmp/cocci-output-754406-a8ffed-ifdefmeta2.c ++++ /tmp/cocci-output-1720952-b6650f-ifdefmeta2.c @@ -1,12 +1,2 @@ int main() { - buf = alloca(3 @@ -8582,7 +8625,7 @@ ifdefmeta3.res diff = --- tests/ifdefmeta3.c -+++ /tmp/cocci-output-754406-76ad8a-ifdefmeta3.c ++++ /tmp/cocci-output-1720952-215af8-ifdefmeta3.c @@ -1,11 +1,5 @@ int main () { f(); @@ -8599,7 +8642,7 @@ ifend.res diff = --- tests/ifend.c -+++ /tmp/cocci-output-754406-3b9c92-ifend.c ++++ /tmp/cocci-output-1720952-510863-ifend.c @@ -3,5 +3,3 @@ static int vortex_debug = VORTEX_DEBUG; #else static int vortex_debug = 1; @@ -8609,7 +8652,7 @@ ifgoto.res diff = --- tests/ifgoto.c -+++ /tmp/cocci-output-754406-7882f3-ifgoto.c ++++ /tmp/cocci-output-1720952-f15c29-ifgoto.c @@ -1,5 +1,7 @@ int main () { - if (x) @@ -8623,7 +8666,7 @@ ifields.res diff = --- tests/ifields.c -+++ /tmp/cocci-output-754406-b8cdbf-ifields.c ++++ /tmp/cocci-output-1720952-023a3c-ifields.c @@ -1,14 +1,16 @@ typedef struct tag_obj { int x; @@ -8646,7 +8689,7 @@ ifif.res diff = --- tests/ifif.c -+++ /tmp/cocci-output-754406-80ace1-ifif.c ++++ /tmp/cocci-output-1720952-8e971a-ifif.c @@ -1,5 +1,13 @@ int main () { +#ifdef FOO1 @@ -8664,7 +8707,7 @@ ifreturn.res diff = --- tests/ifreturn.c -+++ /tmp/cocci-output-754406-01220d-ifreturn.c ++++ /tmp/cocci-output-1720952-831158-ifreturn.c @@ -1,31 +1,46 @@ int main () { if (x) { @@ -8726,7 +8769,7 @@ ifreturn3.res diff = --- tests/ifreturn3.c -+++ /tmp/cocci-output-754406-b31d12-ifreturn3.c ++++ /tmp/cocci-output-1720952-f41cb1-ifreturn3.c @@ -3,7 +3,10 @@ int GetExitCode (int iFlag_Code) if(iFlag_Code==OK) { return OK; @@ -8752,7 +8795,7 @@ ifreturn4.res diff = --- tests/ifreturn4.c -+++ /tmp/cocci-output-754406-b33768-ifreturn4.c ++++ /tmp/cocci-output-1720952-80a377-ifreturn4.c @@ -2,10 +2,16 @@ int GetExitCode (int iFlag_Code) { if(iFlag_Code==OK) { @@ -8776,7 +8819,7 @@ ifreturn6.res diff = --- tests/ifreturn6.c -+++ /tmp/cocci-output-754406-80b99d-ifreturn6.c ++++ /tmp/cocci-output-1720952-2faed5-ifreturn6.c @@ -3,7 +3,8 @@ int main () { blah(); goto end; @@ -8790,7 +8833,7 @@ ifzer.res diff = --- tests/ifzer.c -+++ /tmp/cocci-output-754406-9532a0-ifzer.c ++++ /tmp/cocci-output-1720952-ee71aa-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). */ @@ -8801,7 +8844,7 @@ ifzz.res diff = --- tests/ifzz.c -+++ /tmp/cocci-output-754406-aacb93-ifzz.c ++++ /tmp/cocci-output-1720952-d0745c-ifzz.c @@ -2,9 +2,9 @@ if 0 char c; #endif @@ -8817,7 +8860,7 @@ inc.res diff = --- tests/inc.c -+++ /tmp/cocci-output-754406-3a9084-inc.c ++++ /tmp/cocci-output-1720952-444239-inc.c @@ -1,2 +1 @@ -#define foo 3 -#define xxx 4 @@ -8826,7 +8869,7 @@ incl.res diff = --- tests/incl.c -+++ /tmp/cocci-output-754406-fa6697-incl.c ++++ /tmp/cocci-output-1720952-7f3279-incl.c @@ -1,6 +1,8 @@ +#include "before.h" #include @@ -8839,7 +8882,7 @@ incl2.res diff = --- tests/incl2.c -+++ /tmp/cocci-output-754406-ecb0ab-incl2.c ++++ /tmp/cocci-output-1720952-0f5a44-incl2.c @@ -1,3 +1,4 @@ +#include "beginning.h" #include @@ -8848,7 +8891,7 @@ inclifdef.res diff = --- tests/inclifdef.c -+++ /tmp/cocci-output-754406-793828-inclifdef.c ++++ /tmp/cocci-output-1720952-183a84-inclifdef.c @@ -1,4 +1,5 @@ #include +#include @@ -8858,7 +8901,7 @@ include.res diff = --- tests/include.c -+++ /tmp/cocci-output-754406-ab13aa-include.c ++++ /tmp/cocci-output-1720952-df97fc-include.c @@ -1,8 +1,6 @@ #include @@ -8871,7 +8914,7 @@ incompatible_value.res diff = --- tests/incompatible_value.c -+++ /tmp/cocci-output-754406-d0fd0a-incompatible_value.c ++++ /tmp/cocci-output-1720952-9ec3fc-incompatible_value.c @@ -4,6 +4,6 @@ int main() { } @@ -8888,7 +8931,7 @@ inherited.res diff = --- tests/inherited.c -+++ /tmp/cocci-output-754406-53fe63-inherited.c ++++ /tmp/cocci-output-1720952-40b5ce-inherited.c @@ -6,5 +6,5 @@ void main(int i) { h(2); h2(2); @@ -8899,7 +8942,7 @@ inherited_ver1.res diff = --- tests/inherited_ver1.c -+++ /tmp/cocci-output-754406-f35fe5-inherited_ver1.c ++++ /tmp/cocci-output-1720952-12161b-inherited_ver1.c @@ -3,8 +3,8 @@ void main(int i) { //g(1); f(2); @@ -8915,7 +8958,7 @@ inhmet.res diff = --- tests/inhmet.c -+++ /tmp/cocci-output-754406-a54259-inhmet.c ++++ /tmp/cocci-output-1720952-dad781-inhmet.c @@ -1,3 +1,3 @@ int main () { - x->s = 12; @@ -8924,7 +8967,7 @@ inhpos.res diff = --- tests/inhpos.c -+++ /tmp/cocci-output-754406-f9244e-inhpos.c ++++ /tmp/cocci-output-1720952-4e143e-inhpos.c @@ -1,3 +1,2 @@ int main () { - g(3); @@ -8933,7 +8976,7 @@ warning: line 5: should var be a metavariable? diff = --- tests/initializer.c -+++ /tmp/cocci-output-754406-9df62c-initializer.c ++++ /tmp/cocci-output-1720952-79a23e-initializer.c @@ -1,5 +1,6 @@ struct SHT var = { .f1 = toto1, @@ -8947,21 +8990,21 @@ inline.res diff = --- tests/inline.c -+++ /tmp/cocci-output-754406-3e3294-inline.c ++++ /tmp/cocci-output-1720952-a4d6b6-inline.c @@ -1 +1 @@ -inline void foo(int x) { return; } + insdef.res diff = --- tests/insdef.c -+++ /tmp/cocci-output-754406-217927-insdef.c ++++ /tmp/cocci-output-1720952-f1cf56-insdef.c @@ -1 +1,2 @@ #define TABINFOGEN +#include int2bool-local.res diff = --- tests/int2bool-local.c -+++ /tmp/cocci-output-754406-ffb455-int2bool-local.c ++++ /tmp/cocci-output-1720952-07a486-int2bool-local.c @@ -1,8 +1,9 @@ int nxnypz1(){ - int x, y, z; @@ -9007,7 +9050,7 @@ introbrace.res diff = --- tests/introbrace.c -+++ /tmp/cocci-output-754406-24c30a-introbrace.c ++++ /tmp/cocci-output-1720952-2d7659-introbrace.c @@ -1,8 +1,12 @@ int main() { - if (x) @@ -9026,7 +9069,7 @@ invert.res diff = --- tests/invert.c -+++ /tmp/cocci-output-754406-2fe863-invert.c ++++ /tmp/cocci-output-1720952-6f0540-invert.c @@ -1,3 +1,3 @@ int main () { - x = y + z; @@ -9035,7 +9078,7 @@ ip.res diff = --- tests/ip.c -+++ /tmp/cocci-output-754406-2964d0-ip.c ++++ /tmp/cocci-output-1720952-d547c0-ip.c @@ -2,10 +2,18 @@ void GetInfoDestTV(short sNoFo) { if(sNoFo == 1) @@ -9064,7 +9107,7 @@ ip2.res diff = --- tests/ip2.c -+++ /tmp/cocci-output-754406-0641ee-ip2.c ++++ /tmp/cocci-output-1720952-bb83f0-ip2.c @@ -1,11 +1,17 @@ void GetInfoDestTV(short sNoFo) { @@ -9089,7 +9132,7 @@ isococci.res diff = --- tests/isococci.c -+++ /tmp/cocci-output-754406-daf973-isococci.c ++++ /tmp/cocci-output-1720952-674196-isococci.c @@ -1,6 +1,4 @@ void f(int i) { @@ -9102,7 +9145,7 @@ warning: r: metavariable E not used in the - or context code diff = --- tests/isoif.c -+++ /tmp/cocci-output-754406-2c23b3-isoif.c ++++ /tmp/cocci-output-1720952-d1bd5e-isoif.c @@ -1,4 +1,2 @@ int main () { - if (x == NULL) one(); else two(); @@ -9111,7 +9154,7 @@ isotest.res diff = --- tests/isotest.c -+++ /tmp/cocci-output-754406-46aa9b-isotest.c ++++ /tmp/cocci-output-1720952-749bf2-isotest.c @@ -1,7 +1,6 @@ void main(int i) { @@ -9124,7 +9167,7 @@ isotest2.res diff = --- tests/isotest2.c -+++ /tmp/cocci-output-754406-9d33b2-isotest2.c ++++ /tmp/cocci-output-1720952-129caa-isotest2.c @@ -1,7 +1,6 @@ void main(int i) { @@ -9135,7 +9178,7 @@ iteration.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_aa6553.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_aa6553.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_d68045.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_d68045.ml Compilation OK! Loading ML code of the SP... 1 pending new file instances @@ -9144,7 +9187,7 @@ exn while in timeout_function iteration_after_merge.res Using native version of ocamlc/ocamlopt/ocamldep -ocamlopt.opt -shared -o /tmp/ocaml_cocci_a452d1.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_a452d1.ml +ocamlopt.opt -shared -o /tmp/ocaml_cocci_2df28d.cmxs -g -I /build/coccinelle-1.1.1.deb/ocaml -I /usr/lib/ocaml /tmp/ocaml_cocci_2df28d.ml Compilation OK! Loading ML code of the SP... exn while in timeout_function @@ -11659,48 +11702,48 @@ dh_shlibdeps -a dh_installdeb dh_ocaml -W: coccinelle doesn't resolve dependency on unit Token_annot -W: coccinelle doesn't resolve dependency on unit Includes +W: coccinelle doesn't resolve dependency on unit Parsing_hacks W: coccinelle doesn't resolve dependency on unit Cpp_token_c +W: coccinelle doesn't resolve dependency on unit Includes_cache W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci -W: coccinelle doesn't resolve dependency on unit Token_helpers -W: coccinelle doesn't resolve dependency on unit Lexer_parser -W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c -W: coccinelle doesn't resolve dependency on unit Semantic_c W: coccinelle doesn't resolve dependency on unit Semantic_c +W: coccinelle doesn't resolve dependency on unit Data +W: coccinelle doesn't resolve dependency on unit Token_annot W: coccinelle doesn't resolve dependency on unit Token_views_c -W: coccinelle doesn't resolve dependency on unit Ograph_extended -W: coccinelle doesn't resolve dependency on unit Includes_cache -W: coccinelle doesn't resolve dependency on unit Regexp_pcre -W: coccinelle doesn't resolve dependency on unit Type_annoter_c +W: coccinelle doesn't resolve dependency on unit Control_flow_c +W: coccinelle doesn't resolve dependency on unit Token_annot +W: coccinelle doesn't resolve dependency on unit Token_helpers +W: coccinelle doesn't resolve dependency on unit Lexer_parser W: coccinelle doesn't resolve dependency on unit Danger -W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci -W: coccinelle doesn't resolve dependency on unit Includes_cache W: coccinelle doesn't resolve dependency on unit Token_helpers -W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c +W: coccinelle doesn't resolve dependency on unit Danger W: coccinelle doesn't resolve dependency on unit Data -W: coccinelle doesn't resolve dependency on unit Parsing_stat W: coccinelle doesn't resolve dependency on unit Lexer_parser W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c -W: coccinelle doesn't resolve dependency on unit Control_flow_c -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 Data W: coccinelle doesn't resolve dependency on unit Type_annoter_c -W: coccinelle doesn't resolve dependency on unit Regexp_pcre -W: coccinelle doesn't resolve dependency on unit Danger +W: coccinelle doesn't resolve dependency on unit Control_flow_c +W: coccinelle doesn't resolve dependency on unit Includes +W: coccinelle doesn't resolve dependency on unit Includes W: coccinelle doesn't resolve dependency on unit Parsing_recovery_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_annot -W: coccinelle doesn't resolve dependency on unit Includes -W: coccinelle doesn't resolve dependency on unit Parsing_hacks +W: coccinelle doesn't resolve dependency on unit Parsing_stat +W: coccinelle doesn't resolve dependency on unit Parsing_consistency_c +W: coccinelle doesn't resolve dependency on unit Type_annoter_c +W: coccinelle doesn't resolve dependency on unit Ograph_extended +W: coccinelle doesn't resolve dependency on unit Parsing_recovery_c +W: coccinelle doesn't resolve dependency on unit Includes_cache W: coccinelle doesn't resolve dependency on unit Parsing_hacks +W: coccinelle doesn't resolve dependency on unit Cpp_token_c +W: coccinelle doesn't resolve dependency on unit Regexp_pcre +W: coccinelle doesn't resolve dependency on unit Flag_parsing_cocci +W: coccinelle doesn't resolve dependency on unit Semantic_c dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'coccinelle-dbgsym' in '../coccinelle-dbgsym_1.1.1.deb-2_amd64.deb'. -dpkg-deb: building package 'coccinelle' in '../coccinelle_1.1.1.deb-2_amd64.deb'. dpkg-deb: building package 'coccinelle-doc' in '../coccinelle-doc_1.1.1.deb-2_all.deb'. +dpkg-deb: building package 'coccinelle' in '../coccinelle_1.1.1.deb-2_amd64.deb'. dpkg-genbuildinfo --build=binary -O../coccinelle_1.1.1.deb-2_amd64.buildinfo dpkg-genchanges --build=binary -O../coccinelle_1.1.1.deb-2_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) @@ -11708,12 +11751,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/1295228/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/1295228/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/577572 and its subdirectories -I: Current time: Wed May 10 08:31:00 -12 2023 -I: pbuilder-time-stamp: 1683750660 +I: removing directory /srv/workspace/pbuilder/1295228 and its subdirectories +I: Current time: Wed Jun 12 17:10:48 +14 2024 +I: pbuilder-time-stamp: 1718161848