Lines Matching full:read_diagnostics
3698 static int read_diagnostics(const char *filename) {3793 return read_diagnostics(argv[2]);