http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50786 --- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-19 15:55:22 UTC --- You would need to debug this then - generally the drivers clean up after them (and I remember testing this, at least for the non-failing case ...)