[clang] [NFC][analyzer] Cleanup checker calls in `ExprEngine::ProcessStmt`, `ExprEngine::Visit*` (PR #218691)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 1 08:08:14 PDT 2026


https://github.com/steakhal commented:

Claude thinks that this is still not NFC. Allegedly, this code behaves different after the patch.
```c++
// clang -cc1 -analyze -analyzer-checker=debug.ReportStmts -fcxx-exceptions -fexceptions -std=c++17 repro.cpp

namespace std { class type_info { public: const char *name() const; }; }
struct S { virtual ~S(); };

void typeid_expr(S *s) {
  (void)typeid(*s).name();
}

void noexcept_expr(int x) {
  bool b = noexcept(x + 1);
  (void)b;
}
```

https://github.com/llvm/llvm-project/pull/218691


More information about the cfe-commits mailing list