https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97151
--- Comment #1 from Marat Radchenko <marat at slonopotamus dot org> ---
Another program that exhibits the same behavior:
int main()
{
int *a = new int[10];
a[0] = 0;
delete[] a;
return 0;
}