[clang] [Clang] Correctly handle allocations in the condition of a `if constexpr` (PR #146890)

LLVM Continuous Integration via cfe-commits cfe-commits at lists.llvm.org
Fri Jul 4 06:44:15 PDT 2025 

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `hip-third-party-libs-test` running on `ext_buildbot_hw_05-hip-docker` while building `clang` at step 4 "annotate".

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

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

```
Step 4 (annotate) failure: '../llvm-zorg/zorg/buildbot/builders/annotated/hip-tpl.py --jobs=32' (failure)
...
[6310/7914] Linking CXX shared library lib/libMLIRSPIRVDialect.so.21.0git
[6311/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/UninitializedObject/UninitializedObjectChecker.cpp.o
[6312/7914] Creating library symlink lib/libMLIRTensorTestPasses.so
[6313/7914] Creating library symlink lib/libMLIRSPIRVDialect.so
[6314/7914] Linking CXX shared library lib/libMLIRNVVMTarget.so.21.0git
[6315/7914] Linking CXX shared library lib/libMLIRSCFTestPasses.so.21.0git
[6316/7914] Creating library symlink lib/libMLIRNVVMTarget.so
[6317/7914] Linking CXX shared library lib/libMLIRTestTransformDialect.so.21.0git
[6318/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Frontend/CMakeFiles/obj.clangStaticAnalyzerFrontend.dir/ModelConsumer.cpp.o
[6319/7914] Linking CXX shared library lib/libMLIRXeVMDialect.so.21.0git
FAILED: lib/libMLIRXeVMDialect.so.21.0git 
: && /usr/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-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wdelete-non-virtual-dtor -Wsuggest-override -Wno-comment -Wno-misleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Wno-unused-but-set-parameter -Wno-deprecated-copy -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/botworker/bbot/hip-third-party-libs-test/build/./lib  -Wl,--gc-sections -shared -Wl,-soname,libMLIRXeVMDialect.so.21.0git -o lib/libMLIRXeVMDialect.so.21.0git tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o  -Wl,-rpath,"\$ORIGIN/../lib:/home/botworker/bbot/hip-third-party-libs-test/build/lib:"  lib/libMLIRLLVMDialect.so.21.0git  lib/libMLIRSideEffectInterfaces.so.21.0git  lib/libMLIRControlFlowInterfaces.so.21.0git  lib/libMLIRDataLayoutInterfaces.so.21.0git  lib/libMLIRFunctionInterfaces.so.21.0git  lib/libMLIRCallInterfaces.so.21.0git  lib/libMLIRInferTypeOpInterface.so.21.0git  lib/libMLIRMemorySlotInterfaces.so.21.0git  lib/libMLIRIR.so.21.0git  lib/libMLIRSupport.so.21.0git  lib/libLLVMBitWriter.so.21.0git  lib/libLLVMAsmParser.so.21.0git  lib/libLLVMBitReader.so.21.0git  lib/libLLVMCore.so.21.0git  lib/libLLVMBinaryFormat.so.21.0git  lib/libLLVMSupport.so.21.0git  -Wl,-rpath-link,/home/botworker/bbot/hip-third-party-libs-test/build/lib && :
/usr/bin/ld: tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o: in function `llvm::LogicalResult (anonymous namespace)::verifyMatrixInput<mlir::xevm::BlockLoad2dOp>(mlir::xevm::BlockLoad2dOp)':
XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm13BlockLoad2dOpEEEN4llvm13LogicalResultET_+0x68): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm13BlockLoad2dOpEEEN4llvm13LogicalResultET_+0xb7): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o: in function `llvm::LogicalResult (anonymous namespace)::verifyMatrixInput<mlir::xevm::BlockPrefetch2dOp>(mlir::xevm::BlockPrefetch2dOp)':
XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm17BlockPrefetch2dOpEEEN4llvm13LogicalResultET_+0x68): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm17BlockPrefetch2dOpEEEN4llvm13LogicalResultET_+0xb7): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o: in function `llvm::LogicalResult (anonymous namespace)::verifyMatrixInput<mlir::xevm::BlockStore2dOp>(mlir::xevm::BlockStore2dOp)':
XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm14BlockStore2dOpEEEN4llvm13LogicalResultET_+0x68): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o:XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm14BlockStore2dOpEEEN4llvm13LogicalResultET_+0xb7): more undefined references to `mlir::getConstantIntValue(mlir::OpFoldResult)' follow
collect2: error: ld returned 1 exit status
[6320/7914] Linking CXX shared library lib/libMLIRAsyncToLLVM.so.21.0git
[6321/7914] Linking CXX shared library lib/libMLIROpenMPToLLVM.so.21.0git
[6322/7914] Linking CXX shared library lib/libMLIRSCFToControlFlow.so.21.0git
[6323/7914] Linking CXX shared library lib/libMLIRVectorToLLVMPass.so.21.0git
[6324/7914] Linking CXX shared library lib/libMLIRVectorTransformOps.so.21.0git
[6325/7914] Linking CXX shared library lib/libMLIRFuncTransformOps.so.21.0git
[6326/7914] Linking CXX shared library lib/libMLIRXeGPUTransforms.so.21.0git
[6327/7914] Linking CXX shared library lib/libMLIRSPIRVModuleCombiner.so.21.0git
[6328/7914] Linking CXX shared library lib/libMLIRSPIRVUtils.so.21.0git
[6329/7914] Linking CXX shared library lib/libMLIRSPIRVConversion.so.21.0git
[6330/7914] Linking CXX shared library lib/libMLIRExecutionEngine.so.21.0git
[6331/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/ValistChecker.cpp.o
[6332/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/VLASizeChecker.cpp.o
[6333/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/VforkChecker.cpp.o
[6334/7914] Linking CXX shared library lib/libMLIRSPIRVSerialization.so.21.0git
[6335/7914] Linking CXX shared library lib/libMLIRSPIRVDeserialization.so.21.0git
[6336/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RawPtrRefMemberChecker.cpp.o
[6337/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RawPtrRefLambdaCapturesChecker.cpp.o
[6338/7914] Linking CXX shared library lib/libMLIRLinalgTransforms.so.21.0git
[6339/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Frontend/CMakeFiles/obj.clangStaticAnalyzerFrontend.dir/AnalysisConsumer.cpp.o
[6340/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RawPtrRefCallArgsChecker.cpp.o
[6341/7914] Linking CXX shared library lib/libMLIRArmSMEToLLVM.so.21.0git
[6342/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Frontend/CMakeFiles/obj.clangStaticAnalyzerFrontend.dir/FrontendActions.cpp.o
[6343/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/VirtualCallChecker.cpp.o
[6344/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RetainPtrCtorAdoptChecker.cpp.o
[6345/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RefCntblBaseVirtualDtorChecker.cpp.o
[6346/7914] Building CXX object tools/clang/lib/Serialization/CMakeFiles/obj.clangSerialization.dir/ASTWriterStmt.cpp.o
Step 7 (build cmake config) failure: build cmake config (failure)
...
[6310/7914] Linking CXX shared library lib/libMLIRSPIRVDialect.so.21.0git
[6311/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/UninitializedObject/UninitializedObjectChecker.cpp.o
[6312/7914] Creating library symlink lib/libMLIRTensorTestPasses.so
[6313/7914] Creating library symlink lib/libMLIRSPIRVDialect.so
[6314/7914] Linking CXX shared library lib/libMLIRNVVMTarget.so.21.0git
[6315/7914] Linking CXX shared library lib/libMLIRSCFTestPasses.so.21.0git
[6316/7914] Creating library symlink lib/libMLIRNVVMTarget.so
[6317/7914] Linking CXX shared library lib/libMLIRTestTransformDialect.so.21.0git
[6318/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Frontend/CMakeFiles/obj.clangStaticAnalyzerFrontend.dir/ModelConsumer.cpp.o
[6319/7914] Linking CXX shared library lib/libMLIRXeVMDialect.so.21.0git
FAILED: lib/libMLIRXeVMDialect.so.21.0git 
: && /usr/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-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wdelete-non-virtual-dtor -Wsuggest-override -Wno-comment -Wno-misleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Wno-unused-but-set-parameter -Wno-deprecated-copy -O3 -DNDEBUG  -Wl,-z,defs -Wl,-z,nodelete   -Wl,-rpath-link,/home/botworker/bbot/hip-third-party-libs-test/build/./lib  -Wl,--gc-sections -shared -Wl,-soname,libMLIRXeVMDialect.so.21.0git -o lib/libMLIRXeVMDialect.so.21.0git tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o  -Wl,-rpath,"\$ORIGIN/../lib:/home/botworker/bbot/hip-third-party-libs-test/build/lib:"  lib/libMLIRLLVMDialect.so.21.0git  lib/libMLIRSideEffectInterfaces.so.21.0git  lib/libMLIRControlFlowInterfaces.so.21.0git  lib/libMLIRDataLayoutInterfaces.so.21.0git  lib/libMLIRFunctionInterfaces.so.21.0git  lib/libMLIRCallInterfaces.so.21.0git  lib/libMLIRInferTypeOpInterface.so.21.0git  lib/libMLIRMemorySlotInterfaces.so.21.0git  lib/libMLIRIR.so.21.0git  lib/libMLIRSupport.so.21.0git  lib/libLLVMBitWriter.so.21.0git  lib/libLLVMAsmParser.so.21.0git  lib/libLLVMBitReader.so.21.0git  lib/libLLVMCore.so.21.0git  lib/libLLVMBinaryFormat.so.21.0git  lib/libLLVMSupport.so.21.0git  -Wl,-rpath-link,/home/botworker/bbot/hip-third-party-libs-test/build/lib && :
/usr/bin/ld: tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o: in function `llvm::LogicalResult (anonymous namespace)::verifyMatrixInput<mlir::xevm::BlockLoad2dOp>(mlir::xevm::BlockLoad2dOp)':
XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm13BlockLoad2dOpEEEN4llvm13LogicalResultET_+0x68): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm13BlockLoad2dOpEEEN4llvm13LogicalResultET_+0xb7): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o: in function `llvm::LogicalResult (anonymous namespace)::verifyMatrixInput<mlir::xevm::BlockPrefetch2dOp>(mlir::xevm::BlockPrefetch2dOp)':
XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm17BlockPrefetch2dOpEEEN4llvm13LogicalResultET_+0x68): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm17BlockPrefetch2dOpEEEN4llvm13LogicalResultET_+0xb7): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o: in function `llvm::LogicalResult (anonymous namespace)::verifyMatrixInput<mlir::xevm::BlockStore2dOp>(mlir::xevm::BlockStore2dOp)':
XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm14BlockStore2dOpEEEN4llvm13LogicalResultET_+0x68): undefined reference to `mlir::getConstantIntValue(mlir::OpFoldResult)'
/usr/bin/ld: tools/mlir/lib/Dialect/LLVMIR/CMakeFiles/obj.MLIRXeVMDialect.dir/IR/XeVMDialect.cpp.o:XeVMDialect.cpp:(.text._ZN12_GLOBAL__N_117verifyMatrixInputIN4mlir4xevm14BlockStore2dOpEEEN4llvm13LogicalResultET_+0xb7): more undefined references to `mlir::getConstantIntValue(mlir::OpFoldResult)' follow
collect2: error: ld returned 1 exit status
[6320/7914] Linking CXX shared library lib/libMLIRAsyncToLLVM.so.21.0git
[6321/7914] Linking CXX shared library lib/libMLIROpenMPToLLVM.so.21.0git
[6322/7914] Linking CXX shared library lib/libMLIRSCFToControlFlow.so.21.0git
[6323/7914] Linking CXX shared library lib/libMLIRVectorToLLVMPass.so.21.0git
[6324/7914] Linking CXX shared library lib/libMLIRVectorTransformOps.so.21.0git
[6325/7914] Linking CXX shared library lib/libMLIRFuncTransformOps.so.21.0git
[6326/7914] Linking CXX shared library lib/libMLIRXeGPUTransforms.so.21.0git
[6327/7914] Linking CXX shared library lib/libMLIRSPIRVModuleCombiner.so.21.0git
[6328/7914] Linking CXX shared library lib/libMLIRSPIRVUtils.so.21.0git
[6329/7914] Linking CXX shared library lib/libMLIRSPIRVConversion.so.21.0git
[6330/7914] Linking CXX shared library lib/libMLIRExecutionEngine.so.21.0git
[6331/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/ValistChecker.cpp.o
[6332/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/VLASizeChecker.cpp.o
[6333/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/VforkChecker.cpp.o
[6334/7914] Linking CXX shared library lib/libMLIRSPIRVSerialization.so.21.0git
[6335/7914] Linking CXX shared library lib/libMLIRSPIRVDeserialization.so.21.0git
[6336/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RawPtrRefMemberChecker.cpp.o
[6337/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RawPtrRefLambdaCapturesChecker.cpp.o
[6338/7914] Linking CXX shared library lib/libMLIRLinalgTransforms.so.21.0git
[6339/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Frontend/CMakeFiles/obj.clangStaticAnalyzerFrontend.dir/AnalysisConsumer.cpp.o
[6340/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RawPtrRefCallArgsChecker.cpp.o
[6341/7914] Linking CXX shared library lib/libMLIRArmSMEToLLVM.so.21.0git
[6342/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Frontend/CMakeFiles/obj.clangStaticAnalyzerFrontend.dir/FrontendActions.cpp.o
[6343/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/VirtualCallChecker.cpp.o
[6344/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RetainPtrCtorAdoptChecker.cpp.o
[6345/7914] Building CXX object tools/clang/lib/StaticAnalyzer/Checkers/CMakeFiles/obj.clangStaticAnalyzerCheckers.dir/WebKit/RefCntblBaseVirtualDtorChecker.cpp.o
[6346/7914] Building CXX object tools/clang/lib/Serialization/CMakeFiles/obj.clangSerialization.dir/ASTWriterStmt.cpp.o

```

</details>

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

More information about the cfe-commits mailing list