Bug#750083: playmidi: Conflicting declarations of function gus_load

2014-06-01 Thread Michael Tautschnig
Package: playmidi Version: 2.4debian-10 Severity: wishlist 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

Bug#750082: pinball: FTBFS - Makefile:820: *** missing separator (did you mean TAB instead of 8 spaces?).

2014-06-01 Thread Michael Tautschnig
Package: pinball Version: 0.3.1-13.1 Severity: serious Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. [...] Making all in src make[3]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-pinba

Bug#750081: php-ssh2: Excess initialiser elements

2014-06-01 Thread Michael Tautschnig
Package: php-ssh2 Version: 0.12-1 Severity: minor 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 permit

Bug#750079: kamailio: Conflicting declarations of function destroy_rpcs

2014-06-01 Thread Michael Tautschnig
Package: kamailio Version: 4.1.3-2 Severity: wishlist 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 packa

Bug#750077: netsniff-ng: Conditional operator does not typecheck

2014-06-01 Thread Michael Tautschnig
Package: netsniff-ng Version: 0.5.8-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 permi

Bug#750075: clamav: Wrong declaration of function destroy_ctx to cause undefined behaviour

2014-06-01 Thread Michael Tautschnig
Package: clamav Version: 0.98.4~rc1+dfsg-2 Usertags: goto-cc Tags: upstream Forwarded: https://bugzilla.clamav.net/show_bug.cgi?id=11023 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

Bug#750046: libaqbanking: Conflicting declarations of function AH_Provider_SendDtazv to shadow undefined behaviour

2014-05-31 Thread Michael Tautschnig
Package: libaqbanking Version: 5.4.3beta-1 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

Bug#750042: docker.io: Conflicting declarations of DevmapperLogCallback

2014-05-31 Thread Michael Tautschnig
Package: docker.io Version: 0.11.1~dfsg1-1 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

Bug#750040: liboil: Conflicting definitions of function oil_test_get_source_data (and possibly others)

2014-05-31 Thread Michael Tautschnig
Package: liboil Version: 0.3.17-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 e

Bug#750038: grilo-plugins: Conditional operator does not typecheck

2014-05-31 Thread Michael Tautschnig
Package: grilo-plugins Version: 0.2.12-4 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 pe

Bug#750036: ipxe: Missing -include include/compiler.h to cause missing license information

2014-05-31 Thread Michael Tautschnig
Package: ipxe Version: 1.0.0+git-2013.c3d1e78-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

Bug#750035: mtools: macro UNUSED introduces semicolon into parameter list

2014-05-31 Thread Michael Tautschnig
Package: mtools Version: 4.0.18-1 Severity: wishlist 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 packag

Bug#749995: debian-installer-netboot-images: FTBFS - debian-installer not found in wheezy-proposed-updates

2014-05-31 Thread Michael Tautschnig
Package: debian-installer-netboot-images Version: 20130613+deb7u2.b1 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. [...] sha256sum: debian-installer_20130613+deb7u2+b1_amd64.deb.sha256sum:

Bug#749981: configure test HAVE_VISIBILITY_ATTR unnecessarily introduces nested functions

2014-05-31 Thread Michael Tautschnig
Package: ntdb Version: 1.0-4 Severity: wishlist Usertags: goto-cc While building the package I noticed an unexpected [...] Checking compiler accepts -fvisibility=hidden : yes Checking for HAVE_VISIBILITY_ATTR :

Bug#749957: lwjgl: FTBFS - build-conflicts binutils-gold (which binutils provides)

2014-05-30 Thread Michael Tautschnig
Package: lwjgl Version: 2.7.1+dfsg-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. [...] I: Running /usr/bin/dpkg-buildpackage -rfakeroot -us -uc ${DEBBUILDOPTS} dpkg-bui

Bug#720689: debian/control.new rule is not deterministic

2014-05-30 Thread Michael Tautschnig
Control: severity -1 serious Control: affects -1 mclibs Control: tags -1 patch The FTBFS is caused by the following rule: debian/control.new: $(wildcard debian/control.d/*.control) cat $^ > $@ There seems to be no guarantee about the sortedness of the result of "wildcard" - hence from i

Bug#749915: icheck: "restrict" used as variable (keyword in C99)

2014-05-30 Thread Michael Tautschnig
Package: icheck Version: 0.9.7-6.1 Severity: wishlist 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. The code uses "restrict" as the name of a local variable here: http://sources.debian.ne

Bug#749913: ipmitool: Conflicting declarations of function write_fru_area to cause undefined behaviour

2014-05-30 Thread Michael Tautschnig
Package: ipmitool Version: 1.8.14-1 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

Bug#749682: ocl-icd: Conflicting declarations of function clEnqueueBarrierWithWaitList

2014-05-30 Thread Michael Tautschnig
Hello Vincent, hello Brice, > On 29/05/2014 12:14, Brice Videau wrote: > > Well this is normal. This is part of the process we used to retro > > engineer the loader when sources were not available. > > Nonetheless maybe we could let this part out of the main build. > > I'll let Vincent decide. >

Bug#749910: ltt-control: Conflicting struct declarations with possible undefined behaviour

2014-05-30 Thread Michael Tautschnig
Package: ltt-control Version: 2.4.1-1 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 permi

Bug#749905: nss: Conflicting declarations of function FREEBL_InitStubs may have undefined behaviour

2014-05-30 Thread Michael Tautschnig
Package: nss Version: 2:3.16-1 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#749902: mupdf: Unchecked conversion of input from float to enum

2014-05-30 Thread Michael Tautschnig
Package: mupdf Version: 1.4-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 exten

Bug#749900: liferea: Inconsistent use of config.h to cause conflicting types

2014-05-30 Thread Michael Tautschnig
Package: liferea Version: 1.10.8-1 Severity: minor 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#749898: isdnutils: Declaration of GetNetinfoFile without parameter type list shadows stack underflow

2014-05-30 Thread Michael Tautschnig
Package: isdnutils Version: 1:3.25+dfsg1-3.4 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: When invoked from here: http://sources.debian.net/src/isdnutils/1:3.25+dfsg1-3.4/xmon

Bug#749889: open-vm-tools: Inconsistent use of _GNU_SOURCE

2014-05-30 Thread Michael Tautschnig
Package: open-vm-tools Version: 2:9.4.0-1280544-8 Severity: wishlist 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

Bug#749866: [Pkg-haskell-maintainers] Bug#749866: haskell-chunked-data: FTBFS - build depends not installable

2014-05-30 Thread Michael Tautschnig
Hi Joachim, > Hi, > > Am Freitag, den 30.05.2014, 11:32 +0100 schrieb Michael Tautschnig: > > The following packages have unmet dependencies: > > libghc-mono-traversable-dev : Depends: libghc-comonad-dev-4.0-46110 but it > > is not installable > >

Bug#749871: lava-tool: FTBFS - ImportError: No module named versiontools

2014-05-30 Thread Michael Tautschnig
Package: lava-tool Version: 0.11.1-1 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. [...] make[2]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-lava-tool/lava-tool-0.11.1/m

Bug#749868: latex-coffee-stains: FTBFS - missing ps2pdf

2014-05-30 Thread Michael Tautschnig
Package: latex-coffee-stains Version: 4-2 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. [...] make[1]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-latex

Bug#749866: haskell-chunked-data: FTBFS - build depends not installable

2014-05-30 Thread Michael Tautschnig
Package: haskell-chunked-data Version: 0.1.0.1-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. [...] -> Attempting to parse the build-deps -> Considering build-dep deb

Bug#749864: haskell-conduit-extra: FTBFS - build-dep libghc-conduit-dev (>= 1.1) not available

2014-05-30 Thread Michael Tautschnig
Package: haskell-conduit-extra Version: 1.1.0-1 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. [...] -> Attempting to parse the build-deps -> Considering build-dep debhelper (>= 9) ->

Bug#749863: jocaml: FTBFS - applying patches fails

2014-05-30 Thread Michael Tautschnig
Package: jocaml Version: 4.01.0-2 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. [...] quilt push -a Applying patch debian/patches/0017-Fix-lost-locations-in-out-of-bounds

Bug#749824: openchange: Conflicting declarations of function ocpf_yylex_init_extra

2014-05-29 Thread Michael Tautschnig
Package: openchange Version: 1:2.1-1 Severity: wishlist 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 pac

Bug#749823: gauche-gl: Conflicting declarations of function Scm_Init_gl_syms

2014-05-29 Thread Michael Tautschnig
Package: gauche-gl Version: 0.5.1-1 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

Bug#749822: ecere-sdk: Excess elements in struct/union initialiser

2014-05-29 Thread Michael Tautschnig
Package: ecere-sdk Version: 0.44.09.9-1 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 per

Bug#749821: ncview: Conflicting declarations of function SciPlotSetXUserScale to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: ncview Version: 1.93g-1 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 ex

Bug#749813: php-guzzle-stream: FTBFS - unrepresentable changes to source

2014-05-29 Thread Michael Tautschnig
Package: php-guzzle-stream Version: 1.1.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. [...] dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean dh

Bug#749812: openmama: Wrong number of arguments to mamaConnection_allocate to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: openmama Version: 2.2.2.1-10 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: When invoking mamaConnection_allocate here http://sources.debian.net/src/openmama/2.2.2.1-10

Bug#749810: opensmtpd: Conflicting declarations of "fatal" shadow excess arguments, useless error messages

2014-05-29 Thread Michael Tautschnig
Package: opensmtpd Version: 5.4.2p1-1 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 declaration here: http://sources.debian.net/src/opensmtpd/5.4.2p1-1/openbsd-compat/log.h

Bug#749809: pgpool2: Undefined conversion from double to enum

2014-05-29 Thread Michael Tautschnig
Package: pgpool2 Version: 3.3.3-2 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#749808: perlrdf: FTBFS - Base class package "Exporter::TypeTiny" is empty

2014-05-29 Thread Michael Tautschnig
Package: perlrdf Version: 0.004-3 Severity: serious Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. [...] make[1]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-perlrdf/perlrdf-0.004' PER

Bug#749806: pcscada: FTBFS - build depends gnat, gnat-4.6

2014-05-29 Thread Michael Tautschnig
Package: pcscada Version: 0.7.1-4 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. [...] -> Attempting to parse the build-deps -> Considering build-dep asciidoc -> Try

Bug#749804: orafce: Conflicting declarations of function orafce_sql_yyerror with undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: orafce Version: 3.0.6-1 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#749803: openslp-dfsg: Conflicting declarations of function SLPDPredicateTest cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
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#749800: openjade1.3: FTBFS - No rule to make target '-losp'

2014-05-29 Thread Michael Tautschnig
Package: openjade1.3 Version: 1.3.2-12 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. [...] make[3]: *** No rule to make target '-losp', needed by 'openjade'. Stop. make[

Bug#749797: papi: FTBFS as non-root: ldconfig not in PATH

2014-05-29 Thread Michael Tautschnig
Package: papi Version: 5.3.0-3 Severity: serious Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. [...] make[1]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-papi/papi-5.3.0' find debian/

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

2014-05-29 Thread Michael Tautschnig
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#749781: linux86: Conflicting declarations of function writec to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: linux86 Version: 0.16.17-3.1 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 r

Bug#749784: coinor-ipopt: LSL_loadSym declared both as function and pointer-to-function

2014-05-29 Thread Michael Tautschnig
Package: coinor-ipopt Version: 3.11.7-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 per

Bug#749782: m-tx: Conflicting declarations of function predelete to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: m-tx Version: 0.60d.ctan20131214-1 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#749783: gdcm: Conflicting declarations of jpeg_memory_mgr may lead to invalid function calls

2014-05-29 Thread Michael Tautschnig
Package: gdcm Version: 2.4.2-1 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#749780: newmail: Conflicting declarations of function watch_mbox to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: newmail Version: 0.5-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 ext

Bug#749723: doomsday: Wrong order of arguments to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: doomsday Version: 1.10.4-2 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#749724: i7z: Conflicting typedefs of bool to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: i7z Version: 0.27.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#749727: libnids: Conflicting declarations of function ip_fast_csum to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: libnids Version: 1.23-2 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#749726: libpam-ssh: Conflicting declarations of function ssh_aes_ctr_iv to cause undefined behaviour

2014-05-29 Thread Michael Tautschnig
Package: libpam-ssh Version: 2.0-1 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 repo

Bug#749725: gegl: Conflicting declarations of function gegl_buffer_backend

2014-05-29 Thread Michael Tautschnig
Package: gegl Version: 0.2.0-5 Severity: wishlist 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#749683: jbofihe: Conflicting declaration of function report_trace_shift shadows risk of stack underflow

2014-05-28 Thread Michael Tautschnig
Package: jbofihe Version: 0.38-5.1 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 repo

Bug#749682: ocl-icd: Conflicting declarations of function clEnqueueBarrierWithWaitList

2014-05-28 Thread Michael Tautschnig
Package: ocl-icd Version: 2.1.3-4 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 e

Bug#749680: mailagent: Conflicting return type declarations of function init_env

2014-05-28 Thread Michael Tautschnig
Package: mailagent Version: 1:3.1-78-1 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), whic

Bug#749679: gmsh: Multiple and conflicting definitions of function CClinkern_flipper_flip

2014-05-28 Thread Michael Tautschnig
Package: gmsh Version: 2.8.4+dfsg-1 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

Bug#749676: grpn: Conflicting declaration of function radixToggleCB

2014-05-28 Thread Michael Tautschnig
Package: grpn Version: 1.1.2-3.1 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 ex

Bug#749675: libomxil-bellagio: Conflicting declarations of function inet_pipe_Constructor

2014-05-28 Thread Michael Tautschnig
Package: libomxil-bellagio Version: 0.9.3-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

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

2014-05-28 Thread Michael Tautschnig
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#749668: gst-plugins-base1.0: Conflicting declarations of function resample_int_resampler_process_interleaved_int

2014-05-28 Thread Michael Tautschnig
Package: gst-plugins-base1.0 Version: 1.2.4-1 Severity: wishlist 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

Bug#749666: gst-plugins-base0.10: Conflicting declarations of function resample_int_resampler_process_interleaved_int

2014-05-28 Thread Michael Tautschnig
Package: gst-plugins-base0.10 Version: 0.10.36-1.1 Severity: wishlist 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 fro

Bug#749665: alien-arena: FTBFS - missing build dependency on pkg-config

2014-05-28 Thread Michael Tautschnig
Package: alien-arena Version: 7.66+dfsg-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. [...] configure:6354: checking for X11 configure:6422: result: no configure:6424:

Bug#749664: horst: Conflicting declarations of function main_input to cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: horst Version: 3.0-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 exten

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

2014-05-28 Thread Michael Tautschnig
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#749658: mactelnet: Function declaration without parameter list shadows risk of stack underflow

2014-05-28 Thread Michael Tautschnig
Package: mactelnet Version: 0.4.0-1 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 function net_init_raw_socket requires one argument: http://sources.debian.

Bug#749656: garlic: Conflicting declarations of function BlurMainWindow_ to cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: garlic Version: 1.6-1.1 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 ex

Bug#749654: ftpcopy: Conflicting declarations of function read to cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: ftpcopy Version: 0.6.7-3 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 e

Bug#749652: freeradius-client: Conflicting declarations of function rc_md5_calc to cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: freeradius-client Version: 1.1.6-7 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

Bug#749642: libvpx: Conflicting declarations of struct macroblock in use

2014-05-28 Thread Michael Tautschnig
Package: libvpx Version: 1.3.0-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 ex

Bug#749637: foomatic-filters: Conflicting declarations of function print_pdf to cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: foomatic-filters Version: 4.0.17-3 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

Bug#749636: filtergen: Possibly misleading declaration of yyrestart

2014-05-28 Thread Michael Tautschnig
Package: filtergen Version: 0.12.4-5.1 Severity: wishlist 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 p

Bug#749635: fenix: Conflicting declarations of function load_file

2014-05-28 Thread Michael Tautschnig
Package: fenix Version: 0.92a.dfsg1-10 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 perm

Bug#749634: fbb: Conflicting declarations of function fbb_open

2014-05-28 Thread Michael Tautschnig
Package: fbb Version: 7.04j-8.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 ext

Bug#749633: faumachine: Inconsistent placement of #include "config.h"

2014-05-28 Thread Michael Tautschnig
Package: faumachine Version: 20120707-3 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 per

Bug#749632: fakechroot: Mix if _BSD_SOURCE, _XOPEN_SOURCE causing type conflict

2014-05-28 Thread Michael Tautschnig
Package: fakechroot Version: 2.17.2-1 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 permi

Bug#749630: ace-of-penguins: Conflicting declarations of struct image_list

2014-05-28 Thread Michael Tautschnig
Package: ace-of-penguins Version: 1.3-13 Severity: wishlist 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

Bug#749625: nufw: Conflicting declarations of yylex

2014-05-28 Thread Michael Tautschnig
Package: nufw Version: 2.4.3-3 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#749622: libxt: Inconsistent LONG64 defines

2014-05-28 Thread Michael Tautschnig
Package: libxt Version: 1:1.1.4-1 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 e

Bug#749621: anjuta: Conflicting declarations of function symbol_db_engine_new_full

2014-05-28 Thread Michael Tautschnig
Package: anjuta Version: 2:3.8.4-3 Severity: minor 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#749618: avrdude: Parameter declarations differ in signedness

2014-05-28 Thread Michael Tautschnig
Package: avrdude Version: 6.1-1 Severity: wishlist 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#749615: bumblebee: Conflicting return types of function switcheroo_status

2014-05-28 Thread Michael Tautschnig
Package: bumblebee Version: 3.2.1-5 Severity: wishlist 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 pack

Bug#749614: brandy: Conflicting return values of function recover_program

2014-05-28 Thread Michael Tautschnig
Package: brandy Version: 1.20-1 Severity: wishlist 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#749613: bootp: Conflicting declarations of insert_ip to cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: bootp Version: 2.4.3-18 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 ex

Bug#749612: blktap: Conflicting declarations of function __open_2

2014-05-28 Thread Michael Tautschnig
Package: blktap Version: 2.0.90-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 e

Bug#749606: ax25-apps: Conflicting parameter types to cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: ax25-apps Version: 0.0.8-rc2+cvs20130510-3 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#749605: avrp: Conflicting return types of function nocase_strcmp cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: avrp Version: 1.0beta3-7 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 e

Bug#749604: avra: Conflicting return types of function nocase_strcmp cause undefined behaviour

2014-05-28 Thread Michael Tautschnig
Package: avra Version: 1.3.0-1 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#749598: atop: atopsarflags handling is broken

2014-05-28 Thread Michael Tautschnig
Package: atop Version: 1.26-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 exten

Bug#749597: at-spi2-core: Conflicting return types of function ucs2keysym

2014-05-28 Thread Michael Tautschnig
Package: at-spi2-core Version: 2.10.2-3 Severity: wishlist 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

Bug#749596: asn1c: Conflicting declarations of yyparse/asn1p_parse

2014-05-28 Thread Michael Tautschnig
Package: asn1c Version: 0.9.24+dfsg-1 Severity: wishlist 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 pa

Bug#749518: nuitka: permit building using cowbuilder, eatmydata

2014-05-27 Thread Michael Tautschnig
Package: nuitka Version: 0.5.1+ds-1 Severity: wishlist 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. [...] Run './tests/standalone/run_all.py search' in '/srv/jenkins-slave/workspace/sid-

Bug#749517: ntfs-3g: Conflicting declarations of ntfs_initialize_file_security to cause undefined behaviour

2014-05-27 Thread Michael Tautschnig
Package: ntfs-3g Version: 1:2014.2.15AR.1-1 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

Bug#749514: nn: Multiple and conflicting definitions of function nn_exitmsg

2014-05-27 Thread Michael Tautschnig
Package: nn Version: 6.7.3-8 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 extend

Bug#749513: nethack: Conflicting parameter types to cause undefined behaviour

2014-05-27 Thread Michael Tautschnig
Package: nethack Version: 3.4.3-15 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

Bug#749511: netcdf: wrong quote characters

2014-05-27 Thread Michael Tautschnig
Package: netcdf Version: 1:4.1.3-7 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 repo

Bug#749483: mutt: Conflicting types of generated variable conststrings

2014-05-27 Thread Michael Tautschnig
Package: mutt Version: 1.5.23-1 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), which permi

<    1   2   3   4   5   6   7   8   9   10   >