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

    <tr>
        <th>Summary</th>
        <td>
            [Flang][HLFIR] Assertion `sliceFields.empty() && substring.empty()' failed.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            flang
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          k-arrows
      </td>
    </tr>
</table>

<pre>
    Reproducer (`flang-new -c -flang-experimental-polymorphism test.f90`)
```console
$ cat test.f90
program test
    implicit none

    class(*),pointer :: p(:)
    character(len=2),target:: c(2)=['ab','cd']

 p=>c

    select type(p)
       type is(character(*))
 associate(x=>p(1:2))
          end associate
       class default
 error stop 1
    end select

end
```

Assertion failure
```
flang-new: /path_to_llvm_project/llvm-project/flang/lib/Optimizer/HLFIR/Transforms/ConvertToFIR.cpp:583: virtual mlir::LogicalResult (anonymous namespace)::DesignateOpConversion::matchAndRewrite(hlfir::DesignateOp, mlir::PatternRewriter &) const: Assertion `sliceFields.empty() && substring.empty()' failed.
```

Stack dump
```console
 #0 0x0000562f1ed7d27f llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
 #1 0x0000562f1ed7d8b3 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fa7c2481520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007fa7c24d5a7c __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #4 0x00007fa7c24d5a7c __pthread_kill_internal ./nptl/pthread_kill.c:78:10
 #5 0x00007fa7c24d5a7c pthread_kill ./nptl/pthread_kill.c:89:10
 #6 0x00007fa7c2481476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
 #7 0x00007fa7c24677f3 abort ./stdlib/abort.c:81:7
 #8 0x00007fa7c246771b _nl_load_domain ./intl/loadmsgcat.c:1177:9
 #9 0x00007fa7c2478e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#10 0x0000562f1fd82757 (anonymous namespace)::DesignateOpConversion::matchAndRewrite(hlfir::DesignateOp, mlir::PatternRewriter&) const ConvertToFIR.cpp:0:0
#11 0x0000562f20513391 void llvm::function_ref<void ()>::callback_fn<mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<mlir::LogicalResult (mlir::Pattern const&)>)::$_2>(long) PatternApplicator.cpp:0:0
#12 0x0000562f20510e33 mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<mlir::LogicalResult (mlir::Pattern const&)>)
#13 0x0000562f204e6918 (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#14 0x0000562f204e60c2 mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*)
#15 0x0000562f204e6d3e mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>)
#16 0x0000562f204eb132 mlir::applyPartialConversion(llvm::ArrayRef<mlir::Operation*>, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig)
#17 0x0000562f204eb8a1 mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) 
#18 0x0000562f1fd7ec38 (anonymous namespace)::ConvertHLFIRtoFIR::runOnOperation() ConvertToFIR.cpp:0:0
#19 0x0000562f21ab1584 void llvm::function_ref<void ()>::callback_fn<mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int)::$_7>(long) Pass.cpp:0:0
#20 0x0000562f21aada67 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int)
#21 0x0000562f21aade6f mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*)
#22 0x0000562f21aaf777 mlir::PassManager::run(mlir::Operation*)
#23 0x0000562f1f1ac058 Fortran::frontend::CodeGenAction::generateLLVMIR()
#24 0x0000562f1f1ad727 Fortran::frontend::CodeGenAction::executeAction()
#25 0x0000562f1eda18bc Fortran::frontend::FrontendAction::execute()
#26 0x0000562f1ed96264 Fortran::frontend::CompilerInstance::executeAction(Fortran::frontend::FrontendAction&)
#27 0x0000562f1eda46c6 Fortran::frontend::executeCompilerInvocation(Fortran::frontend::CompilerInstance*)
#28 0x0000562f1ea484d5 fc1_main(llvm::ArrayRef<char const*>, char const*)
#29 0x0000562f1ea474a6 main
#30 0x00007fa7c2468d90 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#31 0x00007fa7c2468e40 call_init ./csu/../csu/libc-start.c:128:20
#32 0x00007fa7c2468e40 __libc_start_main ./csu/../csu/libc-start.c:379:5
#33 0x0000562f1ea46a05 _start
flang-new: error: unable to execute command: Aborted
flang-new: error: flang frontend command failed due to signal (use -v to see invocation)
flang-new version 19.0.0git (https://github.com/llvm/llvm-project.git 330af6ed6194ca5365bc576517c247f545aee1f4)
Target: x86_64-unknown-linux-gnu
Thread model: posix
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWVtv2zj2_zTMCxFDInV9yIPrjP9ToIMWafB_NWjqyOaWIgWSSpP59AtSsnWJ6yQ7s9h92KJFxcv5nfshecysFQcFcIfSTyi9v2GdO2pz9-OWGaN_2pu9rl7uHqA1uuo4GIxIgbKolkwdbhX8xLcc3_YjeG7BiAaUY_K21fKl0aY9CttgB9at6jJCWYRIiaJ7FK39d_jLtbJawjBLEsyZGynCbGv0wbAep5_BGGPRtFJw4bDS6kR-XuSSWetlJWvPkmxaLZTz8tM1omvc-jW6PosTaI7MMO7AIFJIUIjek57WMXMAN1ByRIowT--9yUjO9ojkiGwQyXnlP9P7mTSt30l_40sRLUjgDruXFhAp2pkoGId5LLwOU7lO-pz2Mms1F8x5iOeekVctRnRNZhvPf0BVE6rpYrAZrqBmnTzZGYzRBlunWxyPmz1GL_5UKVDVwrfT1bW1YJzQCtdMyM7Axb3nwPKmRmTbMnfcOb2T8qnZtUb_w_MkWz-8HYeByk-LPSLbr60TjfjT22v7-5ft5wdEto-GKVtr01hEthutnsC4R739_LDibYvoOi2o5_gkjOuYxI0Upvf3F30QnMkHsJ10PvqZ0uql0Z3FijVgW8YhRIPffA8-mZiDr23Pwwqt-qWGOX5cq-oBfhoR3HWU9YnJhA6RzYT7N-YcGDUQ-ezLECmxzxkfj3g0KsoiKwWHrQBZ2RU0rXsJ8VL2RBm23d46I9RhuohIHvwB1eqK7747xn_gqmvaa8mLEaERjp6jKIrSjNQxVHlF8hp7b_X62Bc7KGaEcgH20QQLFuMmw37utHUGWBNE32Ch3BjJiNB4yaXYU_zdm1D-zlQlQ6r0RMO0HfwchX9nIDIA5TXLOUmKOCVRKHGnWHousl2W3Eqhuufbg-r6Bb6yepUh8il6TkhKoplwdI5ZpSzneLdr3dEAq3Y_hJQ7X7sglMrgvBUiW9U66QN-sm3FEV0nCaLrPBvxk_fg-1qnmLyKnPsKGE-skV5CnpJdhSvKBVy2NG6SZ_gQIr1H6j8R2a7C6MVW0Pr8bLUVz4hsDRMWAjbJEV1PbJDPobM8rylme21cD-yq3n1hqpfOl8R8RCheIcR7vFNyJzWrdpVumOj9IlRQ10839sBZDxfHuRdp4vZyDpgXUGYfCyVaQpmNBySh8Syb6qogeZr_p2vQtAThC5V0kmFehWmqkiiNKS1j_KRFNakKdae4z4OdgRrRTVgdyhP9rd_CmZR7xn_saoXo5pVw69bfBZjT5leajiRfWzAh7cJZ-pamm1_Ludda4hn0ADDU52Aor8E1kJOyfwnkynH1Nu4QN4gkOxImCqn9aVriV8a97GKycHEElL626v9c9FdcdDY2nRk7gayMi7dKwtmcX-DAZLgZhXk5DN9p-7GcXC4J94L5K-G47XK4JEsNIk7wBf5DbTkJy_vhTNbrEm0uoQ4X6LM06VKaisL7pTkv29kNZm0Me3lY-H0mwsKr2UKKfUynNmFtK1--MeMEk5Oi_nGWl935GN43k6ibbtsa_SecDDuY-fsvd4-gG61qcZhpmS-1LFj8Hi0_Fpz_Xm3wqE4xP51z4PTNVBzCKDxLnD81hytvp76qiXLh3v724VpODRqzfZwWyd94uFbgmJAnyz_qr-03Zu26Yu25iptOLSqYf3avryXfdGWtmHyxwv7BFDv4tN1gX7L9_50KjYnqdPk_H1L58pCyFy73_m4fza3DKpbl-L9Uu7PQ8VJoyOoPC_1NtCCFWhZ2v_Usy9UC-S9pMT-nrf2srDOdf-Voc-Egn27oOfcLg-zfmAHlPqtan5JzVrgJWRiqzvN8gX-S-KIvf3UiEDpL65jxKC3wVhtn2CBibbRyoKpTSlfwf6DWfNThAMqDw5cv___H54ch284MkgWDKif5BxnAM_DOwTC1wE_nr2MWF3t-DX87jC4wWEJnc-gyI1lyXfSmFRKM9zRTHC5L_37ZyOx9RPKFpknGs2viDIxHqZ40Z28L8UqLRcTMDgJgSZFUKa55vPOPyF-d0vzIzBjZ_eE8n5uyKBcs8oRlOMCftpxbL6cXbVGVEd7t_BtzZx0zbufr_O78sOW2e_30Hh73l4hWx9An84_fbOQaL7lCEuFAI5RwS0b9p0e_Dej9Wzq0YslYuZdtmR50psolLS6C09wfHemITReWzFiU4h71Qgsy9D_9R6fYXgJ2Gg9BhLluGhZCBK_32jiortGHWXyKqxPx0HvDVRegh94IIkVnAd8-hTkALCaBWi644OGGguNyFa2igwhviqNzbWi1kS0i24Nwx26_4roZeqeLFurKU1EasTqDKovLhLOUZumep3mWxqGdUadJygDiOjmL8Hhqi-OhtdGpH0r_VJMWR78vNIpwoyuQofce2jvzRuJNdUerkpbsBu7iPCryoshofnO8y1PIsyyJCWFJWlJIeM4rWvK0iHnKkvpG3JGIJBEhSZzSiOarcl9XCSkSyiAqsihGSQQNE3LlNV5pc7gR1nZwV5CiyG4k24O04dcPQoY-MkHp_Y25CxbadweLkkgK6-yI4IST4SeTbaBI71H6qW81p_d_a1P2pjPy7mPORGQbFPTpHHT8ZwAAAP__kcfXdA">