------- Comment #3 from jason at gcc dot gnu dot org 2009-11-20 03:10 ------- That said, I can see a reading whereby since PPL also defines operator delete (void *), the operator delete (void *, size_t) isn't the usual deallocation function, so we shouldn't give an error. I'll implement that.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42115
