Почему мертвый код clang-tidy.DeadStores вызывает предупреждение в случае RAII с использованием reference_wrapper?

Фрагмент кода:

#include <functional>
#include <iostream>

class OnExit
{
public:
explicit OnExit(const std::function<void()>& f):f_(f){}
~OnExit(){f_();}
private:
std::function<void()> f_;
};

void finish(const bool& details)
{
std::cout << "foo finished with " << std::boolalpha << details << std::endl;
}

int foo(int i)
{
bool details = false;
OnExit action{std::bind(&finish, std::cref(details))};
if (i < 0)
{
throw 0;
}

if (i < 10)
{
return i;
}
int result = i*6;

details = true;

if (i < 100)
{
return result + 5;
}

details = false;
return result*result;
}

int main()
{
std::cout << foo(5) << std::endl;
std::cout << foo(20) << std::endl;
try
{
std::cout << foo(-1) << std::endl;
}
catch (...)
{
std::cout << "exception" << std::endl;
}
std::cout << foo(120) << std::endl;
}

Таким образом, функция finish () вызывается каждый раз, когда программа покидает область действия foo (). Значение переменной ‘details’ читается и печатается.

Но … лягушачий вывод:

2 warnings generated.
<<path>>/neverused.cpp:33:5: warning: Value stored to 'details' is never read [clang-analyzer-deadcode.DeadStores]
details = true;
^
<<path>>/neverused.cpp:33:5: note: Value stored to 'details' is never read
details = true;
^
<<path>>/neverused.cpp:40:5: warning: Value stored to 'details' is never read [clang-analyzer-deadcode.DeadStores]
details = false;
^
<<path>>/neverused.cpp:40:5: note: Value stored to 'details' is never read
details = false;
^

После изменения std :: bind на lambda предупреждений нет.
Мой вопрос: в чем заключается магия bind и / или reference_wrapper и почему clang-tidy этого не понимает?

2

Решение

Задача ещё не решена.

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

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