1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
// SPDX-FileCopyrightInfo: Copyright © DUNE Project contributors, see file LICENSE.md in module root
// SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception
#include "debugallocator.hh"
#if HAVE_MPROTECT
#include <iostream>
#include <unistd.h>
#include <cstdlib>
namespace Dune
{
namespace DebugMemory
{
// system constant for page size
const std::ptrdiff_t page_size = sysconf(_SC_PAGESIZE);
// implement member functions
void AllocationManager::allocation_error(const char* msg)
{
std::cerr << "Abort - Memory Corruption: " << msg << std::endl;
std::abort();
}
// global instance of AllocationManager
AllocationManager alloc_man;
} // end namespace DebugMemory
} // end namespace Dune
#endif // HAVE_MPROTECT
|
