Control: forwarded -1 https://sourceware.org/bugzilla/show_bug.cgi?id=17467

Hi again,

[...]
> > So if it isn't a GCC issue, should I reassign to binutils instead? (I have 
> > no
> > intention of playing a bug-assigning ping-pong, but I do fail to see what 
> > might
> > be wrong in CBMC. But I'm happy to assist by providing any input that would 
> > be
> > deemed useful.)
> 
> Both the abr and the cbmc package builds link the .a files using ld -r, not 
> with
> ar rcf. at least I can workaround this link failure for now when building the
> package this way.
> 

This appears consistent with my report that passing all the object files makes
things work. So surely I can use this as workaround, but really using ld -r
should be fine - or am I wrong here?

> Filed upstream https://sourceware.org/bugzilla/show_bug.cgi?id=17467
> 

Thanks a lot!

Do you want to take this one under the binutils umbrella, possibly with non-RC
severity as a workaround exists?

Best,
Michael

Attachment: pgp_HfEWC49Mq.pgp
Description: PGP signature

Reply via email to