web-dev-qa-db-ja.com

clang-tidyのシステムヘッダーを無視する

tldr;> clang-tidyのシステムヘッダーから警告を非表示にするにはどうすればよいですか？

システムヘッダーでclang-tidy警告をトリガーする、次の最小限のサンプルソースファイルがあります。

#include <future>

int main() {
  std::promise<int> p;
  p.set_value(3);
}

Ubuntu 17.04でclang-tidy 4.0.0を使用してlibstdc ++ 7.0.1で呼び出す：

$ clang-tidy main.cpp -extra-arg=-std=c++14

利回り

Running without flags.
1 warning generated.
/usr/lib/gcc/x86_64-linux-gnu/7.0.1/../../../../include/c++/7.0.1/mutex:693:5: warning: Address of stack memory associated with local variable '__callable' is still referred to by the global variable '__once_callable' upon returning to the caller.  This will be a dangling reference [clang-analyzer-core.StackAddressEscape]
    }
    ^
/home/user/main.cpp:5:3: note: Calling 'promise::set_value'
  p.set_value(3);
  ^
/usr/lib/gcc/x86_64-linux-gnu/7.0.1/../../../../include/c++/7.0.1/future:1094:9: note: Calling '_State_baseV2::_M_set_result'
      { _M_future->_M_set_result(_State::__setter(this, std::move(__r))); }
        ^
/usr/lib/gcc/x86_64-linux-gnu/7.0.1/../../../../include/c++/7.0.1/future:401:2: note: Calling 'call_once'
        call_once(_M_once, &_State_baseV2::_M_do_set, this,
        ^
/usr/lib/gcc/x86_64-linux-gnu/7.0.1/../../../../include/c++/7.0.1/mutex:691:11: note: Assuming '__e' is 0
      if (__e)
          ^
/usr/lib/gcc/x86_64-linux-gnu/7.0.1/../../../../include/c++/7.0.1/mutex:691:7: note: Taking false branch
      if (__e)
      ^
/usr/lib/gcc/x86_64-linux-gnu/7.0.1/../../../../include/c++/7.0.1/mutex:693:5: note: Address of stack memory associated with local variable '__callable' is still referred to by the global variable '__once_callable' upon returning to the caller.  This will be a dangling reference
    }

システムヘッダーの警告を非表示にします。私は次を試しました：

$ clang-tidy -extra-arg=-std=c++14 main.cpp -header-filter=$(realpath .) -system-headers=0

しかし、警告は引き続き表示されます。

c++clangclang-static-analyzerlibtoolingclang-tidy
18
Heinzi

私もこの問題に遭遇し、それを解明しようとして少し時間を費やしましたが、clang-tidyでこのタイプの警告を無効にする方法がわかりませんでした。

同様の問題に関するLLVM課題トラッカーに関するこの議論 を読むと、clang-tidyの観点からは、警告が実際にmain.cppにあるという印象を受けます。 set_valueへの呼び出しはそこからです。

私の回避策は、clang-tidyの静的分析チェックを無効にし、 scan-buildユーティリティ を使用してclangの静的分析を実行することで、これらの問題を回避できるようです。たとえば、main.cppを使用する場合：

$ scan-build-3.9 clang++ -std=c++14 main.cpp 
scan-build: Using '/usr/lib/llvm-3.9/bin/clang' for static analysis
In file included from main.cpp:1:
In file included from /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/c++/6.3.0/future:39:
/usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/c++/6.3.0/mutex:621:11: warning: Address of stack memory associated with local variable '__callable' is still referred to by the global variable '__once_callable' upon returning to the caller.  This will be a dangling reference
      if (__e)
          ^~~
1 warning generated.
scan-build: Removing directory '/tmp/scan-build-2017-12-02-112018-13035-1' because it contains no reports.
scan-build: No bugs found.

アナライザーは、システムヘッダーで同じエラーを検出しますが、最終レポートにそれを含めないほど賢いです。 （「バグは見つかりませんでした」）

modernize-*やreadability-*などのスタイルガイドタイプの警告に関心がある場合は、clang-tidyを個別に実行する必要があります。

3
Jason Creighton