diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 12:56:46 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 12:56:46 +0200 |
| commit | 6dd86c75d670c3f7ec6bf58c2b9b0950cd5db84a (patch) | |
| tree | 06f3f57e65874c60b41360378a505c831660823d /gcc/ada/uintp.h | |
| parent | f24745230fe28ddd92d28ff681bd95d10578e3b0 (diff) | |
| download | gcc-6dd86c75d670c3f7ec6bf58c2b9b0950cd5db84a.zip gcc-6dd86c75d670c3f7ec6bf58c2b9b0950cd5db84a.tar.gz gcc-6dd86c75d670c3f7ec6bf58c2b9b0950cd5db84a.tar.bz2 | |
[multiple changes]
2017-04-27 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Build_Inherited_Condition_Pragmas): New procedure,
subsidiary of Check_Inherited_Conditions, to build pragmas for an
operation whose ancestor has classwide pre/postconditions. This
is used both to check the legality of the inheritance in Ada
and in SPARK, and to determine whether a wrapper is needed for
an inherited operation.
* exp_util.adb (Build_Class_Wide_Expression, Replace_Entity):
Improve placement of error message for inherited classwide
conditions that become illegal on type derivation.
2017-04-27 Yannick Moy <moy@adacore.com>
* sem_ch12.adb (Analyze_Generic_Package_Declaration): Set
SPARK_Mode from context on generic package.
* sem_ch7.adb (Analyze_Package_Declaration): Simplify code to remove
useless test.
2017-04-27 Claire Dross <dross@adacore.com>
* a-cofuve.ads (Range_Shifted): Rewrite precondition to avoid
overflows in computations.
* a-cofove.ads (Capacity_Range): Rewrite last bound to avoid
overflows in computations.
(Insert): Rewrite precondition to avoid overflows in computations.
* a-cfinve.ads (Capacity_Range): Rewrite last bound to avoid
overflows in computations.
(Insert): Rewrite precondition to avoid overflows in computations.
From-SVN: r247318
Diffstat (limited to 'gcc/ada/uintp.h')
0 files changed, 0 insertions, 0 deletions