Searched defs:svalBuilder (Results 1 – 18 of 18) sorted by relevance
65 static SVal computeExtentBegin(SValBuilder &svalBuilder, in computeExtentBegin()96 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation() local216 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) { in getValue()233 SValBuilder &svalBuilder) { in addValue()247 SValBuilder &svalBuilder, in computeOffset()
83 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPostStmt() local
69 SValBuilder& svalBuilder = C.getSValBuilder(); in evalCall() local
56 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
172 SValBuilder &svalBuilder = C.getSValBuilder(); in assumeZero() local239 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckLocation() local302 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckBufferAccess() local390 SValBuilder &svalBuilder = C.getSValBuilder(); in CheckOverlap() local500 SValBuilder &svalBuilder = C.getSValBuilder(); in checkAdditionOverflow() local614 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLengthForRegion() local669 SValBuilder &svalBuilder = C.getSValBuilder(); in getCStringLength() local955 SValBuilder &svalBuilder = C.getSValBuilder(); in evalMemcmp() local1218 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcpyCommon() local1550 SValBuilder &svalBuilder = C.getSValBuilder(); in evalStrcmpCommon() local
106 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
148 SValBuilder &svalBuilder = Engine.getSValBuilder(); in evalOSAtomicCompareAndSwap() local
223 SValBuilder &svalBuilder = C.getSValBuilder(); in MallocMemAux() local499 SValBuilder &svalBuilder = C.getSValBuilder(); in ReallocMem() local560 SValBuilder &svalBuilder = C.getSValBuilder(); in CallocMem() local
226 SValBuilder &svalBuilder = C.getSValBuilder(); in OpenFileAux() local
396 SValBuilder &svalBuilder = C.getSValBuilder(); in checkPreStmt() local
30 SVal Environment::getSVal(const Stmt *E, SValBuilder& svalBuilder, in getSVal()
226 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, in evalBinOp()
283 SValBuilder &svalBuilder = SM.getSValBuilder(); in assumeInBound() local
2748 SValBuilder &svalBuilder = Eng.getSValBuilder(); in evalSummary() local2774 SValBuilder &svalBuilder = Eng.getSValBuilder(); in evalSummary() local2801 SValBuilder &svalBuilder = Eng.getSValBuilder(); in evalSummary() local
473 SValBuilder &svalBuilder; member in __anond103a6c50411::ClusterAnalysis
58 SValBuilder &svalBuilder; variable
441 llvm::OwningPtr<SValBuilder> svalBuilder; variable
302 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()