Hi Michael, On Fri, Mar 29, 2013 at 11:48:16AM +0000, Michael Tautschnig wrote: > Hi Sven, hi all, > > [...] > > > Either all or no file should #define _GNU_SOURCE. > > > > Please add information how to reproduce this the next time you are adding > > such > > such a bug. Now I can just assume what you are writing is true (even when > > the > > man page about sendto says otherwise). Not knowing how to reproduce it in > > the > > best possible way just makes it harder for everyone to check the impact of > > the > > problem. > > > > Just one question before I elaborate a bit: what information in the man page > are > you referring to? I can't quite seem to see anything mentioning _GNU_SOURCE? > > I fully understand your concerns and indeed it is a problem that I cannot > quite > provide a concrete counterexample witnessing the problem. It may even be the > cast that, at present, this is only a potential problem and not a real one. > It's > much like a compiler warning: ok to be ignored if you are doing it > intentionally > and you are 100% sure you know what you are doing. In all other cases, > however, > it is likely worth fixing, as the problem can only ever be found by link-time > type checking, which usual compilers can't do. Even if done, there is some > non-trivial effort required to tracing back the type inconsistency to > inconsistent order of #include or a missing #define. > > The most I can provide right now is all the scripts that suffice to reproduce > the build results and error logs, to be found at > https://github.com/tautschnig/cprover-debian > > > I've forwarded it to the upstream maintainer and attached the change for > > Debian. > > > [...] > > Thanks! >
Elektra provided a patch to fix this issue and it has been applied already. The patch and the related "Applied!" message have been posted to the batman ml, maybe you are not subscribed and you did not get them? Cheers, -- Antonio Quartulli ..each of us alone is worth nothing.. Ernesto "Che" Guevara
pgpyjGuqlwk7V.pgp
Description: PGP signature
