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
pgp_HfEWC49Mq.pgp
Description: PGP signature