I tested also with a standard vector and it has the same behaviour, so probably it is a kernel bug/feature.

Qt Code: 
  1. double *vector = new double[10000];
  2. delete[] vector;
To copy to clipboard, switch view to plain text mode