Lines Matching refs:STATISTICS
2142 case STATISTICS:5664 std::fprintf(stderr, "*** AST File Statistics:\n");5969 // FIXME: Not quite happy with the statistics here. We probably should