[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
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