@llvm/pr-subscribers-flang-driver
@llvm/pr-subscribers-flang-openmp

@llvm/pr-subscribers-flang-fir-hlfir

Author: Slava Zakharin (vzakhari)

diff --git a/flang/lib/Optimizer/Passes/Pipelines.cpp b/flang/lib/Optimizer/Passes/Pipelines.cpp
index 98f947a1f635d..6cc3290ff5cc2 100644
--- a/flang/lib/Optimizer/Passes/Pipelines.cpp
+++ b/flang/lib/Optimizer/Passes/Pipelines.cpp
@@ -14,7 +14,7 @@
 
 /// Force setting the no-alias attribute on fuction arguments when possible.
 static llvm::cl::opt<bool> forceNoAlias("force-no-alias", llvm::cl::Hidden,
-                                        llvm::cl::init(false));
+                                        llvm::cl::init(true));
 
 namespace fir {
 

Looks good to me.

One suggestion: I don’t think the tests should be modified to use the flag to turn off noalias. It’s better to keep the tests using the default behavior, unless the test is specifically meant to verify the case where noalias should be avoided.

I am planning removing the --force-no-alias option and updating the tests in a separate PR, if this change sticks. I would prefer keeping the test updates now: if we have to revert the option back to false, then we can just flip the switch and leave the tests as-is.

Thank you for the review and all the work you put into trying to resolve the exchange2 issues!