aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
diff options
context:
space:
mode:
authorYannick Moy <moy@adacore.com>2023-11-15 09:34:35 +0100
committerMarc Poulhiès <poulhies@adacore.com>2023-11-30 11:12:48 +0100
commite5eb84aa8ceebfa42c4fc02876f4902b461f87f3 (patch)
treed49cbe54693d648b58555e89142391d3a19a3847 /gcc/ada/sem_ch6.adb
parent44eddd691e54c4128904b7ea35bc05f8e3741877 (diff)
downloadgcc-e5eb84aa8ceebfa42c4fc02876f4902b461f87f3.zip
gcc-e5eb84aa8ceebfa42c4fc02876f4902b461f87f3.tar.gz
gcc-e5eb84aa8ceebfa42c4fc02876f4902b461f87f3.tar.bz2
ada: Fix spelling of functions with(out) "side effects"
Correct spelling does not include an hyphen. Fix comments and one error message. Also fix other mispellings of "side-effect" or "side effect" depending on the case (adjective should have hyphen), and "side-effect-free" with double hyphen as an adjective. gcc/ada/ * checks.adb, exp_aggr.adb, exp_ch4.ads, exp_ch5.adb, exp_util.adb, exp_util.ads, inline.adb, sem_ch13.adb, sem_ch6.adb, sem_ch8.adb, sem_prag.adb, sem_util.ads: Fix comments and typos.
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
-rw-r--r--gcc/ada/sem_ch6.adb4
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 4f2521a..8ee7578 100644
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -4612,7 +4612,7 @@ package body Sem_Ch6 is
Analyze_SPARK_Subprogram_Specification (Specification (N));
- -- A function with side-effects shall not be an expression function
+ -- A function with side effects shall not be an expression function
-- (SPARK RM 6.1.11(6)).
if Present (Spec_Id)
@@ -5240,7 +5240,7 @@ package body Sem_Ch6 is
Analyze_Aspect_Specifications (N, Designator);
-- The legality of a function specification in SPARK depends on whether
- -- the function is a function with or without side-effects. Analyze the
+ -- the function is a function with or without side effects. Analyze the
-- pragma in advance if present, before specific SPARK legality checks.
Analyze_Pragmas_If_Present (N, Pragma_SPARK_Mode);