diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2021-03-30 10:36:55 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-21 06:45:11 -0400 |
| commit | 7f34e744c0bdb8b3f767463f290a32bc671bfcc8 (patch) | |
| tree | eb1cfbdcf89fcb7643adbbb8829335b71c35c667 | |
| parent | 148be9292380a66a81b4dc51ef58e8d5c4d72dcc (diff) | |
| download | gcc-7f34e744c0bdb8b3f767463f290a32bc671bfcc8.zip gcc-7f34e744c0bdb8b3f767463f290a32bc671bfcc8.tar.gz gcc-7f34e744c0bdb8b3f767463f290a32bc671bfcc8.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/fe.h | 2 | ||||
| -rw-r--r-- | gcc/ada/opt.ads | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h index dc2b416..3e42f16 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 99626e9..3786d2c 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 |