From 754bbf7a25a8dda49b5d08ef0d0443bbf5af0e36 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Sun, 7 Apr 2024 13:41:34 -0500 Subject: new repository --- devdocs/gcc~13/gcov-tool-intro.html | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 devdocs/gcc~13/gcov-tool-intro.html (limited to 'devdocs/gcc~13/gcov-tool-intro.html') diff --git a/devdocs/gcc~13/gcov-tool-intro.html b/devdocs/gcc~13/gcov-tool-intro.html new file mode 100644 index 00000000..b71bbf3e --- /dev/null +++ b/devdocs/gcc~13/gcov-tool-intro.html @@ -0,0 +1,17 @@ +

11.1 Introduction to gcov-tool

gcov-tool is an offline tool to process gcc’s gcda profile files.

Current gcov-tool supports the following functionalities:

Examples of the use cases for this tool are:

+

Note that for the merging operation, this profile generated offline may contain slight different values from the online merged profile. Here are a list of typical differences:

+

+ © Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
+ https://gcc.gnu.org/onlinedocs/gcc-13.1.0/gcc/Gcov-tool-Intro.html +

+
-- cgit v1.2.3