[all-commits] [llvm/llvm-project] befa03: [mlir][affine] Guard invalid dim attribute in the ...

[Kai Sasaki via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: befa037c135cb0314b82e17d1dc06513d266dbe4
      https://github.com/llvm/llvm-project/commit/befa037c135cb0314b82e17d1dc06513d266dbe4
  Author: Kai Sasaki <lewuathe at gmail.com>
  Date:   2025-03-14 (Fri, 14 Mar 2025)

  Changed paths:
    A mlir/test/Dialect/Affine/invalid-reify-bound-dim.mlir
    M mlir/test/lib/Dialect/Affine/TestReifyValueBounds.cpp

  Log Message:
  -----------
  [mlir][affine] Guard invalid dim attribute in the test-reify-bound pass (#129013)

Computing the bound of affine op
(ValueBoundsConstraintSet::computeBound) crashes due to the invalid dim
value given to the op. It is necessary for the pass to check the dim
attribute not to be greater than the rank of the input type.

Fixes https://github.com/llvm/llvm-project/issues/128807



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications