Searched defs:Assumption (Results 1 - 10 of 10) sorted by relevance
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 110 assume(ProgramStateRef State, DefinedSVal Cond, bool Assumption) argument
|
| H A D | SimpleConstraintManager.cpp | 26 assumeInternal(ProgramStateRef State, DefinedSVal Cond, bool Assumption) argument
45 assume(ProgramStateRef State, NonLoc Cond, bool Assumption) argument
53 assumeAux(ProgramStateRef State, NonLoc Cond, bool Assumption) argument
[all...] |
| H A D | RangedConstraintManager.cpp | 23 assumeSym(ProgramStateRef State, SymbolRef Sym, bool Assumption) argument
133 assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) argument
|
| H A D | CheckerManager.cpp | 637 runCheckersForEvalAssume(ProgramStateRef state, SVal Cond, bool Assumption) argument
|
| H A D | ProgramState.cpp | 360 assumeInBound(DefinedOrUnknownSVal Idx, DefinedOrUnknownSVal UpperBound, bool Assumption, QualType indexTy) const argument
|
| /freebsd-current/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 501 getZeroExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const llvm::SMTExprRef &Exp, QualType Ty, bool Assumption) argument
|
| /freebsd-current/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 397 const bool Assumption; member in class:clang::ento::final
|
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 924 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, SymbolRef CollectionS, bool Assumption) argument
955 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, const ObjCForCollectionStmt *FCS, bool Assumption) argument
|
| H A D | StdLibraryFunctionsChecker.cpp | 168 Assumption enumerator in enum:__anon986::StdLibraryFunctionsChecker::ValueConstraint::DescriptionKind
|
| /freebsd-current/contrib/llvm-project/clang/lib/Parse/ |
| H A D | ParseOpenMP.cpp | 1745 std::string Assumption = II->getName().str(); local
|
Completed in 219 milliseconds