dcoughlin added inline comments.
================
Comment at: cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp:3313
+static bool isDominatedByNoReturnBlocks(const ExplodedNode *N) {
+ const CFG &Cfg = N->getCFG();
----------------
Do you really mean "is dominated by"? That is, "every path from the entry to
N's block goes through a no-return block"? Or do you mean "the exit block is
not reachable from N's block"?
Repository:
rL LLVM
https://reviews.llvm.org/D35673
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
