Searched refs:analyzerIteratorDataField (Results 1 – 1 of 1) sorted by relevance
35 void analyzerIteratorDataField(const CallExpr *CE, CheckerContext &C,75 void DebugIteratorModeling::analyzerIteratorDataField(const CallExpr *CE, in analyzerIteratorDataField() function in DebugIteratorModeling98 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorPosition()106 analyzerIteratorDataField(CE, C, [](const IteratorPosition *P) { in analyzerIteratorContainer()114 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()