Matthias Klose | a834975 | 2010-03-15 13:25:28 +0000 | [diff] [blame] | 1 | /* ----------------------------------------------------------------------- |
| 2 | debug.c - Copyright (c) 1996 Red Hat, Inc. |
| 3 | |
| 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 | |
| 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. |
| 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. |
| 35 | Place a breakpoint on ffi_stop_here to be notified of |
| 36 | significant events. */ |
| 37 | } |
| 38 | |
| 39 | /* This function should only be called via the FFI_ASSERT() macro */ |
| 40 | |
| 41 | void ffi_assert(char *expr, char *file, int line) |
| 42 | { |
| 43 | fprintf(stderr, "ASSERTION FAILURE: %s at %s:%d\n", expr, file, line); |
| 44 | ffi_stop_here(); |
| 45 | abort(); |
| 46 | } |
| 47 | |
| 48 | /* Perform a sanity check on an ffi_type structure */ |
| 49 | |
| 50 | void ffi_type_test(ffi_type *a, char *file, int line) |
| 51 | { |
| 52 | FFI_ASSERT_AT(a != NULL, file, line); |
| 53 | |
| 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); |
| 57 | FFI_ASSERT_AT(a->type != FFI_TYPE_STRUCT || a->elements != NULL, file, line); |
| 58 | |
| 59 | } |