[all-commits] [llvm/llvm-project] 2d39cb: [BasicAA] Don't use MinAbsVarIndex = 1. (#72993)

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2d39cb49833abaf7a67110149a010940d7790d7e
      https://github.com/llvm/llvm-project/commit/2d39cb49833abaf7a67110149a010940d7790d7e
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-11-21 (Tue, 21 Nov 2023)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/gep-modulo.ll

  Log Message:
  -----------
  [BasicAA] Don't use MinAbsVarIndex = 1. (#72993)

The current code incorrectly assumed that the absolute variable index
needs to be at least 1, if the variable is != 0. This is incorrect, in
case multiplying with Scale wraps.

The code below already checks for wrapping properly, so just remove the
incorrect assignment.

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