From: Eric Botcazou <ebotcazou@adacore.com>
Date: Tue, 30 Mar 2021 08:36:55 +0000 (+0200)
Subject: [Ada] Export Opt.Assume_No_Invalid_Values for use in back-end
X-Git-Tag: basepoints/gcc-13~6627
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=7f34e744c0bdb8b3f767463f290a32bc671bfcc8;p=thirdparty%2Fgcc.git

[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 dc2b4165c343..3e42f16ccf30 100644
--- 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 99626e965d02..3786d2caf234 100644
--- 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