[mlir][Analysis] Guard data flow analysis from no block function
authorKai Sasaki <lewuathe@gmail.com>
Wed, 22 Feb 2023 06:09:09 +0000 (15:09 +0900)
committerKai Sasaki <lewuathe@gmail.com>
Wed, 22 Feb 2023 06:20:11 +0000 (15:20 +0900)
commitde58a4f163006de0d2f2b905fa0677c83aa326d8
treeef5a475a1203606b138c3f4418b864b5e78d15dd
parent73442daca11e0a6cbd0cfb7c765802eee8110527
[mlir][Analysis] Guard data flow analysis from no block function

Foo analysis for testing the data flow analysis does not support the region without any block. Although that analysis is assumed to be used for testing purpose, it is generally better to be explicit about the scope the framework supports.

The original issue was reported here.
https://github.com/llvm/llvm-project/issues/60580

Reviewed By: springerm

Differential Revision: https://reviews.llvm.org/D144359
mlir/test/Analysis/invalid.mlir [new file with mode: 0644]
mlir/test/lib/Analysis/TestDataFlowFramework.cpp