Changeset 9d944b2 for src/libcfa/libhdr

Timestamp:

Mar 31, 2017, 12:16:14 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

077810d

Parents:

95448f1e

Message:

Implemented interposing for abort and exit, implemented safer debug output

Location:

src/libcfa/libhdr

Files:

• libdebug.c (added)
• libdebug.h (modified) (1 diff)

src/libcfa/libhdr/libdebug.h

@@ -25 +25 @@
 #endif
 
+#ifdef __cforall
+extern "C" {
+#endif
+      #include <stdarg.h>
+
+      extern void __lib_debug_write( int fd, const char *buffer, int len );
+      extern void __lib_debug_acquire();
+      extern void __lib_debug_release();
+      extern void __lib_debug_print_safe  ( const char fmt[], ... ) __attribute__(( format (printf, 1, 2) ));
+      extern void __lib_debug_print_nolock( const char fmt[], ... ) __attribute__(( format (printf, 1, 2) ));
+      extern void __lib_debug_print_vararg( const char fmt[], va_list arg );
+      extern void __lib_debug_print_buffer( char buffer[], int buffer_size, const char fmt[], ... ) __attribute__(( format (printf, 3, 4) ));
+#ifdef __cforall
+}
+#endif
+
 #ifdef __CFA_DEBUG_PRINT__
-      #define LIB_DEBUG_PRINTF(...)   printf (__VA_ARGS__)
-      #define LIB_DEBUG_FPRINTF(...) fprintf (stderr, __VA_ARGS__)
+      #define LIB_DEBUG_WRITE( fd, buffer, len )  __lib_debug_write( fd, buffer, len )
+      #define LIB_DEBUG_ACQUIRE()                 __lib_debug_acquire()
+      #define LIB_DEBUG_RELEASE()                 __lib_debug_release()
+      #define LIB_DEBUG_PRINT_SAFE(...)           __lib_debug_print_safe   (__VA_ARGS__)
+      #define LIB_DEBUG_PRINT_NOLOCK(...)         __lib_debug_print_nolock (__VA_ARGS__)
+      #define LIB_DEBUG_PRINT_BUFFER(...)         __lib_debug_print_buffer (__VA_ARGS__)
 #else
-      #define LIB_DEBUG_PRINTF(...)  ((void)0)
-      #define LIB_DEBUG_FPRINTF(...) ((void)0)
+      #define LIB_DEBUG_WRITE(...)          ((void)0)
+      #define LIB_DEBUG_ACQUIRE()           ((void)0)
+      #define LIB_DEBUG_RELEASE()           ((void)0)
+      #define LIB_DEBUG_PRINT_SAFE(...)     ((void)0)
+      #define LIB_DEBUG_PRINT_NOLOCK(...)   ((void)0)
+      #define LIB_DEBUG_PRINT_BUFFER(...)   ((void)0)
 #endif