On 28 December 2010 16:55, Jeffrey Walton wrote: > On Tue, Dec 28, 2010 at 11:46 AM, Jonathan Wakely <jwakely.gcc@xxxxxxxxx> wrote: >> On 28 December 2010 15:28, Oliver Kullmann wrote: >>> >>> So cleaning the environment etc. is of no help, these ~ 11000 chars >>> don't go away. Strange that the gcc-guys don't circumvent these problems. >>> Sigh. >> >> Strange that you assume noone will do so. A quick web search would >> have found, for example, >> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20155 which shows that >> such problems are considered a bug and fixed as necessary. >> >> Maybe noone else has encountered the particular variant of bug you >> have trouble with, so please file a bugzilla report, thanks. >> > Or perhaps he is questioning why the fix is available via a patch > instead of simply incorporating the patch into the sources so people > can use the source without a bunch of extra grief... What fix? What patch? As I said, maybe noone else has found the particular bug Oliver hit, so he should report it to Bugzilla. If noone reports a bug, noone will fix it.