[flang][runtime] Remove bad runtime assertion (#134176)

klausler · web-flow · commit ade9d1f81012 · 2025-04-04T08:43:02.000-07:00
The RUNTIME_CHECK in question doesn't allow for the possibility that an
allocatable or pointer component could be processed by defined I/O.
Remove it in favor of a dynamic allocation check.
diff --git a/flang-rt/lib/runtime/descriptor-io.h b/flang-rt/lib/runtime/descriptor-io.h
@@ -263,10 +263,8 @@ static RT_API_ATTRS bool DefaultComponentIO(IoStatementState &io,
     // Component is itself a descriptor
     char *pointer{
         origDescriptor.Element<char>(origSubscripts) + component.offset()};
-    RUNTIME_CHECK(
-        terminator, component.genre() == typeInfo::Component::Genre::Automatic);
     const Descriptor &compDesc{*reinterpret_cast<const Descriptor *>(pointer)};
-    return DescriptorIO<DIR>(io, compDesc, table);
+    return compDesc.IsAllocated() && DescriptorIO<DIR>(io, compDesc, table);
   }
 #else
   terminator.Crash("not yet implemented: component IO");
