diff options
Diffstat (limited to 'libffi/include/ffi_common.h')
-rw-r--r-- | libffi/include/ffi_common.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/libffi/include/ffi_common.h b/libffi/include/ffi_common.h index da15ab8..58714a7 100644 --- a/libffi/include/ffi_common.h +++ b/libffi/include/ffi_common.h @@ -41,20 +41,20 @@ char *alloca (); # endif #endif -#if defined(FFI_DEBUG) +#if defined(FFI_DEBUG) #include <stdio.h> #endif #ifdef FFI_DEBUG -/*@exits@*/ void ffi_assert(/*@temp@*/ char *expr, /*@temp@*/ char *file, int line); +void ffi_assert(char *expr, char *file, int line); void ffi_stop_here(void); -void ffi_type_test(/*@temp@*/ /*@out@*/ ffi_type *a, /*@temp@*/ char *file, int line); +void ffi_type_test(ffi_type *a, char *file, int line); #define FFI_ASSERT(x) ((x) ? (void)0 : ffi_assert(#x, __FILE__,__LINE__)) #define FFI_ASSERT_AT(x, f, l) ((x) ? 0 : ffi_assert(#x, (f), (l))) #define FFI_ASSERT_VALID_TYPE(x) ffi_type_test (x, __FILE__, __LINE__) #else -#define FFI_ASSERT(x) +#define FFI_ASSERT(x) #define FFI_ASSERT_AT(x, f, l) #define FFI_ASSERT_VALID_TYPE(x) #endif @@ -68,9 +68,9 @@ ffi_status ffi_prep_cif_machdep(ffi_cif *cif); /* Extended cif, used in callback from assembly routine */ typedef struct { - /*@dependent@*/ ffi_cif *cif; - /*@dependent@*/ void *rvalue; - /*@dependent@*/ void **avalue; + ffi_cif *cif; + void *rvalue; + void **avalue __attribute__((aligned)); } extended_cif; /* Terse sized type definitions. */ |