reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
  380   Optional<FunctionSummaryTy> FoundSummary = findFunctionSummary(FD, CE, C);
  387     ProgramStateRef State = C.getState();
  388     const LocationContext *LC = C.getLocationContext();
  389     SVal V = C.getSValBuilder().conjureSymbolVal(
  390         CE, LC, CE->getType().getCanonicalType(), C.blockCount());
  392     C.addTransition(State);