[Bug c++/22609] delete [] called on base virtual destructor class [Segmentation failed]

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2005-07-22 13:24 
-------
You can't do this:  
  BaseVector* v = new Vector[10];  
  delete [] v; // <----- Here it is crashed  
The type of the data allocated is Vector*, which is what you have  
to use when you deallocate it. However, in your call to delete[] you 
use BaseVector*. 
  
W.  

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22609