http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56468
--- Comment #4 from Daniel Frey <d.frey at gmx dot de> 2013-02-28 16:14:41 UTC --- (In reply to comment #1) I think the first line you added is enough, as evidenced by my "fix" referenced in the Stack Overflow discussion (see link above). But the second line won't hurt either.
