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

    <tr>
        <th>Summary</th>
        <td>
            lambda capture of constant block address generates bad llvm ir.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    The following c++ code generates invalid LLVM IR.

```c++
int g(const void*);

int f()
{
    static const int offsets[] = {
        int((char*)&&label1 - (char*)&&label0),
    };
    char *const base = (char*)&&label0;
 int offset = g(offsets);
    auto get_target = [&] {
        return base + offset;
    };

    goto *get_target();

label0:
 return 0;
label1:
    return 1;
}
```

IR generated at -O0

```llvm
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
target triple = "aarch64-unknown-linux-gnu"

%class.anon = type { ptr, ptr }

@_ZZ1fvE7offsets = internal constant [1 x i32] [i32 trunc (i64 sub (i64 ptrtoint (ptr blockaddress(@_Z1fv, %10) to i64), i64 ptrtoint (ptr blockaddress(@_Z1fv, %9) to i64)) to i32)], align 4

; Function Attrs: mustprogress noinline nounwind optnone sspstrong
define dso_local noundef i32 @_Z1fv() #0 {
  %1 = alloca i32, align 4
  %2 = alloca ptr, align 8
  %3 = alloca i32, align 4
  %4 = alloca %class.anon, align 8
 store ptr blockaddress(@_Z1fv, %9), ptr %2, align 8
  %5 = call noundef i32 @_Z1gPKv(ptr noundef @_ZZ1fvE7offsets)
  store i32 %5, ptr %3, align 4
  %6 = getelementptr inbounds %class.anon, ptr %4, i32 0, i32 0
 store ptr %2, ptr %6, align 8
  %7 = getelementptr inbounds %class.anon, ptr %4, i32 0, i32 1
  store ptr %3, ptr %7, align 8
  %8 = call noundef ptr @"_ZZ1fvENK3$_0clEv"(ptr noundef nonnull align 8 dereferenceable(16) %4)
  br label %13

9: ; preds = %13, %13
  store i32 0, ptr %1, align 4
 br label %11

10:                                               ; preds = %13
  store i32 1, ptr %1, align 4
  br label %11

11: ; preds = %10, %9
  %12 = load i32, ptr %1, align 4
  ret i32 %12

13: ; preds = %0
  %14 = phi ptr [ %8, %0 ]
  indirectbr ptr %14, [label %10, label %9, label %9]
}

declare noundef i32 @_Z1gPKv(ptr noundef) #1

; Function Attrs: mustprogress noinline nounwind optnone sspstrong
define internal noundef ptr @"_ZZ1fvENK3$_0clEv"(ptr noundef nonnull align 8 dereferenceable(16) %0) #0 align 2 {
  %2 = alloca ptr, align 8
  store ptr %0, ptr %2, align 8
  %3 = load ptr, ptr %2, align 8
  %4 = getelementptr inbounds %class.anon, ptr %3, i32 0, i32 1
  %5 = load ptr, ptr %4, align 8
  %6 = load i32, ptr %5, align 4
  %7 = sext i32 %6 to i64
  %8 = getelementptr inbounds i8, ptr blockaddress(@"_ZZ1fvENK3$_0clEv", <badref>), i64 %7
  ret ptr %8

9: ; No predecessors!
  indirectbr ptr undef, [label <badref>]
}

attributes #0 = { mustprogress noinline nounwind optnone sspstrong "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+fp-armv8,+neon,+outline-atomics,+v8a,-fmv" }
attributes #1 = { "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="generic" "target-features"="+fp-armv8,+neon,+outline-atomics,+v8a,-fmv" }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"frame-pointer", i32 1}
!4 = !{!"clang version 17.0.6"}
```

This seems to be caused by the constant capture of the lambda, making the base_addr non-const or removing the lambda fixes the issue.

Error from assertion enabled clang 18 from compiler explorer
```
Referring to a basic block in another function!
 indirectbr ptr undef, [label %label0]
fatal error: error in backend: Broken module found, compilation aborted!
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-18.1.0/bin/clang++ -gdwarf-4 -g -o /app/output.s -fno-verbose-asm -S --gcc-toolchain=/opt/compiler-explorer/gcc-13.2.0 -fcolor-diagnostics -fno-crash-diagnostics <source>
1.      <eof> parser at end of file
2.      Optimizer
 #0 0x00000000038d53d8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x38d53d8)
 #1 0x00000000038d30bc llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x38d30bc)
 #2 0x000000000381c016 llvm::CrashRecoveryContext::HandleExit(int) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x381c016)
 #3 0x00000000038ca3be llvm::sys::Process::Exit(int, bool) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x38ca3be)
 #4 0x0000000000c0e9fa LLVMErrorHandler(void*, char const*, bool) cc1_main.cpp:0:0
 #5 0x00000000038269f3 llvm::report_fatal_error(llvm::Twine const&, bool) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x38269f3)
 #6 0x0000000003826b58 (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x3826b58)
 #7 0x00000000032f4623 (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x32f4623)
 #8 0x0000000003b3d1be llvm::detail::PassModel<llvm::Module, llvm::VerifierPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x3b3d1be)
 #9 0x00000000032c3b0c llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x32c3b0c)
#10 0x0000000003b4d4d2 (anonymous namespace)::EmitAssemblyHelper::RunOptimizationPipeline(clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>&, std::unique_ptr<llvm::ToolOutputFile, std::default_delete<llvm::ToolOutputFile>>&, clang::BackendConsumer*) BackendUtil.cpp:0:0
#11 0x0000000003b503fc (anonymous namespace)::EmitAssemblyHelper::EmitAssembly(clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>, clang::BackendConsumer*) BackendUtil.cpp:0:0
#12 0x0000000003b50a31 clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>, clang::BackendConsumer*) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x3b50a31)
#13 0x000000000415e58c clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x415e58c)
#14 0x00000000060f0509 clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x60f0509)
#15 0x000000000415d928 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x415d928)
#16 0x00000000043cbfe9 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x43cbfe9)
#17 0x000000000434ba9e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x434ba9e)
#18 0x00000000044ab01e clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x44ab01e)
#19 0x0000000000c10cd6 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0xc10cd6)
#20 0x0000000000c084fa ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#21 0x000000000419ee49 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::'lambda'()>(long) Job.cpp:0:0
#22 0x000000000381bf54 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x381bf54)
#23 0x000000000419f43f clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const (.part.0) Job.cpp:0:0
#24 0x00000000041671c5 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x41671c5)
#25 0x0000000004167c2d clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x4167c2d)
#26 0x000000000416fb65 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0x416fb65)
#27 0x0000000000c0e06c clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0xc0e06c)
#28 0x0000000000b05134 main (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0xb05134)
#29 0x000077bf59229d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#30 0x000077bf59229e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#31 0x0000000000c07fde _start (/opt/compiler-explorer/clang-assertions-18.1.0/bin/clang+++0xc07fde)
clang++: error: clang frontend command failed with exit code 70 (use -v to see invocation)
Compiler returned: 70
```



</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkW0tz4ziS_jX0BUEFCT5EHXyQZXu7eqqnK8qePsxFAZJJGVskwAVA2Z5fv4EHKUKWXO4Oa2Nix1Eli2Am8ssHMhMgTaSkOwZwHWQ3QXZ7RQb1xMX16_BKqyfCr0pev14_PgFqeNvyZ8p2qArwTYBvUMVrQDtgIIgCiSjbk5bW6OvXP35DX74vgug2iNbuM4_sP8drRylTaBfgouJMKrTntA7wOsCrILmZM2uyJsCFvmOHl-4-QghJRRStkJ1Dk_KmkaCk1QcFyS3y6PUPZcrMV1RPRDiZOA9w3pIS2hiF6Ny9yFxuDtMFy9sJrr7WXCjAa4unJBIshLPzTcwH7IZDG2ZUZWYSLYMMiqMdqK0iYufItbo4NxofaytADYI5LPjGCfFmnGtxGN1xxbUuB1HOCz7pqMjI6eQdVLNWPRAcMMWHqZa3R6EyF_Hl-xRoNSIKhb9HJ8OrbfedHXKmqYkiLXnlg7MSxhB2QbKGkBZBstb_ExzSOA-StfnQV3kaJOs8DWmMNUGMi5Al2I496DGMPSFK0L4d_YwJEdVTnoYD-8H4MwtbyoaXcMeGic194qxqiZQLwjgzzOq1B-0-1CsR4I3-hQ52sZ9ptP3nP-Nmf7d0wWE4KVMgGGntMiBM6XiI0QuiCTYxkd3QBCMlBlbpWKR5iuRQjl97JRTX8RfgQgstW179IHUtQErtci00bvYaU4CzWC8CpDjShjLLAf35SVZHc9iLBOuL7FYTkZbuGEo97ZMbdD-wSlHO0FopIYNkjbpBql7wnRaEGKespQwQ4wN7pqxGvFeMM0BS9lIJznZ2rhoaTVZLvm15RVrDUEOjQaADWB3vKMBJNF9X2gjG7qTVvBb3EWJDhedUzquWqphRJR-aK51TecHzdlapuAD0MS9MkYYzfBpfZiRXpD1lpN23v-2dx8ebb4N0St3IQTP8OMtmwpPTauc2G4KCFjpgSlNTVmpR8q0Z3FypCcoEo-jw5dgyo77ue35a9-XniI999ecqu-_L0_KLt7Y3DGkUYOys_Pe_JQFOt1HV3u11kvG9wThjQ9uOc6MaBDQggFVAyhYCXMS5DfIsnfmpFMjkbRPsyXwVrvSi00uxF1BLl_Y0jUsPyVtXRzNF47d-9mTFc1mxrivoz_2cgvYGUfw-ovcgxaf1j6Y1NcsSNgG0nNTjwn5HpgA1LozYKxVxclJkNJdk00P_RK2E7MZEj8MUIZ1UHTVlNRVQqVJMYEzABtnNQWWjzXS5OroaJzuqTjVULRHwoSzh8mp84fw-VcbLr55oKhWWGB-VjA8UAy87RD_PzMkhvOY9w1n69K9ks-R8NpuKwwkI6WkI-bkVkZ3O_zYBS3iZ1kY-9g3HWfKMXrQYpbwthu-EwQYFyaYktYAmSO5mjY5J1rMl6_AXJ3Pk37lZs1CBlFzIAMdnlqFbFPNlOBd_ZsURpQQtB73_sk2K3e786TWjG9dGkA7Cnpslo02Q3AYYM87CFkgTYG18zHioBOl7ynZhR9TTRKfEAI5GKlL9CHvBFVSKi7AcmgZEKOm_YCIvHK1tocOqH6ZbptOnlU_QAFGDADlRBfim6UMiur12b4BvGJioDfANH5RWNySKd7SSdnBfkABvwqbbm4lHM_oGjCcD_qfaY9ybxHorteh4PbSwaFqyG6tOrJMaHqtdHLvf2P1ODjO5OWgNTPnM6Vtx0Yxiqs_6EuNnvXPejtZyKSidy4mPmIsD87cvG_QV9tDOePGcFx_xLue8d-_zJud53wTPlDpn_KlvlgDjqiVsh_YgpC6B8XIRLXLN_e7u-PGJSiQBOqkzYwmoIoOEGpWvSD3BYU9YkV7HDOKNGW9JV9Y6CFBHflC2M4MlkbDVKVJXvtCeYnCBBHR8P9JYRtTQF5BmgEo5gHfgcycEF6gRvENEShCmogPTJbNGVsm4sPcr3vW0BYHgpW-5AHFS0--66gqDgCOiYdLK5nNEGSKMqycQqHHNwyHN_jzL4swdYIwptiGKtAi0BjqLmy9aSEmqH8BqPXYj-A9gyC4P1Og6oye1qhCjLCm5UFBPSL59vVs_3Oldd0eV1mDYIQE9F0pr9KRUr5udAN8H-H5H1dNQLireBfjenGnYXzqH_DdUKsD3xuQywPeIsBpRVrVDDdbdgsgnA1YJUoGpfQJ6wXUJghpJPgg7rDmJlLyi5lxFDAzJStBeOVc-6LyF6qHrp7ObaBFEq2-6sJAOEbEbdLU1XVqA73mvkY3-DCd_4nvj8XCKBBnGxSJeRAG-Lykb77tjxXBXPxPRhCkKdyjkemLS93r6QfWDWkgUNoyHexAllxAS2aHwAYXhrqpCxXlbPRHKTE58B5AmjpMFXkQobCrechHWlOwYl4pWToIxpDccJBtnveTOdebaHkGyAa6rNOqJkCAQUQh0lW1QQ1uwlFhT_t4r2tF_jTFua3b0Eo0_SVFnSV0g4_NkHSRr-Srtl2-CMmU88mjdWhyIBHnecqkEkM6cLW7sCafuRovP8kuAb6IXh--wTTQ101cgicrqlAKbFggb-t_ZA90x0ga4GJg5e65Rq7v2y8DVaDy42IcbV1Gcz-ButNO_Q8X3IF43nCl4UfbOL4TVLdy9UBXg4mL2NXg8wIkPuCJJCacDxKxwezGHuUEl5-1l4Bo0Htx0DjeqIlg1xDwTMCXBGlEEuJiO-zf2zNyUGjcw4q2qeNsRyhZVr1NQZP5PkjLfMDhfNcnMMDa5bk0239psPl8zj8-6I3ZS88tayUDzrJQfYy_1HuYCgsvMX61LTzBu0hwnny_YzusJLjzBZVLHXhjXoAhtXSQTKX_jNbRBsjlQ_GaKrTmImMb-AEEbCkJz-He-CZAg9lCvGWlfJRzdtqNU_kYY2YE4JSi5M_9MKA3Mi50RSv5XJsX5RYLMWtQz-cr3dZWU0TwzGzOfh_r_3F7WHIdnijiJ_VJcpnVa6y1XQRhnrx0fJGKkA9mb8rtyibajai0ldGX7-gu0vVZDj38fmCv2ph38RnvQe7AAFxaJIbqxHeXa9awbJFVt7wyM_s8A2175VtGFvn8WVMF2LPczphoaMrRqW0MLCn7CaN1lXfIzsY-ct7-b7uue2sj4iMwjrrnAtzbYcCaHDtwTUuRG_6Fo-zb5a1_5XUeZRUlT_VVfzcf_7Rz0GcbCx8YiSTyfVhvATWId5lvh9tAC37GdieJjL_4CpAbxAERUTzruOZNebZ2RbngN_wXsJ1SP5pjjJ0RfCdudIjmY9UHpPeN3u-d7m5DWp-178PeB5QtTYpB0D9-h2TD17cjx-8Z1XjrWH16lgs65798yZD6__Jig8tKp17imcQZZUb2HbNZlPwrCpN1I_4PRo3BcPzyOjfllaoPD6injtbV51ERZtJor803v_NYPjz7UB-iI111erst0mDzQ2ZEH6hUuTixFF-5u4wDVoGBcAcWF7KuReFC9hjhNqrIBz773Qrt8WppzrJdCaUF4KJc-yrQkK_ANauV-MSduFZy26Xm1LhTPFqinideOpykpo9jTxGE-KLTnFXmL_43Cl0kvDqCnwcrfaMZRVefTjtFrP9dCkFddA5KNv9V0yfJ4-3l4E-3TFbEw53rg6GjDXKQNQaP5N_GjyRczbR460rZ_mCcJX7q-PanUURXUc7iUOauTK1QLugdxsmfAsZ87VgDpylhmNu943Lo1D6k25u74ipjbClSkbUtS_dg2TCM9RI6V7aJoE2941xFWHy_sk06ciiM3tZ_4-8RDyZ_K4cSw3VYvL-YBfpCszRmyLp1UY9rY9_NmxOaxgxKEKjnePprOPstVXMzua5LZIYaJImtzwxLg5XjuvjyYChfjEdivvDztj-Nzq7LJ0g-dW30f2ANpwLS2H3XdZY62NGQv9I86hFWTJg36T44RbfVFT4RaRO8GQ-obLl_GVXbWcIeHEsep3VjTy-dHjJrgXPP9Dun66ERt0u2T2wijtxdR2bFhKlz_WcP8ykt53iq_8vIrlercfuNNcp4CoSdUx4A7kv2oIee75subs8K1Z878yJxNmZ-Ns9vZd697ONE2nHPD_6E5L9HWGvt4Blwen4ZHudsDjW3KqMD4dvj6Y6X70xsTA83D7rWIURllcZIijfrThdu5PeFjd7dclk22wnhVryInt6VlgO9finybp_O3q_WNaiH5IjeTGpb5nNOjtmlOSCO03Wq2rVREqO1Muw9LgdSXEh-5fNnUgOz8F_Cann0SP789PrnWX-wD98btNVDlVkVDaAs1eqbqCcELVfYvOpbGzoMEFO6R4kgCIDpr_52ssfN3r_KDeS6-jN55TcF-XtXXSb1KVuQKruMlTrJ8meTF1dN1GUUZibJVWqdJTeosbcoYY8jSuomjfJVf0Wsc4TQq4iTOU5wWizKPq5rgOm3yKMJpFqQRdIS2C_PeCRe7K_OU_DqOkiRaXZnH_NL8oQvGDJ7tawsBxkF2eyWuzQP2ctjJII1aKpU8TKOoauHavfYwe4tierPCvojg3iyb_U1MSWy7jKhYXA2ivf7rz_mdEvtr_L8BAAD__zAKRFU">