diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/optc-save-gen.awk | 6 |
2 files changed, 8 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b4a1ed7..388c99c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-01-16 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> + + * optc-save-gen.awk (cl_target_option_print_diff): Mark indent, + ptr1, ptr2 unused. + 2015-01-16 Robert Suchanek <robert.suchanek@imgtec.com> * lra-constraints.c (curr_insn_transform): Change a reload pseudo of diff --git a/gcc/optc-save-gen.awk b/gcc/optc-save-gen.awk index add0949..58732c0 100644 --- a/gcc/optc-save-gen.awk +++ b/gcc/optc-save-gen.awk @@ -505,9 +505,9 @@ print ""; print "/* Print different target option variables from structures provided as arguments. */"; print "void"; print "cl_target_option_print_diff (FILE *file,"; -print " int indent,"; -print " struct cl_target_option *ptr1,"; -print " struct cl_target_option *ptr2)"; +print " int indent ATTRIBUTE_UNUSED,"; +print " struct cl_target_option *ptr1 ATTRIBUTE_UNUSED,"; +print " struct cl_target_option *ptr2 ATTRIBUTE_UNUSED)"; print "{"; print " fputs (\"\\n\", file);"; |