johnsonjh/duma

int main() {
  int *pi;
  int i;
#ifdef DUMA_EXPLICIT_INIT
  duma_init();
#endif
  pi = new int[10];
  for (i = 0; i < 10; ++i)
    pi[i] = i;
  delete pi; // lgtm[cpp/new-array-delete-mismatch]
  // above line should produce error, cause pi was allocated with new[]()
  // unable to report allocation source - without including dumapp.h
  return 0;
}