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

    <tr>
        <th>Summary</th>
        <td>
            Crash in DFAJumpThreading
        </td>
    </tr>

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

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

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

<pre>
    This bug was found by Azul FuzzGen IR test generator.

Godbolt link: https://godbolt.org/z/n3rx3h78n

Run opt with -passes='dfa-jump-threading'

Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -passes=dfa-jump-threading <source>
 #0 0x0000559b64a4923f llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3a3c23f)
 #1 0x0000559b64a46c04 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fcd0a90b420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #3 0x0000559b64685ea7 (anonymous namespace)::TransformDFA::isLegalAndProfitableToTransform() DFAJumpThreading.cpp:0:0
 #4 0x0000559b6468eafb (anonymous namespace)::DFAJumpThreading::run(llvm::Function&) DFAJumpThreading.cpp:0:0
 #5 0x0000559b64691857 llvm::DFAJumpThreadingPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3684857)
 #6 0x0000559b64de9276 llvm::detail::PassModel<llvm::Function, llvm::DFAJumpThreadingPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3ddc276)
 #7 0x0000559b6218b424 llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x117e424)
 #8 0x0000559b641aac0f llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x319dc0f)
 #9 0x0000559b62172176 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x1165176)
#10 0x0000559b641a8d8a llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x319bd8a)
#11 0x0000559b61d078f5 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xcfa8f5)
#12 0x0000559b61c21c23 main (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xc14c23)
#13 0x00007fcd0a3b9083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#14 0x0000559b61cf938e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xcec38e)
Compiler returned: 136

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkV0tv2zgX_TX0hrBBkXouvHCTql-_aTBBE8zWuBIpmS1FCnw0cX79QJLTWInbSVsv5gEkls3Hveece0iR4JxstRBrlLxByeUCgt8Zu74FvwcNlyZU3i0qw_fr2510uAotvgOHGxM0x9Uebx6CwmV4eHgnNH7_EXvhPG6FFha8sStELhHZTJ_vDK-M8lhJ_RmxDd553zvENoiWiJbt1LsytkW0fEC01Mzes12W6-MgH4PGpvf4TvodXvbgnHCIXSKa8QaWn0LXL_3OCuBSt4hmx1NvPNSfMQ9dPyQdm8gKkeLamtZCh8G2oRPaD5gwoqXpPaJlbbpeKmGX4r5Xxgo7tCnQ7XLIbb002i29DfozomUl9TQRL80QAvp--B18H_zK4eXNEeSXeDFiF84EWwvE3k4AMaKMYHJPCCFJUlRpDHFBWYOV-tINNNjG7d305dpK7UeStxZqgWj-NMjC3dY4bwV0iKaIXmCpPaIFRjT_RaqIviH3DFhNWYNo8YQ7eoY7rUmMb2SrQf0PNFdD_PwAY2p2q7ofikPG_6-B6CFQ1tScQEGqmBK83VrhvLFia_2BhZIVouV9nm7TeKmkDvfLVoepo59UXjmzIiPiKI4pmeFlM7xpngjIhsigjd53JjisoROuH7UtJl1vLWjXGNtdlpupRboPogW10fzamkZ6qJS4NV_HjUgLfFlu_h-6_vax9KeJx88QCWiqv0L0PPKh_kHP_FAGXQ_1HM3wWjjJHE4R5Ul2ZMTnQa7BuVdkvzgKsdGg9k66K9DQCovYxYlJ7O0B9bm8m-ZxnmQzL6QzqlwUNEuPcHLhQarDsgPnrgwX6jTaGb-TEs1GXFvhhP0i-CSFcD8n0PD3D1Ce85pm6Uz57Fh5GuVVTOMzKD-O_R63n5X5v1u9KMpETONZ9fLZuokAanL8rroyPAzb4SOmoSobDr039jTjacIP8T1MObtXo4LXZP6GK-ZezWj0g7vEI72LV2p0LrM9afQtq_19hI-iNImONonhZEGe2SznObxisZ-S-98iE4uKiucwk2l2Aos4yfImOUJpw2iua9kLJfX8wHjjrdTtR9GcMucLvrdgW-GvoN6NcTanej_IyoLdv9eNed_16uUoY9Tv40m5lOpEkF_q_gadjbWwH1qPCzRqokIr9Yv93fR-6405rOkp329S8--N-kNY2UhhH8dVQ8-rn2fzR91A3iQze9CZPWoa1ZThDqQ-W84orimb5WSzszyrCpIzvN0qWdVb58H67RGA7x3o6-Eon45paEzyeZZ4zqwpWC7wFP9s3ETNcvE168UhErbCB6sFHy6REUun3gVfM16wAhZiHaVZnCRpzPLFbs14XKUVK2KRFTQidREVGYlILGrRNFRUC7mmhDIS0TgijCX5CgoWUcEbyCCvRFGgmIgOpFoN_htuzwvpXBDrlNAkXiiohHLj5Z5SLe7w2IkoHe76dj3MWVahdSgmSjrvnqJ46ZVYX1hwOyz1ixvCIli1fnaDl34XqlVtuqFCw2qYHsvemk-iHvQesztEyxHdnwEAAP__oRAhig">