Bug#749480: cairo: Wrong conversion from double to enum

2014-05-27 Thread Michael Tautschnig
Package: cairo Version: 1.12.16-2 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#749477: cuba: Conflicting declarations of function Vegas

2014-05-27 Thread Michael Tautschnig
Package: cuba Version: 3.0+2024-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 pa

Bug#749444: libkate: Conflicting return types of function katedesc_restart

2014-05-26 Thread Michael Tautschnig
Package: libkate Version: 0.4.1-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 per

Bug#749443: libncursesada: FTBFS - build depends gnat, gnat-4.6

2014-05-26 Thread Michael Tautschnig
Package: libncursesada Version: 5.9.20110404-10 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 dpkg

Bug#749442: multitail: mt_started declared with conflicting types

2014-05-26 Thread Michael Tautschnig
Package: multitail Version: 6.2.1-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 rep

Bug#749441: drbd8: Conflicting return types of function my_parse

2014-05-26 Thread Michael Tautschnig
Package: drbd8 Version: 2:8.4.4-1 Severity: wishlist Usertags: goto-cc [ I'm aware that I owe a reply regarding #700930; I believe it is fixed but will confirm that once this one gets fixed. ] During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder and pbuilder) the build

Bug#749440: apt-spy: Conflicting declarations of function trim

2014-05-26 Thread Michael Tautschnig
Package: apt-spy Version: 3.2.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 e

Bug#749439: anubis: Multiple and conflicting definitions of function error

2014-05-26 Thread Michael Tautschnig
Package: anubis Version: 4.1.1+dfsg1-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 pe

Bug#749436: multipath-tools: Conflicting declarations of devt2devname shadow undefined behaviour

2014-05-26 Thread Michael Tautschnig
Package: multipath-tools Version: 0.5.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 extend

Bug#749435: mpmath: FTBFS - build-depends on virtual package python-codespeak-lib

2014-05-26 Thread Michael Tautschnig
Package: mpmath Version: 0.18-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. [...] -> Attempting to parse the build-deps -> Considering build-dep debhelper (>= 7.0.50~) -> Tryi

Bug#749434: mspdebug: Conflicting parameter types of function demangle

2014-05-26 Thread Michael Tautschnig
Package: mspdebug Version: 0.22-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#749433: mtink: Conflicting declarations of function devRead to cause undefined behaviour

2014-05-26 Thread Michael Tautschnig
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#749431: mpack: Duplicate and conflicting definitions of function warn

2014-05-26 Thread Michael Tautschnig
Package: mpack Version: 1.6-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 reporting

Bug#749426: gtkterm: Conflicting declaration shadows risk of stack underflow

2014-05-26 Thread Michael Tautschnig
Package: gtkterm Version: 0.99.7~rc1-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 pe

Bug#749425: mopd: Conflicting declarations of function pfWrite

2014-05-26 Thread Michael Tautschnig
Package: mopd Version: 1:2.5.3-21 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#749422: moria: Conflicting declaration of setuid

2014-05-26 Thread Michael Tautschnig
Package: moria Version: 5.6.debian.1-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

Bug#749420: morse: Conflicting parameter types to cause undefined behaviour

2014-05-26 Thread Michael Tautschnig
Package: morse Version: 2.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 reporting

Bug#749417: motif: Wrong declaration of function _XmEditResCheckMessages

2014-05-26 Thread Michael Tautschnig
Package: motif Version: 2.3.4-5 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 permits

Bug#749415: gretl: Conflicting declarations of function dpotrs_

2014-05-26 Thread Michael Tautschnig
Package: gretl Version: 1.9.90-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 permits

Bug#749413: gridengine: Conflicting declarations and excess arguments for function cqueue_summary_xml_handler_init

2014-05-26 Thread Michael Tautschnig
Package: gridengine Version: 6.2u5-7.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 extended

Bug#749412: id-utils: Duplicate and conflicting definitions of function hash_free

2014-05-26 Thread Michael Tautschnig
Package: id-utils Version: 4.6+git20120811-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 ext

Bug#749411: irssi-plugin-xmpp: Conflicting declarations of function set_ssl to cause stack underflow

2014-05-26 Thread Michael Tautschnig
Package: irssi-plugin-xmpp Version: 0.52+git20140102-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 p

Bug#749403: liblas: Conflicting declarations of print_header to cause stack underflow

2014-05-26 Thread Michael Tautschnig
Package: liblas Version: 1.7.0+dfsg-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 r

Bug#749401: librsl: Inconsistent (and wrong) declarations of yywrap

2014-05-26 Thread Michael Tautschnig
Package: librsl Version: 1.43-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 reporti

Bug#749396: lyskom-server: Conflicting types of yyerror

2014-05-26 Thread Michael Tautschnig
Package: lyskom-server Version: 2.1.2-13 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 extende

Bug#749394: ming: Conflicting types of swf4error

2014-05-26 Thread Michael Tautschnig
Package: ming Version: 1:0.4.5-1.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#749392: miniupnd: Conflicting types of getifaddr

2014-05-26 Thread Michael Tautschnig
Package: miniupnpd Version: 1.8.20130730-2 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),

Bug#749387: modemmanager: Multiple and conflicting definitions of mm_manager_new

2014-05-26 Thread Michael Tautschnig
Package: modemmanager Version: 1.0.0-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

Bug#749386: mono: Conflicting return types of function GC_generic_malloc_many

2014-05-26 Thread Michael Tautschnig
Package: mono Version: 3.0.6+dfsg2-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 r

Bug#749385: csound: Conflicting declarations of oscils_set (and others)

2014-05-26 Thread Michael Tautschnig
Package: csound Version: 1:6.03.1~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 pe

Bug#749383: ifmail: Conflicting declarations of bsyname to cause stack underflow

2014-05-26 Thread Michael Tautschnig
Package: ifmail Version: 2.14tx8.10-21 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), whic

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

2014-05-26 Thread Michael Tautschnig
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#749381: aolserver4: Conflicting parameter counts of function NsTclRegisterProcObjCmd

2014-05-26 Thread Michael Tautschnig
Package: aolserver4 Version: 4.5.1-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 permi

Bug#749378: citadel: Excess arguments in call to smtp_try_one_queue_entry

2014-05-26 Thread Michael Tautschnig
Package: citadel Version: 8.24-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#749376: fcitx-cloudpinyin: FTBFS - missing build-dep on pkg-config

2014-05-26 Thread Michael Tautschnig
Package: fcitx-cloudpinyin Version: 0.3.3-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. [...] -- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE) -- fcitx4-c

Bug#749373: libtemplates-parser: FTBFS - build depends gnat, gnat-4.6

2014-05-26 Thread Michael Tautschnig
Package: libtemplates-parser Version: 11.6-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 debhelp

Bug#749375: liblog4ada: FTBFS - build depends gnat, gnat-4.6

2014-05-26 Thread Michael Tautschnig
Package: liblog4ada Version: 1.2-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. [...] -> Attempting to parse the build-deps -> Considering build-dep debhelper (>= 8.1

Bug#749372: molly-guard: FTBFS - gzip: molly-guard.8.gz already exists; not overwritten

2014-05-26 Thread Michael Tautschnig
Package: molly-guard Version: 0.4.5-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. [...] dh_installdirs /usr/bin/make install DEST=/srv/jenkins-slave/workspace/sid-goto

Bug#749371: mldonkey: FTBFS - ./svg_converter.byte: Command not found

2014-05-26 Thread Michael Tautschnig
Package: mldonkey Version: 3.1.5-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. [...] cp icons/rsvg/splash_screen.svg icons/rsvg/splash_screen.ml_icons ./svg_converter.b

Bug#749369: mighttpd2: FTBFS - `increment' is applied to too many arguments

2014-05-26 Thread Michael Tautschnig
Package: mighttpd2 Version: 3.0.3-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. [...] [3 of 4] Compiling Server ( src/Server.hs, dist-ghc/build/mighty/mighty

Bug#749365: lucene2: FTBFS - tests fail

2014-05-26 Thread Michael Tautschnig
Package: lucene2 Version: 2.9.4+ds1-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. [...] [junit] [junit] WARNING: 5 broken segments (containing 40 documents) de

Bug#749362: lttv: FTBFS - configure fails to find jni.h

2014-05-26 Thread Michael Tautschnig
Package: lttv Version: 0.12.38-21032011-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. [...] checking for pthread.h... yes checking jni.h usability... no checking jni.h

Bug#749361: lpe: FTBFS - Makefile:206: *** missing separator (did you mean TAB instead of 8 spaces?).

2014-05-26 Thread Michael Tautschnig
Package: lpe Version: 1.2.6.13-0.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. [...] Making all in intl make[3]: Entering directory '/srv/jenkins-slave/workspace/sid-g

Bug#749360: lletters: FTBFS - Makefile:206: *** missing separator (did you mean TAB instead of 8 spaces?).

2014-05-26 Thread Michael Tautschnig
Package: lletters Version: 0.1.95+gtk2-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. [...] Making all in intl make[3]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-lle

Bug#749357: libmakefile-parser-perl: FTBFS - tests fail

2014-05-26 Thread Michael Tautschnig
Package: libmakefile-parser-perl Version: 0.215-2 Severity: seriou 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. [...] dh_auto_test make[1]: Entering directory '/srv/jenkins-slave/work

Bug#749356: kanla: FTBFS - tests fail

2014-05-26 Thread Michael Tautschnig
Package: kanla Version: 1.4-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. [...] dh_auto_test make[1]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-k

Bug#749354: isakmpd: FTBFS - cannot open /../../Makefile

2014-05-26 Thread Michael Tautschnig
Package: isakmpd Version: 20041012-7.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. [...] cd /srv/jenkins-slave/workspace/sid-goto-cc-isakmpd/isakmpd-20041012/apps/cert

Bug#749353: ifeffit: FTBFS - 'CPPFunction' undeclared

2014-05-26 Thread Michael Tautschnig
Package: ifeffit Version: 2:1.2.11d-9.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. [...] Making all in cmdline make[4]: Entering directory '/srv/jenkins-slave/workspa

Bug#749161: Conflicting function definitions

2014-05-25 Thread Michael Tautschnig
Hi Markus, [...] > I have changed the type from void to int. I hope this addresses the > issue properly. > [...] It seems parser_get_string has the same issue. The following two definitions appear to work: int char_width() { return 0; } int parser_get_string() { return 0; } Best, Michael pg

Bug#749228: kbd-chooser: Conflicting return types of loadkeys_wrapper

2014-05-25 Thread Michael Tautschnig
Package: kbd-chooser Version: 1.67 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 pe

Bug#749227: kde4libs: wrong declaration of Solidlex_destroy

2014-05-25 Thread Michael Tautschnig
Package: kde4libs Version: 4:4.13.1-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 pe

Bug#749226: keytouch-editor: Conflicting typedefs of Boolean to cause errors

2014-05-25 Thread Michael Tautschnig
Package: keytouch-editor Version: 1:3.2.0~beta-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

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

2014-05-24 Thread Michael Tautschnig
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#749208: kitchen: FTBFS as tests fail

2014-05-24 Thread Michael Tautschnig
Package: kitchen Version: 1.1.1-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. [...] for py in python2.7; do \ LOCPATH=/srv/jenkins-slave/workspace/sid-goto-cc-kitchen/kitchen-1.1.1/debian/tmp/loca

Bug#749207: koules: Types of "control" differ in signedness

2014-05-24 Thread Michael Tautschnig
Package: koules Version: 1.4-20 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

Bug#749205: kluppe: Conflicting global variable status

2014-05-24 Thread Michael Tautschnig
Package: kluppe Version: 0.6.14-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#749200: kstart: tests: Inconsistent use of config.h causing conflicting types

2014-05-24 Thread Michael Tautschnig
Package: kstart Version: 4.1-3 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 permits e

Bug#749194: Conflicting return types of function mm_support

2014-05-24 Thread Michael Tautschnig
Package: kwave Version: 0.8.11-1-1 Severity: minor Usertags: goto-cc Tags: upstream Forwarded: https://sourceforge.net/p/kwave/bugs/39/ During a rebuild of all Debian packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our res

Bug#749190: Return types of LoadExternalSpec differ in signedness

2014-05-24 Thread Michael Tautschnig
Package: lcrack Version: 20040914-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 rep

Bug#749189: FTBFS: test fails if git identity is not set up

2014-05-24 Thread Michael Tautschnig
Package: ldap-git-backup Version: 1.0.6-2 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 check-local make[2]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-

Bug#749188: Conflicting types of function verbose

2014-05-24 Thread Michael Tautschnig
Package: ldns Version: 1.6.17-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 permits

Bug#749186: Missing define to cause inconsistent struct member offset

2014-05-24 Thread Michael Tautschnig
Package: libconfig Version: 1.4.9-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#749167: FTBFS: Makefile.in not re-generated

2014-05-24 Thread Michael Tautschnig
Package: libgksu Version: 2.0.13~pre1-7 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-libgksu

Bug#749161: Conflicting function definitions

2014-05-24 Thread Michael Tautschnig
Hi Markus, [...] > Is there an easy way to reproduce this issue within a cowbuilder > environment, perhaps a step-by-step guide to use your cbmc package? I > just want to make sure that the patch actually works before I forward it > upstream. > I did give a brief guide here: https://bugs.debian

Bug#749164: Unchecked conversion from double to enum

2014-05-24 Thread Michael Tautschnig
Package: libav Version: 6:10.1-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#749161: Conflicting function definitions

2014-05-24 Thread Michael Tautschnig
Package: lgeneral Version: 1.2.3+dfsg-1 Usertags: goto-cc Tags: upstream 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 p

Bug#749160: Sizes of common symbol buff2 differ

2014-05-24 Thread Michael Tautschnig
Package: libarchive Version: 3.1.2-8 Severity: minor Usertags: goto-cc Tags: upstream 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 pack

Bug#749159: FTBFS: build-depends gnat, gnat-4.6

2014-05-24 Thread Michael Tautschnig
Package: libaws Version: 2.10.2-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 debhelper (>= 8.1.3

Bug#749155: Declarations of filter_index differ in signedness

2014-05-24 Thread Michael Tautschnig
Package: iproute2 Version: 3.14.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 rep

Bug#749149: Conflicting parameter counts of function kmk_builtin_echo

2014-05-24 Thread Michael Tautschnig
Package: kbuild Version: 1:0.1.9998svn2695+dfsg-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 permit

Bug#749147: Conflicting types of variable jump_sline_fraction

2014-05-24 Thread Michael Tautschnig
Package: less Version: 458-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 reporting

Bug#749145: Conflicting types for function blowfish_make_bfkey

2014-05-24 Thread Michael Tautschnig
Package: libcrypt-blowfish-perl Version: 2.14-1 Severity: wishlist Usertags: goto-cc Tags: upstream 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

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

2014-05-24 Thread Michael Tautschnig
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#749138: Conflicting return types of functions cdio_generic_read_form1_sector

2014-05-24 Thread Michael Tautschnig
Package: libcdio Version: 0.83-4.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 pe

Bug#749133: Inconsistent order of includes to cause type conflict

2014-05-24 Thread Michael Tautschnig
Package: dbus-python Version: 1.2.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 permi

Bug#749130: Make kadmin function signatures match __SS_PROTO signature to avoid type conflict

2014-05-24 Thread Michael Tautschnig
Package: krb5 Version: 1.12.1+dfsg-1 Severity: wishlist Usertags: goto-cc Tags: upstream 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 fr

Bug#749124: FTBFS: missing build-dep pkg-config

2014-05-24 Thread Michael Tautschnig
Package: libgcal Version: 0.9.6-3.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. [...] -- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE) -- checking for one

Bug#749120: Missing X11 include to cause type conflict

2014-05-24 Thread Michael Tautschnig
Package: libfs Version: 2:1.0.5-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#749114: Conflicting parameter types of function dc1394_get_image_size_from_video_mode

2014-05-24 Thread Michael Tautschnig
Package: libdc1394-22 Version: 2.2.2-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

Bug#749111: Parameter types of any2eucjp differ in signedness

2014-05-24 Thread Michael Tautschnig
Package: libgd2 Version: 2.1.0-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 extended report

Bug#749008: Conflicting types due to missing #include "config.h"

2014-05-22 Thread Michael Tautschnig
Package: libpciaccess Version: 0.13.2-1 Severity: wishlist 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: [...] CCLD libpciaccess.la warning: conflicting pointer types for

Bug#749005: Type conflict (const-ness) of bytes_out, bytes_in, outname

2014-05-22 Thread Michael Tautschnig
Package: wav2cdr Version: 2.3.4-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 global variables bytes_in, bytes_out, outname declare here: http://sources.debian.net/src/wa

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

2014-05-22 Thread Michael Tautschnig
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#749002: FTBFS: build-depends gnat, gnat-4.6

2014-05-22 Thread Michael Tautschnig
Package: libflorist Version: 2011-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. [...] W: no hooks of type D found -- ignoring -> Attempting to parse the build-deps -

Bug#749001: Conflicting return types of functions seahorse_dbus_server_{init,cleanup}

2014-05-22 Thread Michael Tautschnig
Package: libcryptui Version: 3.8.0-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

Bug#749000: Conflicting return types of cue_scanner_free

2014-05-22 Thread Michael Tautschnig
Package: libewf Version: 20130416-3 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 p

Bug#748999: Conflicting definitions to cause undefined behaviour

2014-05-22 Thread Michael Tautschnig
Package: libexttextcat Version: 3.4.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

Bug#748998: FTBFS: build-depends gnat, gnat-4.6

2014-05-22 Thread Michael Tautschnig
Package: libaunit Version: 1.03-8 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 dpkg-dev (>= 1.16.

Bug#748997: FTBFS: tests fail

2014-05-22 Thread Michael Tautschnig
Package: libcatalyst-modules-perl Version: 47 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. [...] PERL_DL_NONLAZY=1 /usr/bin/perl "-MExtUtils::Command::MM" "-e" "test_harness(0, 'inc

Bug#748996: Provides: libgd-gd2-perl, which is not (only) a virtual package

2014-05-22 Thread Michael Tautschnig
Package: libgd-perl Version: 2.50-1 Severity: serious Justification: Makes unrelated package FTBFS The following fails, which is the reason why libcgi-application-plugin-captcha-perl FTBFS: # apt-get -f -s install libdata-random-perl libgd-securityimage-perl Reading package lists... Done Building

Bug#748992: The promised build log

2014-05-22 Thread Michael Tautschnig
My apologies, I had forgotten to actually attach the build log. Best, Michael libcatalyst-view-component-subinclude-perl-build-log.txt.gz Description: application/gunzip pgpVb8gkXeQ3A.pgp Description: PGP signature

Bug#748992: FTBFS: test suite fails

2014-05-22 Thread Michael Tautschnig
Package: libcatalyst-view-component-subinclude-perl Version: 0.10-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. [...] PERL_DL_NONLAZY=1 /usr/bin/perl "-MExtUtils::Command::MM" "-e"

Bug#748991: FTBFS: test suite fails (non-determinism?)

2014-05-22 Thread Michael Tautschnig
Package: libcgi-application-plugin-authentication-perl Version: 0.20-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. [...] Building CGI-Application-Plugin-Authentication dh_auto_test t/01_basic.t ..

Bug#748989: Conflicting parameter types of function F77_aloc

2014-05-22 Thread Michael Tautschnig
Package: libf2c2 Version: 20090411-2 Usertags: goto-cc Tags: upstream 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 perm

Bug#748986: Conflicting types as recode.c lacks #include

2014-05-22 Thread Michael Tautschnig
Package: libdv Version: 1.0.0-6 Usertags: goto-cc Tags: upstream 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 e

Bug#748973: Possible stack overflow caused by wrong arguments to va_start

2014-05-22 Thread Michael Tautschnig
Package: gtg-trace Version: 0.2+dfsg-1 Usertags: goto-cc A code inspection following errors reported by our research compiler infrastructure revealed the following serious problems in gtg_record of src/C/GTGReplay.c: As also reported by GCC while building, the va_start macro is used with an inval

Bug#748970: outbuf, outwbuf declared as float* and float**

2014-05-22 Thread Michael Tautschnig
Package: swarp Version: 2.19.1-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: cc -D_REENTRANT -g -O2 -o swarp back.o coadd.o data.o field.o fitswcs.o header.o interpolate.o

Bug#748966: Excess argument in call to function int_error

2014-05-22 Thread Michael Tautschnig
Package: gnuplot Version: 4.6.5-1 Severity: wishlist Usertags: goto-cc During an analysis of all packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found: The definition of int_error in bf_test.c does not take a variable number of arguments

Bug#748914: Missing function declaration shadows stack underflow

2014-05-22 Thread Michael Tautschnig
Package: linsmith Version: 0.99.21-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: recalculate_all takes one argument: http://sources.debian.net/src/linsmith/0.99.21-1/src/char

Bug#748739: Inconsistent types caused by _GNU_SOURCE

2014-05-20 Thread Michael Tautschnig
Package: extsmail Version: 1.4-1 Severity: wishlist Usertags: goto-cc Tags: patch 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

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