diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index 669041e505f..5448567487c 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,8 @@
+2019-06-10  Martin Liska  <mliska@suse.cz>
+
+	PR bootstrap/90808
+	* libgcov.h: Add ATTRIBUTE_UNUSED.
+
 2019-06-10  Martin Liska  <mliska@suse.cz>
 
 	* Makefile.in: Add __gcov_one_value_profiler_v2,
diff --git a/libgcc/libgcov.h b/libgcc/libgcov.h
index 144b4817a37..7f316146d49 100644
--- a/libgcc/libgcov.h
+++ b/libgcc/libgcov.h
@@ -328,7 +328,7 @@ gcov_get_counter (void)
    when read value is equal to IGNORE_SCALING.  */
 
 static inline gcov_type
-gcov_get_counter_ignore_scaling (gcov_type ignore_scaling)
+gcov_get_counter_ignore_scaling (gcov_type ignore_scaling ATTRIBUTE_UNUSED)
 {
 #ifndef IN_GCOV_TOOL
   /* This version is for reading count values in libgcov runtime: