https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48315
--- Comment #4 from dave.anglin at bell dot net --- On 2017-06-16, at 9:59 AM, ramana at gcc dot gnu.org wrote: > is this still an issue ? I don't know. I haven't used the box for some time. I suspect the bug is likely fixed. Dave -- John David Anglin dave.ang...@bell.net