]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Spurious reference warning on qualified expression
authorJustin Squirek <squirek@adacore.com>
Thu, 21 Dec 2023 18:35:22 +0000 (18:35 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 6 May 2024 09:11:29 +0000 (11:11 +0200)
Incremental improvement/clean up.

gcc/ada/

* sem_warn.adb (Within_Postcondition): Renamed to
Within_Contract_Or_Predicate.

gcc/ada/sem_warn.adb

index 0a54b3eda503027190712caa78cbc5d9d7edfcad..8317b4490219e3ef57a10b29faada1cdc79fd886 100644 (file)
@@ -1958,16 +1958,16 @@ package body Sem_Warn is
                      SR : Entity_Id;
                      SE : constant Entity_Id := Scope (E);
 
-                     function Within_Postcondition return Boolean;
-                     --  Returns True if N is within a Postcondition, a
-                     --  Refined_Post, an Ensures component in a Test_Case,
-                     --  or a Contract_Cases.
+                     function Within_Contract_Or_Predicate  return Boolean;
+                     --  Returns True if N is within a contract or predicate,
+                     --  an Ensures component in a Test_Case, or a
+                     --  Contract_Cases.
 
-                     --------------------------
-                     -- Within_Postcondition --
-                     --------------------------
+                     ----------------------------------
+                     -- Within_Contract_Or_Predicate --
+                     ----------------------------------
 
-                     function Within_Postcondition return Boolean is
+                     function Within_Contract_Or_Predicate return Boolean is
                         Nod, P : Node_Id;
 
                      begin
@@ -2012,7 +2012,7 @@ package body Sem_Warn is
                         end loop;
 
                         return False;
-                     end Within_Postcondition;
+                     end Within_Contract_Or_Predicate;
 
                   --  Start of processing for Potential_Unset_Reference
 
@@ -2136,7 +2136,7 @@ package body Sem_Warn is
                      --  postcondition, since the expression occurs in a
                      --  place unrelated to the actual test.
 
-                     if not Within_Postcondition then
+                     if not Within_Contract_Or_Predicate then
 
                         --  Here we definitely have a case for giving a warning
                         --  for a reference to an unset value. But we don't