Searched refs:Knowledge (Results 1 – 4 of 4) sorted by relevance
186 class Knowledge final { class265 Knowledge() {} in Knowledge() function in __anonf637340e0111::Knowledge300 void learnFrom(Knowledge That) { in learnFrom()335 static bool isConflicting(const Knowledge &Existing, in isConflicting()336 const Knowledge &Proposed, in isConflicting()526 Knowledge OriginalZone;530 Knowledge Zone;548 bool isConflicting(const Knowledge &Proposed) { in isConflicting()750 void applyLifetime(Knowledge Proposed) { in applyLifetime()770 Knowledge Proposed) { in mapValue()[all …]
48 AssumeInst *buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge,
307 llvm::buildAssumeFromKnowledge(ArrayRef<RetainedKnowledge> Knowledge, in buildAssumeFromKnowledge() argument311 for (const RetainedKnowledge &RK : Knowledge) in buildAssumeFromKnowledge()401 Knowledge; in dropRedundantKnowledge() local442 auto &Lookup = Knowledge[{RK.WasOn, RK.AttrKind}]; in dropRedundantKnowledge()
11 Knowledge about :doc:`matching the Clang AST <LibASTMatchers>` and the `reference for the matchers …