https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109920
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Sam James <sja...@gcc.gnu.org>: https://gcc.gnu.org/g:6a372628228bf57d3e35cc1351650146a8d3febc commit r13-9113-g6a372628228bf57d3e35cc1351650146a8d3febc Author: Aldy Hernandez <al...@redhat.com> Date: Mon May 22 21:03:05 2023 +0200 Use delete[] in int_range destructor [PR109920] gcc/ChangeLog: PR tree-optimization/109920 * value-range.h (RESIZABLE>::~int_range): Use delete[]. (cherry picked from commit 493a63af6cbab094c36a76435c12b1886328dab8)