Takuya Shimizu

Smaller reproducer: ```c++ struct Base{}; struct Foo : Base {     constexpr Foo() : {} }; constexpr Foo v; ``` Link: https://gcc.godbolt.org/z/KejaW9qfK The stack trace is a bit different, but the...

```c++ struct A { A()=delete; }; struct B : A { constexpr B() {} }; constexpr B bb; ``` Link: https://godbolt.org/z/xxM9cdj78 This piece of code also crashes for the same...

I disagreed with the fallback at the review because the old diagnostic message was invalid for the regressing case, and the assertion failure seemed like a symptom of bugs in...

Proposed fix: https://reviews.llvm.org/D153969

/cherry-pick 24c91d443222bdb20205630d300ae61bfa07067e

/branch hazohelet/llvm-project/release/17.x

Proposed fix: https://reviews.llvm.org/D152495

I'll work on this. We can also add `i && !i` as a tautological comparison.

Proposed fix: https://reviews.llvm.org/D152093