Bug#748645: Conflicting array sizes may cause undefined behaviour

2014-05-25 Thread Christoph Ender
Package: fizmo Version: 0.7.8-2 Usertags: pending On 19.05.2014 at 10:03, Michael Tautschnig wrote: > [...] > 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-c

Bug#748645: Conflicting array sizes may cause undefined behaviour

2014-05-19 Thread Michael Tautschnig
Package: fizmo Version: 0.7.8-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 reporti