Package: fizmo Version: 0.7.8-2 Usertags: pending
On 19.05.2014 at 10:03, Michael Tautschnig <m...@debian.org> 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-chain (using tools from the cbmc package), which permits > extended > reporting on type inconsistencies at link time. > [...] > It is guaranteed that the size of actual allocation is at least 8 elements - > but > code seeing the header file only may lead to optimisations by a compiler > relying > on the fact that at most 7 elements constitute valid memory. > Best, > Michael Many thanks -- this has been fixed in fizmo's upstream version 0.7.9, the next upload should fix the problem. Thanks again, Christoph.
signature.asc
Description: Message signed with OpenPGP using GPGMail