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

    <tr>
        <th>Summary</th>
        <td>
            clang crashes at -O1 and above on x86_64-linux-gnu: Assertion `hiBit <= BitWidth && "hiBit out of range"' failed 
        </td>
    </tr>

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

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

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

<pre>
    It appears to be a regression from 12.0.*, and affects 13.0* and later. 

Compiler Explorer: https://godbolt.org/z/1qsqxarcW

```
[508] % clangtk -v
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 011d2bf86487520c3515f16e0b1d32994bf2b48f)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
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/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
[509] % 
[509] % clangtk -O0 small.c; ./a.out
[510] % 
[510] % clangtk -O1 small.c
clang-15: /local/suz-local/software/clangbuild/llvm-project/llvm/include/llvm/ADT/APInt.h:1318: void llvm::APInt::setBits(unsigned int, unsigned int): Assertion `hiBit <= BitWidth && "hiBit out of range"' 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-15 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj --mrelax-relocations -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 -mllvm -treat-scalable-fixed-error-as-warning -debugger-tuning=gdb -fcoverage-compilation-dir=/local/suz-local/software/emitesting/bugs/20220707-clangtk-m64-O3-mllvm-opaque-pointers-mllvm-enable-constraint-elimination-build-134208/delta -resource-dir /local/suz-local/software/local/clang-trunk/lib/clang/15.0.0 -I /usr/local/include/csmith -I /local/suz-local/software/local/include -internal-isystem /local/suz-local/software/local/clang-trunk/lib/clang/15.0.0/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 -O1 -fdebug-compilation-dir=/local/suz-local/software/emitesting/bugs/20220707-clangtk-m64-O3-mllvm-opaque-pointers-mllvm-enable-constraint-elimination-build-134208/delta -ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/small-e57b3e.o -x c small.c
1.      <eof> parser at end of file
2.      Optimizer
 #0 0x0000555f13e0fcc1 PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x0000555f13e0d334 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f6317ef4980 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12980)
 #3 0x00007f6316b21e87 raise /build/glibc-CVJwZb/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #4 0x00007f6316b237f1 abort /build/glibc-CVJwZb/glibc-2.27/stdlib/abort.c:81:0
 #5 0x00007f6316b133fa __assert_fail_base /build/glibc-CVJwZb/glibc-2.27/assert/assert.c:89:0
 #6 0x00007f6316b13472 (/lib/x86_64-linux-gnu/libc.so.6+0x30472)
 #7 0x0000555f11b93968 (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x1b44968)
 #8 0x0000555f137aa047 llvm::InstCombinerImpl::visitAnd(llvm::BinaryOperator&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x375b047)
 #9 0x0000555f1376a900 llvm::InstCombinerImpl::run() (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x371b900)
#10 0x0000555f1376c7dc combineInstructionsOverFunction(llvm::Function&, llvm::InstructionWorklist&, llvm::AAResults*, llvm::AssumptionCache&, llvm::TargetLibraryInfo&, llvm::TargetTransformInfo&, llvm::DominatorTree&, llvm::OptimizationRemarkEmitter&, llvm::BlockFrequencyInfo*, llvm::ProfileSummaryInfo*, unsigned int, llvm::LoopInfo*) InstructionCombining.cpp:0:0
#11 0x0000555f1376d3f7 llvm::InstCombinePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x371e3f7)
#12 0x0000555f150ebcc2 llvm::detail::PassModel<llvm::Function, llvm::InstCombinePass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x509ccc2)
#13 0x0000555f134bde0f llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x346ee0f)
#14 0x0000555f115fcbe2 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>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x15adbe2)
#15 0x0000555f134bca3e llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x346da3e)
#16 0x0000555f115fd4c2 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x15ae4c2)
#17 0x0000555f134ba9eb llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x346b9eb)
#18 0x0000555f141c6655 (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>>&) (.constprop.0) BackendUtil.cpp:0:0
#19 0x0000555f141c9034 clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x417a034)
#20 0x0000555f1507bf52 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x502cf52)
#21 0x0000555f15cab3d9 clang::ParseAST(clang::Sema&, bool, bool) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x5c5c3d9)
#22 0x0000555f1493b811 clang::FrontendAction::Execute() (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x48ec811)
#23 0x0000555f148c6016 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4877016)
#24 0x0000555f149feaa8 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x49afaa8)
#25 0x0000555f112d856b cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x128956b)
#26 0x0000555f112d1d63 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&) driver.cpp:0:0
#27 0x0000555f112d4bc6 clang_main(int, char**) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x1285bc6)
#28 0x00007f6316b04c87 __libc_start_main /build/glibc-CVJwZb/glibc-2.27/csu/../csu/libc-start.c:344:0
#29 0x0000555f112d12ba _start (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x12822ba)
clang-15: error: unable to execute command: Aborted
clang-15: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 011d2bf86487520c3515f16e0b1d32994bf2b48f)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
clang-15: note: diagnostic msg: 
********************

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

********************
[511] % 
[511] % cat small.c
int a, b, c;
unsigned long d;
int main() {
  long e = 1, f = 0;
  int g = 2;
  b = (a || e++) * -g;
  if (a)
    f = d % (g % a) | a >> b;
  c = -81 & f;
  return 0;
}
```

@fhahn 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzlWltv27gS_jXOCyFDd8sPeXDspM1B9yRoslvgvBgURdna6rYklab99ecjKduS47ZpNwH2Eji2RJFz-WY4M6SYNtnn82tFaNtyKiRRDUk5oUTwjeBSFk1NctFUxPOn7nTiLyb-ktA6IzTPOVOSeMHURbNpK6niYkom7mriLuz3sqnaouSCXD62ZSO4mAQLslWqlbiY-Ff4bJosbUo1bcQGd1_w7_0h_3ikgn0YUprEbv-xt9FF5CaTaEUmfkRYSeuN-kicB_vU3JMHLowCXgTZXXRMjjgXatulU9ZUuCnLh92P04rmd2g3RQfiel7mp3kSh8ks8l0WRF6UezF3Uy8L_Pk8THM_DZN84s8t73sqNlxpPR-TeB2HTld_rJtPtVMWdffobOqu77cVnGakajJe6t5tI4tH--i6loqWJc9WhQFMy9UwWuJXdl-c3XXT5t0XDVha1HbgVdPBDgzGKDIYg7xZLklhiVEFKHpinRSaZJFqEBjDdxEn8UBA_yr5kwR73YckPfcVaHovTzN-BZJTuODLk529AsnXkbR3pzteYl7x7EVsvtxLVnWlKvQoUJlOgotJ6FZxeMTyW51MNJnvosmptn2EuXGJrCD2lIEGCPlXdNp06jAGbv6EzqHtQMfb0zmELMeLvjHfZZOrT1RwXJreaVeU2VHMOkSyomZll_FDw2J1r79vr2s13YKNF3iJ5vbQFIjdug8CY7AwHeyl5OqiUBKBs6tlsamBYoFnSAHj-7kms5CSC21LgiC9LTCQTILlJFgRXH4oMrWFXjE--PHtc-BGmpwI6AI5_Yk_IzlFusimFpPbd5eLu0siu7RCb0rSboPE1DZC6Tz1Y8FcIyJlx6HNlclWPT5EbTlhgsotSSn7qARlXGvYgpFoGHIgtJRNJ2yzyX1SNqyg2qlEVxPJRNGqXuQ7BSIk66pWS2aakDfd-a1oNoJWBMmhq3it5PPsvGuy3qHA7mMf73dtXkQcxjyCh0Vb8q8mHeJwgOg06e_EcSrBS_ro4Bv0tc0kcbJC0rTkTi44B8kS5YBDpXJSniNxOxocDuWdiha1k8NKTk0rvnNiYmj21ByT1EhboBlfTskfcOvbm0LiBxyqHHhwp23gQrouWNVNjea8omrrcCHqBjd567Cm1kaBS67gW05eN47QkamA8rovKKGLBDZMNRC5LKjk0Cfv6k9FnTlKawW4V-CvTG52WNtpnJw4RFNXc9Ow4TUXWuJKu43Gk1PlSOBvYSkeeabl0jykA_vUkACwcXjlhgtNCA3gs8lScGcNyg-6AW1TAllcMp3PV983uzYVl0rTg7W7jXZa3_V9d-bOnD6EOIhezk1gxXWalv7R7dGUfSuvjewWH9hNObwsqqK20pj44XhB6KOS8q9gMkUJnMJ6uxb2pz3UhnDTpiO2LcCc60GM74cdohSTUHrbd3om090cdozWNS3hXZ-l4tWLCv49Ric1-mbX7yY4_2o6ffp1ou9TbvxRX7CnXA9QH9P59ugfZ2Gym5ObqfG38__cznHdTxFvjgYgxJx-MQHxw6k_9cwMx4oGKtFN3UBWpmMOzTJ0Q1hYrdeocdZvF79drlcfFu-v_PXy6nq9uPsFFDC60aApZAnorSOow6NZGvApgt4jYePSwNMJBLmUN_kkuCQt1mlYUVFFdDxG_tTB2Pb0dc-bVkH2L4ippg2MApe4jy7-oghrl4C7uc4YtwKAmHx1r5PeHRI6Ld8iwWG9hpSvywKz4JsT-0hOWauzmmv-97S9I9pZEITkmJgtE75NyO8JzfI48GY8D-eJS9ZrxCPEdb5G0geh_ew5MRfwoFVmVTWVjZ62F-6j54PKfm2m2QRDNnHqezyZoQQpJCfG2WxNtQEx5ix_-8-n_6X7W3_qz7TBjBa7SYk5kPFWeygSwKNteDDSQDL8GtK6WlxE3ljh8EiSYJZ7hKaN0fR5kqjMomFGGSbJEZNozMQLgpwCVWqqtbUut9Ypfb7udtz-wrKcj1nGxyzDmf8M2zFttdhYLXAxZGS12dDLvHQezONkR_PPl1DWVdIwBNUR22Tk3DNKIdigVtYL9WVTgRgX11Vb2taHQhZqUQPK5ND1AlFHfL5pURTAnU0lPH9hBYJZlEK-kQLzsQIxnbvudxUACyPZywsIy7mH6aijh3skIJtljDAr0nVf1ukC9QYBGDPM3IyAPTTGukAf69aP_tCIj2Uh1ZM-i8V7LrEwlP3W1uAJFgtVqwcvKdvyJyPtNs-7IhUw63WdN1_pgdhaS1TQ1ck-q8Zko0bco-p-8rSP5CZbvecVFR8vkZR0tXzc8wI2-HglOHJgzXpxjhTCCkQniruuqvYSL56u5YZD3jVNu-84JwNArc8gPz8N5dqo3pFRsyD_yrS5RRwZOt0z7LpA8P0sC_kLrVFfo6BYnhgUXL7SFPM4dBl5sD9UNnJ5ypg_EDfjCkG2twG0_cVu-J0S-on7DkE6MiZH-H3gmQWDy5-DSH_-NthH7pwB2hH2wcjRwjRDbTOESeP9LVH_-agFYcwBygi1cJRMo5yl_CU89tXQ_te7vhfRDDYaGTE6cn1GAz4QF0brSn7f7ETTxllktNXFx0nF7YAfUrsf8nqem0GnkdLxkedm4Q_G2p2Wy2dC9VKud4Dqa473l8MfTsfDo3g7O3I6OufpMyLAKdT_YWjBW1OAMUJrtHoIPRbHUaTZ0rqpP1dNJ4neQpWt2XKeWyl1hae30qu0_PyWly3vp-v7rh6Wg7dFy7F-wrjEblbZMtBu0i724RYLRPsEa1PUhutWjTER9NO6_SQKxddSb3hWo0EZzymK4zUmEVf8OwP7UB0_h-1905Q3nWo7dVVYv3gOz6NRB4bGllOzy9OKptVL_znpsfhVFeXpInV-ZJ25ixX5AExtiZ6I5TrGenXY-LmsN8YURvdBl7ecZlzccSrY9qa1--xGyqddl4hUb3j9nV52SfGdTu9wdarLAcg7JVC6v-f5qTjYrwr-Wl710rM19GYU5h7OVt8d1_GzNI_8EzAsAWlX7aal3eIyizy7x_lrXRw5yuLuHmMUf1SvVBb7DJKOVBmtvyJG0yCbD1W51VuIkGss6B2WmL2vpJhqh98XF5lFDBKNRB6tosJ5kCZYRQ6EuxIaw70X2hn6yFmn-KvsVYQJZ4neiR_IOFpthAmLXRQko0lsT7uY8xs1gvpQyt30Sb6u1Gu4R5jMZhBzpEc4xjrnlCajyGclPqjz0L_YG0v_RF27TfDC8s9pDvFG8o9KX8_PkihOCWPeWr-bHJUJCyHoZx3ogiXbUrGLh4t-VTFuQ8Ng0_uFiyk_mUPKkRrxkRpeFgdkh_3Suzdzb6DMnX4p8BvXrzntXt0JnYwHZaJ44OJk1vNnR0yxcOh9eIdevw2kaRsoXgeNCHxHaCTjXWM3ZMmMrNd6YxjJgApl5HvuPjWTelfZbNDbS_PQ0DF71kEYjnGZHxvDTymxjF9eeR_E98oPT36Yd0_6ojNvrvQxB24dQu-JVkg2-uFC7_bz7BvD7QG4vA8vu7H96QqSdYayfY-hteskJ86DaeOcFIP5PpTxX3igbghu3ehqZUEOb_xIJTeGXO9Ff-IzOOnYn3pZ3N8vlm_J_dtLcnXz7t3Nh-v_viFX1-8u78j9jWm--PUNeX95e_P-frI7a3J76tRKIvUM_urJlX0HwYk5wYGnVO1JPhOC8dvMmPNs7p062_SjJOT2JyzxUvbQR7e8E8e59m1Aa_yuFsGTUFM5mRiqz5mZ9v0me9lgImX7dt2_j7smzM76dmI7cqIPUHmaVm4u3f1Iovfryca0-oPW1LToVSaoLfEhcIEL89FhfEGczZBGbroe3hnhz3LKrNJ-sjEX1Iq3JCBrinJoeCDDzBAn8fQZL5IPngiuOlEP5J7MVqdP9Nrv0M23dFuTs-wcJWIwp2eqUCU_txHIHNTiUr_81mcMjE-nzQMniEpP3iq-8KE0ctaJ8vznT51FceiHZ9tzGsaU89iPmB-mQZ6EecrmAfNY5qU0C5Ozkqa8lOfwNPCv-SdiSGhZotVZcb47COH5gRvMpjTSRBIWzHOkFZYAQdTxWPRqOfSp6jNxbkQy5yhCV78Hk4eHCAnaMblhB_q0U9tGnH_ZIm_AA2V3ZrifG-n_DyfRQdU">