[all-commits] [llvm/llvm-project] 13c648: [MLIR][IntegerRangeAnalysis] Avoid crash reached w...

[Victor Perez via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 13c648f6bda9a4b6c9cd1ee5f0c21c72acec1320
      https://github.com/llvm/llvm-project/commit/13c648f6bda9a4b6c9cd1ee5f0c21c72acec1320
  Author: Victor Perez <victor.perez at codeplay.com>
  Date:   2023-12-11 (Mon, 11 Dec 2023)

  Changed paths:
    M mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp
    M mlir/test/Dialect/Arith/int-range-interface.mlir
    M mlir/test/lib/Transforms/TestIntRangeInference.cpp

  Log Message:
  -----------
  [MLIR][IntegerRangeAnalysis] Avoid crash reached when loop bound is uninitialized (#74832)

If the loop bound is not initialized, the analysis crashed, as it only checked for nullity. Also checking for initialization fixes the issue.

Signed-off-by: Victor Perez <victor.perez at codeplay.com>
Co-authored-by: Tsang, Whitney <whitney.tsang at intel.com>