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