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