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

    <tr>
        <th>Summary</th>
        <td>
            [clang] Assertion `BitWidth == RHS.BitWidth && "Bit widths must be the same"' failed.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:codegen,
            crash-on-valid,
            clang:frontend:fuzzer
      </td>
    </tr>

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

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

<pre>
    **This testcase is generated by a fuzzer.**

Compiler Explorer: [https://godbolt.org/z/GbhfEYor4](https://godbolt.org/z/GbhfEYor4)

This valid code will crash on Clang Assertion Trunk:
```cpp
void test() {
  (void) (__array_rank(int[10]) | 1);
}
```

It seems that this goes back to clang-3.0.

Stack dump:
```
clang++: /root/llvm-project/llvm/include/llvm/ADT/APInt.h:705: llvm::APInt& llvm::APInt::operator|=(const llvm::APInt&): Assertion `BitWidth == RHS.BitWidth && "Bit widths must be the same"' 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: /opt/compiler-explorer/clang-assertions-trunk/bin/clang++ -gdwarf-4 -g -o /app/output.s -mllvm --x86-asm-syntax=intel -fno-verbose-asm -S --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics <source>
1.      <eof> parser at end of file
2.      <source>:1:6: LLVM IR generation of declaration 'test'
3.      <source>:1:6: Generating code for declaration 'test'
 #0 0x0000000003bb93f8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3bb93f8)
 #1 0x0000000003bb70bc llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3bb70bc)
 #2 0x0000000003b046a8 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007d2a46442520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007d2a464969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #5 0x00007d2a46442476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007d2a464287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007d2a4642871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007d2a46439e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x00000000033ef997 llvm::ConstantFoldBinaryInstruction(unsigned int, llvm::Constant*, llvm::Constant*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x33ef997)
#10 0x0000000000feb5f8 llvm::IRBuilderBase::CreateOr(llvm::Value*, llvm::Value*, llvm::Twine const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xfeb5f8)
#11 0x00000000043ff0cd clang::StmtVisitorBase<std::add_pointer, (anonymous namespace)::ScalarExprEmitter, llvm::Value*>::Visit(clang::Stmt*) CGExprScalar.cpp:0:0
#12 0x00000000043ffc1b (anonymous namespace)::ScalarExprEmitter::Visit(clang::Expr*) CGExprScalar.cpp:0:0
#13 0x00000000043fdf7a clang::StmtVisitorBase<std::add_pointer, (anonymous namespace)::ScalarExprEmitter, llvm::Value*>::Visit(clang::Stmt*) CGExprScalar.cpp:0:0
#14 0x000000000440399c clang::CodeGen::CodeGenFunction::EmitScalarExpr(clang::Expr const*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x440399c)
#15 0x000000000438d76e clang::CodeGen::CodeGenFunction::EmitAnyExpr(clang::Expr const*, clang::CodeGen::AggValueSlot, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x438d76e)
#16 0x00000000043b0fc5 clang::CodeGen::CodeGenFunction::EmitIgnoredExpr(clang::Expr const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x43b0fc5)
#17 0x0000000004407bff (anonymous namespace)::ScalarExprEmitter::VisitCastExpr(clang::CastExpr*) CGExprScalar.cpp:0:0
#18 0x00000000043fdcc3 clang::StmtVisitorBase<std::add_pointer, (anonymous namespace)::ScalarExprEmitter, llvm::Value*>::Visit(clang::Stmt*) CGExprScalar.cpp:0:0
#19 0x000000000440399c clang::CodeGen::CodeGenFunction::EmitScalarExpr(clang::Expr const*, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x440399c)
#20 0x000000000438d76e clang::CodeGen::CodeGenFunction::EmitAnyExpr(clang::Expr const*, clang::CodeGen::AggValueSlot, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x438d76e)
#21 0x00000000043b0fc5 clang::CodeGen::CodeGenFunction::EmitIgnoredExpr(clang::Expr const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x43b0fc5)
#22 0x0000000003f1c5e5 clang::CodeGen::CodeGenFunction::EmitStmt(clang::Stmt const*, llvm::ArrayRef<clang::Attr const*>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3f1c5e5)
#23 0x0000000003f24304 clang::CodeGen::CodeGenFunction::EmitCompoundStmtWithoutScope(clang::CompoundStmt const&, bool, clang::CodeGen::AggValueSlot) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3f24304)
#24 0x0000000003f8c724 clang::CodeGen::CodeGenFunction::EmitFunctionBody(clang::Stmt const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3f8c724)
#25 0x0000000003f9e70c clang::CodeGen::CodeGenFunction::GenerateCode(clang::GlobalDecl, llvm::Function*, clang::CodeGen::CGFunctionInfo const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3f9e70c)
#26 0x00000000040071fa clang::CodeGen::CodeGenModule::EmitGlobalFunctionDefinition(clang::GlobalDecl, llvm::GlobalValue*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x40071fa)
#27 0x0000000004002125 clang::CodeGen::CodeGenModule::EmitGlobalDefinition(clang::GlobalDecl, llvm::GlobalValue*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4002125)
#28 0x000000000400250b clang::CodeGen::CodeGenModule::EmitGlobal(clang::GlobalDecl) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x400250b)
#29 0x000000000400c943 clang::CodeGen::CodeGenModule::EmitTopLevelDecl(clang::Decl*) (.part.0) CodeGenModule.cpp:0:0
#30 0x0000000004531806 (anonymous namespace)::CodeGeneratorImpl::HandleTopLevelDecl(clang::DeclGroupRef) ModuleBuilder.cpp:0:0
#31 0x00000000045223d8 clang::BackendConsumer::HandleTopLevelDecl(clang::DeclGroupRef) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x45223d8)
#32 0x0000000006677e14 clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6677e14)
#33 0x000000000452f368 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x452f368)
#34 0x00000000047ea629 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x47ea629)
#35 0x000000000476911e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x476911e)
#36 0x00000000048cfcfe clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x48cfcfe)
#37 0x0000000000cde1ef cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xcde1ef)
#38 0x0000000000cd5efa ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#39 0x0000000004573089 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
#40 0x0000000003b04b54 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3b04b54)
#41 0x000000000457367f 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
#42 0x0000000004538f7d clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4538f7d)
#43 0x000000000453a06d clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x453a06d)
#44 0x0000000004541995 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x4541995)
#45 0x0000000000cdb0bf clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xcdb0bf)
#46 0x0000000000baa1b4 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xbaa1b4)
#47 0x00007d2a46429d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#48 0x00007d2a46429e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#49 0x0000000000cd59ae _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xcd59ae)
clang++: error: clang frontend command failed with exit code 134 (use -v to see invocation)
Compiler returned: 134
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkWt9v3KgW_mvIC5qRjX8_5GHiJN2sutqqibq6TyOM8QxbGyzAadK__grwZIwzSTO9mdVVt0qjmB-H7_s4HI4xWCm24ZSeg-QCJJdneNBbIc8f2d-Yx3mcnFWifjwHaAXQ6m7LFNRUaYIVhUzBDeVUYk1rWD1CDJvh-3cql64xCC5BMP4uRdezlkp49dC3QlIJohUEycVW616BaAXQNUDXG1FXotVLITcAXX8H6PpDtW2u_iNkDJJLgPK3N0fFdHiL-x63rIZE1BR-Y20LicRqCwWHZYv5Bq6UolIzweGdHPhXM4qzkAbuh_S9K7kXrLYqAJQDVECQXbgKCAHKTa0tRfl6jaXEj2uJ-VeAcsY1SC7CwHIx3UoYGqDR2B1kl7MhpxxuNFSUdgrqLdZQG0YbQRWsMPkKtYDEsFhEy2A57XWrTXU9dP1zQu7R9gPowvyYSUHXUggN0HXb3neLXoq_Kdk9AnTNOGmHmu4LVpd35venG66XWxCtsiAxdmxttALRylYBlD4rsn-K3jiQkCArQWTmmAiu9IHuVqnVZJpAGlww_Rer9RaartEl_Pzb7XJfZvqkECB0wTT8ZsoU7AalYUWh3lKocEcBQgBlsMGspfWo3KePV6vbK6iGqmMaYlgNGyhpL6Q2Os98kOntUC2J6PaKzIRjSg1UAXQNMa_hqJ8F4DzQTKCWmFCASthL2ktBqFK0hkoM0hWbnlgpQZhdbHLgUBHJer18cZqNHxSfpNhI3EEsN0NHuVbjFIveICPjqlzQ3apE186N8E5ltdB2NaDrivFdtfMWuNjU37BsFjFcbOBCGLu47431QfeDXiq46IwWcLF4yNMFVt1CPXKNH0B0ybimLVw0XCzuqayEoqYeLm7hYrEhZKGFaMkWM26d4hW8prHiuFdboeGiIaIVclEzvOFCaUaUG8Mq7RWDqBzlja6cYKERDEQlFQ2IrmCPpaISYg0pr6FoYMNa6lqiseXeQLQKQbRKjbofP375A9583oVG46migTUlLR4fAcpc9Micueg1cx9GM3zjQlcj5KvGIEBRAIOHYPcvqqoiavLJilKPyv3xSTKurevcOf_L940k_rYWSkuKO7uQSmjCl4tr7-RAAF0EDyO8p4Bt8Icz_FlQkUP4y5ZiPvR_8lu24bgFKB-43cxq2AozyinQGjAeWuSjDeIU57A0DveZEnFP5aOD9xvmdWsGzUclvTal4Jo-6KXZZaJVYP8_DRGNQ2Q1wnEaxyhBwUitZRVA1w95uk7jRcv48LDY8MFVkKUSy9QCt1082LFvs0iLhsBebyXF9fqr2SCPGsD29wZI5qDjLIUbZbU4FnycpZ7t1LeN8qyJIK5MiD7Ksu3oWc6eWQ6ro22GlWcz921GBS3S42zaLp7NwvO6iDZFkU3WSGl2Ucz1tWjrC8axfLzhSsuBGC-fLhTri-WBnjaJe7Hi_VeWo7BP3FAUenEsaGiVeHHs5vPFwNqaygus6IhRUqzpn9ILZV9wO9BndA6X3n1jnEKbg7ic4715OhYeTS_cxVHTBKR26ZzDdKs7_YUppsXItFS6dlW4rte9MJupNDwAyjEX_LETg4Icd1T1Nq4XoyGCWyyvHnp51TE99jmgiN2BTIEZ1KRkPpbRAcoPxpKz-TxsGWJoToy4tXQcxpegmDZvhhLNoNRNhn8JjWOPWBxERUGmxEpR0w-Uew_XA3dxwOnYMb1H_Vzj3WqwK6USoj3BqhiBe8si8acsr7OUHs9sxR_fQOsls6vNxs7YbSv0Kek7dh791KdfBQ1Jjqd_s-FC0vqHEpyAkkXsUcpmvppVTfO_xIMSK_2c2b70jUson8cGQqJfIjYUv2psQMG_Ojag8JeLDch_i2pCktCfoOSWx3zBeNM5OVmSEj9-pg2IykmHldYT8tHVKXJdR8_jH_n8URwF8fH8S9H1YuC1Yf0X01sx6FsiejqLkJNWk1x358JvdfkT6GJpe7rEvi45ydBP6LIruRD146v-cQJOFrLHKfE5FTQLjozL46kQNZU-nw-tqHB7SUnrO_tT_9eDWvlh1_CGN-KUL0Ijb08YP-cJgixs8I-E-UPUQ0v3U-0E2LG4pA3jbHzpfYNMrnz_bvj-sc-x8mhnM9ooRD-MfYdp_z_SNWw8uvmcbhJUP0f3ZZInIZIElUekmBEhRRwdS-RO9B_pPR1hT-m4kt2kLHss9TKwid_U0sHMzz8BjpMozIP0R9npaNZ9jrnp-tYVu2PL12F-kGLozU6KCuhgjSczh9H56UuCUFTnU90uMPlKeV0KroZul_Efi-O959_BnM6_f_KbpllGQ29v-oSloqvbu9mOQzs8229PlDqOkDzM0Uz7JkrzAz67mm6gD5QMmq52Z4enUdcA8ZD6JxsZxSkqpkivpeCa8voA1BOBdBg8kP4hRZYWYTh7EXHD3tizU0IPK_oyq5NsvSNOj4i_9eakIY1HZIS853MvCH4O_xnf0-wqDp9HwNtEA1LTkDaQkHDdYWMjP5z3b_Es2S-hX4ZK6L7on4KHQ-nRyGc0EtpguBO_DO9spJiQue1w236h5ClmH-CUzs64hWjHz01egldLdv9SyPa3uiSLgrywwkzsNmPOtZZWW1vrVuLTiQbBbVth8nXdcP-ty409-lAZlqLrMK_ni_rgHD4dxojejI6NBhN9tGR8Y1tejRP81GG9Jg8PYegeKqwYWSvbfFTRa2wK1lpiptWuemYOt61ZE0JO6k2TyeGIdSKnue0CUNbirqoxQNleKpTvPl_-LqqD8xEH84-OVRJPv9Uc-LToaj4P_BY3tH305Hx96k7xHdUinnp-HM5dLM0a-G92kVna96IvoFmylzdZ_aJwdu7wsx1zp6YXzGcdTQPvuOBtTVdesjPh9r4JhKXtOdQs1YlwkB6ty--iUi-L8ruoPjLln6G8Fpqf_KDHzLjA-PH1rTqOzvKPqGnE8tT007EkDosieQn55eRvL3E4kDG8NAv_oJonSGetPJ5-yWxjr4JqDG-7DGWH34aV1fNP0y9s2--ekxhkHnQvNwwqjMMqhgb0e4_tTHtjz-9jFHVx5NUX28Wzmc9t0jiA67XptlYaS72ekHvzKDT2RynmmVyBKXT233_OjPGn0afV0QpSKYW9cGvLYTO-YUAyrgh3-RF-Y3oL6QPT7qJZGMUG5qAoXNxDLaCiFLJJ2l_MrvZKqgfJqVmTpvPssulZfR7VRVTgM3oeZqiI4jwskrPteRTmdZE1QVxkRVzXJErCIMswiUiTZHWVnbFzFKA4DMIijFGRJEuS4ToL4yYuohQlMQVxQDvM2qVZK0shN2f2yuV5GEZBHJ-1uKKtstebEdoFB0NxQ7m9_lmacntBUPCFvSW8Lx6b7zSzqdL372aOEEguz-S5vexZDRsF4qBlSqs9Cs10a69VOyvJ5Wkvr54Nsj3_-dupo1r35-i_AQAA__-umPrQ">