https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81735
--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> --- (In reply to Dominique d'Humieres from comment #5) > > I still see "pointer being freed was not allocated" with r233625 reverted. > > But it is gone if I revert r233589. I see it on 6- and 7-branches but not on the current trunk It is on my todo list. Paul