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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to