/*
 * \brief  New and delete are special
 * \author Norman Feske
 * \date   2006-04-07
 */

/*
 * Copyright (C) 2006-2017 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU Affero General Public License version 3.
 */

#include <base/log.h>
#include <base/allocator.h>
#include <base/sleep.h>

using Genode::size_t;
using Genode::Allocator;
using Genode::Deallocator;
using Genode::sleep_forever;


static void *try_alloc(Allocator *alloc, size_t size)
{
	if (!alloc)
		throw Allocator::Out_of_memory();

	return alloc->alloc(size);
}


void *operator new    (__SIZE_TYPE__ s, Allocator *a) { return try_alloc(a, s); }
void *operator new [] (__SIZE_TYPE__ s, Allocator *a) { return try_alloc(a, s); }
void *operator new    (__SIZE_TYPE__ s, Allocator &a) { return a.alloc(s); }
void *operator new [] (__SIZE_TYPE__ s, Allocator &a) { return a.alloc(s); }


static void try_dealloc(void *ptr, Deallocator &dealloc)
{
	/*
	 * Log error and block on the attempt to use an allocator that relies on
	 * the size argument.
	 */
	if (dealloc.need_size_for_free()) {
		Genode::error("C++ runtime: delete called with allocator, which needs "
		              "'size' on free. Blocking before leaking memory...");
		sleep_forever();
	}

	/* size not required, so call with dummy size */
	dealloc.free(ptr, 0);
}


void operator delete (void *ptr, Deallocator *dealloc) { try_dealloc(ptr, *dealloc); }
void operator delete (void *ptr, Deallocator &dealloc) { try_dealloc(ptr,  dealloc); }


/*
 * The 'delete (void *)' operator gets referenced by compiler generated code,
 * so it must be publicly defined in the 'cxx' library. These compiler
 * generated calls seem to get executed only subsequently to explicit
 * 'delete (void *)' calls in application code, which are not supported by the
 * 'cxx' library, so the 'delete (void *)' implementation in the 'cxx' library
 * does not have to do anything. Applications should use the 'delete (void *)'
 * implementation of the 'stdcxx' library instead. To make this possible, the
 * 'delete (void *)' implementation in the 'cxx' library must be 'weak'.
 */
__attribute__((weak)) void operator delete (void *)
{
	Genode::error("cxx: operator delete (void *) called - not implemented. "
	              "A working implementation is available in the 'stdcxx' library.");
}

__attribute__((weak)) void operator delete (void *, unsigned long)
{
	Genode::error("cxx: operator delete (void *, unsigned long) called - not implemented. "
	              "A working implementation is available in the 'stdcxx' library.");
}
