diff --git a/gcc/doc/gcov.texi b/gcc/doc/gcov.texi index d076721b93c..32b51f984bc 100644 --- a/gcc/doc/gcov.texi +++ b/gcc/doc/gcov.texi @@ -887,8 +887,7 @@ Long-running applications can use the @code{__gcov_reset} and @code{__gcov_dump} facilities to restrict profile collection to the program region of interest. Calling @code{__gcov_reset(void)} will clear all run-time profile counters to zero, and calling @code{__gcov_dump(void)} will cause the profile -information collected at that point to be dumped to @file{.gcda} output files -(the function can be called just once). +information collected at that point to be dumped to @file{.gcda} output files. Instrumented applications use a static destructor with priority 99 to invoke the @code{__gcov_dump} function. Thus @code{__gcov_dump} is executed after all user defined static destructors,