blob: 2af976cf46fea519eb4d7ca807fa41f50fed8490 (
plain)
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
/* Copyright (C) 1989-2020 Free Software Foundation, Inc.
Written by James Clark (jjc@jclark.com)
This file is part of groff.
groff 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 of the License, or
(at your option) any later version.
groff 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.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
#include "lib.h"
#include <stddef.h>
#include <stdlib.h>
#include "posix.h"
#include "nonposix.h"
extern "C" const char *program_name;
static void ewrite(const char *s)
{
write(2, s, strlen(s));
}
void *operator new(size_t size)
{
// Avoid relying on the behaviour of malloc(0).
if (size == 0)
size++;
char *p = (char *)malloc(unsigned(size));
if (p == 0) {
if (program_name) {
ewrite(program_name);
ewrite(": ");
}
ewrite("out of memory\n");
_exit(-1);
}
return p;
}
void operator delete(void *p) throw()
{
if (p)
free(p);
}
void operator delete(void *p,
__attribute__((__unused__)) long unsigned int size)
{
// It's ugly to duplicate the code from delete(void *) above, but if
// we don't, g++ 6.3 can't figure out we're calling through it to
// free().
//
// In function 'void operator delete(void*, long unsigned int)':
// warning: deleting 'void*' is undefined [-Wdelete-incomplete]
//delete p;
if (p)
free(p);
}
// Local Variables:
// fill-column: 72
// mode: C++
// End:
// vim: set cindent noexpandtab shiftwidth=2 textwidth=72:
|
