[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 02:43:39 PST 2015


Hello,

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


More information about the cfe-dev mailing list