Я столкнулся со странной проблемой с охватом 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?
Есть идеи?
РЕДАКТИРОВАТЬ: Кажется, это известная ошибка в LLVM (пока не ясно, если LLVM-cov или Clang):
https://bugs.llvm.org/show_bug.cgi?id=36086
https://bugs.chromium.org/p/chromium/issues/detail?id=845575
Прежде всего, sizeof(T) <= sizeof(int)
должен выполняться во время компиляции в вашем коде, так что скорее всего, компиляция не профилируется для покрытия.
Далее только из этих трех типов long long
выглядит trivially_copyable
, но его размер (весьма вероятно) больше, чем у int
Таким образом, предложение then не выполняется для них и даже не компилируется. Поскольку все происходит внутри шаблонной функции, неисполненная ветвь не компилируется.
Других решений пока нет …