// The -*- C++ -*- dynamic memory management header.

​

// Copyright (C) 1994-2013 Free Software Foundation, Inc.

​

// This file is part of GCC.

//

// GCC is free software; you can redistribute it and/or modify

// it under the terms of the GNU General Public License as published by

// the Free Software Foundation; either version 3, or (at your option)

// any later version.

// 

// GCC is distributed in the hope that it will be useful,

// but WITHOUT ANY WARRANTY; without even the implied warranty of

// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

// GNU General Public License for more details.

// 

// Under Section 7 of GPL version 3, you are granted additional

// permissions described in the GCC Runtime Library Exception, version

// 3.1, as published by the Free Software Foundation.

​

// You should have received a copy of the GNU General Public License and

// a copy of the GCC Runtime Library Exception along with this program;

// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see

// <http://www.gnu.org/licenses/>.

​

/** @file new

 *  This is a Standard C++ Library header.

 *

 *  The header @c new defines several functions to manage dynamic memory and

 *  handling memory allocation errors; see

 *  http://gcc.gnu.org/onlinedocs/libstdc++/18_support/howto.html#4 for more.

 */

​

#ifndef _NEW

#define _NEW

​

#pragma GCC system_header

​

#include <bits/c++config.h>

#include <exception>

​

#pragma GCC visibility push(default)

​