On 24.05.2014 17:56, Michael Tautschnig wrote: [...] > Reviewing the code here > > http://sources.debian.net/src/lgeneral/1.2.3%2Bdfsg-1/src/file.c?hl=229,230#L228 > > it seems the linker is just shut up in a proper way as, really, at least the > types should match to avoid a chance of undefined behaviour. >
Hi and thanks for your report! 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. Regards, Markus
signature.asc
Description: OpenPGP digital signature
