void (@NotNull GrWhileStatement whileStatement) { super.visitWhileStatement(whileStatement); final GrStatement body = whileStatement.getBody(); if (body == null) { return; } if (ControlFlowUtils.statementMayCompleteNormally(body)) { return; } if (ControlFlowUtils.statementIsContinueTarget(whileStatement)) { return; } registerStatementError(whileStatement); }