* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Set default

[pf3gnuchains/gcc-fork.git] / gcc / ada / gnat1drv.adb

diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb
index ca4fe86..7982486 100644 (file)
--- a/gcc/ada/gnat1drv.adb
+++ b/gcc/ada/gnat1drv.adb
@@ -158,10 +158,23 @@ procedure Gnat1drv is
          Front_End_Inlining := False;
          Inline_Active      := False;
 
-         --  Turn off ASIS mode: incompatible with front-end expansion.
+         --  Turn off ASIS mode: incompatible with front-end expansion
 
          ASIS_Mode := False;
 
+         --  Disable front-end optimizations, to keep the tree as close to the
+         --  source code as possible, and also to avoid inconsistencies between
+         --  trees when using different optimization switches.
+
+         Optimization_Level := 0;
+
+         --  Disable specific expansions for Restrictions pragmas to avoid
+         --  tree inconsistencies between compilations with different pragmas
+         --  that will cause different SCIL files to be generated for the
+         --  same Ada spec.
+
+         Treat_Restrictions_As_Warnings := True;
+
          --  Suppress overflow, division by zero and access checks since they
          --  are handled implicitly by CodePeer.