[all-commits] [llvm/llvm-project] a6559b: Fix verifier crashing on some invalid IR

[Mehdi Amini via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a6559b42cee2a1a34bd75cf78a70c64429fb5cf8
      https://github.com/llvm/llvm-project/commit/a6559b42cee2a1a34bd75cf78a70c64429fb5cf8
  Author: Mehdi Amini <joker.eph at gmail.com>
  Date:   2021-06-16 (Wed, 16 Jun 2021)

  Changed paths:
    M mlir/lib/IR/Block.cpp
    M mlir/test/IR/invalid.mlir

  Log Message:
  -----------
  Fix verifier crashing on some invalid IR

In a region with multiple blocks the verifier will try to look for
dominance and may get successor list for blocks, even though a block
may be empty or does not end with a terminator.

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