Bug#689439: Conflicting declarations of variable serverGeneration

Package: libxfont Version: 1.4.5-2 While building the package using our research compiler infrastructure we noticed the following conflicting declarations of serverGeneration: src/bitmap/bitscale.c:extern unsigned long serverGeneration; src/fontfile/renderers.c:extern unsigned long serverGenerati

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

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#749120: Missing X11 include to cause type conflict

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#749622: libxt: Inconsistent LONG64 defines

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#751626: xorg-server: XkbDfltAccessXOptions declared with types of different size

Package: xorg-server Version: 2:1.15.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 pe

Bug#751628: xserver-xorg-video-sisusb: Conflicting declarations of function SiSUSBRegInit to cause undefined behaviour

Package: xserver-xorg-video-sisusb Version: 1:0.9.6-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 packa

Bug#751629: xserver-xorg-video-vmware: Conflicting declarations of function MakeAtom to cause undefined behaviour

Package: xserver-xorg-video-vmware Version: 1:13.0.2-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 pack

Bug#814967: wayland-protocols: FTBFS during dh_autoreconf

Package: wayland-protocols Version: 1.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. [...] debian/rules build dh build --with autoreconf dh_testdir dh_update_a