reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1422 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) 1423 checkUseAfterFree(Sym, C, DE->getArgument()); 1426 C.getASTContext())) 1429 ProgramStateRef State = C.getState(); 1431 State = FreeMemAux(C, DE->getArgument(), DE, State, 1434 C.addTransition(State);