Searched refs:UpdatedN (Results 1 – 1 of 1) sorted by relevance
602 ExplodedNode *UpdatedN = N; in VisitDeclStmt() local610 B.generateNode(DS, UpdatedN, state); in VisitDeclStmt()625 B.takeNodes(UpdatedN); in VisitDeclStmt()627 evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal, true); in VisitDeclStmt()