http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55561
--- Comment #43 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> --- (In reply to Emil Styrke from comment #42) > Anyway, after manually fixing up the install it seems to work alright. If > this looks like a reasonable way forward, I'd be happy to improve the patch > after feedback or leave this embryo in the hands of someone more > knowledgeable. I would welcome such a solution very much. From looking at the patch, it seems a relatively small amount of work for a significant benefit. I hope you get some feedback&help from libgomp/sanitizer experts.
