remove duplicate check in verifier

jeanPerier · jeanPerier · commit 420f3eda8af1 · 2025-03-11T01:08:02.000-07:00
diff --git a/flang/lib/Optimizer/Dialect/FIROps.cpp b/flang/lib/Optimizer/Dialect/FIROps.cpp
@@ -3957,9 +3957,6 @@ llvm::LogicalResult fir::CopyOp::verify() {
   mlir::Type destinationType = fir::unwrapRefType(getDestination().getType());
   if (sourceType != destinationType)
     return emitOpError("source and destination must have the same value type");
-  if (fir::hasDynamicSize(sourceType))
-    return emitOpError(
-        "source value type must have a compile time constant size");
   return mlir::success();
 }
 

Original file line number	Diff line number	Diff line change
`@@ -3957,9 +3957,6 @@ llvm::LogicalResult fir::CopyOp::verify() {`
`3957`	`3957`	`mlir::Type destinationType = fir::unwrapRefType(getDestination().getType());`
`3958`	`3958`	`if (sourceType != destinationType)`
`3959`	`3959`	`return emitOpError("source and destination must have the same value type");`
`3960`		`- if (fir::hasDynamicSize(sourceType))`
`3961`		`- return emitOpError(`
`3962`		`- "source value type must have a compile time constant size");`
`3963`	`3960`	`return mlir::success();`
`3964`	`3961`	`}`
`3965`	`3962`