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

    <tr>
        <th>Summary</th>
        <td>
            [flang] Assertion `!fir::isa_derived(toTy)' failed.
        </td>
    </tr>

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

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

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

<pre>
    Crashed by the following test program:
https://github.com/llvm/llvm-test-suite/blob/main/Fortran/gfortran/regression/pr68227.f90
```console
$ cat pr68227.f90
program p

   type t
   end type

   type t2
      type(t), pointer :: a
   end type

   type(t), target :: x
   type(t2), pointer :: y(:)
   integer :: i
   integer :: n = 2

   allocate (y(n))
   forall (i=1:n) y(i)%a = x

end program p
```

Stack dump:
```console
 #0 0x000055561c740584 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
 #1 0x000055561c740bd4 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f94b7a03520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007f94b7a57a7c __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #4 0x00007f94b7a57a7c __pthread_kill_internal ./nptl/pthread_kill.c:78:10
 #5 0x00007f94b7a57a7c pthread_kill ./nptl/pthread_kill.c:89:10
 #6 0x00007f94b7a03476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
 #7 0x00007f94b79e97f3 abort ./stdlib/abort.c:81:7
 #8 0x00007f94b79e971b _nl_load_domain ./intl/loadmsgcat.c:1177:9
 #9 0x00007f94b79fae96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#10 0x000055561d44ee40 fir::FirOpBuilder::createConvert(mlir::Location, mlir::Type, mlir::Value)
#11 0x000055561c9cac6f (anonymous namespace)::ArrayExprLowering::convertElementForUpdate(mlir::Location, mlir::Type, mlir::Value) ConvertExpr.cpp:0:0
#12 0x000055561c9f18d5 std::_Function_handler<fir::ExtendedValue (Fortran::lower::IterationSpace const&), (anonymous namespace)::ArrayExprLowering::applyPathToArrayLoad(fir::ArrayLoadOp, Fortran::lower::ComponentPath&)::'lambda1'(Fortran::lower::IterationSpace const&)>::_M_invoke(std::_Any_data const&, Fortran::lower::IterationSpace const&) ConvertExpr.cpp:0:0
#13 0x000055561c98ac93 (anonymous namespace)::ArrayExprLowering::lowerScalarAssignment(Fortran::evaluate::Expr<Fortran::evaluate::SomeType> const&, Fortran::evaluate::Expr<Fortran::evaluate::SomeType> const&) ConvertExpr.cpp:0:0
#14 0x000055561c9857c5 Fortran::lower::createAnyMaskedArrayAssignment(Fortran::lower::AbstractConverter&, Fortran::evaluate::Expr<Fortran::evaluate::SomeType> const&, Fortran::evaluate::Expr<Fortran::evaluate::SomeType> const&, Fortran::lower::ExplicitIterSpace&, Fortran::lower::ImplicitIterSpace&, Fortran::lower::SymMap&, Fortran::lower::StatementContext&) 
#15 0x000055561c94565e (anonymous namespace)::FirConverter::genArrayAssignment(Fortran::evaluate::Assignment const&, Fortran::lower::StatementContext&, std::optional<llvm::SmallVector<mlir::Value, 6u>>, std::optional<llvm::SmallVector<mlir::Value, 6u>>) Bridge.cpp:0:0
#16 0x000055561c951f4a std::__detail::__variant::__gen_vtable_impl<std::__detail::__variant::_Multi_array<std::__detail::__variant::__deduce_visit_result<void> (*)(Fortran::common::visitors<(anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&)::'lambda0'(Fortran::evaluate::Assignment::Intrinsic const&), (anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&)::'lambda0'(Fortran::evaluate::ProcedureRef const&), (anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&)::'lambda0'(std::vector<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, std::allocator<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>> const&), (anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&)::'lambda0'(std::vector<std::pair<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>, std::allocator<std::pair<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>>> const&)>&&, std::variant<Fortran::evaluate::Assignment::Intrinsic, Fortran::evaluate::ProcedureRef, std::vector<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, std::allocator<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>>, std::vector<std::pair<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>, std::allocator<std::pair<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>>>> const&)>, std::integer_sequence<unsigned long, 0ul>>::__visit_invoke(Fortran::common::visitors<(anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&)::'lambda0'(Fortran::evaluate::Assignment::Intrinsic const&), (anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&)::'lambda0'(Fortran::evaluate::ProcedureRef const&), (anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&)::'lambda0'(std::vector<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, std::allocator<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>> const&), (anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&)::'lambda0'(std::vector<std::pair<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>, std::allocator<std::pair<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>>> const&)>&&, std::variant<Fortran::evaluate::Assignment::Intrinsic, Fortran::evaluate::ProcedureRef, std::vector<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, std::allocator<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>>, std::vector<std::pair<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>, std::allocator<std::pair<Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>, Fortran::evaluate::Expr<Fortran::evaluate::Type<(Fortran::common::TypeCategory)0, 8>>>>>> const&) Bridge.cpp:0:0
#17 0x000055561c9426c7 (anonymous namespace)::FirConverter::genAssignment(Fortran::evaluate::Assignment const&) Bridge.cpp:0:0
#18 0x000055561c95d113 (anonymous namespace)::FirConverter::genFIR(Fortran::parser::ForallStmt const&) Bridge.cpp:0:0
#19 0x000055561c93b3d9 (anonymous namespace)::FirConverter::genFIR(Fortran::lower::pft::Evaluation&, bool) Bridge.cpp:0:0
#20 0x000055561c969d7c (anonymous namespace)::FirConverter::lowerFunc(Fortran::lower::pft::FunctionLikeUnit&) Bridge.cpp:0:0
#21 0x000055561c91ce37 Fortran::lower::LoweringBridge::lower(Fortran::parser::Program const&, Fortran::semantics::SemanticsContext const&) 
#22 0x000055561c885b7c Fortran::frontend::CodeGenAction::beginSourceFileAction() 
#23 0x000055561c760b99 Fortran::frontend::FrontendAction::beginSourceFile(Fortran::frontend::CompilerInstance&, Fortran::frontend::FrontendInputFile const&) 
#24 0x000055561c7591e8 Fortran::frontend::CompilerInstance::executeAction(Fortran::frontend::FrontendAction&)
#25 0x000055561c7637b6 Fortran::frontend::executeCompilerInvocation(Fortran::frontend::CompilerInstance*)
#26 0x000055561b7db824 fc1_main(llvm::ArrayRef<char const*>, char const*)
#27 0x000055561b7d99d2 main
#28 0x00007f94b79ead90 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#29 0x00007f94b79eae40 call_init ./csu/../csu/libc-start.c:128:20
#30 0x00007f94b79eae40 __libc_start_main ./csu/../csu/libc-start.c:379:5
#31 0x000055561b7d8e35 _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 17.0.0 (https://github.com/llvm/llvm-project.git 64083172eea26e50c8b22b85697a825be8bda424)
Target: x86_64-unknown-linux-gnu
Thread model: posix
```

The crash above is the result of using flang-new, which I built recently. Here is the result of LLVM 16.0.4.
```console
$ flang-new -c pr68227.f90
error: loc("./pr68227.f90":16:4): 'fir.convert' op invalid type conversion
error: verification of lowering to FIR failed
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl1z27bS_jX0DcYaCvy-8IWiWG8zk0wzddpbDggsJbwGAR4AlK1_fwYg9UFGkp2kPU3P8UzakODi2d1nFwtEWGIMX0uAuyB5FyTvb0hnN0rfPd4SrdWTuakU290tNTEbYKjaIbsBVCsh1BOXa2TBWNRqtdakCaJFEL4PwsXG2ta4N7wK8GrN7aarZlQ1AV4Jsd3_devm3pqOWwjwqhKqCvCqIVwGeLVS2mrintb14VHDWoMxXLmXVqc5xtmsLsJeaZCG_R-qpFEChlEcI0qciRPxwWbUDnL-_wghu2sB2cMrSOaHzkrhw_swFODcBrgI8BK1iksLGjkaogUir0E8mW6JXoPdz37-SgyfV7MLcO6JLw4z3Pf1UYJf-iBREL1HeGIWEUJRYgEFOHfg0us9otdKEyHcVx5E7-dBtHAS3g7uRRPicZ9PcR0FU_730TuVe7CEPiLWNe0htc5HGQU4ClH4HIZhmCRJOqdZHCZ5jHy6ef_MzvQPnzWX1iN_0YQ6Mo9CmjyVylgNpAlw6vjl0h7dDXA0n2qpWIwe-FoS8QuRTIB2nvtJw7CZ0dbZH_r_DkB4AMrqIq4yEkYJDh2NbnFwtxKe87RM41vBZfd8u5Zd_4HOjJqlAX4XPsc4weHIuGiMmWQko6gsW7vRQFj5yIUoedMKaEBaYrmSaBbglWytcCvqRGxGg2gRx0G0yNIjfvwafJeOkoiryJlL0vkJG8k55NNpV-HyYgKXTsmNsxStjY-HR-ofA7ya-bedYdAaB60Mf3alhnADHhtnQbQ44SAbQRdQZHWESKW07YEt68Pnh3rr3KrIjgj5VwjzCpVSlEIRVjLlSqDH4tK764Ybs6akh5vPM2fSSdiLMWBNoEi_LZWiAor0kEouzUericUxQByimut-nay4_rV913HBYBihGoiFpZJb0DbAeSP2sh9d_fA1e4mOo198HTsd-YOIDkY2jNdaQQlNa-cXkUruGtUZJEkDpvWruOhRFlqT3f1zqz-qJ9BcrgfzesPu-9RfKf17y4jbd37AUDR467R9vcadA3jsQD3PWYKMZT1OueokdQrLzVA5ouWB4ftnC5IB88qc0_sd0X8Vzrn-8YMF7c1-cDwgVxatr11-e_g-tkjbit1nYjdflJf4qAgLcH4w7jD4a-uUXDJtqZpWSZDWQQ02-Q8BzgRpKkbmAc6-z7fofiDxU8nlVj26UB6ZXchdyYglJ1Mum3lZy8sRjsYRzgktou8k3Vv0QIkgeuGPZC5Tp-TAlojOJe6QJK1LmisSD6oBn8HR_WUu_hzQV7AVT9hKMppcDEtfURZy94mYR2CetcvEnExcVMZqQu1gjtuR_yqf_xOgJ57dP7eCU25dxj70OXU9s5tvk3_YNZ9I-5KQJdZX0aWSFp73wT9GORlHOU7SBF5aEyuuj-HyI2uQL4R8zOVR7lVUnvVieSzOqnUVgYggWh6Phw8NEeIPoFa5wH61IyxR2vnCdP-nQhXoneZsDefXVDpmO5nXMTnZY0oGlnCxf9sSzYm0-9c1yHJrSSXAnwuDaPnKmZ86YXlJXIBeP6lkwDoK5ZYbbksNphM2iJZbxZlbAf7E4v_pMgk0VU2jhmc_V2kTRMvvSqkfyabp7hWe2b0uwQwLUlrNpeH0G_fpn8GXz1pRYJ2G36D-Wc0_JOJ2v7J-qD73tXl5LR-dyJJYWCu9C3AROjbyM0Vg-Hf0326T__PPCd9hpCX876buR3f7H4_cpYR6Y2mc39MUd2al0x3-sDdds-ZiAX_Bz9NiOdb6VpiuBe4sVW_p_VYEvqsInKsDJ-wNP4CXBv7VgaROYyf9ZQhDQsm1Ew47sccajrT-8Hr4zeHtoPrT-fJ2UP2v2Q_-OeF7q75ve9TbQfV_pjC9HVTfisBfd1C9-oNvNvl5Hac0-xs2xqs25pMfpdl8_uK12FkbVx9-mxrXEm32EivfffJgm9ebVoxNi6qIFX-WaSf3C209FOL7nkt_r-zreqWUeMFIPO5lKdKCZfTbjfTmrDpJX2Pn_jL6I3-E3yV_BZV4cj8_pxBlFy9c9pedPeDp5yvx_Tw0CV280THQEGk5HXp7Hvavw63OKCuOho_v5fM8qTI6xq21A5BDoVoqBv8HcuEJ6ocqWHP5oDpNYcUFDJ9wPlY0vh7O0rAqimuKVsPbFU1TuqaWNi0XoD9IY4k8f-F3XuUH2XbWKbjA2fjuNkuKOeTXOZtY0leWZ6CdPdL1ei7wqD8FJxNmo6xKr5kzKD5atT10e3wbn4uRGaPbtypjVY5jVNN52fcxnrSW-ctMd8iKlnRD9J7lxbALjcdOVWQTFUXBMPLwB5FpRxFhRYjKUvCKlsYSbUtKhCgPjUXUdF-3Pg3NVecmzTZBtEh8z1Z61FpMtUIcIj-HS26nivpHh37r0fteJt-tiI815dDFNwIduXLOi7PgUeYqY3LEnk-YzCFKUI_aC9WCyPWthKcgWiDQ2h1XFqiTpBKArEJDEiG3vROfImhRKW2BXZvvR9E-r_aTUU24AIZY56GH3rQA550BdLv1YwCInyRqMdGCtqANVxLNs1k4892Dr-y8bbX6f6B2tuYWpXGYR_MMAxCcQhLSvMK4ypO0yEiOkwryipEYxwf9X3xrqm9L7fvKOvko1ZM86S_r5XyXHmoUA-Gk-966y92eXzaAqCZmg0iltoC48b3G_T0xUjXqDHdEHkjGS_S04XSDPqCq48IiDRSkFbsZ-gX0GYCPH__4hObpLJzFs5eaho8s39Kvu4cPwRWK-qqPZ5OeZIz75RIt4n6LRgHOaq5ndN8jlyHVuvgSwfuOYNR_8g3OYy1b0LzmfR44R8SwmbosWX34bcils9zesLuIFVFBbuBunuZpUURFkd5s7rIKz2lcF5RGkNKIVbSKc4zTqqYsgbi64Xc4xFGYzrOwwGmUzrKM4ajI07pISU3mYRCH0BAuZi6nZkqvb7gxHdylUZTGN4JUIIzvKsfY8eg_Ol6S9zf6zudh1a1NEIeCG2uOKJZb4dvRfQyC5D1aGAPaO-_8wvNDJxo3pGSg-RZYgHOrvuz8L0XZwMjsptPi7tsWRYBX3lJXE70n_w4AAP__u31fFg">