| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 28 bool Assumption) { in assumeInternal()
46 NonLoc Cond, bool Assumption) { in assume()
55 bool Assumption) { in assumeAux()
|
| H A D | ConstraintManager.cpp | 94 auto AssumeFun = [&, Cond](bool Assumption) { in assumeDual()
104 auto AssumeFun = [&](bool Assumption) { in assumeInclusiveRangeDual()
111 DefinedSVal Cond, bool Assumption) { in assume()
|
| H A D | RangedConstraintManager.cpp | 25 bool Assumption) { in assumeSym()
134 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
|
| H A D | ProgramState.cpp | 362 assumeInBound(DefinedOrUnknownSVal Idx,DefinedOrUnknownSVal UpperBound,bool Assumption,QualType indexTy) const assumeInBound() argument
|
| H A D | CheckerManager.cpp | 638 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 707 assume(DefinedOrUnknownSVal Cond,bool Assumption) assume() argument
726 assumeInclusiveRange(DefinedOrUnknownSVal Val,const llvm::APSInt & From,const llvm::APSInt & To,bool Assumption) assumeInclusiveRange() argument
|
| H A D | SMTConv.h | 504 QualType Ty, bool Assumption) { in getZeroExpr()
|
| /freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 397 const bool Assumption; global() variable
|
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 925 assumeCollectionNonEmpty(CheckerContext & C,ProgramStateRef State,SymbolRef CollectionS,bool Assumption) assumeCollectionNonEmpty() argument
957 assumeCollectionNonEmpty(CheckerContext & C,ProgramStateRef State,const ObjCForCollectionStmt * FCS,bool Assumption) assumeCollectionNonEmpty() argument
|
| H A D | StdLibraryFunctionsChecker.cpp | 168 Assumption enumerator
|
| /freebsd-src/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CodeGenFunction.cpp | 2505 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( emitAlignmentAssumption() local
2881 emitAlignmentAssumptionCheck(llvm::Value * Ptr,QualType Ty,SourceLocation Loc,SourceLocation SecondaryLoc,llvm::Value * Alignment,llvm::Value * OffsetValue,llvm::Value * TheCheck,llvm::Instruction * Assumption) emitAlignmentAssumptionCheck() argument
[all...] |
| /freebsd-src/contrib/llvm-project/clang/lib/Parse/ |
| H A D | ParseOpenMP.cpp | 1745 std::string Assumption = II->getName().str(); ParseOpenMPAssumesDirective() local
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | SimplifyCFG.cpp | 5295 CallInst *Assumption; simplifyUnreachable() local
7476 CallInst *Assumption; removeUndefIntroducingPredecessor() local
|
| /freebsd-src/contrib/llvm-project/llvm/lib/Transforms/IPO/ |
| H A D | AttributorAttributes.cpp | 1802 std::pair<Value *, IntrinsicInst *> Assumption; in updateImpl() local
[all...] |