https://sourceware.org/bugzilla/show_bug.cgi?id=25992
--- Comment #14 from Andre Vieira <avieira at gcc dot gnu.org> --- Oh doh... I was looking at the Tag_CPU_arch instead of arch_profile. Sorry Alexander. -- You are receiving this mail because: You are on the CC list for the bug.
