From 74118f1510492b19b9574089d9bd8080fc8c84c0 Mon Sep 17 00:00:00 2001 From: "Kaveh R. Ghazi" Date: Thu, 9 Jun 2005 10:55:02 +0000 Subject: gjavah.c (error): Add ATTRIBUTE_PRINTF_1. * gjavah.c (error): Add ATTRIBUTE_PRINTF_1. * java-tree.h (parse_error_context): Move... * parse.h (parse_error_context): ... here, add ATTRIBUTE_GCC_DIAG. * parse.y (parse_warning_context): Add ATTRIBUTE_GCC_DIAG. * verify-impl.c (debug_print): Add ATTRIBUTE_PRINTF_1. From-SVN: r100795 --- gcc/java/verify-impl.c | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) (limited to 'gcc/java/verify-impl.c') diff --git a/gcc/java/verify-impl.c b/gcc/java/verify-impl.c index 30d1220..db6078e 100644 --- a/gcc/java/verify-impl.c +++ b/gcc/java/verify-impl.c @@ -26,21 +26,16 @@ details. */ verification. */ #define INVALID_STATE ((state *) -1) -#ifdef VERIFY_DEBUG -static void -debug_print (const char *fmt, ...) +static void ATTRIBUTE_PRINTF_1 +debug_print (const char *fmt ATTRIBUTE_UNUSED, ...) { +#ifdef VERIFY_DEBUG va_list ap; va_start (ap, fmt); vfprintf (stderr, fmt, ap); va_end (ap); -} -#else -static void -debug_print (const char *fmt ATTRIBUTE_UNUSED, ...) -{ -} #endif /* VERIFY_DEBUG */ +} /* This started as a fairly ordinary verifier, and for the most part it remains so. It works in the obvious way, by modeling the effect -- cgit v1.1