Searched refs:checkBranchCondition (Results 1 – 2 of 2) sorted by relevance
53 void checkBranchCondition(const Stmt *Condition, BranchNodeBuilder &Builder,59 void UndefBranchChecker::checkBranchCondition(const Stmt *Condition, in checkBranchCondition() function in UndefBranchChecker
216 ((const CHECKER *)checker)->checkBranchCondition(condition, B, Eng); in _checkBranchCondition()