Closed jeroen closed 12 months ago
There is bug in gcc-12 that leads to the warning:
warning: pointer used after 'void operator delete(void*, std::size_t)' [-Wuse-after-free]
The bug is fixed in gcc-13. So we suppress it.
Thanks!
There is bug in gcc-12 that leads to the warning:
The bug is fixed in gcc-13. So we suppress it.