diff options
Diffstat (limited to 'gcc/genflags.c')
| -rw-r--r-- | gcc/genflags.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/genflags.c b/gcc/genflags.c index d3102739d88..27296c9f239 100644 --- a/gcc/genflags.c +++ b/gcc/genflags.c @@ -179,8 +179,8 @@ gen_proto (rtx insn) { putchar ('('); for (i = 0; i < num-1; i++) - printf ("rtx %c ATTRIBUTE_UNUSED, ", 'a' + i); - printf ("rtx %c ATTRIBUTE_UNUSED)\n", 'a' + i); + printf ("rtx ARG_UNUSED (%c), ", 'a' + i); + printf ("rtx ARG_UNUSED (%c))\n", 'a' + i); } else puts ("(void)"); @@ -287,7 +287,7 @@ main (int argc, char **argv) /* Define this so we can link with print-rtl.o to get debug_rtx function. */ const char * -get_insn_name (int code ATTRIBUTE_UNUSED) +get_insn_name (int ARG_UNUSED (code)) { return NULL; } |