reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
754 MoveChecker *chk = mgr.registerChecker<MoveChecker>(); 756 mgr.getAnalyzerOptions().getCheckerStringOption(chk, "WarnOn"), mgr); 756 mgr.getAnalyzerOptions().getCheckerStringOption(chk, "WarnOn"), mgr);