https://gcc.gnu.org/g:e8aadcb3518359c13fe5bd8fb7804d9cd60b4cad

commit r15-6640-ge8aadcb3518359c13fe5bd8fb7804d9cd60b4cad
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Fri Dec 20 00:07:23 2024 +0100

    ada: Fix violations of GNAT-specific GNATcheck rules
    
    Code cleanup; semantics is unaffected.
    
    gcc/ada/ChangeLog:
    
            * diagnostics-pretty_emitter.adb (Get_Last_Line_Char): Fix 
whitespace.
            * sem_aggr.adb (Resolve_Array_Aggregate): Fix style.

Diff:
---
 gcc/ada/diagnostics-pretty_emitter.adb | 1 -
 gcc/ada/sem_aggr.adb                   | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/diagnostics-pretty_emitter.adb 
b/gcc/ada/diagnostics-pretty_emitter.adb
index e376ae128038..c624f4001696 100644
--- a/gcc/ada/diagnostics-pretty_emitter.adb
+++ b/gcc/ada/diagnostics-pretty_emitter.adb
@@ -327,7 +327,6 @@ package body Diagnostics.Pretty_Emitter is
    is
       Cur_Loc : Source_Ptr := Get_Line_End (Buf, Loc);
    begin
-
       while Cur_Loc > Buf'First
         and then Buf (Cur_Loc) in ASCII.LF | ASCII.CR
       loop
diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index 5bef9e224846..562240ca4ef6 100644
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -2968,8 +2968,8 @@ package body Sem_Aggr is
                               Scope_Parent : Node_Id;
                            begin
                               if Nkind (Exp) /= N_Identifier
-                                or else not Present (Entity (Exp))
-                                or else not Present (Scope (Entity (Exp)))
+                                or else No (Entity (Exp))
+                                or else No (Scope (Entity (Exp)))
                                 or else Ekind (Scope (Entity (Exp))) /= E_Loop
                               then
                                  return OK;

Reply via email to