diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 11:05:22 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 11:05:22 +0100 |
| commit | e4d0416682374541d42aebe9b3535dbfa7fd0058 (patch) | |
| tree | a7f70047650464a25666464552b1b189dc756398 /gcc/ada/frontend.adb | |
| parent | 66340e0e9a029aa5cbba0e63f66e5319c1286ce4 (diff) | |
| download | gcc-e4d0416682374541d42aebe9b3535dbfa7fd0058.zip gcc-e4d0416682374541d42aebe9b3535dbfa7fd0058.tar.gz gcc-e4d0416682374541d42aebe9b3535dbfa7fd0058.tar.bz2 | |
[multiple changes]
2017-01-13 Arnaud Charlet <charlet@adacore.com>
* bindusg.adb: Improve usage output for -f switch.
2017-01-13 Hristian Kirtchev <kirtchev@adacore.com>
* frontend.adb, freeze.adb, sem_res.adb, sem_attr.adb, sem_ch8.adb:
Minor reformatting.
2017-01-13 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Is_Predicate_Static): Following the intent of the RM,
treat comparisons on strings as legal in a Static_Predicate.
(Is_Predicate_Static, Is_Type_Ref): Predicate also returns true on
a function call that is the expansion of a string comparison.The
function call is built when compiling the corresponding predicate
function, but the expression has been found legal as a static
predicate during earlier analysis.
* sem_eval.adb (Real_Or_String_Static_Predicate_Matches): Handle
properly a function call that is the expansion of a string
comparison operation, in order to recover the Static_Predicate
expression and apply it to a static argument when needed.
From-SVN: r244400
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index c71c78e..5ad319d 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -460,20 +460,21 @@ begin end if; end if; - -- In GNATprove mode, force loading of a few RTE units. + -- In GNATprove mode, force the loading of a few RTE units if GNATprove_Mode then declare - Unused_E : Entity_Id; + Unused : Entity_Id; + begin - -- Ensure that System.Interrupt_Priority is available to - -- GNATprove for the generation of VCs related to ceiling - -- priority. - Unused_E := RTE (RE_Interrupt_Priority); + -- Ensure that System.Interrupt_Priority is available to GNATprove + -- for the generation of VCs related to ceiling priority. + + Unused := RTE (RE_Interrupt_Priority); end; end if; - -- Qualify all entity names in inner packages, package bodies, etc. + -- Qualify all entity names in inner packages, package bodies, etc Exp_Dbug.Qualify_All_Entity_Names; |