Searched refs:isInitializationOfVar (Results 1 – 1 of 1) sorted by relevance
1237 static bool isInitializationOfVar(const ExplodedNode *N, const VarRegion *VR) { in isInitializationOfVar() function1411 if (isInitializationOfVar(Pred, VR)) { in VisitNode()