[Ada] Export Opt.Assume_No_Invalid_Values for use in back-end

gcc/ada/

	* fe.h (Assume_No_Invalid_Values): Declare.
	* opt.ads (Assume_No_Invalid_Values): Add warning comment.

diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h
index dc2b4165c343d4d33d5ff1b8b455d8f5b92e7248..3e42f16ccf301dd8b1d5d1e9925dc190844ba3f7 100644 (file)
--- a/gcc/ada/fe.h
+++ b/gcc/ada/fe.h
@@ -190,6 +190,7 @@ extern Boolean In_Extended_Main_Code_Unit   (Entity_Id);
 /* opt: */
 
 #define Ada_Version                    opt__ada_version
+#define Assume_No_Invalid_Values       opt__assume_no_invalid_values
 #define Back_End_Inlining              opt__back_end_inlining
 #define Debug_Generated_Code           opt__debug_generated_code
 #define Enable_128bit_Types            opt__enable_128bit_types
@@ -211,6 +212,7 @@ typedef enum {
 } Exception_Mechanism_Type;
 
 extern Ada_Version_Type Ada_Version;
+extern Boolean Assume_No_Invalid_Values;
 extern Boolean Back_End_Inlining;
 extern Boolean Debug_Generated_Code;
 extern Boolean Enable_128bit_Types;

diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index 99626e965d0218eb4aa92c4216df82294deba510..3786d2caf234f4ca61b04af90afd1039f9d994df 100644 (file)
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -191,6 +191,8 @@ package Opt is
    --  are valid and in range of their representations. This feature is now
    --  fully enabled in the compiler.
 
+   --  WARNING: There is a matching C declaration of this variable in fe.h
+
    Back_Annotate_Rep_Info : Boolean := False;
    --  GNAT
    --  If set True, enables back annotation of representation information