Lines Matching full:condition
11 // condition.
54 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const;
59 void UndefBranchChecker::checkBranchCondition(const Stmt *Condition,
61 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
69 this, "Branch condition evaluates to a garbage value"));
72 // condition that is the most likely source of the "uninitialized
73 // branch condition." We do a recursive walk of the condition's
78 // being the terminator condition. We want to inspect the state
86 const Expr *Ex = cast<Expr>(Condition);
