Searched refs:getOrCreateNegation (Results 1 – 3 of 3) sorted by relevance
126 BoolValue &DataflowAnalysisContext::getOrCreateNegation(BoolValue &Val) { in getOrCreateNegation() function in clang::dataflow::DataflowAnalysisContext192 Constraints.insert(&getOrCreateNegation(getBoolLiteralValue(false))); in querySolver()203 llvm::DenseSet<BoolValue *> Constraints = {&Token, &getOrCreateNegation(Val)}; in flowConditionImplies()212 llvm::DenseSet<BoolValue *> Constraints = {&getOrCreateNegation(Token)}; in flowConditionIsTautology()221 &getOrCreateNegation(getOrCreateIff(Val1, Val2))}; in equivalentBoolValues()270 Result = &getOrCreateNegation(Sub); in substituteBoolValue()
378 return DACtx->getOrCreateNegation(Val); in makeNot()
199 BoolValue &getOrCreateNegation(BoolValue &Val);