#include <string>

int main()
{
std::string* str = new std::string;

delete str;
delete str;
}

BCC5.9.3(C++Builder2007付属品)+CodeGuardで次のログ出力。

Error 00004. 0x100630 (スレッド 0x0C24):
解放済みメモリの アクセス : アドレス 0x00D743E0+16 から 4
バイトを参照しました。.
| C:\Program Files\CodeGear\RAD Studio\5.0\Include\dinkumware\xstring line 1757:
| else if (_BUF_SIZE <= _Myres)
| { // copy any leftovers to small buffer and deallocate
|> _Elem *_Ptr = _Bx._Ptr;
| if (0 < _Newsize)
| _Traits::copy(_Bx._Buf, _Ptr, _Newsize);
呼び出し履歴:
0x00401477(=double_delete1.exe:0x01:000477) C:\Program Files\CodeGear\RAD Studio\5.0\Include\dinkumware\xstring#1757
0x004012FE(=double_delete1.exe:0x01:0002FE) C:\Program Files\CodeGear\RAD Studio\5.0\Include\dinkumware\xstring#561
0x00401205(=double_delete1.exe:0x01:000205) double_delete1.cpp#8
0x328876DE(=CC3280MT.DLL:0x01:0866DE)