Lines Matching refs:DenseSet
171 DataflowAnalysisContext::querySolver(llvm::DenseSet<BoolValue *> Constraints) { in querySolver()
184 llvm::DenseSet<BoolValue *> Constraints = {&Token, &getOrCreateNegation(Val)}; in flowConditionImplies()
185 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionImplies()
193 llvm::DenseSet<BoolValue *> Constraints = {&getOrCreateNegation(Token)}; in flowConditionIsTautology()
194 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in flowConditionIsTautology()
201 llvm::DenseSet<BoolValue *> Constraints = { in equivalentBoolValues()
207 AtomicBoolValue &Token, llvm::DenseSet<BoolValue *> &Constraints, in addTransitiveFlowConditionConstraints()
208 llvm::DenseSet<AtomicBoolValue *> &VisitedTokens) { in addTransitiveFlowConditionConstraints()
328 llvm::DenseSet<BoolValue *> Constraints = {&Token}; in dumpFlowCondition()
329 llvm::DenseSet<AtomicBoolValue *> VisitedTokens; in dumpFlowCondition()
364 llvm::DenseSet<const FieldDecl *> &Fields) { in getFieldsFromClassHierarchy()
377 llvm::DenseSet<const FieldDecl *>
379 llvm::DenseSet<const FieldDecl *> Fields; in getObjectFields()