[PATCH] Fix version check for ATTRIBUTE_GCC_DUMP_PRINTF

[Jakub Jelinek]

On Mon, Aug 27, 2018 at 08:32:11PM -0400, David Malcolm wrote:
> gcc/ChangeLog:
> 	* dumpfile.h (ATTRIBUTE_GCC_DUMP_PRINTF): Change version check on
> 	GCC_VERSION for usage of "__gcc_dump_printf__" format from
> 	>= 3005 to >= 9000.

Ok, thanks.

> ---
>  gcc/dumpfile.h | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/gcc/dumpfile.h b/gcc/dumpfile.h
> index 0305d36..671b7b9 100644
> --- a/gcc/dumpfile.h
> +++ b/gcc/dumpfile.h
> @@ -28,7 +28,7 @@ along with GCC; see the file COPYING3.  If not see
>     format codes (see pretty-print.c), with additional codes for middle-end
>     specific entities (see dumpfile.c).  */
>  
> -#if GCC_VERSION >= 3005
> +#if GCC_VERSION >= 9000
>  #define ATTRIBUTE_GCC_DUMP_PRINTF(m, n) \
>    __attribute__ ((__format__ (__gcc_dump_printf__, m ,n))) \
>    ATTRIBUTE_NONNULL(m)
> -- 
> 1.8.5.3

	Jakub