reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
404 ProgramStateRef State = C.getState(); 405 const FunctionDecl *FD = C.getCalleeDecl(CE); 409 StringRef funName = C.getCalleeName(FD); 420 C.getLocationContext()->getParent() == nullptr) 423 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { 436 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol(); 437 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); 443 C.addTransition(State);