<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/89541>89541</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Crash with reference captures in inherited lambda with explicit parameters 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:frontend,
            clang:codegen,
            c++23,
            crash-on-valid
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          cor3ntin
      </td>
    </tr>
</table>

<pre>
    The following valid code crashes

```cpp
int one = 1;
auto factory(int& x = one) {
    return [&](this auto self) {
      x;
 };
};

using Base = decltype(factory());
struct Derived : Base {
  Derived() : Base(factory()) {}
};

int main() {
  Derived d;
 d();
}
```

https://godbolt.org/z/PGW7s531a


```
clang++: /root/llvm-project/clang/lib/CodeGen/CGValue.h:277: void clang::CodeGen::LValue::initializeSimpleLValue(clang::CodeGen::Address, clang::QualType, clang::CodeGen::LValueBaseInfo, clang::CodeGen::TBAAAccessInfo, clang::ASTContext&): Assertion `Addr.getBasePointer()->getType()->isPointerTy()' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/clang++ -gdwarf-4 -g -o /app/output.s -mllvm --x86-asm-syntax=intel -S --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics -std=c++23 <source>
1.      <eof> parser at end of file
2.      Per-file LLVM IR generation
3.      <source>:3:12: Generating code for declaration 'factory(int &)::(anonymous class)::operator()'
 #0 0x0000000003945d28 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3945d28)
 #1 0x0000000003943a0c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3943a0c)
 #2 0x0000000003889f78 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007f6c4c242520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007f6c4c2969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007f6c4c242476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007f6c4c2287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007f6c4c22871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007f6c4c239e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x0000000003c5e24c clang::CodeGen::LValue::MakeAddr(clang::CodeGen::Address, clang::QualType, clang::ASTContext&, clang::CodeGen::LValueBaseInfo, clang::CodeGen::TBAAAccessInfo) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3c5e24c)
#10 0x000000000406b34f clang::CodeGen::CodeGenFunction::EmitLValueForField(clang::CodeGen::LValue, clang::FieldDecl const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x406b34f)
#11 0x000000000406cc1d clang::CodeGen::CodeGenFunction::EmitLValueForLambdaField(clang::FieldDecl const*, llvm::Value*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x406cc1d)
#12 0x0000000004079515 clang::CodeGen::CodeGenFunction::EmitDeclRefLValue(clang::DeclRefExpr const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4079515)
#13 0x0000000004076402 clang::CodeGen::CodeGenFunction::EmitLValueHelper(clang::Expr const*, clang::CodeGen::KnownNonNull_t) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4076402)
#14 0x0000000004082845 clang::CodeGen::CodeGenFunction::EmitIgnoredExpr(clang::Expr const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4082845)
#15 0x0000000003c6f195 clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt const*, llvm::ArrayRef<clang::Attr const*>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3c6f195)
#16 0x0000000003c75a5c clang::CodeGen::CodeGenFunction::EmitCompoundStmtWithoutScope(clang::CompoundStmt const&, bool, clang::CodeGen::AggValueSlot) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3c75a5c)
#17 0x0000000003cd8405 clang::CodeGen::CodeGenFunction::EmitFunctionBody(clang::Stmt const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3cd8405)
#18 0x0000000003cebddc clang::CodeGen::CodeGenFunction::GenerateCode(clang::GlobalDecl, llvm::Function*, clang::CodeGen::CGFunctionInfo const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3cebddc)
#19 0x0000000003d4b442 clang::CodeGen::CodeGenModule::EmitGlobalFunctionDefinition(clang::GlobalDecl, llvm::GlobalValue*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3d4b442)
#20 0x0000000003d45d05 clang::CodeGen::CodeGenModule::EmitGlobalDefinition(clang::GlobalDecl, llvm::GlobalValue*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3d45d05)
#21 0x0000000003d51dad clang::CodeGen::CodeGenModule::EmitDeferred() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3d51dad)
#22 0x0000000003d54653 clang::CodeGen::CodeGenModule::Release() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3d
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMWd9v46gW_mvoC3LkgH8kD3lIk6a7ujN7506r3ccRgWOHOwQswDPp_vVXYKcpmbazrSbSrdLIxofD933ncMCEOSdbDbBA5TUq11es9ztjF9xYqr3UV1sjHhb3O8CNUcp8l7rF35iSAnMjAHPL3A4cytcoX47fVT58eNcNLVJ7bDRgRNd4iuj10Mp6b3DDuDf2AZGZ1B6RCh-ildGAyByjerTFGGMLvrcaB5ikQuUakZnfSYejHweq-aEHxofH0TCq1483yXX87l0gds3cgFIAV_6hA0RmJ4SIzMPn2NF523OP12DlNxAY0eXY_wRhfDb0fbR4xmnsVK9fQhcE3DOpj45-GAGLE9FxuIRsGpinrnfedw7RJSIbRDatEVuj_MTYFpHN34hsPt3-VbuSTlkS4uf8ccV0i8h1-NAlRmRjjfGIbJT6ts86a_4LPNyOdhslt4hsVkbALehwdfsnUz1MdoguSV0HH99MyLNoT5eILo_G8eZDNB-upZZeMiX_hju57xSMz8jspc5LISw4h8jqqf__9Ezdx7CvfjJsiOPvujGvWd5fL5dLzsG5ZyyXd_croz0cQtbHcC3x0jmwXhqNUZUHhJMWfBjpk5Hagx0CmyF604IfcB4bpBtt7h-TqsYNkwrEZAjPpw83y7sb7PrtXnrM8LZvsYXOWI-9wWdpIP2u30642Y_h-zGK0rkeHCIbzLTAUnPVC8B-N5YEvGX8q7eMRy07C501QQkQ2JneDs2hJ3POcMk8CGx7jR23svMj5DvP-Fcs-n0XkMWmfILy-SdrWsv2mNm234P2bsw308X8MvtOKrAZHDplbJBtyLmMHfV1mbe9_orIZhsm1eZJ6uKsFd-ZbbICZy3OTPDLui54733X-4nD2T5ogbPsMKsy5vaZe9CeHRBdhwgonN3hLGs5z7wxiu_CvKXrV-EFY6dZ53bG46zhRhmbCclabZyX3OGs0SaLwqbNzgtE13yATihGdDXKS28GwaZBMERXYBpEb3DHrAOLmcegBTYNbqSCwZJEacFmoQl_-PDnR_z7Z9yCBsuCaIMVHf2dhqFLiuhySkIQbkdr3Q7LQ2NsrKVscIERqZOKjx-TP-bejGmjH_amd2GqhOk5PjJdcGvsY24fizqhOc4P-fGPzotSkBmOORt7ugc3XHyyUvuYUfdDWs5ORpZ9_2Kct8D2EdAKx9VojuN4vySvELnODyO8QOER__QMP2U5fw7_SgHTffdvfSdbzRQis17HlVtgZcIol0AbwCRoSYJ2Nps39QyvQmJ-Bm6-gX0Y4P3GtFCxYo1KJjZj5ZuEHQJd5vH_cQg6DlE3FS84KUhJ8pHasGQcZtWXqsiU1P0ha3U_POATZyZVBB67JLCL1Oe8mjccd35ngYkvX6VSbxsg9k8GKM9BF3WFWxe1eCv4oq4S31Xqm8zqhmK2DZX7TZ5jx8Rz_YPn6fbNPqfbxOcs9UnnMK_e5jN2SXzOk6zjJZCC_6N9wUf2FcJC-qt2Amer9iV2Cb9-Gg96PQoaak5SNIu82tKieRHheLPpNY_rQGy82Us_kNwYu5GgxCsaH7djiQqx0xq4wtxo5xFZXoD8yC0hPz0jz_n05V3mz8l_YPutYM9I8BzB1ZPSPopyIdqBVUKbpLTreTkt30478PkMzXMb7PHRzaGzlw1phJ5wo2fcqiIn7w3pb6A6OKsYZ5xens3_0ua7_sPoP3qlvlxiCzGSS9gXKfsZmRXviOzvrTYWRKD6KvkLUIqIE0plWvGrZjp_B6U7v_cpl9DywnRcWssePkOD6Oppxff-CXl6c5ECHekl_KuUf12y8uUV70X-K7PvTK9FYP2X9DvT-ztuuh9ejE9WR6pxcdsao15L9mXbxhlzp8xFdssD7USXOtVFzIr8HXlxbLk24uHV_LgApwg54TRLOcFWiDfGenztgvAw5XOrzJapUJnTZH_s_3o5W90eDcPm5ElyXECYyDsRJt32iWJbFD-t6h-N6BWcQj0IcGSxhiYeFQXi_0Smof2CC_XI6iltkp_RLsXPc_x52v-PdAObhG76AizKqWA_3Y6d011DA9aeTlp_NeoIKkFNzlAXVUnfgvozKBjOgi8C-OyE9kosqJjTObuCxbSe0jovCMmvdost1KKELZlWJZ2XZVXnhAArikZQNi3n4kouSE6KvCDTKSnrPJ_MoKYFqeqqyQtaEoGKHPZMqklIo4mx7VU8GlzM5mUxvVJsC8rF3xYIOcrT2PAOpQUiBJHVkwfcCGhBn9qPB1unlngGZnQWf4MIzeX6yi7i4eS2bx0qciWddyc0XnoFi3j8gL9Lv8M25ApoDpizzvcWHJYaS70DKz0IrOJ-frANIZBcetwxy_bgwTp81Vu1eP95adTlfwEAAP__almxgw">