[cfe-dev] Can IfStmt be analyzed in a path sensitive checker?

Artem Dergachev via cfe-dev cfe-dev at lists.llvm.org
Wed Dec 9 07:37:54 PST 2015


Hello,

Sorry, i think i misunderstood your question. The checkBranchCondition 
callback is a kind of checkPreStmt for CFG terminators, but there's 
actually no "checkPostStmt" for CFG terminators.


More information about the cfe-dev mailing list