[clang-tidy] 静态分析器无法发现失败的 `REQUIRE` 没有通过,导致出现假阳性(例如 `bugprone-unchecked-optional-access`)

TEST_CASE("demo_with_optional_safe") {
  std::optional<int> opt;
  REQUIRE(opt);
  CHECK(*opt == 42); // safe: false-positive
}

TEST_CASE("demo_with_optional_unsafe") {
  std::optional<int> opt;
  CHECK(opt);
  CHECK(*opt == 42); // unsafe
}

<source>:28:10: warning: unchecked access to optional value [bugprone-unchecked-optional-access]
  28 |   CHECK(*opt == 42); // safe: false-positive
      |          ^
<source>:35:10: warning: unchecked access to optional value [bugprone-unchecked-optional-access]
  35 |   CHECK(*opt == 42); // unsafe
      |          ^
2 warnings generated.
Suppressed 2 warnings (2 NOLINT).