[flang-commits] [flang] [flang] Use alias analysis in lowering record assignments (PR #176483)

Thu Feb 5 04:00:52 PST 2026

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `flang-aarch64-latest-gcc` running on `linaro-flang-aarch64-latest-gcc` while building `flang` at step 5 "build-unified-tree".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/130/builds/17604

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 5 (build-unified-tree) failure: build (failure)
...
2787.898 [654/9/7398] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/ConstantArgumentGlobalisation.cpp.o
2787.940 [648/14/7399] Creating library symlink lib/libFIRSupport.so
2789.012 [648/13/7400] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/CUDA/CUFFunctionRewrite.cpp.o
2789.063 [648/12/7401] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/CompilerGeneratedNames.cpp.o
2789.708 [648/11/7402] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/CUDA/CUFOpConversionLate.cpp.o
2793.001 [648/10/7403] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/ControlFlowConverter.cpp.o
2793.162 [648/9/7404] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/CUDA/CUFOpConversion.cpp.o
2793.209 [648/8/7405] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/CUDA/CUFGPUToLLVMConversion.cpp.o
2795.364 [639/16/7406] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/ConvertComplexPow.cpp.o
2796.351 [639/15/7407] Linking CXX shared library lib/libFIRBuilder.so.23.0git
FAILED: lib/libFIRBuilder.so.23.0git 
: && /usr/local/bin/c++ -fPIC -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror=date-time -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wno-missing-field-initializers -pedantic -Wno-long-long -Wimplicit-fallthrough -Wno-uninitialized -Wno-nonnull -Wno-class-memaccess -Wno-dangling-reference -Wno-redundant-move -Wno-pessimizing-move -Wno-array-bounds -Wno-stringop-overread -Wno-noexcept-type -Wdelete-non-virtual-dtor -Wsuggest-override -Wno-comment -Wno-misleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wno-deprecated-copy -Wno-ctad-maybe-unsupported -fno-semantic-interposition -fpch-preprocess -O3 -DNDEBUG -fno-semantic-interposition  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/tcwg-buildbot/worker/flang-aarch64-latest-gcc/build/./lib  -Wl,--gc-sections -shared -Wl,-soname,libFIRBuilder.so.23.0git -o lib/libFIRBuilder.so.23.0git tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/BoxValue.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Character.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Complex.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/CUDAIntrinsicCall.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/CUFCommon.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/DoLoopHelper.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/FIRBuilder.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/HLFIRTools.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/IntrinsicCall.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/LowLevelIntrinsics.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/MutableBox.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/PPCIntrinsicCall.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Allocatable.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/ArrayConstructor.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Assign.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Character.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Command.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/CUDA/Descriptor.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Derived.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/EnvironmentDefaults.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Exceptions.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Execute.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Inquiry.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Intrinsics.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Main.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Numeric.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Pointer.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Ragged.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Reduction.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Stop.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Support.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/TemporaryStack.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/Runtime/Transformational.cpp.o tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/TemporaryStorage.cpp.o  -Wl,-rpath,"\$ORIGIN/../lib:/home/tcwg-buildbot/worker/flang-aarch64-latest-gcc/build/lib:"  lib/libCUFDialect.so.23.0git  lib/libFIRSupport.so.23.0git  lib/libFortranEvaluate.so.23.0git  lib/libHLFIRDialect.so.23.0git  lib/libMIFDialect.so.23.0git  lib/libMLIRBufferizationAllExtensions.so.23.0git  lib/libMLIRBufferizationShardingExtensions.so.23.0git
  lib/libMLIRFuncAllExtensions.so.23.0git  lib/libMLIRFuncInlinerExtension.so.23.0git  lib/libMLIRFuncShardingExtensions.so.23.0git  lib/libMLIRTensorAllExtensions.so.23.0git  lib/libMLIRTensorShardingExtensions.so.23.0git  lib/libFortranSupport.so.23.0git  lib/libFIRDialect.so.23.0git  lib/libCUFAttrs.so.23.0git  lib/libFIRDialectSupport.so.23.0git  lib/libMLIRAffineTransformOps.so.23.0git  lib/libMLIRAMDGPUTransforms.so.23.0git  lib/libMLIRArithValueBoundsOpInterfaceImpl.so.23.0git  lib/libMLIRArmNeonVectorTransformOps.so.23.0git  lib/libMLIRArmSMETransforms.so.23.0git  lib/libMLIRArmSMEDialect.so.23.0git  lib/libMLIRArmSVEVectorTransformOps.so.23.0git  lib/libMLIRAsyncTransforms.so.23.0git  lib/libMLIRBufferizationPipelines.so.23.0git  lib/libMLIRBufferizationTransformOps.so.23.0git  lib/libMLIRControlFlowTransforms.so.23.0git  lib/libMLIRDLTITransformOps.so.23.0git  lib/libMLIREmitCTransforms.so.23.0git  lib/libMLIREmitCDialect.so.23.0git  lib/libMLIRGPUTransformOps.so.23.0git  lib/libMLIRGPUToROCDLTransforms.so.23.0git  lib/libMLIRAMDGPUToROCDL.so.23.0git  lib/libMLIRMathToROCDL.so.23.0git  lib/libMLIRAMDGPUUtils.so.23.0git  lib/libMLIRGPUPipelines.so.23.0git  lib/libMLIRGPUToLLVMSPV.so.23.0git  lib/libMLIRSPIRVAttrToLLVMConversion.so.23.0git  lib/libMLIRIndexToLLVM.so.23.0git  lib/libMLIRMathToXeVM.so.23.0git  lib/libMLIRNVVMToLLVM.so.23.0git  lib/libMLIRXeGPUToXeVM.so.23.0git  lib/libMLIRXeVMToLLVM.so.23.0git  lib/libMLIRVCIXDialect.so.23.0git  lib/libMLIRMathTransforms.so.23.0git  lib/libMLIRMemRefTransformOps.so.23.0git  lib/libMLIRMLProgramTransforms.so.23.0git  lib/libMLIRMLProgramDialect.so.23.0git  lib/libMLIRMPIDialect.so.23.0git  lib/libMLIRNVGPUUtils.so.23.0git  lib/libMLIRNVGPUTransformOps.so.23.0git  lib/libMLIRNVGPUTransforms.so.23.0git  lib/libMLIROpenACCTransforms.so.23.0git  lib/libMLIROpenACCAnalysis.so.23.0git  lib/libMLIROpenACCUtils.so.23.0git  lib/libMLIROpenACCDialect.so.23.0git  lib/libMLIROpenMPTransforms.so.23.0git  lib/libMLIRPtrDialect.so.23.0git  lib/libMLIRQuantTransforms.so.23.0git  lib/libMLIRSCFTransformOps.so.23.0git  lib/libMLIRShapeOpsTransforms.so.23.0git  lib/libMLIRShapeDialect.so.23.0git  lib/libMLIRSparseTensorPipelines.so.23.0git  lib/libMLIRSCFToControlFlow.so.23.0git  lib/libMLIRGPUToNVVMTransforms.so.23.0git  lib/libMLIRNVGPUToNVVM.so.23.0git  lib/libMLIRGPUToGPURuntimeTransforms.so.23.0git  lib/libMLIRGPUTransforms.so.23.0git  lib/libMLIRAMDGPUDialect.so.23.0git  lib/libMLIRAsyncToLLVM.so.23.0git  lib/libMLIRAsyncDialect.so.23.0git  lib/libMLIRConvertToLLVMPass.so.23.0git  lib/libMLIRConvertToLLVMInterface.so.23.0git  lib/libMLIRAffineToStandard.so.23.0git  lib/libMLIRMathToLLVM.so.23.0git  lib/libMLIRReconcileUnrealizedCasts.so.23.0git  lib/libMLIRVectorToLLVMPass.so.23.0git  lib/libMLIRAMXTransforms.so.23.0git  lib/libMLIRAMXDialect.so.23.0git  lib/libMLIRArmNeonTransforms.so.23.0git  lib/libMLIRArmNeonDialect.so.23.0git  lib/libMLIRArmSVETransforms.so.23.0git  lib/libMLIRArmSVEDialect.so.23.0git  lib/libMLIRComplexToLLVM.so.23.0git  lib/libMLIRComplexToLibm.so.23.0git  lib/libMLIRComplexToStandard.so.23.0git  lib/libMLIRComplexDivisionConversion.so.23.0git  lib/libMLIRMathToLibm.so.23.0git  lib/libMLIRMemRefToLLVM.so.23.0git  lib/libMLIRUBToLLVM.so.23.0git  lib/libMLIRSparseTensorTransformOps.so.23.0git  lib/libMLIRLinalgTransformOps.so.23.0git  lib/libMLIRSparseTensorTransforms.so.23.0git  lib/libMLIRLinalgTransforms.so.23.0git  lib/libMLIRShardTransforms.so.23.0git  lib/libMLIRSparseTensorUtils.so.23.0git  lib/libMLIRSPIRVModuleCombiner.so.23.0git  lib/libMLIRSPIRVTransforms.so.23.0git  lib/libMLIRSPIRVConversion.so.23.0git  lib/libMLIRSPIRVUtils.so.23.0git  lib/libMLIRTensorInferTypeOpInterfaceImpl.so.23.0git  lib/libMLIRTensorTilingInterfaceImpl.so.23.0git  lib/libMLIRLinalgUtils.so.23.0git  lib/libMLIRTensorTransformOps.so.23.0git  lib/libMLIRTosaShardingInterfaceImpl.so.23.0git  lib/libMLIRTosaTransforms.so.23.0git  lib/libMLIRFuncTransformOps.so.23.0git  lib/libMLIRFuncUtils.so.23.0git  lib/libMLIRFuncToLLVM.so.23.0git  lib/libMLIRArithToLLVM.so.23.0git  lib/l

libMLIRDialect.so.23.0git  lib/libMLIRCastInterfaces.so.23.0git  lib/libMLIRInferIntRangeCommon.so.23.0git  lib/libMLIRShapedOpInterfaces.so.23.0git  lib/libMLIRParallelCombiningOpInterface.so.23.0git  lib/libMLIRIndexingMapOpInterface.so.23.0git  lib/libMLIRVectorInterfaces.so.23.0git  lib/libMLIRMaskableOpInterface.so.23.0git  lib/libMLIRMaskingOpInterface.so.23.0git  lib/libMLIRDialectUtils.so.23.0git  lib/libMLIRTransforms.so.23.0git  lib/libMLIRUBDialect.so.23.0git  lib/libMLIRTransformUtils.so.23.0git  lib/libMLIRSubsetOpInterface.so.23.0git  lib/libMLIRValueBoundsOpInterface.so.23.0git  lib/libMLIRDestinationStyleOpInterface.so.23.0git  lib/libMLIRRewrite.so.23.0git  lib/libMLIRRewritePDL.so.23.0git  lib/libMLIRPDLToPDLInterp.so.23.0git  lib/libMLIRPDLInterpDialect.so.23.0git  lib/libMLIRPDLDialect.so.23.0git  lib/libMLIRPass.so.23.0git  lib/libMLIRAnalysis.so.23.0git  lib/libMLIRControlFlowInterfaces.so.23.0git  lib/libMLIRInferTypeOpInterface.so.23.0git  lib/libMLIRSideEffectInterfaces.so.23.0git  lib/libMLIRPresburger.so.23.0git  lib/libMLIRLoopLikeInterface.so.23.0git  lib/libMLIRViewLikeInterface.so.23.0git  lib/libMLIRDataLayoutInterfaces.so.23.0git  lib/libMLIRInferStridedMetadataInterface.so.23.0git  lib/libMLIRInferIntRangeInterface.so.23.0git  lib/libMLIRFunctionInterfaces.so.23.0git  lib/libMLIRCallInterfaces.so.23.0git  lib/libMLIRMemorySlotInterfaces.so.23.0git  lib/libMLIRMemOpInterfaces.so.23.0git  lib/libMLIRRuntimeVerifiableOpInterface.so.23.0git  lib/libMLIRIR.so.23.0git  lib/libMLIRSupport.so.23.0git  lib/libLLVMTarget.so.23.0git  lib/libLLVMTransformUtils.so.23.0git  lib/libLLVMBitWriter.so.23.0git  lib/libLLVMAnalysis.so.23.0git  lib/libLLVMMCParser.so.23.0git  lib/libLLVMMC.so.23.0git  lib/libLLVMIRReader.so.23.0git  lib/libLLVMAsmParser.so.23.0git  lib/libLLVMCore.so.23.0git  lib/libLLVMBinaryFormat.so.23.0git  lib/libLLVMTargetParser.so.23.0git  lib/libLLVMSupport.so.23.0git  -Wl,-rpath-link,/home/tcwg-buildbot/worker/flang-aarch64-latest-gcc/build/lib && :
/usr/bin/ld: tools/flang/lib/Optimizer/Builder/CMakeFiles/FIRBuilder.dir/FIRBuilder.cpp.o: in function `fir::factory::genRecordAssignment(fir::FirOpBuilder&, mlir::Location, fir::ExtendedValue const&, fir::ExtendedValue const&, bool, bool) [clone .localalias]':
FIRBuilder.cpp:(.text._ZN3fir7factory19genRecordAssignmentERNS_12FirOpBuilderEN4mlir8LocationERKNS_13ExtendedValueES7_bb+0x4fc): undefined reference to `fir::AliasAnalysis::alias(mlir::Value, mlir::Value)'
collect2: error: ld returned 1 exit status
2796.768 [639/14/7408] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/CUDA/CUFPredefinedVarToGPU.cpp.o
2800.694 [639/13/7409] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/MemoryUtils.cpp.o
2807.023 [639/12/7410] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/DebugTypeGenerator.cpp.o
2809.302 [639/11/7411] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/FIRToSCF.cpp.o
2813.294 [639/10/7412] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/ExternalNameConversion.cpp.o
2813.706 [639/9/7413] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/SimplifyRegionLite.cpp.o
2814.686 [639/8/7414] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/FunctionAttr.cpp.o
2814.864 [639/7/7415] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/MemoryAllocation.cpp.o
2815.695 [639/6/7416] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/MemRefDataFlowOpt.cpp.o
2819.119 [639/5/7417] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/GenRuntimeCallsForTest.cpp.o
2819.395 [639/4/7418] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/StackArrays.cpp.o
2820.065 [639/3/7419] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/SimplifyIntrinsics.cpp.o
2821.858 [639/2/7420] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/FIRToMemRef.cpp.o
2844.396 [639/1/7421] Building CXX object tools/flang/lib/Optimizer/Transforms/CMakeFiles/FIRTransforms.dir/PolymorphicOpConversion.cpp.o
ninja: build stopped: subcommand failed.

```

</details>

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