Searched refs:analyzerIteratorDataField (Results 1 – 1 of 1) sorted by relevance
33 void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,81 void DebugIteratorModeling::analyzerIteratorDataField(const CallExpr *CE, in analyzerIteratorDataField() function in DebugIteratorModeling104 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorPosition()112 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorContainer()120 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()