void (@NotNull GrWhileStatement whileStatement) { super.visitWhileStatement(whileStatement); if (ControlFlowUtils.statementMayCompleteNormally(whileStatement)) { return; } if (ControlFlowUtils.statementContainsReturn(whileStatement)) { return; } registerStatementError(whileStatement); }