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

    <tr>
        <th>Summary</th>
        <td>
            clang crashes at -O{s,2,3} on x86_64-linux-gnu: Assertion `MinBWs.size() == NumProcessedRecipes && "some entries in MinBWs haven't been processed"' failed
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

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

<pre>
    It appears to be a recent regression as it does not reproduce with 17.0.1 and earlier versions.

Compiler Explorer: https://godbolt.org/z/vGGoa684a

```
[511] % clangtk -v
clang version 19.0.0git (https://github.com/llvm/llvm-project.git 5932fcc47855fdd209784f38820422d2369b84b2)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
[512] % 
[512] % clangtk -Os small.c
clang-19: /local/suz-local/software/clangbuild/llvm-project/llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp:1038: static void llvm::VPlanTransforms::truncateToMinimalBitwidths(llvm::VPlan&, const llvm::MapVector<llvm::Instruction*, long unsigned int>&, llvm::LLVMContext&): Assertion `MinBWs.size() == NumProcessedRecipes && "some entries in MinBWs haven't been processed"' 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: /local/suz-local/software/local/clang-trunk/bin/clang-19 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -dumpdir a- -disable-free -clear-ast-before-backend -main-file-name small.c -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fdebug-compilation-dir=/local/suz-local/software/emitesting/bugs/20240211-clangtk-m64-Os-Weverything-pipe-fPIC-build-024130/delta -fcoverage-compilation-dir=/local/suz-local/software/emitesting/bugs/20240211-clangtk-m64-Os-Weverything-pipe-fPIC-build-024130/delta -resource-dir /local/suz-local/software/local/clang-trunk/lib/clang/19 -I /usr/local/include -I /local/suz-local/software/local/include -internal-isystem /local/suz-local/software/local/clang-trunk/lib/clang/19/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/11/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -Os -ferror-limit 19 -fgnuc-version=4.2.1 -fskip-odr-check-in-gmf -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/small-d74fff.o -x c small.c
1.      <eof> parser at end of file
2.      Optimizer
 #0 0x000055fb61397fcf llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x3f04fcf)
 #1 0x000055fb613954f4 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fdd88b17420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #3 0x00007fdd8851e00b raise /build/glibc-wuryBv/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #4 0x00007fdd884fd859 abort /build/glibc-wuryBv/glibc-2.31/stdlib/abort.c:81:7
 #5 0x00007fdd884fd729 get_sysdep_segment_value /build/glibc-wuryBv/glibc-2.31/intl/loadmsgcat.c:509:8
 #6 0x00007fdd884fd729 _nl_load_domain /build/glibc-wuryBv/glibc-2.31/intl/loadmsgcat.c:970:34
 #7 0x00007fdd8850efd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x000055fb62c44895 llvm::VPlanTransforms::truncateToMinimalBitwidths(llvm::VPlan&, llvm::MapVector<llvm::Instruction*, unsigned long, llvm::DenseMap<llvm::Instruction*, unsigned int, llvm::DenseMapInfo<llvm::Instruction*, void>, llvm::detail::DenseMapPair<llvm::Instruction*, unsigned int>>, llvm::SmallVector<std::pair<llvm::Instruction*, unsigned long>, 0u>> const&, llvm::LLVMContext&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x57b1895)
 #9 0x000055fb62b2644a llvm::LoopVectorizationPlanner::buildVPlansWithVPRecipes(llvm::ElementCount, llvm::ElementCount) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x569344a)
#10 0x000055fb62b2d861 llvm::LoopVectorizationPlanner::plan(llvm::ElementCount, unsigned int) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x569a861)
#11 0x000055fb62b30a1f llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x569da1f)
#12 0x000055fb62b33acd llvm::LoopVectorizePass::runImpl(llvm::Function&, llvm::ScalarEvolution&, llvm::LoopInfo&, llvm::TargetTransformInfo&, llvm::DominatorTree&, llvm::BlockFrequencyInfo*, llvm::TargetLibraryInfo*, llvm::DemandedBits&, llvm::AssumptionCache&, llvm::LoopAccessInfoManager&, llvm::OptimizationRemarkEmitter&, llvm::ProfileSummaryInfo*) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x56a0acd)
#13 0x000055fb62b34d20 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x56a1d20)
#14 0x000055fb62717536 llvm::detail::PassModel<llvm::Function, llvm::LoopVectorizePass, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x5284536)
#15 0x000055fb5ea6d61d llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x15da61d)
#16 0x000055fb60d5cb3d llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x38c9b3d)
#17 0x000055fb5ea509a6 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x15bd9a6)
#18 0x000055fb60d5aa6d llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x38c7a6d)
#19 0x000055fb6161dc90 (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
#20 0x000055fb61620f60 (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
#21 0x000055fb616215cb 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*) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x418e5cb)
#22 0x000055fb61c5730a clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x47c430a)
#23 0x000055fb63944ee9 clang::ParseAST(clang::Sema&, bool, bool) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x64b1ee9)
#24 0x000055fb61c566a8 clang::CodeGenAction::ExecuteAction() (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x47c36a8)
#25 0x000055fb61ed4429 clang::FrontendAction::Execute() (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x4a41429)
#26 0x000055fb61e508de clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x49bd8de)
#27 0x000055fb61fb8d46 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x4b25d46)
#28 0x000055fb5e655986 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x11c2986)
#29 0x000055fb5e64cfba ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#30 0x000055fb5e652434 clang_main(int, char**, llvm::ToolContext const&) (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x11bf434)
#31 0x000055fb5e564aab main (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x10d1aab)
#32 0x00007fdd884ff083 __libc_start_main /build/glibc-wuryBv/glibc-2.31/csu/../csu/libc-start.c:342:3
#33 0x000055fb5e64ca7e _start (/local/suz-local/software/local/clang-trunk/bin/clang-19+0x11b9a7e)
clangtk: error: unable to execute command: Aborted
clangtk: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 19.0.0git (https://github.com/llvm/llvm-project.git 5932fcc47855fdd209784f38820422d2369b84b2)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
clangtk: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clangtk: note: diagnostic msg: /tmp/small-ca7a0b.c
clangtk: note: diagnostic msg: /tmp/small-ca7a0b.sh
clangtk: note: diagnostic msg: 

********************
[513] % 
[513] % cat small.c
static int *a, **b = &a, f = 1;
int c, d, h;
short e, g;
int main() {
  int **i[9] = {&a, &a, &a, &a, &a, &a, &a, &a, &a};
  for (; d; d++)
    if ((**b < e) | f) {
      int *j = &f, k;
      c = h;
      k = g > ((long)j == 1);
    }
  return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzke11z26r296dRbhg8EnqxdJELx47bzrQnmSZ799KDYElmRwIdQGnST_8MSHYsx23T7mSmz_nv8XYsYL3yY7FAq9QYUUuA8yC9CNLVGe3tVunzb1uQXMna9Gel4o_nHyyiXQdUG2QVKgFRpIGBtEhDrcEYoSSiBgmLuAKDpHI9nVa8Z4C-CrtF0XwWziJEJUdAdSNAo3vQjtDMgnAVhIvhe6naTjSg0eVD1ygNOogXaGttZ4J4EZB1QNa14qVq7EzpOiDrbwFZ3797p2iWJ_SQU5CF42d4TC_SKArSFQpIilhDZW3vEL4fev3zTiMUFbNwFtbCooDkR8KF3fbljKk2IOumud_9wZ1W_wCzM0eVFjGpGEvmeZpWnJOwmOdJFec5CRNCOImzosyTkgSkGMTfUl2DdaY-5NkmS3Av76T6KnEjZP-Aa9mP47YaKEet4tC40Z0y4mHo-iCNpU0DfCW8z5xeitEmIGvTf8O736qr-m_OZ6WQA-Fa9ZIjRiUXnFpA75ZLJAZm1AolR2a90Y6lKJ0TGAvIelT1SUWyjsI34Bm9Ps_R7TfQALPAX0W_5V6ztm-scFTxAs2C-CJIwjZLjkT-aJDHKtlh9VTbHr9XBpmWNs2MHQAZR8UPIGBUZb9SDQFZ-9FlLxp-BOMDcHvrbzWVplK6NQFZ_w3MKi2-OQ5_XzdUPvXOWNcF8SIK49xpYCy1gqF7JTjy_OJFEC-OaIZGq3vJqIVb9UlI0dLmQtivgtutCUh-RBuQLCBLxJQ09oDvJ9oNqgXx8qnVLQzdMz-tZOHoGiVr1Esf-jgS0gbx5cjyiezjx78_LZW08GB9n_fowhjQjhMKsvCTkBdfzMx4R-QBKVAQr4J4hf7Tt9daMTAG-GdgogODPI8MBYQY1QICabUAg4REAxu0pfcgAzK3qASQqNsxCAgJyBxVVDTAx1B5_fFycXOJTF-2wiKKyr528VZp6-LzrwWsgKyFMT24ifXhWUjW9ByQ3QJimpotKim7s5oycB7qfGAfdENG9XpodpTUGMUEdejWvUSGadHZUeUbS9kd4n3r4DE0hbMgLK61qjVtEdV134K05mXA3TUNcHfYuRtj2q4tKhBmLELYatE18N3AijC0wmJV_oOwU48LjShGmAtDywZwpQEQZg1QjamxuIRKacDOJyA5wi0VEleiASxpC7vFiHCrwSnpwIJ9vEadYAh3guEG7qFBZHgQBncCEG4rTVvAnRLSul1vJZUEhKuW2i0GraVCuKo6zJR0c2GDeKUkwpVUWLvIKGSN3ViEW78uHOSVxrQR1IBBuOrlVyE5ts4qE8QrgrD12w5mXe_cg7MEYdtL8A01SNBOYw5lX9egXZeQdRCval4iXPl2zPx-PZjJ3c6z-vnkOYeDsY4ZWZd97aBHQpKEJIrwGNlwmyX4yuAvcA_60W6deZ3oAFfXH5bYhywckiSKw4CsOTSWIlwxdQ-a1vBHaaVhWCVOkd9G9hCFfZvbcgqEPxxsUCPJbuUOfS-UsyfyuJO0wcI8Ggvtq-n6MyHfMeIHQ3-6IZP1bPb868TY59Lgwf1gz6WOQ0_w-TH1r4vwuzquQGulcSNcjHczXtWyZ3jMUYN4lczILEK4Mneiw4przLbA7rCQuG4rvxoapTEXtJbKWMEMwve7nRs3SnWTBtN0CFeUc21EjfBqs3m3XG7eL_6-3Ky-LD6vyWa5_rBZ3HwK4lWEsHJa27ZzgHAhD_N5UlXVTCH8gNg0J4lcoA_iJagqiC9RR7UBjahFLoCqCrnoOYwkbuRVZ0UrvoEe2lBA4hCFD2EYhmlalVkUF_OKVQd7tXkck4hrLaT1W83tsF8dZA6aft0oYzXQdtzs3c7vdm23eb_GhhOQi_AhrsKkYtU-tXfqR0fqp0mVoBtRS9q8p5I3oAOSj9oMzbtEKvT_7xmRkdG84jzPy2iekBBtNhqMVRo22u6M8SvkBN4bUXbWHyJmRs1Cr3GUJCSc6BtPxKQRhGGJNBUGkI-NQ75YN6Jk-GuvHy_u949kFrvlZ7wVu4VnHg2HzgXUXoqHoeHeayN79-hZz1gQL9LIZY9PmiQTTZKK52mBaKm8pS_TxPLBG57KC8mdkPmTkPRYyJwUqAa7GfTeGKhdarK5p03_Yg8IaRuPG8pbUzM6iE7dQljkT7KzU7I3stk4wg1XLr34dyKLuQNRnDzJnE-nN4SKZy8ADnOQyQaQxxXPJpDJDyFOWJLkRfoGKf-vJ_v7PN9l_VMWK5AGPtHupRz8Cj3F4IOs1E-YuCOQP2Yc0nOwVDRTXtdUvNik8ehyzPbGBd-9c4zlQ3P3C5y9swa-YT_IGI5bPz8nvXI8TedllBfpBGzFBGwlyZKEHqqkVLc7o_oc0AFI-qukIF74leQxZb4Iu_37ejyiTTB32YBb8kvVH8_5tOfVrc2KOEno3lq3eYRH1vI8i15sbefXzg8sm6L7DeyheRZN7Imm9sQhjarv2APX1IzBYjx0ut6JPUPD4k1U5zSqJqqTI9VjyvjPVde9_NB2zUTtdS_HhXe0nm4Ybai-vFdNf7LfyfDx5rhjuEPcx9iTY1aqFZJapW81wLPei0axu7WG__Yg2ePAYHFKyEdRaqpPj1hBSyUHfiGseSZhYUzfds6uJWXb5xo44xbMzbPj_YlKWrvc6GjUmCB6sH-Gluq7y1ZYe2LktVYuubzp2_ZQ39eHCg0p4xOoxEdQSTgJXwSVl8FkIWnzaITZ-egwru-JxmutNzA34gcpozM3mZg7j-ZpnH1np3PWfhpusE8p_QwQUzf9lhfc5_8f95I8SeNs4t70wL0p0IxnEX8F9_qxPzLxd739vz9LUcppFk3XfHa4CEKesjI-nKVPivcN3Kqdas77C047n6edMnwg-CWzR5I3MjrOWVHGU6PnU2imYUF_beXvrFy-0FW_4YvvIeuPc3CUlryg07WfH6GK0oy_YA2fcuv_mLfinM1pNoXj5GwQZRFnRejEUqnkY6t6gyRtwXT-eqgYc-JW2IUx0JbN43toul3y_LmXh7nGteigERICkg-3m0PWNLwJWOwD5v7A1Uvx3x42nZ36RNOvm-6rFhY2u-uoAyIOFe0bu-HQgIWfEI7BNnuJ2Fulmqvedr1diwEXL5F5RHUo8LkPlkqavnV5mE-yxta_rGieX2cFJCbTa72MhFX223N12P7HTdBrOCs6claUsvKQrXPAyGSYsKkXVk_3wJey9ig-nsX3QDnoG6Caba98lm4mh_6DoUvF4R3In4waTgs_GfSRyvrUkIMjkdVC1p-hOrVHjAeQH8334Y2H1b0R9_AZqqW010cTf1-NabjD-o2_nB-n74-EzOsG0yTKIWXlYTAlk_NuxNJ5HNIf6TXAyF9p-4Po8AruLymOwLi4uX3LO6NkzpI4nNyikMl5LC6SBKA4NOWaagOLm9upojfQ0hGPpVLN09_XVjlLygigmKicHHk_y2h-YhGOQB-CwAOw3sIO-_mb-DbOaD5RNJ0oCjxJyMS3a-0me78kDzV9Gx1pEiVk6sxsqmMa5hymzhwKz3wdlWRw2p_fN-pNcFyUPOcwsWM-saMqc55kk21g0PjJnPuxCmGq_TNz3ySklCTlySSbJfnkuJClaZFniLFo01IxTTcXWtNHF_XjJdtSvdscFrvwOGnbXbG_hRlRxEiRT80opmYkrCop2vl-Gd36IJGfvJP3d4GnbDq-0FOqGaPkwcZYIK7FPeiTScLkRanzLkniZEDHzr_jSwwn3Tvr-ILvO0Jf26NllcTJoUcnL0lTSLOE0hKNr79eVXbII0on-9zRe9WkqsI8RptNI0q2MZZqu_mV93DM9Ls3n8NP3-n5-DdycULc95P4-BhMdA5oEPz6ji_o_CmijHUtQbxAvtzA_eglLRtAViEY8IyYalsqua-AK5W2wL9PPVTSVmNw3JGO9WuI957x8HrY2dYbQPjetwEgcRCtiv_zlbkH7pXK5Y0L9FTNgVpTe24jiv7F56BoeqwsXNzeLpbv0e37S7S--vjx6suH_7xD6w8fL2_Q7ZVvvvjrHfp8eX31-TbY1fNdn6oMzI2LHt-tDtwP0IB8uRxwRO2e5cs8MC1EYXROw3JSD_t7HMz216fhtSYjvUij-EQB8L6NUTstshlLbYV0S2NBXVQfOJYoiB1N5tsq_xQF8cVA5sYz18Hd13bfbrZKW-SvCerJ4HEb8XvCfGxHO7EBWYggvSi8lk7q_GIn-F_9na_2OiBUKe2jYnyB-PBFLvxn94YYISSqIXDmTz5YOmuc0ktUHWnvKQYL_tl5yx827w7Euv-Y790etd751hoF8eUodag1KP7ZVQT7F6CHRM6i8UGD7bVE4b5_37f_Fwxn_DzmRVzQMziP5uE8y1zcOtueF3EZFaScFxmJy5TwMo6Scp7Gc0YiBik5E-e7EsYoibIon8W0yOaMRmWYliVwCJIQWiqamQuVM6XrM18NfJ5HSZSeNbSExvh_HULIWNFHgnR1ps99aPVlkknYCGPNEwcrbAPnQ-D2FcRgELUIXwXzCxOQJQnIMg7mK6QkelZq8gdUWZ_1ujn__Spq77r_FwAA__8MlOkv">