[all-commits] [llvm/llvm-project] 0609b6: [SCEV] Fix potentially empty set for unsigned ranges

[tejas-amd via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0609b65aaf03b083d282a4ffe8bf660351dac461
      https://github.com/llvm/llvm-project/commit/0609b65aaf03b083d282a4ffe8bf660351dac461
  Author: Tejas Joshi <TejasSanjay.Joshi at amd.com>
  Date:   2023-09-04 (Mon, 04 Sep 2023)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/malloc.ll

  Log Message:
  -----------
  [SCEV] Fix potentially empty set for unsigned ranges

The following commit enabled the analysis of ranges for heap allocations:
22ca38da25e19a7c5fcfeb3f22159aba92ec381e

The range turns out to be empty in cases such as the one in test (which
is [1,1)), leading to an assertion failure. This patch fixes for the
same case.

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

Reviewed By: fhahn

Differential Revision: https://reviews.llvm.org/D159160