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

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

0 голосов
/ 30 апреля 2018

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

#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 этого не понимает?

...