Bug#820674: buddy: conflicting declarations of variable bddproduced

Package: buddy Version: 2.4-11 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits exte

Bug#795725: unicon: PhraseLevel declared without type

Package: unicon Version: 3.0.4-14 Usertags: goto-cc Severity: minor Tags: patch During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permit

Bug#759242: pidgin-audacious: FTBFS - audacious/audctrl.h: No such file or directory

Package: pidgin-audacious Version: 2.0.0-3 Severity: serious Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. [...] /usr/bin/make -C . make[1]: Entering directory '/srv/jenkins-slave/worksp

Bug#759234: audacious-dumb: FTBFS - unknown type name 'InputPlayback'

Package: audacious-dumb Version: 0.82-1 Severity: serious Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. [...] audacious-dumb.c:453:19: error: unknown type name 'InputPlayback' static void

Bug#759221: vusb-analyzer: FTBFS - dh: unable to load addon python2

Package: vusb-analyzer Version: 1.1-5 Severity: serious Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. [...] dpkg-buildpackage: host architecture amd64 dpkg-source: info: using options from

Bug#751074: seyon: Conflicting declarations of function DismissDirectory to shadow risk of undefined behaviour

Package: seyon Version: 2.20c-31 Severity: minor Usertags: goto-cc During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found: The definition of DismissDirectory requires two arguments (even though the second

Bug#749803: openslp-dfsg: Conflicting declarations of function SLPDPredicateTest cause undefined behaviour

Package: openslp-dfsg Version: 1.2.1-9 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended

Bug#749785: oidentd: Inconsistent use of -funsigned-char

Package: oidentd Version: 2.0.8-5 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended repor

Bug#749670: opencryptoki: Duplicate and conflicting definition of XProcLock

Package: opencryptoki Version: 2.3.1+dfsg-3 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits exte

Bug#749663: glhack: Conflicting function declarations of check_leash to cause undefined behaviour

Package: glhack Version: 1.2-2 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits exte

Bug#749433: mtink: Conflicting declarations of function devRead to cause undefined behaviour

Package: mtink Version: 1.0.16-8 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended report

Bug#749382: isdnactivecards: Conflicting parameter counts of function xlog

Package: isdnactivecards Version: 1:3.9.20060704-11 Usertags: goto-cc During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package

Bug#749209: kinput2: missing define may result in invalid memory access

Package: kinput2 Version: 3.1-12 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended report

Bug#749141: Parameter declarations of function cdindex_encode64 differ in signedness

Package: libcdaudio Version: 0.99.12p2-13 Severity: wishlist Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), w

Bug#749003: Conflicting parameter types of strlcpy, strlcat to cause undefined behaviour

Package: libdumbnet Version: 1.12-4 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended rep

Bug#746999: Conflicting parameter types of function G311_multiSequenceFunc

Package: canna Version: 3.7p3-12 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended report

Bug#702784: Use of nested functions in configure check

Package: gnats Version: 4.1.0-2 Usertags: goto-cc gnats/configure.in.nse uses AC_TRY_COMPILE to check for a properly supported "const". The second argument of this macro is supposed to be a function body, but this configure.in includes two function definitions (see result below), resulting in nest

Bug#689364: Conflicting declarations of variable pc

Package: a56 Version: 1.3-6 While building the package using our research compiler infrastructure we noticed the following conflicting declarations: - build-tree/main.c:extern unsigned long pc; - build-tree/gram.c:unsigned int pc; This may cause undefined behaviour if INT_MAX is reached, or poss