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

[Artem Dergachev via cfe-dev]

Hello,

You need to use the special checkBranchCondition() callback for handling 
CFG terminator statements such as if's, loops, and short-circuit operators.