diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-06-02 15:10:46 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-05 08:28:16 +0000 |
| commit | 5b560170323869f7d8406da6c985b0d21b2f7ef3 (patch) | |
| tree | f9873b4a07881b9e756bf898970aecd3a221caae | |
| parent | fee24d5cae0661a8e165b752b4d890a3fd02205c (diff) | |
| download | gcc-5b560170323869f7d8406da6c985b0d21b2f7ef3.zip gcc-5b560170323869f7d8406da6c985b0d21b2f7ef3.tar.gz gcc-5b560170323869f7d8406da6c985b0d21b2f7ef3.tar.bz2 | |
[Ada] Remove comment about a long gone formal verification mode
Remove outdated a comment about the very first SPARK experiments
in GNAT.
gcc/ada/
* sem_ch6.adb (Check_Missing_Return): Remove outdated comment.
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 848c234..5a4ba7a 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -2987,9 +2987,7 @@ package body Sem_Ch6 is procedure Check_Missing_Return; -- Checks for a function with a no return statements, and also performs - -- the warning checks implemented by Check_Returns. In formal mode, also - -- verify that a function ends with a RETURN and that a procedure does - -- not contain any RETURN. + -- the warning checks implemented by Check_Returns. function Disambiguate_Spec return Entity_Id; -- When a primitive is declared between the private view and the full |