https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35376
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC|manu at gcc dot gnu.org | --- Comment #1 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- I am not sure what this is about, but it is so old that we should probably close it.