reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2620 ProgramStateRef state = C.getState(); 2638 C.getState()->get<ReallocPairs>()); 2640 C.getState()->get<FreeReturnValue>()); 2663 ExplodedNode *N = C.getPredecessor(); 2666 N = C.generateNonFatalErrorNode(C.getState(), &Tag); 2666 N = C.generateNonFatalErrorNode(C.getState(), &Tag); 2670 reportLeak(*I, N, C); 2675 C.addTransition(state->set<RegionState>(RS), N);