[Ada] Issue error on illegal ownership in SPARK
[official-gcc.git] / libgomp / libgomp-plugin.c
blob5b77a536bb8e6ccb0a3a89b78ae4c51772b2ae54
1 /* Copyright (C) 2014-2019 Free Software Foundation, Inc.
3 Contributed by Mentor Embedded.
5 This file is part of the GNU Offloading and Multi Processing Library
6 (libgomp).
8 Libgomp is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
13 Libgomp is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
15 FOR A PARTICULAR PURPOSE. See the GNU General Public License for
16 more details.
18 Under Section 7 of GPL version 3, you are granted additional
19 permissions described in the GCC Runtime Library Exception, version
20 3.1, as published by the Free Software Foundation.
22 You should have received a copy of the GNU General Public License and
23 a copy of the GCC Runtime Library Exception along with this program;
24 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
25 <http://www.gnu.org/licenses/>. */
27 /* Exported (non-hidden) functions exposing libgomp interface for plugins. */
29 #include <stdlib.h>
31 #include "libgomp.h"
32 #include "libgomp-plugin.h"
34 void *
35 GOMP_PLUGIN_malloc (size_t size)
37 return gomp_malloc (size);
40 void *
41 GOMP_PLUGIN_malloc_cleared (size_t size)
43 return gomp_malloc_cleared (size);
46 void *
47 GOMP_PLUGIN_realloc (void *ptr, size_t size)
49 return gomp_realloc (ptr, size);
52 void
53 GOMP_PLUGIN_debug (int kind, const char *msg, ...)
55 va_list ap;
57 va_start (ap, msg);
58 gomp_vdebug (kind, msg, ap);
59 va_end (ap);
62 void
63 GOMP_PLUGIN_error (const char *msg, ...)
65 va_list ap;
67 va_start (ap, msg);
68 gomp_verror (msg, ap);
69 va_end (ap);
72 void
73 GOMP_PLUGIN_fatal (const char *msg, ...)
75 va_list ap;
77 va_start (ap, msg);
78 gomp_vfatal (msg, ap);
79 va_end (ap);