Hi,

The following code produces a false positive warning "allocating zero-element array".

template <class T, int size = 0> class Array
{
public:
  Array() {
    if (size) {
      new T[size];
    }
  }
};

void foo() {
  Array<int> bar;
}

the new command is guarded by a if(size). So allocating a zero size array is impossible. It would be really nice if gcc could check for this condition, also.

Thanks,
Gregor