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

    <tr>
        <th>Summary</th>
        <td>
            clang: 18: Assertion `getType(Base)->isPointerType() || getType(Base)->isArrayType()' failed.
        </td>
    </tr>

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

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

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

<pre>
    Compiler Explorer: https://gcc.godbolt.org/z/9Yz4fTevr

When compile this program with clang (version 5a56f0074cf3229983a15496c3caa41d27c5606f), clang crashes:
```
a[i] = b[i];
extern char b[];
extern char a[];

void foo(int j) {
  a[j] = b[j];
}
```

Stack dump:
```
<source>:1:3: error: use of undeclared identifier 'i'
 1 | a[i] = b[i];
      |   ^
<source>:1:1: error: type specifier missing, defaults to 'int'; ISO C99 and later do not support implicit int [-Wimplicit-int]
    1 | a[i] = b[i];
      | ^
      | int
<source>:1:8: error: use of undeclared identifier 'b'
    1 | a[i] = b[i];
      |        ^
<source>:1:10: error: use of undeclared identifier 'i'
    1 | a[i] = b[i];
      |          ^
clang: /root/llvm-project/clang/lib/AST/ExprConstant.cpp:1704: void {anonymous}::LValue::addUnsizedArray({anonymous}::EvalInfo&, const clang::Expr*, clang::QualType): Assertion `getType(Base)->isPointerType() || getType(Base)->isArrayType()' 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 -S --gcc-toolchain=/opt/compiler-explorer/gcc-9.2.0 -fcolor-diagnostics -fno-crash-diagnostics -O0 <source>
1.      <source>:7:1: current parser token '}'
2.      <source>:5:17: parsing function body 'foo'
3.      <source>:5:17: in compound statement ('{}')
 #0 0x00000000037346b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x37346b8)
 #1 0x000000000373237c llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x373237c)
 #2 0x000000000367ac28 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007f29190b5420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007f2918b7800b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #5 0x00007f2918b57859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #6 0x00007f2918b57729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #7 0x00007f2918b68fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x0000000006fbc65f (anonymous namespace)::LValue::addUnsizedArray((anonymous namespace)::EvalInfo&, clang::Expr const*, clang::QualType) ExprConstant.cpp:0:0
 #9 0x000000000703f7a2 (anonymous namespace)::PointerExprEvaluator::VisitCastExpr(clang::CastExpr const*) ExprConstant.cpp:0:0
#10 0x0000000006ff69c1 clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::PointerExprEvaluator, bool>::Visit(clang::Stmt const*) ExprConstant.cpp:0:0
#11 0x0000000006ff7c8b EvaluatePointer(clang::Expr const*, (anonymous namespace)::LValue&, (anonymous namespace)::EvalInfo&, bool) ExprConstant.cpp:0:0
#12 0x0000000006ff93ad (anonymous namespace)::LValueExprEvaluator::VisitArraySubscriptExpr(clang::ArraySubscriptExpr const*) ExprConstant.cpp:0:0
#13 0x000000000700792e clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::LValueExprEvaluator, bool>::Visit(clang::Stmt const*) ExprConstant.cpp:0:0
#14 0x00000000070094dd EvaluateLValue(clang::Expr const*, (anonymous namespace)::LValue&, (anonymous namespace)::EvalInfo&, bool) ExprConstant.cpp:0:0
#15 0x0000000006fdddfe Evaluate(clang::APValue&, (anonymous namespace)::EvalInfo&, clang::Expr const*) ExprConstant.cpp:0:0
#16 0x0000000006fe0bce (anonymous namespace)::DataRecursiveIntBinOpEvaluator::process((anonymous namespace)::DataRecursiveIntBinOpEvaluator::EvalResult&) ExprConstant.cpp:0:0
#17 0x0000000007040633 (anonymous namespace)::IntExprEvaluator::VisitBinaryOperator(clang::BinaryOperator const*) ExprConstant.cpp:0:0
#18 0x0000000006fefa4d clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::IntExprEvaluator, bool>::Visit(clang::Stmt const*) ExprConstant.cpp:0:0
#19 0x0000000006fde22e Evaluate(clang::APValue&, (anonymous namespace)::EvalInfo&, clang::Expr const*) ExprConstant.cpp:0:0
#20 0x0000000006fe84b9 EvaluateAsRValue((anonymous namespace)::EvalInfo&, clang::Expr const*, clang::APValue&) ExprConstant.cpp:0:0
#21 0x0000000006fe912f clang::Expr::EvaluateForOverflow(clang::ASTContext const&) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x6fe912f)
#22 0x000000000606fa85 clang::Sema::CheckForIntOverflow(clang::Expr const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x606fa85)
#23 0x00000000060c8a0d clang::Sema::CheckCompletedExpr(clang::Expr*, clang::SourceLocation, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x60c8a0d)
#24 0x000000000654f4c4 clang::Sema::ActOnFinishFullExpr(clang::Expr*, clang::SourceLocation, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x654f4c4)
#25 0x00000000067c9eae clang::Sema::ActOnExprStmt(clang::ActionResult<clang::Expr*, true>, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x67c9eae)
#26 0x0000000005f904e4 clang::Parser::ParseExprStatement(clang::Parser::ParsedStmtContext) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f904e4)
#27 0x0000000005f86aed clang::Parser::ParseStatementOrDeclarationAfterAttributes(llvm::SmallVector<clang::Stmt*, 32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*, clang::ParsedAttributes&, clang::ParsedAttributes&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f86aed)
#28 0x0000000005f87928 clang::Parser::ParseStatementOrDeclaration(llvm::SmallVector<clang::Stmt*, 32u>&, clang::Parser::ParsedStmtContext, clang::SourceLocation*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f87928)
#29 0x0000000005f88869 clang::Parser::ParseCompoundStatementBody(bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f88869)
#30 0x0000000005f8a18a clang::Parser::ParseFunctionStatementBody(clang::Decl*, clang::Parser::ParseScope&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5f8a18a)
#31 0x0000000005eb7ea1 clang::Parser::ParseFunctionDefinition(clang::ParsingDeclarator&, clang::Parser::ParsedTemplateInfo const&, clang::Parser::LateParsedAttrList*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5eb7ea1)
#32 0x0000000005edf3b8 clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, clang::DeclaratorContext, clang::ParsedAttributes&, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5edf3b8)
#33 0x0000000005eac30b clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec&, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5eac30b)
#34 0x0000000005eaca3f clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*, clang::AccessSpecifier) (.part.0) Parser.cpp:0:0
#35 0x0000000005eb43e4 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5eb43e4)
#36 0x0000000005eb4c0d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, clang::Sema::ModuleImportState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5eb4c0d)
#37 0x0000000005ea7cba clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x5ea7cba)
#38 0x00000000049a0c78 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x49a0c78)
#39 0x00000000042046a9 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x42046a9)
#40 0x0000000004185b4e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x4185b4e)
#41 0x00000000042e382e clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x42e382e)
#42 0x0000000000bf0b06 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0xbf0b06)
#43 0x0000000000be83ca ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#44 0x0000000003fe1d39 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
#45 0x000000000367b0d4 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x367b0d4)
#46 0x0000000003fe232f 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
#47 0x0000000003faa4f5 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x3faa4f5)
#48 0x0000000003faaf5d 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+0x3faaf5d)
#49 0x0000000003fb2e85 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0x3fb2e85)
#50 0x0000000000bedfac clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0xbedfac)
#51 0x0000000000ae8141 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0xae8141)
#52 0x00007f2918b59083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#53 0x0000000000be7eae _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+0xbe7eae)
clang: error: clang frontend command failed with exit code 134 (use -v to see invocation)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkW99T4ziQ_mvMiyopW_LPBx5CIHtszRVzA7db95SS5XbQjCP5JJmB_euvJDshMkkIs2Frq47aZRJbbn3fp1Z3SxZUa74SAJdBchUk1xe0M49SXf7koIwUF6WsXi7nct3yBhS6eW4bqUAFZIYejWl1QGYBXgR4sWJsupJVKRszlWoV4MVfAV4U__NXXD_AkwrC6yCc9b__fASBWG8SmUeuUavkStE1-snNI2INFSsU4PwJlOZSoIQmaR2GWcxqgnFR5IRGSVykjDBK46jCGUvSMK0DXAR4PjzPFNWP4PD1Xafh8J_7SoPkigfJNQrINSqHLwG56u_CswElEHukyt08dI-O7vW_nySvUC1lgHMuDPoe4AIF2dAEuYe-73b93TORXe8F3P--N5T9QFW3bg8RC8hcy04xCMhNQGZRQGbEjhYoJd2wdRqQrFEnKmANVVAhXoEwvOagUIAzHuBsgBqhIJuj41Ih92PbIRQkNwdBRB4I89IC0i2wvts115qLlR29CmraNUYjIx0aYSwecoVu7-_QvCgQFRVqqAGFKomENEh3bSuVQXzdNpxxg6zoQXI1-XNzZWKtJNevgD9GbEvr9ZI1eIhp_iG5y1e5Pwxs-Dkqe_irg_-raHbwuJlouw3wQklpArxomqf1pFXyOzD7tW-BFw0vA7yY3T8EeHHz3Kq5FNpQYaastZ4eZWFs7biZFWRXVEjxspadtrOFzAIy-_IHbTroP9Oq-m-h-V9QzZSiLwHO9z5y80SbW1HLAKcubNgu0Qayvf_cqgDPtiGlv_pfHW0eXlqwwYbM0ExrUMZGqSANV2D6W_kV1bbFJCA3XH-VXBhQw60-GsytYgfaO9SvrQOcoZryBqppL-vXLzez-xuku3LNDaKo7FZIgZsDRo7DMjePXTllcj2I_3YMuNYd6AAv3NTigjVdZeMy9DEUlZT9MIoysEq0ClolGWgNFRqcDc_dk1RryTg1UCHVCaSZ4q2ZHoxb4TQIi69D4Kdq1a1BGD14i2yddwxpZwKbtDN4zIRuZNcTozrxI8CLkovNbTRZVT-pqicxmqzQxAaSBW1ba7czbWemGk3u0WSyYmxipGzYI-UiINdHO7aNiymehmhSM9lINak4XQmpDWcaTWohJ04v__JdiLxZ6ahHlvposmabGMk6pUAY1FKlQSEjf4CwU9P67WZy4j0GEjdPrAX7JBcrVHeCOde0OdyacDlpMEGOmuB9gpadqJA21IAdHOT8MbOprMeCiyEGBJiEKHwONz8kI3Fa5sg5nJs2-kX3H74qLoxzh4fep_LXRor-XEptFND1MCld-C_6jv-mUwT4KnwegHnIoxFyTDK2D_m8ASq69k7c85WgTYDzTrjSqUKNtPbPi9PC8HBiD2eaUYZzNLcu9w2YfAL10gP7DyqqxnaXD-p5beZSGHjeBNbQ_b_tggxdZDUuoiIskxiHaLlUoI1UsFSDCwzh-jlPl2k8abjonicr0fU3WvOogFZTLaeh4xLFMQ49JvFuN3mZ5WFYIkW5hhPsM2s5dZZjEoalZznxLSdZnhSIlvIk5DuWMc6TwrOcji1n2_E-2WaGfZuZbzPN6yr9mE1C6ir1bOa7XpLWJUuT2trc5j8k6Bp06-ZecVLyPP7wOI36CbRPq0fTKNqT8Ed-WeySykJSZxS_R2rIuta4hdhR40qggMz-4JqbOdWmz_D5DqzN1R3Y7-GzEST0Ra_TgkW7bO_N2rhepXKZnsxf48ua_oCl627ZGmVl-hVieI5KKZs-jm84-twsiA_yika8MpaXaOgUBhx-J2_G_DTX633nY57m-J5EA49oFIRWpwE75D1ubtx3ZV_kvPWjt_c_qDzxPT7MCgyf5lH7uH6OQ8UjWkVcVVuH2vjCv96fEt-fqqqqYcti5Ahffx3QYRlOAZn6ICEsGbwH4Joa-g1YpzR_glthrri4a0f-P5T_7yeGU4zZr99Ad41xnE_hlfkuFIcpIe_xuhXm0Ey-4oKql7sWVO_2u4Pn3_ug_qNEDDWNq0-bwW8Ifs70LUaODxj_6xwfj5Ix5HFZbEHO9LdNlPmUumaX9ilgRxkWigjXbzYhtngsg4VUd0-g6kb-HCl-_zAU9xtwDkO_r3G2lcmAcVtzWhJ-fg3TmuaJ5-qwpkN99Qjsx0KqW2H2k3gz3ucD3uPygBMfOMtpWB0BPpfrtgED1duEv3-z6N4trr9IRi223SRzRloOtUfLy7JpEtcxi_fTmjFzJxZccP246Jrm7_Ia_3tOnj0Nj6efhzNWAIUjPC0XG_RG08btkQxJiMz3czeqc3skn8KsB-4x85J3UhdhDN4IfnWbQzufe27DRo1P8E3byoowhIqzMhmAekwyn0meUqiOMtmyuFPXbpPa-disNqBmxihedga0t210v6ZN8wcwl9jnoww3DCDBnRu_cSx_R5yjXj-eFf3zuyD39jZucdYBcPp6A5CPBiArcP4LA_BvUfy8alkxPLWKkVp5nhZH0c-HbdKtaleyeglwfvYwMYDZRetvuiZ1TqOcHkW7GLaEx2h3nrFjfsC3PS9hsoVP8F9LwePoVUgJlBnQ6CSO11BzwQffHT3AxWrj27ZYft9HH2DdNtSArQh3yquDT32hBl5n-xd-_npmkMLTCvtaVTUpj891K8JvSnbtQYnuW2Bvqb6Kt3_ivh8KTwqmA9SFVN-oWMGt4J8go1PJk5H4MlJGwvJdGe_UjuPdCgOqf0nw9xPEmxZHh2bG7PL8fvNu_cxiOS08seKxWJTU74o1JBVPs4OT9eySvVm07ZVs2lJlpqH91nPYu4IjySg-xeTdUq33DT-5_gOczxt8LE_PEdKxECw8Xuk9yPYLPEHTZ5xdBe5a-r8dfDWj6mIbrb5Bvbe2eC34_1NWXQO361Yq45Ld2VNVT9BTIBtNhYyVb9OxO-SQj0HvbkF-whpjAOOh9QrDuKAhy7xkMZcV_AaiXx9tVkTAOgPDpeEsw7kwDhA8jF45FuMwTqlXji2UTT-i2gPy7PD63nfhxV79FUd5UsbgS9h3eOu2gBjsV_EwnzP77IDQoxD5CgPJ_RcNA9hXJk_blJ0fY3rmgDMg86B71U5Y1mEZpoixaLmm3F-vuNcxLmjM3bm97QZTv6T3r-G5O2d0bgY9Po8A8QlAThhFG8Hn0YOLAvuXXbfrttnLxsWR10esjX27gpXiTwcyWuxldFJDVJGiP3r1andztmSpnKr9wax-LbXZcma0aUrKfixr4Yfxvu_Bb-bRXK7XVFTjybt39LQZ2snW9k4bb9v83iguVkNy6Id2-8ByyZ6fo6j_UlLN2VK75oOKXmN7YWkU5UZvbo_M0aax86Bf_w73bZPZa_iebXdf-0cCnDV0XVbUHZ3ZSIXzzeGR32W5fzyS0cGPMqzinaHYd7yjv_OtE_e0hubFk_P40J31FEuP1fP5dORcmPgb3v_vnGNUah70gswXjtK4Tg4K50aNvsmJGzW90D160DY4tMI90nQ2eot65tcOA2HPlfKxInVSfVSR32WpD8vxuyzt0t2T41g43npAS7kdfHcA63QFBzf5bB3rxCtb48LXscSQH_Ss653PXmmwpyY4pP8_qOM5g1kvzK5ySThK4FVNWY9yU4NskLsgMhtCwPvp-XxVh8PkgfYqvpBCHsURsnDP12tv1OsVj87PFWFO0HLZ8NLGWqrMcgfCqSfq4jAnXi_jiioDCqi3f05Ns933NRuvfD1l766geqjlERv8sz_E3f-RCzxzO-IVoIjEFlqnAU2ekJFIAyC-U2YXo7_zuKguSVWQgl7AZZQWWUqKLMIXj5esquM0z-uQJSxJS0JZQmhVFzWNigri9IJf4hCTKIzyKCZJhKdJRADXhJVhXOQEqiAOYU15M7UeOpVqdeEOh1-mRZzmFw0todHu74QwHuTAQXJ9oS7dkfKyW-kgDhuujX61YLhp4HIrUpT_88fmLzrVXP76uXjH_v8CAAD___bYQyY">