diff options
Diffstat (limited to 'libffi/src/debug.c')
| -rw-r--r-- | libffi/src/debug.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/libffi/src/debug.c b/libffi/src/debug.c index 98f1f9f0b4e..f15eb91abcb 100644 --- a/libffi/src/debug.c +++ b/libffi/src/debug.c @@ -31,7 +31,7 @@ void ffi_stop_here(void) { /* This function is only useful for debugging purposes. - Place a breakpoint on ffi_stop_here to be notified of + Place a breakpoint on ffi_stop_here to be notified of significant events. */ } @@ -50,10 +50,9 @@ void ffi_type_test(ffi_type *a, char *file, int line) { FFI_ASSERT_AT(a != NULL, file, line); - /*@-usedef@*/ FFI_ASSERT_AT(a->type <= FFI_TYPE_LAST, file, line); FFI_ASSERT_AT(a->type == FFI_TYPE_VOID || a->size > 0, file, line); FFI_ASSERT_AT(a->type == FFI_TYPE_VOID || a->alignment > 0, file, line); FFI_ASSERT_AT(a->type != FFI_TYPE_STRUCT || a->elements != NULL, file, line); - /*@=usedef@*/ + } |