diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-29 12:00:17 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-29 12:00:17 +0100 |
commit | 54f471f02471d0e135ad1d9683b89afe92ff3a15 (patch) | |
tree | 711fe1a3a695d1f207635390f96d916108d930f1 /gcc/ada/ali.ads | |
parent | 0cc71b488a98162b4344c6809f26157cf6e346c0 (diff) | |
download | gcc-54f471f02471d0e135ad1d9683b89afe92ff3a15.zip gcc-54f471f02471d0e135ad1d9683b89afe92ff3a15.tar.gz gcc-54f471f02471d0e135ad1d9683b89afe92ff3a15.tar.bz2 |
[multiple changes]
2012-10-29 Tristan Gingold <gingold@adacore.com>
* exp_ch9.adb, s-tarest.ads, exp_ch3.adb: Update comments.
2012-10-29 Yannick Moy <moy@adacore.com>
* gnat_rm.texi: Minor documentation addition.
2012-10-29 Emmanuel Briot <briot@adacore.com>
* xr_tabls.adb, xr_tabls.ads (Add_Declaration, Add_Reference): No
longer assume that a parameter declaration is seen after the subprogram
that uses it.
2012-10-29 Tristan Gingold <gingold@adacore.com>
* lib-writ.adb (Write_ALI): Emit partition elaboration policy
in P line.
* lib-writ.ads: Document partition elaboration policy indication.
* sem_prag.adb (Check_Arg_Is_Partition_Elaboration_Policy): New
procedure.
(Analyze_Pragma): Handle Partition_Elaboration_Policy.
(Sig_Flags): Add flag for Pragma_Partition_Elaboration_Policy
* ali.adb (Initialize_ALI): Init Partition_Elaboration_Policy_Specified.
(Scan_ALI): Read Ex indications.
* ali.ads: ALIs_Record: Add Partition_Elaboration_Policy.
* par-prag.adb (Prag): Add Partition_Elaboration_Policy.
* snames.adb-tmpl (Is_Partition_Elaboration_Policy_Name): New function.
* opt.ads (Partition_Elaboration_Policy): Declare.
(Partition_Elaboration_Policy_Sloc): Declare.
* bcheck.adb (Check_Consistent_Partition_Elaboration_Policy):
New procedure. (Check_Configuration_Consistency): Check partition
elaboration policy consistency.
* snames.ads-tmpl (Name_Partition_Elaboration_Policy): New name.
(First_Partition_Elaboration_Policy_Name, Name_Concurrent,
Name_Sequential, Last_Partition_Elaboration_Policy_Name): Likewise.
(Pragma_Partition_Elaboration_Policy): New literal.
(Is_Partition_Elaboration_Policy_Name): New function.
2012-10-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Is_Public_Subprogram_For): Handle properly
expression functions, which are rewritten as subprogram
declarations, when generating invariants for its return value
and in-out parameters.
From-SVN: r192928
Diffstat (limited to 'gcc/ada/ali.ads')
-rw-r--r-- | gcc/ada/ali.ads | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ada/ali.ads b/gcc/ada/ali.ads index 39943c4..2c800e7 100644 --- a/gcc/ada/ali.ads +++ b/gcc/ada/ali.ads @@ -156,6 +156,12 @@ package ALI is -- this is a language defined unit. Otherwise set to first character -- (upper case) of policy name. Not set if 'P' appears in Ignore_Lines. + Partition_Elaboration_Policy : Character; + -- Indicates partition elaboration policy for units in this file. Space + -- means that no Partition_Elaboration_Policy pragma was present or that + -- this is a language defined unit. Otherwise set to first character + -- (upper case) of policy name. Not set if 'P' appears in Ignore_Lines. + Queuing_Policy : Character; -- Indicates queuing policy for units in this file. Space means tasking -- was not used, or that no Queuing_Policy pragma was present or that @@ -485,6 +491,11 @@ package ALI is -- Set to False by Initialize_ALI. Set to True if an ali file indicates -- that the file was compiled in Normalize_Scalars mode. + Partition_Elaboration_Policy_Specified : Character := ' '; + -- Set to blank by Initialize_ALI. Set to the appropriate partition + -- elaboration policy character if an ali file contains a P line setting + -- the policy. + Queuing_Policy_Specified : Character := ' '; -- Set to blank by Initialize_ALI. Set to the appropriate queuing policy -- character if an ali file contains a P line setting the queuing policy. |