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

    <tr>
        <th>Summary</th>
        <td>
            llvm::OverflowingBinaryOperator;
        </td>
    </tr>

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

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

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

<pre>
    Using llvm in combination with the alive2 toolkit resulted in a core dump.
Attached is the error report
llvm-project/llvm/include/llvm/Support/Casting.h:578: decltype(auto) llvm::cast(From*) [with To = llvm::OverflowingBinaryOperator; From = const llvm::Instruction]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
 #0 0x00007f7e172018b0 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (llvm-project/build/lib/libLLVMSupport.so.19.0git+0x2088b0)
 #1 0x00007f7e171fe8bf llvm::sys::RunSignalHandlers() (llvm-project/build/lib/libLLVMSupport.so.19.0git+0x2058bf)
 #2 0x00007f7e171fea15 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f7e16bb2520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007f7e16c069fc __pthread_kill_implementation ./nptl/./nptl/pthread_kill.c:44:76
 #5 0x00007f7e16c069fc __pthread_kill_internal ./nptl/./nptl/pthread_kill.c:78:10
 #6 0x00007f7e16c069fc pthread_kill ./nptl/./nptl/pthread_kill.c:89:10
 #7 0x00007f7e16bb2476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
 #8 0x00007f7e16b987f3 abort ./stdlib/./stdlib/abort.c:81:7
 #9 0x00007f7e16b9871b _nl_load_domain ./intl/./intl/loadmsgcat.c:1177:9
#10 0x00007f7e16ba9e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#11 0x00007f7e175cd9bb (llvm-project/build/lib/libLLVMCore.so.19.0git+0x29a9bb)
#12 0x00007f7e196f666d (anonymous namespace)::llvm2alive_::visitCastInst(llvm::CastInst&) llvm2alive.cpp:0:0
#13 0x00007f7e196ff1e8 llvm::InstVisitor<(anonymous namespace)::llvm2alive_, std::unique_ptr<IR::Instr, std::default_delete<IR::Instr> > >::visit(llvm::Instruction&) llvm2alive.cpp:0:0
#14 0x00007f7e197027c3 (anonymous namespace)::llvm2alive_::run() llvm2alive.cpp:0:0
#15 0x00007f7e19703b61 llvm_util::llvm2alive(llvm::Function&, llvm::TargetLibraryInfo const&, bool, std::vector<std::basic_string_view<char, std::char_traits<char> >, std::allocator<std::basic_string_view<char, std::char_traits<char> > > > const&) (alive2/build/alive-tv+0x56b61)
#16 0x00007f7e196eac32 (anonymous namespace)::verify(llvm::Function&, llvm::Function&, llvm::TargetLibraryInfoWrapperPass&, smt::smt_initializer&, std::ostream&, bool, bool) compare.cpp:0:0
#17 0x00007f7e196ee294 llvm_util::Verifier::compareFunctions(llvm::Function&, llvm::Function&) 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysV09z46gS_zT4QsUlgf5x8MFxxvWmal7N1Exe3lEFCMnsINACcuL99FsgJ5ac2RrP7h6USND9619303SbOic7LcQG5Pcgf1jR0R-M3Wz3SryIRtgVM81p8z8ndQeVOvZQashNz6SmXhoNn6U_QH8QkCp5FAh6Y9R36aEVblReNEGeQm6sgM3YD2uQPIBku_We8kPYdVFZWGsstGIw1k8SwdbdYM1vgnuA9uEToL3UXI2NuCx8G4eog_Y76rzU3foA8DYvK4C3sBFc-dMgAKro6A1AJLoA8BbgLafOA1TtrekB2oY9kN9Hbx4NBPhhJvr5KGyrzLPU3b3U1J4-D8JSbyzA9zAARHlutPMzrY_aeTvyECWQPwQ-W-eEjVEDRSIdBXj3aAD-AFD1RFWkgAqACggQivTw7vE07YdNaruxF9pD00KpuekH6iVTAk4-pgAhgErYUqlEcw40BAgnMHlJkiQp21KkJUrSiiUznu7kppcvVmr_zVP-_dFSHqJ2EbL0uTbOW0H7yHEHpfYT4-oqVWyUqgkZkmz6--nT03_PeVo7s07JOumkB-g-eUFJVbEEIHJhmy7Ypq2oWPsjtl9H_U12mqr_UN0oYd05Sv-UUF6xdkEIXROiaQ4XpgGqztGYlt2aDwPA2yQ-b0B4DlQwhnKUwMj6TO2lKuoiu1NSjy93nR6nDR44FpFdFlQW5LIFJk8K0nJY14M_WEGb-rtUqpb9oEQ4OFPFrgHa68ErgPaz17nGmgO8zTKAt2VxMZXfYkp7YTVVtxqJdZrOYlT8yMhc7Vbkilwhl9fRz8oCdi4mLIJOrwE2fp1cIwYXoI2TLwDtLZVORGxUArydRaZaQpOqbDGkzFg_Aftmyu_iI-5PVNMQiQsceQeXMlhrVStDm7oxPZVTFqV-C8P5NUj0ruN0Qk7TMlA9n5dQXMkSmxJBil87gziovJ3BgLms2Jw3hLFby3BnrHhXg4QSxhYmFjVIirYoiiaYoNroU29GBzXthRvitUWmCyKYR7Er1dPCUTrpQ5sIN_PidrssFq9NYtJ8X8iBDb5i06aiurr4n4Kt0CB2v8AS7aDzzbQ-avn7KOrBB4yPX2ctZSHWiJaOyteNUMKLd6L4Azw_sxAsXJ93qdu8X1w5pExQyfEv58KO-nxf_8xcfmUOsyKNSvXopbqGX_i2H_XFsd0sQ4_UdsJ_ksxSe_qoWzM177McM0YtgnwUfMrl2wqjTvLaeSt1Vx-leAZ4xw90mZuwUHtLpXev2-dczKWoUobTfxX_7bl4FfviNKLNSjEu3PljLLu8YEW6qLpiec4F5Rj9LNNHYWV7ui0Nt-fn_5YOg7BfqHNnYdf780DQ-1pq6SVV8o_Qi4tFkJZDy2tqp_8ExiHK_sXJK6_cF4hk1yfvKbgrhT1nZIJ79cv9jTAQuGo2uCGY0JXYpGWKSYkQIavDpk0IYQ3naVYxkvE0SdJUtIyIJMeUFelKblCCsiRDWZqjLCdrxtOsxAnOOGtpTjKQJaKnUq2D8bWx3Uo6N4pNRUiWrhRlQrn4QwAhLZ5h3AxTZf6wspt4nbOxcyBLlHTeXVC89EpsbhuYV6NVm4P3Q5zj0B6gfSf9YWRrHibx18H-qnlEKqEbR6p_BgAA__-CMNt0">