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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
