clang-tidy fix for cppcoreguidelines-pro-bounds-constant-array-index generates invalid code

With 1.10.1 (currently unreleased), using "C_Cpp.codeAnalysis.clangTidy.config": "{ Checks: 'cppcoreguidelines-pro-bounds-constant-array-index', CheckOptions: [{key: cppcoreguidelines-pro-bounds-constant-array-index.GslHeader, value: '<gsl/gsl.h>'}]}"

with code

#include <array>

int func(int i)
{
    std::array<int, 2> vvv;
    return vvv[i];
}

generates the incorrect code return gsl::at(v, i);.

It's already reported at https://github.com/llvm/llvm-project/issues/37858 .

Bug#2: There's another related bug at https://github.com/llvm/llvm-project/issues/55088 , when there's an #if/endif at the top of the file.

まず、issue にある clang-tidy の設定と C++ の例を再現し、生成された fix を LLVM の issue 37858 および 55088 と比較します。vscode-cpptools のコード解析の fix パスを追跡します。完了の条件は、報告された配列インデックスのケースで無効なコードが生成されなくなることです。先頭に #if/endif があるバリアントも含みます。