[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