reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
645 ProgramStateRef State = C.getState(); 681 ExplodedNode *N = C.generateErrorNode(State); 691 nullptr, C, 711 ExplodedNode *N = C.addTransition(State); 718 Region, C, ArgExpr, /*SuppressPath=*/true); 723 ExplodedNode *N = C.addTransition(State); 726 C, ArgExpr, /*SuppressPath=*/true); 738 C.addTransition(State);