]>
Commit | Line | Data |
---|---|---|
63e5e3e0 | 1 | /* ----------------------------------------------------------------------- |
1450eb7a | 2 | debug.c - Copyright (c) 1996 Red Hat, Inc. |
63e5e3e0 | 3 | |
63e5e3e0 AG |
4 | Permission is hereby granted, free of charge, to any person obtaining |
5 | a copy of this software and associated documentation files (the | |
6 | ``Software''), to deal in the Software without restriction, including | |
7 | without limitation the rights to use, copy, modify, merge, publish, | |
8 | distribute, sublicense, and/or sell copies of the Software, and to | |
9 | permit persons to whom the Software is furnished to do so, subject to | |
10 | the following conditions: | |
11 | ||
12 | The above copyright notice and this permission notice shall be included | |
13 | in all copies or substantial portions of the Software. | |
14 | ||
5f933ef0 AH |
15 | THE SOFTWARE IS PROVIDED ``AS IS'', WITHOUT WARRANTY OF ANY KIND, |
16 | EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF | |
17 | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND | |
18 | NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT | |
19 | HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, | |
20 | WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | |
21 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | |
22 | DEALINGS IN THE SOFTWARE. | |
63e5e3e0 AG |
23 | ----------------------------------------------------------------------- */ |
24 | ||
25 | #include <ffi.h> | |
26 | #include <ffi_common.h> | |
27 | #include <stdlib.h> | |
28 | #include <stdio.h> | |
29 | ||
30 | /* General debugging routines */ | |
31 | ||
32 | void ffi_stop_here(void) | |
33 | { | |
34 | /* This function is only useful for debugging purposes. | |
ac6ed182 | 35 | Place a breakpoint on ffi_stop_here to be notified of |
63e5e3e0 AG |
36 | significant events. */ |
37 | } | |
38 | ||
39 | /* This function should only be called via the FFI_ASSERT() macro */ | |
40 | ||
1450eb7a | 41 | void ffi_assert(char *expr, char *file, int line) |
63e5e3e0 | 42 | { |
1450eb7a | 43 | fprintf(stderr, "ASSERTION FAILURE: %s at %s:%d\n", expr, file, line); |
63e5e3e0 AG |
44 | ffi_stop_here(); |
45 | abort(); | |
63e5e3e0 AG |
46 | } |
47 | ||
48 | /* Perform a sanity check on an ffi_type structure */ | |
49 | ||
1450eb7a | 50 | void ffi_type_test(ffi_type *a, char *file, int line) |
63e5e3e0 | 51 | { |
1450eb7a AT |
52 | FFI_ASSERT_AT(a != NULL, file, line); |
53 | ||
1450eb7a AT |
54 | FFI_ASSERT_AT(a->type <= FFI_TYPE_LAST, file, line); |
55 | FFI_ASSERT_AT(a->type == FFI_TYPE_VOID || a->size > 0, file, line); | |
56 | FFI_ASSERT_AT(a->type == FFI_TYPE_VOID || a->alignment > 0, file, line); | |
b1760f7f RH |
57 | FFI_ASSERT_AT((a->type != FFI_TYPE_STRUCT && a->type != FFI_TYPE_COMPLEX) |
58 | || a->elements != NULL, file, line); | |
59 | FFI_ASSERT_AT(a->type != FFI_TYPE_COMPLEX | |
60 | || (a->elements != NULL | |
61 | && a->elements[0] != NULL && a->elements[1] == NULL), | |
62 | file, line); | |
ac6ed182 | 63 | |
63e5e3e0 | 64 | } |