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

[Artem Dergachev via cfe-dev]

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.