On 01/05/16 17:39, NightStrike wrote:
Ping 2?
It may be that nobody here knows the answer to this question. You may have more luck writing to the dev list (gcc@) and CCing the AMD and x86-64 maintainers. Or you may open a PR in bugzilla. Or both.
Cheers, Manuel.