On 23 April 2017 at 09:33, Avi Kivity wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80493 Great, thanks. > Shall I file a bug for the incorrect lookup as well? I think it's the same issue as https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66256 although it took me a while to find it again.