35     const Expr* FindExpr(const Expr* Ex) {  in FindExpr()
36       if (!MatchesCriteria(Ex))  in FindExpr()
39       for (Stmt::const_child_iterator I = Ex->child_begin(),   in FindExpr()
40                                       E = Ex->child_end();I!=E;++I)  in FindExpr()
46       return Ex;  in FindExpr()
49     bool MatchesCriteria(const Expr* Ex) { return St->getSVal(Ex).isUndef(); }  in MatchesCriteria()
78       const Expr* Ex = cast<Expr>(B.getSrc()->getTerminatorCondition());  in checkBranchCondition()  local
79       assert (Ex && "Block must have a terminator.");  in checkBranchCondition()
95         if (PS->getStmt() == Ex)  in checkBranchCondition()
99       Ex = FindIt.FindExpr(Ex);  in checkBranchCondition()
103       R->addVisitorCreator(bugreporter::registerTrackNullOrUndefValue, Ex);  in checkBranchCondition()
104       R->addRange(Ex->getSourceRange());  in checkBranchCondition()