Home
last modified time | relevance | path

Searched defs:Assumption (Results 1 – 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp70 bool Assumption) { in assume()
99 SymbolRef Sym, bool Assumption) { in assumeAuxForSymbol()
116 bool Assumption) { in assumeAux()
DProgramState.cpp306 bool Assumption, in assumeInBound()
DCheckerManager.cpp572 SVal Cond, bool Assumption) { in runCheckersForEvalAssume()
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitor.h133 bool Assumption; variable
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h644 bool Assumption) const { in assume()
665 bool Assumption) const { in assumeWithinInclusiveRange()
/external/clang/lib/StaticAnalyzer/Checkers/
DBasicObjCFoundationChecks.cpp943 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty()
975 bool Assumption) { in assumeCollectionNonEmpty()