Mark cl_target_option_print_diff args unused

	* optc-save-gen.awk (cl_target_option_print_diff): Mark indent,
	ptr1, ptr2 unused.

From-SVN: r219732

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b4a1ed7..388c99c 100644 (file)
--- 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 (file)
--- 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);";