]>
Commit | Line | Data |
---|---|---|
06bd10fb | 1 | // Boilerplate support routines for -*- C++ -*- dynamic memory management. |
e2c09482 | 2 | |
405feeb8 | 3 | // Copyright (C) 1997-2013 Free Software Foundation, Inc. |
06bd10fb | 4 | // |
cbecceb9 | 5 | // This file is part of GCC. |
06bd10fb | 6 | // |
cbecceb9 | 7 | // GCC is free software; you can redistribute it and/or modify |
06bd10fb | 8 | // it under the terms of the GNU General Public License as published by |
748086b7 | 9 | // the Free Software Foundation; either version 3, or (at your option) |
06bd10fb BK |
10 | // any later version. |
11 | // | |
cbecceb9 | 12 | // GCC is distributed in the hope that it will be useful, |
06bd10fb BK |
13 | // but WITHOUT ANY WARRANTY; without even the implied warranty of |
14 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | // GNU General Public License for more details. | |
16 | // | |
748086b7 JJ |
17 | // Under Section 7 of GPL version 3, you are granted additional |
18 | // permissions described in the GCC Runtime Library Exception, version | |
19 | // 3.1, as published by the Free Software Foundation. | |
20 | ||
21 | // You should have received a copy of the GNU General Public License and | |
22 | // a copy of the GCC Runtime Library Exception along with this program; | |
23 | // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see | |
24 | // <http://www.gnu.org/licenses/>. | |
06bd10fb | 25 | |
34a133a8 | 26 | #include <bits/c++config.h> |
b967bf25 | 27 | #include "new" |
06bd10fb BK |
28 | |
29 | extern "C" void free (void *); | |
30 | ||
5cc78150 | 31 | _GLIBCXX_WEAK_DEFINITION void |
578f0234 | 32 | operator delete (void *ptr, const std::nothrow_t&) _GLIBCXX_USE_NOEXCEPT |
06bd10fb | 33 | { |
04695783 | 34 | free (ptr); |
06bd10fb | 35 | } |