From: Boris Yakobowski <yakobowski@adacore.com>
Date: Thu, 21 Jan 2021 17:43:27 +0000 (+0100)
Subject: [Ada] In CodePeer mode, use regular-exception handling
X-Git-Tag: basepoints/gcc-13~7760
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c4aeb3c3a29a843f47bb5a207a968e2feb3b144d;p=thirdparty%2Fgcc.git

[Ada] In CodePeer mode, use regular-exception handling

gcc/ada/

	* gnat1drv.adb (Adjust_Global_Switches): Simplify logic.
---

diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb
index 448a64066689..cefc5c6a1c76 100644
--- a/gcc/ada/gnat1drv.adb
+++ b/gcc/ada/gnat1drv.adb
@@ -633,13 +633,9 @@ procedure Gnat1drv is
       end if;
 
       --  Set and check exception mechanism. This is only meaningful when
-      --  compiling, and in particular not meaningful for special modes used
-      --  for program analysis rather than compilation: CodePeer mode and
-      --  GNATprove mode.
+      --  generating code.
 
-      if Operating_Mode = Generate_Code
-        and then not (CodePeer_Mode or GNATprove_Mode)
-      then
+      if Operating_Mode = Generate_Code then
          case Targparm.Frontend_Exceptions_On_Target is
             when True =>
                case Targparm.ZCX_By_Default_On_Target is