[Mlir-commits] [mlir] [mlir][Interfaces] Track and infer no-overflow flags in integer ranges (PR #191777)
llvmlistbot at llvm.org
llvmlistbot at llvm.org
Mon Apr 13 02:58:14 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results
The build failed before running any tests. Click on a failure below to see the details.
<details>
<summary>tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/StridedMetadataRangeAnalysis.cpp.o</summary>
```
FAILED: tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/StridedMetadataRangeAnalysis.cpp.o
sccache /opt/llvm/bin/clang++ -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GLIBCXX_USE_CXX11_ABI=1 -D_GNU_SOURCE -D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_EXTENSIVE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/mlir/lib/Analysis -I/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Analysis -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/mlir/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include -gmlt -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -Wundef -Werror=mismatched-tags -Werror=global-constructors -O3 -DNDEBUG -std=c++17 -UNDEBUG -fno-exceptions -funwind-tables -fno-rtti -MD -MT tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/StridedMetadataRangeAnalysis.cpp.o -MF tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/StridedMetadataRangeAnalysis.cpp.o.d -o tools/mlir/lib/Analysis/CMakeFiles/obj.MLIRAnalysis.dir/DataFlow/StridedMetadataRangeAnalysis.cpp.o -c /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Analysis/DataFlow/StridedMetadataRangeAnalysis.cpp
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Analysis/DataFlow/StridedMetadataRangeAnalysis.cpp:16:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Analysis/DataFlow/StridedMetadataRangeAnalysis.h:12:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h:18:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Analysis/DataFlowFramework.h:19:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Operation.h:16:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Block.h:16:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/BlockSupport.h:16:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Value.h:16:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Types.h:12:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/TypeSupport.h:16:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/MLIRContext.h:13:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Support/TypeID.h:21:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/Allocator.h:20:
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1189:7: error: static assertion failed due to requirement 'sizeof(mlir::StridedMetadataRange) <= 256': You are trying to use a default number of inlined elements for `SmallVector<T>` but `sizeof(T)` is really big! Please use an explicit number of inlined elements with `SmallVector<T, N>` to make sure you really want that much inline storage.
1189 | sizeof(T) <= 256,
| ^~~~~~~~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1221:24: note: in instantiation of template class 'llvm::CalculateSmallVectorDefaultInlinedElements<mlir::StridedMetadataRange>' requested here
1221 | unsigned N = CalculateSmallVectorDefaultInlinedElements<T>::value>
| ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Analysis/DataFlow/StridedMetadataRangeAnalysis.cpp:107:3: note: in instantiation of default argument for 'SmallVector<StridedMetadataRange>' required here
107 | SmallVector<StridedMetadataRange> argRanges = llvm::map_to_vector(
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1189:17: note: expression evaluates to '272 <= 256'
1189 | sizeof(T) <= 256,
| ~~~~~~~~~~^~~~~~
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Analysis/DataFlow/StridedMetadataRangeAnalysis.cpp:16:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Analysis/DataFlow/StridedMetadataRangeAnalysis.h:12:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h:18:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Analysis/DataFlowFramework.h:19:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Operation.h:17:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/BuiltinAttributes.h:12:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/BuiltinAttributeInterfaces.h:12:
In file included from /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/AffineMap.h:23:
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVectorExtras.h:48:10: error: no matching function for call to 'to_vector'
48 | return to_vector(
| ^~~~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Analysis/DataFlow/StridedMetadataRangeAnalysis.cpp:107:55: note: in instantiation of function template specialization 'llvm::map_to_vector<llvm::ArrayRef<const mlir::dataflow::StridedMetadataRangeLattice *> &, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Analysis/DataFlow/StridedMetadataRangeAnalysis.cpp:108:17)>' requested here
107 | SmallVector<StridedMetadataRange> argRanges = llvm::map_to_vector(
| ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1325:46: note: candidate template ignored: couldn't infer template argument 'Size'
1325 | SmallVector<ValueTypeFromRangeType<R>, Size> to_vector(R &&Range) {
| ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1329:40: note: candidate template ignored: substitution failure [with R = iterator_range<llvm::mapped_iterator<const mlir::dataflow::StridedMetadataRangeLattice *const *, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Analysis/DataFlow/StridedMetadataRangeAnalysis.cpp:108:17), mlir::StridedMetadataRange>>]
1329 | SmallVector<ValueTypeFromRangeType<R>> to_vector(R &&Range) {
| ^
2 errors generated.
```
</details>
If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.
https://github.com/llvm/llvm-project/pull/191777
More information about the Mlir-commits
mailing list