https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81735
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > I still see "pointer being freed was not allocated" with r233625 reverted. But it is gone if I revert r233589.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81735
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > I still see "pointer being freed was not allocated" with r233625 reverted. But it is gone if I revert r233589.