[all-commits] [llvm/llvm-project] 86c8ea: [mlir] Add check for value that might be null.

[Jianjian Guan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 86c8ea9ac92221076518586852d13d6a1f414777
      https://github.com/llvm/llvm-project/commit/86c8ea9ac92221076518586852d13d6a1f414777
  Author: jacquesguan <Jianjian.Guan at streamcomputing.com>
  Date:   2023-02-16 (Thu, 16 Feb 2023)

  Changed paths:
    M mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
    M mlir/test/Dialect/Arith/unsigned-when-equivalent.mlir

  Log Message:
  -----------
  [mlir] Add check for value that might be null.

Because we are generating uninitialized value for no integer type and use `isUninitialized()` to judge if it is valid after https://reviews.llvm.org/rG93f081c896536112e1ca8133991d23cb1134793a, we should check the value before use `getValue` to get it.
Fixes https://github.com/llvm/llvm-project/issues/59984.

Reviewed By: Mogball

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