diff options
Diffstat (limited to 'gcc/java/verify-impl.c')
| -rw-r--r-- | gcc/java/verify-impl.c | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/gcc/java/verify-impl.c b/gcc/java/verify-impl.c index 30d12209449..db6078e9c97 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 |