perf(diagnostics): не спускаться в простые операторы в EmptyStatement#4257
Merged
Merged
Conversation
…Statement EmptyStatementDiagnostic.visitStatement descended into every statement's full subtree via super.visitStatement, including the expression trees of simple statements (assignment/callStatement/…) that grammatically cannot contain a nested statement — codeBlock (and thus nested statements) appears only inside compoundStatement (if/while/for/forEach/try). Return without super when ctx.compoundStatement() == null, pruning those expression subtrees while still descending into compound statements to find nested empty statements. Result is identical (8 diagnostics on the SSL module УправлениеДоступомСлужебный, EmptyStatementDiagnosticTest green); best-of-10 on that module 252.7ms -> 239.2ms. Co-Authored-By: Claude Opus 4.8 <[email protected]> Claude-Session: https://claude.ai/code/session_01BSiRGLm633B4EmvG3vkk4V
Contributor
|
No actionable comments were generated in the recent review. 🎉 ℹ️ Recent review info⚙️ Run configurationConfiguration used: Path: .coderabbit.yaml Review profile: CHILL Plan: Pro Run ID: 📒 Files selected for processing (1)
📝 WalkthroughWalkthrough
ChangesEmpty statement diagnostic
Estimated code review effort: 2 (Simple) | ~5 minutes 🚥 Pre-merge checks | ✅ 4 | ❌ 1❌ Failed checks (1 warning)
✅ Passed checks (4 passed)
✨ Finishing Touches📝 Generate docstrings
🧪 Generate unit tests (beta)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Описание
EmptyStatementDiagnostic.visitStatementвызывалsuper.visitStatement(ctx)для каждого оператора, спускаясь в его поддерево целиком — включая деревья выражений простых операторов (assignment,callStatement,waitStatement,preprocessor), которые по грамматике не могут содержать вложенный оператор.Из грамматики BSL:
codeBlock(а значит и вложенныеstatement) встречается только внутриcompoundStatement(if/while/for/forEach/try):Поэтому при
ctx.compoundStatement() == nullвозвращаемся безsuper— отсекаем спуск в выражения простых операторов, но по-прежнему заходим в составные операторы, чтобы найти вложенные пустые операторы. Пустые операторы, лежащие напрямую вcodeBlock, всё равно посещаются как соседи (их перебираетvisitChildrenохватывающегоcodeBlock).Замеры
Общий модуль SSL
УправлениеДоступомСлужебный(~48k строк), один и тот же харнесс, best-of-10 после прогрева:~5%. Профиль подтверждает механику: доля спуска в выражения (
visitExpression/visitAssignment/visitCallStatement/…) упала с ~9.9% до ~5.6% сэмплов; основную стоимость составляет неустранимый этим гвардом обход каждого оператора через цепочкуcodeBlockи диспетчеризацияvisitStatement.Приём общий: тот же
compoundStatement-гвард применим к любой visitor-диагностике, которой важна только структура операторов.Связанные задачи
Продолжение серии перф-оптимизаций (#4249–#4256). Мотивировано профилированием из #4248.
Closes
Чеклист
Общие
EmptyStatementDiagnosticTest2/2 зелёный)Дополнительно
Результат диагностики не меняется (parity подтверждён на фикстуре и на большом модуле) — гвард только отсекает заведомо бесплодный спуск в выражения.
Generated by Claude Code
Summary by CodeRabbit