Охват LLVM перепутан с if-constexpr

Я столкнулся со странной проблемой с охватом 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

1

Решение

Прежде всего, sizeof(T) <= sizeof(int) должен выполняться во время компиляции в вашем коде, так что скорее всего, компиляция не профилируется для покрытия.

Далее только из этих трех типов long long выглядит trivially_copyable, но его размер (весьма вероятно) больше, чем у intТаким образом, предложение then не выполняется для них и даже не компилируется. Поскольку все происходит внутри шаблонной функции, неисполненная ветвь не компилируется.

1

Другие решения

Других решений пока нет …

По вопросам рекламы [email protected]