reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
337 const ExplodedNode *MoveNode = N; 339 while (N) { 340 ProgramStateRef State = N->getState(); 343 MoveNode = N; 344 N = N->pred_empty() ? nullptr : *(N->pred_begin()); 344 N = N->pred_empty() ? nullptr : *(N->pred_begin()); 344 N = N->pred_empty() ? nullptr : *(N->pred_begin());