[flang-commits] [flang] [flang] Use outermost fir.dummy_scope for TBAA of local allocations. (PR #146006)

via flang-commits flang-commits at lists.llvm.org
Fri Jun 27 01:00:30 PDT 2025


================
@@ -119,9 +124,8 @@ void PassState::processFunctionScopes(mlir::func::FuncOp func) {
   }
 }
 
-// For the given fir.declare returns the dominating fir.dummy_scope
-// operation.
-fir::DummyScopeOp PassState::getDeclarationScope(fir::DeclareOp declareOp) {
+fir::DummyScopeOp
+PassState::getDeclarationScope(fir::DeclareOp declareOp) const {
----------------
jeanPerier wrote:

Why is the usage of this function not replaced by `getOutermostScope`?
Is it invalid to use `getOutermostScope` without local tbaa?

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


More information about the flang-commits mailing list