Function std::bad_alloc::~bad_alloc()

Locations:

• fndecl implemented at /home/visbrero/rev_control/hg/gcc-dehydra/installed/include/c++/4.3.0/new:65