testsuites/validation/tc-terminate.c

1 files changed, 5 insertions, 0 deletions

diff --git a/testsuites/validation/tc-terminate.c b/testsuites/validation/tc-terminate.c
index c057a8730e..ae21d205cd 100644
--- a/testsuites/validation/tc-terminate.c
+++ b/testsuites/validation/tc-terminate.c
@@ -55,7 +55,9 @@
 #include <bsp.h>
 #include <setjmp.h>
 #include <string.h>
+#include <rtems/bspIo.h>
 #include <rtems/score/atomic.h>
+#include <rtems/score/io.h>
 #include <rtems/score/percpu.h>
 #include <rtems/score/sysstate.h>
 
@@ -145,6 +147,9 @@ void __wrap__CPU_Fatal_halt( uint32_t source, CPU_Uint32ptr code )
     halt_code = code;
     longjmp( before_terminate, 1 );
   } else {
+#if defined(RTEMS_COVERAGE)
+    _IO_Dump_gcov_info( rtems_put_char, NULL );
+#endif
     __real__CPU_Fatal_halt( source, code );
   }
 }