[all-commits] [llvm/llvm-project] 725d3e: [DA] Fix overflow in the Exact test (#200781)

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 725d3eb71deb995c657355579a17417f71e3a3a8
      https://github.com/llvm/llvm-project/commit/725d3eb71deb995c657355579a17417f71e3a3a8
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2026-06-01 (Mon, 01 Jun 2026)

  Changed paths:
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    M llvm/test/Analysis/DependenceAnalysis/exact-siv-mul-overflow.ll

  Log Message:
  -----------
  [DA] Fix overflow in the Exact test (#200781)

In exactTestImpl, some computations using APInt could overflow, which
might lead to incorrect results.
This patch addresses the issue by replacing APInt with
OverflowSafeSignedAPInt, a class that is sensitive to overflow and
allows us to detect it properly.

Fixes #200766.



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