reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
90 if (node->pred_size() != 1 || node->succ_size() != 1) 90 if (node->pred_size() != 1 || node->succ_size() != 1) 93 const ExplodedNode *pred = *(node->pred_begin()); 97 const ExplodedNode *succ = *(node->succ_begin()); 103 ProgramPoint progPoint = node->getLocation(); 116 ProgramStateRef state = node->getState();