Searched refs:addToFlowCondition (Results 1 – 7 of 7) sorted by relevance
58 Env.addToFlowCondition(Env.getBoolLiteralValue(false)); in transfer()
368 Env.addToFlowCondition(ModelPred(Env, *ExprValue, *HasValueVal)); in transferValueOrImpl()736 MergedEnv.addToFlowCondition(HasValueVal); in merge()738 MergedEnv.addToFlowCondition(MergedEnv.makeNot(HasValueVal)); in merge()
43 Env.addToFlowCondition(X); in TEST_F()
377 MergedEnv.addToFlowCondition(IsSet); in merge()
336 void addToFlowCondition(BoolValue &Val);
89 MergedEnv.addToFlowCondition(MergedEnv.makeOr( in mergeDistinctValues()541 void Environment::addToFlowCondition(BoolValue &Val) { in addToFlowCondition() function in clang::dataflow::Environment
148 Env.addToFlowCondition(*Val); in extendFlowCondition()