| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 25 bool Assumption) { in assumeSym()
134 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
|
| H A D | ProgramState.cpp | 376 bool Assumption, in assumeInBound()
|
| H A D | CheckerManager.cpp | 638 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 709 bool Assumption) const { in assume()
728 bool Assumption) const { in assumeInclusiveRange()
|
| H A D | SMTConv.h | 504 QualType Ty, bool Assumption) { in getZeroExpr()
|
| /freebsd/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaStmtAttr.cpp | 709 auto *Assumption = A.getArgAsExpr(0); in ActOnCXXAssumeAttr() local
729 ExprResult Sema::BuildCXXAssumeExpr(Expr *Assumption, in BuildCXXAssumeExpr()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 398 const bool Assumption; variable
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 921 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()
953 bool Assumption) { in assumeCollectionNonEmpty()
|
| H A D | StdLibraryFunctionsChecker.cpp | 168 Assumption enumerator
|
| /freebsd/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CodeGenFunction.cpp | 2587 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in emitAlignmentAssumption() local
2977 llvm::Instruction *Assumption) { in emitAlignmentAssumptionCheck()
|
| H A D | CGStmt.cpp | 747 const Expr *Assumption = cast<CXXAssumeAttr>(A)->getAssumption(); in EmitAttributedStmt() local
|
| /freebsd/contrib/llvm-project/clang/lib/Parse/ |
| H A D | ParseDeclCXX.cpp | 4651 ArgsUnion Assumption = Res.get(); in ParseCXXAssumeAttributeArg() local
|
| H A D | ParseOpenMP.cpp | 1754 std::string Assumption = II->getName().str(); in ParseOpenMPAssumesDirective() local
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | SimplifyCFG.cpp | 5363 CallInst *Assumption; in simplifyUnreachable() local
7727 CallInst *Assumption; in removeUndefIntroducingPredecessor() local
|
| /freebsd/contrib/llvm-project/clang/lib/AST/Interp/ |
| H A D | Compiler.cpp | 4620 const Expr *Assumption = AA->getAssumption(); in visitAttributedStmt() local
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/ |
| H A D | AttributorAttributes.cpp | 1802 std::pair<Value *, IntrinsicInst *> Assumption; in updateImpl() local
|
| /freebsd/contrib/llvm-project/clang/lib/AST/ |
| H A D | ExprConstant.cpp | 5615 auto *Assumption = AA->getAssumption(); in EvaluateStmt() local
|