diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:29:13 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:29:13 +0100 |
commit | ca7e6c2640e197797b544a7238d1e362f85c2921 (patch) | |
tree | fd072a2f475cd63b318fce31b41facdc1f06f19f /config | |
parent | f99ff327e1901a374b4fb79b13be067b49c2c2ed (diff) | |
download | gcc-ca7e6c2640e197797b544a7238d1e362f85c2921.zip gcc-ca7e6c2640e197797b544a7238d1e362f85c2921.tar.gz gcc-ca7e6c2640e197797b544a7238d1e362f85c2921.tar.bz2 |
[multiple changes]
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* inline.adb: Minor reformatting.
2015-10-26 Yannick Moy <moy@adacore.com>
* get_spark_xrefs.adb (get_SPARK_Xrefs): Remove obsolete
assertion.
* lib-xref-spark_specific.adb (Traverse_Declaration_Or_Statement):
New procedure to factor duplicated code and add
treatment of protected entries.
(Add_SPARK_Scope, Traverse_Declarations_Or_Statements): Call the new
procedure Traverse_Declaration_Or_Statement. Use same character used in
normal xrefs for SPARK xrefs, for a given entity used as scope.
* spark_xrefs.ads Document character used for entries.
* sem_prag.adb (Check_Loop_Pragma_Placement): Account for possible
introduction of declarations and statements by the expansion, between
two otherwise consecutive loop pragmas.
* sem_util.ads, sem_util.adb (Is_Suspension_Object): Lifted from nested
function.
(Is_Descendant_Of_Suspension_Object): nested function lifted.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Eval_Attribute): Attribute 'Enum_Rep can be folded
when its prefix denotes a constant, an enumeration literal or
an enumeration type. Use the expression of the attribute in the
enumeration type form, otherwise use the prefix to fold.
From-SVN: r229334
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions