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

References

tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

  224   ProgramStateRef state = C.getState();
  229   SVal X = C.getSVal(CE);
  240       ExplodedNode *N = C.generateErrorNode();
  246       C.emitReport(std::move(report));
  249       reportUseDestroyedBug(C, CE);
  269     C.addTransition(lockFail);
  285   C.addTransition(lockSucc);