問題タブ [clang-tidy]

Windowsで使用しようとしていますclang-tidyが、これまでのところ成功していません。

前提条件として、 LLVM 3.9.1をインストールしました。

私の通常のコンパイラはMSVC 2015で、ビルド システムはQBS 1.7.2です。私が生成した QBS を使用しますcompile_commands.json。もちろん、そのファイルには MSVC 2015cl.exeフラグ/引数が含まれています。以下は、1 つのファイルのエントリを示す抜粋です。

ジョブ/プロジェクト フォルダーに切り替えてC:/some_ci_job_folder/実行中

次の警告と1つのエラーが表示されます。

clang-tidyがオプションを正しく解釈しない理由cl(デフォルト) について何か考えはありますか?

さて、グーグルで調べたところ、追加--driver-mode=clすると改善される可能性があることがわかりました。しかし

まだ私にくれます

したがって、インクルード パスの引数について文句を言うことはもうありませんが、それらの引数は単に無視されていることがわかりますか?

ところで：私clang-tidyは内から実行しますDeveloper Command Prompt for VS2015。これまでのところ、これが必要かどうかはよくわかりません。

任意のアイデア...問題を解決する方法、インクルードパス引数の評価をデバッグする方法...?

12 年間の中断の後、C++ 開発に戻ります。私は JetBrains の CLion ソフトウェアを使用しています。これは、私のクラス設計で起こりうる問題について多くの情報を提供してくれるので素晴らしいです。クラスのコンストラクター throw ステートメントで表示される警告の 1 つは、次のとおりThrown exception type is not nothrow copy constructibleです。この警告を生成するコード サンプルを次に示します。

このコードはコンパイルされ、単体テストを実行できます。しかし、私はこの警告を取り除きたいと思っています (たとえコンパイルされたとしても、私が間違っていることを理解するために)。

私が望むものが可能かどうかはわかりませんが、とにかく聞いてみようと思います.

静的分析を通じて、不正なロジックが原因で未定義の動作の明確なインスタンスが発生する可能性がある警告を発行するために、clang-tidy にヒントを与えたい Boost ライブラリ コードがいくつかあります。https://akrzemi1.wordpress.com/2016/12/12/concealing-bugs/は、このようにclang-tidyがトリップする可能性があることを示唆しています__builtin_unreachable()が、私はそれを実現できませんでした（ただし、UBサニタイザーは非常にうまくトリップします） :

上記のコードでは、静的アナライザーは を呼び出す必要があることを明確に伝えることができます__builtin_unreachable()。これをclang-tidyに報告してもらいたいのですが、clang-tidy-5.0 -checks=* -header-filter=.* temp.cpp -- -std=c++17何も報告しません。

を使用する必要はないことに注意してください。これは__builtin_unreachable()、Andrzej の C++ ブログが提案したものです。clang静的アナライザー、またはMSVC静的アナライザー、または理想的にはclang-tidyを取得して、UBが静的推論によって明らかに発生し、コンパイル時にフラグを立てなければならない時期を推測するための手法は、私が探しているものです。

私が探していないのは、ユースケースに関係なく、静的分析中に常に警告を発する構造です。静的解析だけで静的解析の警告が表示されるようにしたいのですが、コンパイル時に、静的に推定可能な論理エラーが発生した場合に UB が呼び出される可能性があることが明らかです。

よろしくお願いします！