【问题标题】:How to suppress inlining of templates with gcov如何使用 gcov 抑制模板的内联
【发布时间】:2017-01-29 09:55:26
【问题描述】:

我正在使用 GCC 4.9 和 GCOV 来获取代码和分支覆盖率。但是,分支覆盖的结果对我的 C++ 代码完全没用。尽管使用了我知道的所有 -fno-*-inline 标志,但似乎 GCC 内联模板。

这是一个说明问题的小示例应用程序:

#include <string>
#include <iostream>

using namespace std;

int main() {
  string foo;
  foo = "abc";
  cout << foo << endl;
}

我用g++ -O0 -fno-inline -fno-inline-small-functions -fno-default-inline --coverage -fprofile-arcs test.cpp -o test编译程序

运行test 后,gcovr -r . -b 打印:

------------------------------------------------------------------------------
                           GCC Code Coverage Report
Directory: .
------------------------------------------------------------------------------
File                                    Branches   Taken  Cover   Missing
------------------------------------------------------------------------------
test.cpp                                      14       7    50%   7,8,9,10
------------------------------------------------------------------------------
TOTAL                                         14       7    50%
------------------------------------------------------------------------------

main 函数中没有一个分支。例如,第 7 行包含string foo;std::basic_string&lt;...&gt; 的构造函数中似乎有一些 if 语句,但在查看 main 的覆盖范围时,这不是有用的信息。

问题是所有这些内联分支加起来,结果为我的实际单元测试计算的分支覆盖率约为 40%。我感兴趣的是我的代码的分支覆盖率,而不是我在 C++ 标准库中找到了多少分支。

有没有办法完全关闭编译器中的内联或告诉 GCOV 不要考虑内联分支?我在 GCOV 主页或其他地方找不到有关该主题的任何指南。

非常感谢任何帮助。

【问题讨论】:

  • gcov 输出文件显示什么?即使没有内联,所有 std 库代码都将在摘要中归属于 test.cpp,但详细输出应显示分支出现在哪些实际函数中。

标签: c++ templates gcc gcov


【解决方案1】:

嗯,您应该始终仔细检查您的期望。非常感谢@Useless 将我指向gcov 输出本身。但是,您不太正确:分支不属于test.cpp 文件。运行 gcovr-k 并查看所有中间文件表明 gcov 正确生成了诸如 #usr#include#c++#4.9#bits#basic_string.h.gcov 之类的文件,这些文件显示了 C++ 标准库方面的覆盖范围。

但是,test.cpp 中所有分支的原因不是内联。这是例外。由于潜在的异常(例如std::bad_alloc),对标准库的每次调用都是一个分支。将-fno-exceptions 添加到编译器标志会产生以下输出:

------------------------------------------------------------------------------
                           GCC Code Coverage Report
Directory: .
------------------------------------------------------------------------------
File                                    Branches   Taken  Cover   Missing
------------------------------------------------------------------------------
test.cpp                                       4       2    50%   10
------------------------------------------------------------------------------
TOTAL                                          4       2    50%
------------------------------------------------------------------------------

通过cat foo.cpp.gcov 打印更深入地挖掘gcov 输出:

        -:    0:Source:test.cpp
        -:    0:Graph:/home/neverlord/gcov/test.gcno
        -:    0:Data:/home/neverlord/gcov/test.gcda
        -:    0:Runs:1
        -:    0:Programs:1
        -:    1:#include <string>
        -:    2:#include <iostream>
        -:    3:
        -:    4:using namespace std;
        -:    5:
function main called 1 returned 100% blocks executed 100%
        1:    6:int main() {
        1:    7:  string foo;
call    0 returned 1
        1:    8:  foo = "abc";
call    0 returned 1
        1:    9:  cout << foo << endl;
call    0 returned 1
call    1 returned 1
call    2 returned 1
function _GLOBAL__sub_I_main called 1 returned 100% blocks executed 100%
function _Z41__static_initialization_and_destruction_0ii called 1 returned 100% blocks executed 100%
        4:   10:}
call    0 returned 1
branch  1 taken 1 (fallthrough)
branch  2 taken 0
branch  3 taken 1 (fallthrough)
branch  4 taken 0

抱歉打扰了。

【讨论】:

    猜你喜欢
    • 2017-04-25
    • 1970-01-01
    • 1970-01-01
    • 2020-11-07
    • 1970-01-01
    • 1970-01-01
    • 2016-10-08
    • 2016-07-07
    • 1970-01-01
    相关资源
    最近更新 更多