<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/142835>142835</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Crash in constant evaluation of explicit object member assignment operator
</td>
</tr>
<tr>
<th>Labels</th>
<td>
clang:frontend,
c++23,
crash-on-valid
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
cor3ntin
</td>
</tr>
</table>
<pre>
```cpp
struct MoveMe {
MoveMe& operator=(this MoveMe&, const MoveMe&) = default;
constexpr MoveMe& operator=(this MoveMe& self, MoveMe&& other) {
self.value = other.value;
other.value = 0;
return self;
}
int value = 4242;
};
struct S {
S& operator=(this S&, const S&) = default;
S& operator=(this S&, S&&) = default;
MoveMe move_me;
};
constexpr bool f() {
S s1{};
S s2{};
s2 = s1;
return true;
}
static_assert(f());
```
`
clang++: /root/llvm-project/llvm/tools/clang/lib/AST/ExprConstant.cpp:6656: bool HandleFunctionCall(clang::SourceLocation, const clang::FunctionDecl*, const {anonymous}::LValue*, const clang::Expr*, llvm::ArrayRef<const clang::Expr*>, {anonymous}::CallRef, const clang::Stmt*, {anonymous}::EvalInfo&, clang::APValue&, const {anonymous}::LValue*): Assertion `This && (MD->isCopyAssignmentOperator() || MD->isMoveAssignmentOperator())' failed.
`
https://compiler-explorer.com/z/1nxjPP5Yh
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMVF2PrCgT_jXlDekO4kfrhReOPeZ9kzPZyfbJJnt1gordnCAYwM7M_voNqK2zO5M9CQlQ9VQV9VQV1Bh-lYwVkDxBcg7oZG9KF63SkbRcBo3q3gtI8bzacQRcGqun1qIXdWcvDMHpCXCJliuQFKmRaWqVhugMJLM3bjYlkAq1Shq7F-UIojPqWE8nYSHy_jyIvY36Fx0jw0TvvO_8pkjZG9M-wPxKBzreqZiYD-nV830Ji9Be6EF4U2lmJy3nUIsQTme_c2nRZhOTmMwIp58PD-IuD84uX2R1-cDU5UuS_tPBvH9uvasaGtSd_RjYv5-8laFRSqAeSLajE12QCd15tfAS8lFiiI9twkWwkGj1tIu38EMtb39QY5i2QLIlmlszcO3DGT4fWkHlFciTW1GJgNRaKQukFuI-HEatfrJ2vQKprVLCAKkXs1rwBkhdXr4DqZ_fRl25hKm0R9frUZmmSerc-uz_R2UnWD3J1nIlKyoEkGx2FJUQlRc16ZZ9Uy11-q2AO8hqfGatAFJuGDg9Uank-6Am48lz6G9_-Nbc43a-3HMXnU_OC0ut6fvvrIeo-tIgenY2n0Z0STnrz-Jd7GCXeJ_aPt-p-L_s1dq8m2X5uiSS_nrCuaO99K3AlUSQ4u-us5fBBpK9nA8QPXNTqfG99N_YwKT9bR2GtVErOFVoxbp2_wrr1wn1lAvWHR_9Bbi8WTsa90BSu85Rw8gF0wf2NgqlmT62ynXWX0DqUL79fH1N_rwFXRF1eZTTgBXhKc5xGoUxDm4FzkjWdR0muOkzmrU4w1GMcc56mnXxqQl4QTBJcIrjMEsIwcf8hMMwpaxJ8r4P0xxizAbKxdEV_aj0NeDGTKwIY5JFSSBow4Tx_zkhaw16raRlsgNCgFROMU8MiTaJpuZ2UPJwp4J7YHIOdOGnqJmuBmIsuLFmC2u5FayonB3ici4rlRYx9w_6EUCqR44l3nKLVOMmEQ1saJhG9FGFx_8VTFoUH7m-cnubmoXgZYL_Mdc-eTfRS_73gvwdAAD__-zJDUQ">