[flang] [llvm] [Flang][OpenMP] Generate correct present checks for implicit maps of optional allocatables (PR #138210)

[via llvm-commits]

================
@@ -151,16 +152,23 @@ class MapInfoFinalizationPass
     mlir::Location loc = boxMap->getLoc();
     assert(allocaBlock && "No alloca block found for this top level op");
     builder.setInsertionPointToStart(allocaBlock);
-    auto alloca = builder.create<fir::AllocaOp>(loc, descriptor.getType());
+
+    mlir::Type allocaType = descriptor.getType();
+    if (fir::isTypeWithDescriptor(allocaType) &&
+        !mlir::isa<fir::BaseBoxType>(descriptor.getType()))
----------------
jeanPerier wrote:

```suggestion
    if (fir::isBoxAddress(allocaType))
```

https://github.com/llvm/llvm-project/pull/138210