diff options
| author | Boris Yakobowski <yakobowski@adacore.com> | 2021-01-21 18:43:27 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-06 03:51:41 -0400 |
| commit | c4aeb3c3a29a843f47bb5a207a968e2feb3b144d (patch) | |
| tree | 6852fd8432dc5d60e51b92eea1918de64b4de654 | |
| parent | cfcbb5c7417d35b01be76d12078dac06c5aa2494 (diff) | |
| download | gcc-c4aeb3c3a29a843f47bb5a207a968e2feb3b144d.zip gcc-c4aeb3c3a29a843f47bb5a207a968e2feb3b144d.tar.gz gcc-c4aeb3c3a29a843f47bb5a207a968e2feb3b144d.tar.bz2 | |
[Ada] In CodePeer mode, use regular-exception handling
gcc/ada/
* gnat1drv.adb (Adjust_Global_Switches): Simplify logic.
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 8 |
1 files changed, 2 insertions, 6 deletions
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 |