2

在以下位置使用常量表达式时,我遇到了一个关于 LLVM 覆盖率的奇怪问题if-statement

template<typename T>
int foo(const T &val)
{
    int idx = 0;

    if constexpr(std::is_trivially_copyable<T>::value && sizeof(T) <= sizeof(int)
    {
        memcpy(&idx, &v, sizeof(T));
    }
    else
    {
        //store val and assign its index to idx
    }

    return idx;
}

执行的实例化:

int idx1 = foo<int>(10);
int idx2 = foo<long long>(10);
int idx3 = foo<std::string>(std::string("Hello"));
int idx4 = foo<std::vector<int>>(std::vector<int>{1,2,3,4,5});

在这些中没有一个是sizeof(T) <= sizeof(int)执行的。然而,在第一种情况下,实例化 ( int) 的主体if确实按应有的方式执行。在其他情况下,它显示为已执行。

编译命令行的相关部分:

/usr/bin/clang++ -g -O0 -Wall -Wextra -fprofile-instr-generate -fcoverage-mapping -target x86_64-pc-linux-gnu -pipe -fexceptions -fvisibility=default -fPIC -DQT_CORE_LIB -DQT_TESTLIB_LIB -I(...) -std=c++17 -o test.o -c test.cpp

链接器命令行的相关部分:

/usr/bin/clang++ -Wl,-m,elf_x86_64,-rpath,/home/michael/Qt/5.11.2/gcc_64/lib -L/home/michael/Qt/5.11.2/gcc_64/lib -fprofile-instr-generate -fcoverage-mapping -target x86_64-pc-linux-gnu -o testd test.o -lpthread -fuse-ld=lld

当条件被提取到它自己的函数时,两个int实例long long在覆盖范围中正确显示为执行sizeof(T) <= sizeof(int)部分。什么可能导致这种行为以及如何解决它?它是 Clang/LLVM cov 中的错误吗?

有任何想法吗?

编辑:这似乎是 LLVM 中的一个已知错误(虽然尚不清楚 LLVM-cov 还是 Clang):

https://bugs.llvm.org/show_bug.cgi?id=36086

https://bugs.chromium.org/p/chromium/issues/detail?id=845575

4

1 回答 1

1

首先,sizeof(T) <= sizeof(int)应该在代码的编译时执行,所以很有可能,编译没有针对覆盖进行分析。

接下来,这三种类型中只有long longlooks trivially_copyable,但它的大小(很可能)大于 of int,所以then-clause 不会为它们执行,甚至不会编译。由于一切都发生在模板函数中,因此未编译未执行的分支。

于 2018-08-28T19:49:20.840 回答