diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-02 22:43:12 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-01-07 13:33:33 +0100 |
| commit | 69dfa02bdb9eaadc24552f280a390a0737386a54 (patch) | |
| tree | fe118e5e8e678a1f50a5dbf56dcac6e241211558 /gcc/ada | |
| parent | ce13a3a47865387abac8c9ecf0e2bc4d63bada1b (diff) | |
| download | gcc-69dfa02bdb9eaadc24552f280a390a0737386a54.zip gcc-69dfa02bdb9eaadc24552f280a390a0737386a54.tar.gz gcc-69dfa02bdb9eaadc24552f280a390a0737386a54.tar.bz2 | |
ada: Remove unnecessary qualifiers for First/Next list operations
Code cleanup related to work on expression functions for GNATprove
(which require accessibility checks even when they are not expanded
and thus have no explicit return statements).
gcc/ada/ChangeLog:
* accessibility.adb (First_Selector): Remove redundant and locally
inconsistent parenthesis.
(Check_Return_Construct_Accessibility): Remove qualifier from list
operation.
* sem_util.adb (Is_Prim_Of_Abst_Type_With_Nonstatic_CW_Pre_Post):
Likewise.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/accessibility.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/sem_util.adb | 3 |
2 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/accessibility.adb b/gcc/ada/accessibility.adb index 376eb9d..1d7d3a1 100644 --- a/gcc/ada/accessibility.adb +++ b/gcc/ada/accessibility.adb @@ -1213,7 +1213,7 @@ package body Accessibility is return First (Choices (Assoc)); elsif Nkind (Assoc) = N_Discriminant_Association then - return (First (Selector_Names (Assoc))); + return First (Selector_Names (Assoc)); else raise Program_Error; @@ -1292,7 +1292,7 @@ package body Accessibility is exit; end if; - Nlists.Next (Return_Con); + Next (Return_Con); end loop; pragma Assert (Present (Return_Con)); @@ -1693,7 +1693,7 @@ package body Accessibility is if not Is_List_Member (Assoc) then exit; else - Nlists.Next (Assoc); + Next (Assoc); end if; end loop; end Check_Return_Construct_Accessibility; diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 24f27d0..a11afa8 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -12654,8 +12654,7 @@ package body Sem_Util is and then Class_Present (Prag) then Pragma_Arg := - Nlists.First - (Pragma_Argument_Associations (Prag)); + First (Pragma_Argument_Associations (Prag)); if not Is_Static_Expression (Expression (Pragma_Arg)) then return True; |