http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55495
--- Comment #2 from Jason <jasongross9+bugzilla at gmail dot com> 2012-11-27 21:57:58 UTC --- I've asked the instructors of my class to update the version of gcc we're using; I don't have sudo access on the course machines, and I don't feel like compiling GMP, MPFR, and MPC (and any dependencies they might have) myself. I'll try to be more through in looking for duplicates myself, though.
