Searched refs:addToFlowCondition (Results 1 – 5 of 5) sorted by relevance
62 Env.addToFlowCondition(Env.getBoolLiteralValue(false)); in transfer()
400 Env.addToFlowCondition( in transferValueOrImpl()602 Env.addToFlowCondition( in transferOptionalAndOptionalCmp()613 Env.addToFlowCondition(evaluateEquality(Env, *CmpValue, *HasVal, in transferOptionalAndValueCmp()866 MergedEnv.addToFlowCondition(HasValueVal); in merge()872 MergedEnv.addToFlowCondition(MergedEnv.makeNot(HasValueVal)); in merge()
411 void addToFlowCondition(BoolValue &Val);
113 MergedEnv.addToFlowCondition(MergedEnv.makeOr( in mergeDistinctValues()785 void Environment::addToFlowCondition(BoolValue &Val) { in addToFlowCondition() function in clang::dataflow::Environment
175 Env.addToFlowCondition(*Val); in extendFlowCondition()