Line data    Source code

       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           0 : 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           0 : }
      38             : 
      39             : /* This function should only be called via the FFI_ASSERT() macro */
      40             : 
      41           0 : void ffi_assert(char *expr, char *file, int line)
      42             : {
      43           0 :   fprintf(stderr, "ASSERTION FAILURE: %s at %s:%d\n", expr, file, line);
      44           0 :   ffi_stop_here();
      45           0 :   abort();
      46             : }
      47             : 
      48             : /* Perform a sanity check on an ffi_type structure */
      49             : 
      50           0 : void ffi_type_test(ffi_type *a, char *file, int line)
      51             : {
      52           0 :   FFI_ASSERT_AT(a != NULL, file, line);
      53             : 
      54           0 :   FFI_ASSERT_AT(a->type <= FFI_TYPE_LAST, file, line);
      55           0 :   FFI_ASSERT_AT(a->type == FFI_TYPE_VOID || a->size > 0, file, line);
      56           0 :   FFI_ASSERT_AT(a->type == FFI_TYPE_VOID || a->alignment > 0, file, line);
      57           0 :   FFI_ASSERT_AT(a->type != FFI_TYPE_STRUCT || a->elements != NULL, file, line);
      58             : 
      59           0 : }