Searched defs:Assumption (Results 1 – 11 of 11) sorted by relevance
27 bool Assumption) { in assume()45 NonLoc Cond, bool Assumption) { in assume()54 bool Assumption) { in assumeAux()
25 bool Assumption) { in assumeSym()123 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
323 bool Assumption, in assumeInBound()
640 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
27 return llvm::any_of(Strings, [=](StringRef Assumption) { in hasAssumption()
166 bool Assumption; variable
667 bool Assumption) const { in assume()686 bool Assumption) const { in assumeInclusiveRange()
480 QualType Ty, bool Assumption) { in getZeroExpr()
915 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()947 bool Assumption) { in assumeCollectionNonEmpty()
2334 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in emitAlignmentAssumption() local2606 llvm::Instruction *Assumption) { in emitAlignmentAssumptionCheck()
1602 StringRef Assumption = II->getName(); in ParseOpenMPAssumesDirective() local