[Mlir-commits] [mlir] [mlir][dataflow] Fix DataFlowFramework crash by add isBlockEnd logic in the ProgramPoint::print (PR #173471)

[Matthias Springer]

================
@@ -67,8 +67,10 @@ void ProgramPoint::print(raw_ostream &os) const {
        << OpWithFlags(getPrevOp(), OpPrintingFlags().skipRegions());
     return;
   }
-  os << "<before operation>:"
-     << OpWithFlags(getNextOp(), OpPrintingFlags().skipRegions());
+  if (!isBlockEnd()) {
----------------
matthias-springer wrote:

Ok, so we actually have an empty block inside of `inparallel` here and the `scf.forall` printer omits that op because the op has no results.

Can we add `os << "<beginning of empty block>";` to make sure that `ProgramPoint::print` always prints something?


https://github.com/llvm/llvm-project/pull/173471