Searched defs:Assumption (Results 1 - 8 of 8) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 25 assume(ProgramStateRef State, DefinedSVal Cond, bool Assumption) argument
44 assume(ProgramStateRef State, NonLoc Cond, bool Assumption) argument
52 assumeAux(ProgramStateRef State, NonLoc Cond, bool Assumption) argument
[all...] |
| H A D | RangedConstraintManager.cpp | 23 assumeSym(ProgramStateRef State, SymbolRef Sym, bool Assumption) argument
102 assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption) argument
|
| H A D | ProgramState.cpp | 314 assumeInBound(DefinedOrUnknownSVal Idx, DefinedOrUnknownSVal UpperBound, bool Assumption, QualType indexTy) const argument
|
| H A D | CheckerManager.cpp | 636 runCheckersForEvalAssume(ProgramStateRef state, SVal Cond, bool Assumption) argument
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 166 bool Assumption; member in class:clang::ento::final
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 473 getZeroExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const llvm::SMTExprRef &Exp, QualType Ty, bool Assumption) argument
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CodeGenFunction.cpp | 2155 llvm::Instruction *Assumption = Builder.CreateAlignmentAssumption( local
[all...] |
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 914 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, SymbolRef CollectionS, bool Assumption) argument
945 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, const ObjCForCollectionStmt *FCS, bool Assumption) argument
|
Completed in 206 milliseconds