[PATCH] D35673: [analyzer] A better CFG-based suppress-on-sink.

[Devin Coughlin via Phabricator via cfe-commits]

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