From c4aeb3c3a29a843f47bb5a207a968e2feb3b144d Mon Sep 17 00:00:00 2001 From: Boris Yakobowski Date: Thu, 21 Jan 2021 18:43:27 +0100 Subject: [Ada] In CodePeer mode, use regular-exception handling gcc/ada/ * gnat1drv.adb (Adjust_Global_Switches): Simplify logic. --- gcc/ada/gnat1drv.adb | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'gcc/ada') diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 448a640..cefc5c6 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 -- cgit v1.1