From 976fdc817e6adda3dd565c68c41f61a2322afafc Mon Sep 17 00:00:00 2001
From: Ivan Maidanski <ivmai@mail.ru>
Date: Fri, 23 Nov 2018 11:57:29 +0300
Subject: [PATCH] Workaround 'GC_dump function is never used' cppcheck warning

* tests/test.c [!PCR && !GC_WIN32_THREADS && !GC_PTHREADS && CPPCHECK
&& !NO_DEBUGGING] (main): Add UNTESTED(GC_dump).
---
 tests/test.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/test.c b/tests/test.c
index bccc838..bc70399 100644
--- a/tests/test.c
+++ b/tests/test.c
@@ -1989,6 +1989,7 @@ void GC_CALLBACK warn_proc(char *msg, GC_word p)
          UNTESTED(GC_gcj_malloc_ignore_off_page);
 #      endif
 #      ifndef NO_DEBUGGING
+         UNTESTED(GC_dump);
          UNTESTED(GC_dump_regions);
          UNTESTED(GC_is_tmp_root);
          UNTESTED(GC_print_free_list);
-- 
2.7.4