|
145
|
1 /* Copyright (C) 2012-2020 Free Software Foundation, Inc.
|
|
111
|
2
|
|
|
3 This file is part of GCC.
|
|
|
4
|
|
|
5 GCC is free software; you can redistribute it and/or modify
|
|
|
6 it under the terms of the GNU General Public License as published by
|
|
|
7 the Free Software Foundation; either version 3, or (at your option)
|
|
|
8 any later version.
|
|
|
9
|
|
|
10 GCC is distributed in the hope that it will be useful,
|
|
|
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
13 GNU General Public License for more details.
|
|
|
14
|
|
|
15 Under Section 7 of GPL version 3, you are granted additional
|
|
|
16 permissions described in the GCC Runtime Library Exception, version
|
|
|
17 3.1, as published by the Free Software Foundation.
|
|
|
18
|
|
|
19 You should have received a copy of the GNU General Public License and
|
|
|
20 a copy of the GCC Runtime Library Exception along with this program;
|
|
|
21 see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
|
22 <http://www.gnu.org/licenses/>. */
|
|
|
23
|
|
|
24 #ifndef _VTV_UTILS_H
|
|
|
25 #define _VTV_UTILS_H 1
|
|
|
26
|
|
|
27 #include <stdlib.h>
|
|
|
28 #include "../include/vtv-change-permission.h"
|
|
|
29
|
|
|
30 static inline void
|
|
|
31 VTV_not_an_error (void)
|
|
|
32 {
|
|
|
33 }
|
|
|
34
|
|
|
35 /* Handler for verification runtime errors. */
|
|
|
36 #define VTV_error abort
|
|
|
37
|
|
|
38 /* Assertion macros used in vtable verification runtime. */
|
|
|
39 #define VTV_ASSERT(EXPR) \
|
|
|
40 if (!(EXPR)) VTV_error();
|
|
|
41
|
|
|
42 #ifdef VTV_DEBUG
|
|
|
43 #define VTV_DEBUG_ASSERT(EXPR) \
|
|
|
44 ((bool) (!(EXPR)) ? VTV_error() : (void) 0)
|
|
|
45 #else
|
|
|
46 #define VTV_DEBUG_ASSERT(EXPR) ((void) 0)
|
|
|
47 #endif
|
|
|
48
|
|
|
49 /* Name of the section where we put general VTV variables for protection */
|
|
|
50 #define VTV_PROTECTED_VARS_SECTION ".vtable_map_vars"
|
|
|
51 #define VTV_PROTECTED_VAR \
|
|
|
52 __attribute__ ((section (VTV_PROTECTED_VARS_SECTION)))
|
|
|
53
|
|
|
54 /* The following logging routines try to use low level file access
|
|
|
55 routines and avoid calling malloc. We need this so that we dont
|
|
|
56 disturb the order of calls to dlopen. Changing the order of dlopen
|
|
|
57 calls may lead to deadlocks */
|
|
|
58 int __vtv_open_log (const char * name);
|
|
|
59 int __vtv_add_to_log (int log, const char * format, ...);
|
|
|
60 void __vtv_log_verification_failure (const char *, bool);
|
|
|
61
|
|
|
62 #endif /* VTV_UTILS_H */
|
