[PATCH] Fix PR target/6542

[Mark Mitchell]

> Mark, is this ok for branch?

It looks good to me.  Get one other maintainer to approve it, and then
check it in.

Thanks,

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com