a.sidorin added inline comments.
================ Comment at: lib/StaticAnalyzer/Core/BugReporter.cpp:3363 + // we're post-dominated by. + // FIXME: This is far from enough to handle the incomplete analysis case. + // We may be post-dominated in subsequent blocks, or even ---------------- I took a brief look and found that we have Domination analysis for clang CFG but not PostDomination analysis. However, `llvm::DominatorTreeBase` that is used internally in `clang::DominatorTree` may be constructed for post-domination analysis. Is it possible to implement such analysis quickly (or modify `clang::DominatorTree` to support it)? If the answer is no, don't mind. https://reviews.llvm.org/D28023 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits