Lines Matching full:condition

10 // condition.
30   const BugType BT{this, "Branch condition evaluates to a garbage value"};
57   void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const;
62 void UndefBranchChecker::checkBranchCondition(const Stmt *Condition,  in checkBranchCondition()  argument
64   // ObjCForCollection is a loop, but has no actual condition.  in checkBranchCondition()
65   if (isa<ObjCForCollectionStmt>(Condition))  in checkBranchCondition()
67   if (!Ctx.getSVal(Condition).isUndef())  in checkBranchCondition()
76   // condition that is the most likely source of the "uninitialized  in checkBranchCondition()
77   // branch condition."  We do a recursive walk of the condition's  in checkBranchCondition()
82   // being the terminator condition.  We want to inspect the state  in checkBranchCondition()
90   const Expr *Ex = cast<Expr>(Condition);  in checkBranchCondition()