diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-04-11 18:28:49 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-17 04:14:03 -0400 |
| commit | d27ec3f60a3ac5eab05765cbbf45083e4e3dabc6 (patch) | |
| tree | 3652a40c10e6e19d46cab09d6466cc45511342b9 | |
| parent | 940eb45810712925fbc10a39b243b7ec001085ec (diff) | |
| download | gcc-d27ec3f60a3ac5eab05765cbbf45083e4e3dabc6.zip gcc-d27ec3f60a3ac5eab05765cbbf45083e4e3dabc6.tar.gz gcc-d27ec3f60a3ac5eab05765cbbf45083e4e3dabc6.tar.bz2 | |
[Ada] Work around problematic interaction with public symbol generation
2020-06-17 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* exp_attr.adb (Expand_N_Attribute_Reference) <Attribute_First>:
Do not replace the bound for an array type if it is public.
| -rw-r--r-- | gcc/ada/exp_attr.adb | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 51cda82..ea36be0 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -3424,7 +3424,14 @@ package body Exp_Attr is -- reference. Note that this must be in keeping with what is done -- for scalar types in order for range checks to be elided in loops. - elsif Is_Array_Type (Ptyp) and then Is_Constrained (Ptyp) then + -- However, avoid doing it if the array type is public because, in + -- this case, we effectively rely on the back end to create public + -- symbols with consistent names across units for the array bounds. + + elsif Is_Array_Type (Ptyp) + and then Is_Constrained (Ptyp) + and then not Is_Public (Ptyp) + then declare Bnd : Node_Id; |