[all-commits] [llvm/llvm-project] d62792: [mlir][SliceAnalysis] Fix visited set to avoid inf...

[fzi-haxel via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d6279249920562e28cdd1fe4058451fb1d909241
      https://github.com/llvm/llvm-project/commit/d6279249920562e28cdd1fe4058451fb1d909241
  Author: fzi-haxel <61409998+fzi-haxel at users.noreply.github.com>
  Date:   2026-05-27 (Wed, 27 May 2026)

  Changed paths:
    M mlir/lib/Analysis/SliceAnalysis.cpp
    M mlir/test/Dialect/Affine/slicing-utils.mlir

  Log Message:
  -----------
  [mlir][SliceAnalysis] Fix visited set to avoid infinite recursion  (#200008)

Fixes #139694, which introduced use-def cycle detection during slice
analysis, but some cycles were still not detected, potentially leading
to infinite recursion.

This PR fixes the handling of the visited set, which tracks the current
DFS path during recursion. Previously, the set could fail to detect
double cycles because entries were erased even when no recursive call
was made. The insert/erase operations are now only performed when
recursion actually occurs, ensuring that cycle detection correctly
reflects the active DFS path.



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