Searched refs:getDynamicElementCount (Results 1 – 7 of 7) sorted by relevance
33 DefinedOrUnknownSVal getDynamicElementCount(ProgramStateRef State,
58 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in checkLocation()
58 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in checkPreStmt()
54 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in isArrayIndexOutOfBounds()
317 getDynamicElementCount(C.getState(), MR, C.getSValBuilder(), ElementTy); in analyzerDumpElementCount()
43 DefinedOrUnknownSVal getDynamicElementCount(ProgramStateRef State, in getDynamicElementCount() function
164 DefinedOrUnknownSVal ElementCount = getDynamicElementCount( in allRegionsUsedByWait()