[clang][dataflow] HTMLLogger: Don't crash if CFG contains unreachable…

… blocks. Reviewed By: sammccall Differential Revision: https://reviews.llvm.org/D156411
llvm · Jul 27, 2023 · 771d7d7 · 771d7d7
1 parent 95e5a46
commit 771d7d7
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp b/clang/lib/Analysis/FlowSensitive/HTMLLogger.cpp
@@ -462,8 +462,9 @@ class HTMLLogger : public Logger {
       GraphS << "  " << blockID(I) << " [id=" << blockID(I) << "]\n";
     for (const auto *Block : CFG) {
       for (const auto &Succ : Block->succs()) {
-        GraphS << "  " << blockID(Block->getBlockID()) << " -> "
-               << blockID(Succ.getReachableBlock()->getBlockID()) << "\n";
+        if (Succ.getReachableBlock())
+          GraphS << "  " << blockID(Block->getBlockID()) << " -> "
+                 << blockID(Succ.getReachableBlock()->getBlockID()) << "\n";
       }
     }
     GraphS << "}\n";