diff options
Diffstat (limited to 'gcc/pretty-print.h')
| -rw-r--r-- | gcc/pretty-print.h | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gcc/pretty-print.h b/gcc/pretty-print.h index 8c568a42f4d..42bf8e1b180 100644 --- a/gcc/pretty-print.h +++ b/gcc/pretty-print.h @@ -248,7 +248,17 @@ extern const char *pp_base_formatted_text (pretty_printer *); extern const char *pp_base_last_position_in_text (const pretty_printer *); extern void pp_base_emit_prefix (pretty_printer *); extern void pp_base_append_text (pretty_printer *, const char *, const char *); -extern void pp_printf (pretty_printer *, const char *, ...) ATTRIBUTE_PRINTF_2; + +/* This header may be included before toplev.h, hence the duplicate + definitions to allow for GCC-specific formats. */ +#if GCC_VERSION >= 3005 +#define ATTRIBUTE_GCC_PPDIAG(m, n) __attribute__ ((__format__ (__gcc_diag__, m ,n))) ATTRIBUTE_NONNULL(m) +#else +#define ATTRIBUTE_GCC_PPDIAG(m, n) ATTRIBUTE_NONNULL(m) +#endif +extern void pp_printf (pretty_printer *, const char *, ...) + ATTRIBUTE_GCC_PPDIAG(2,3); + extern void pp_verbatim (pretty_printer *, const char *, ...); extern void pp_base_flush (pretty_printer *); extern void pp_base_format_text (pretty_printer *, text_info *); |