[gcc r14-1752] ada: Remove wrong comment about expansion of exceptions for GNATprove

[gcc r14-1752] ada: Remove wrong comment about expansion of exceptions for GNATprove

[Marc Poulhi?s]

https://gcc.gnu.org/g:431180997887296965f00328ec45c3d1f68ad4e9

commit r14-1752-g431180997887296965f00328ec45c3d1f68ad4e9
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Wed Apr 19 11:37:59 2023 +0200

    ada: Remove wrong comment about expansion of exceptions for GNATprove
    
    Code cleanup related to handling exceptions in GNATprove.
    
    gcc/ada/
    
            * exp_ch11.adb (Expand_N_Raise_Statement): Expansion of raise statements
            never happens in GNATprove mode.

Diff:
---
 gcc/ada/exp_ch11.adb | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/gcc/ada/exp_ch11.adb b/gcc/ada/exp_ch11.adb
index db85c7efa6e..53f0753cdce 100644
--- a/gcc/ada/exp_ch11.adb
+++ b/gcc/ada/exp_ch11.adb
@@ -1592,10 +1592,8 @@ package body Exp_Ch11 is
 
       else
          --  Bypass expansion to a run-time call when back-end exception
-         --  handling is active, unless the target is CodePeer or GNATprove.
-         --  In CodePeer, raising an exception is treated as an error, while in
-         --  GNATprove all code with exceptions falls outside the subset of
-         --  code which can be formally analyzed.
+         --  handling is active, unless the target is CodePeer, where
+         --  raising an exception is treated as an error.
 
          if not CodePeer_Mode then
             return;
@@ -1604,7 +1602,7 @@ package body Exp_Ch11 is
          --  Find innermost enclosing exception handler (there must be one,
          --  since the semantics has already verified that this raise statement
          --  is valid, and a raise with no arguments is only permitted in the
-         --  context of an exception handler.
+         --  context of an exception handler).
 
          Ehand := Parent (N);
          while Nkind (Ehand) /= N_Exception_Handler loop