Searched defs:Assumption (Results 1 – 17 of 17) sorted by relevance
| /external/llvm-project/polly/include/polly/Support/ |
| D | ScopHelper.h | 56 struct Assumption { struct
58 AssumptionKind Kind; argument
61 AssumptionSign Sign; argument
73 using RecordedAssumptionsTy = llvm::SmallVector<Assumption, 8>; argument
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 27 bool Assumption) { in assume()
45 NonLoc Cond, bool Assumption) { in assume()
54 bool Assumption) { in assumeAux()
|
| D | RangedConstraintManager.cpp | 25 bool Assumption) { in assumeSym()
123 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
|
| D | ProgramState.cpp | 323 bool Assumption, in assumeInBound()
|
| D | CheckerManager.cpp | 640 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 70 bool Assumption) { in assume()
99 SymbolRef Sym, bool Assumption) { in assumeAuxForSymbol()
116 bool Assumption) { in assumeAux()
|
| D | ProgramState.cpp | 306 bool Assumption, in assumeInBound()
|
| D | CheckerManager.cpp | 572 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporterVisitor.h | 133 bool Assumption; variable
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporterVisitors.h | 166 bool Assumption; variable
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 644 bool Assumption) const { in assume()
665 bool Assumption) const { in assumeWithinInclusiveRange()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 667 bool Assumption) const { in assume()
686 bool Assumption) const { in assumeInclusiveRange()
|
| D | SMTConv.h | 480 QualType Ty, bool Assumption) { in getZeroExpr()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BasicObjCFoundationChecks.cpp | 943 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()
975 bool Assumption) { in assumeCollectionNonEmpty()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | BasicObjCFoundationChecks.cpp | 915 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()
947 bool Assumption) { in assumeCollectionNonEmpty()
|
| /external/llvm-project/clang/lib/CodeGen/ |
| D | CodeGenFunction.cpp | 2236 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( in emitAlignmentAssumption() local
2508 llvm::Instruction *Assumption) { in emitAlignmentAssumptionCheck()
|
| /external/llvm-project/polly/lib/Analysis/ |
| D | ScopBuilder.cpp | 1528 for (auto &Assumption : AC.assumptions()) { in addUserAssumptions() local
|