[PATCH] D25985: [analyzer] Export coverage information from the analyzer.

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 10 11:03:22 PST 2016


NoQ added a comment.

Maybe you could instead make a checker that subscribes for `checkEndAnalysis` and scans the provided `ExplodedGraph`'s `nodes_begin()..nodes_end()` for visited statement-based program points (as in `PathDiagnosticLocation::getStmt(N)`)? This should give you per-statement precision, and you'd avoid dealing with the CFG element kinds. That sounds more straightforward and that's essentially how our deadcode checker works (but it suppresses its positives for incomplete analyses - you don't need even that).


https://reviews.llvm.org/D25985





More information about the cfe-commits mailing list