http://gcc.gnu.org/bugzilla/show_bug.cgi?id=61106
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jsm28 at gcc dot gnu.org Component|other |driver Target Milestone|--- |4.8.3 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- I think it works as intended. Maybe Joseph can clarify and point to the relevant portion in the manual.