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