diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 11:47:14 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 11:47:14 +0200 |
| commit | 29049f0b22b4475b4f8e0872b0455d025782e041 (patch) | |
| tree | c9ba49866405f3050bb8de2fdb43f2badcc1cdb4 /gcc/ada/checks.adb | |
| parent | d26d790dca2c2135161666dc955cc39befbaf587 (diff) | |
| download | gcc-29049f0b22b4475b4f8e0872b0455d025782e041.zip gcc-29049f0b22b4475b4f8e0872b0455d025782e041.tar.gz gcc-29049f0b22b4475b4f8e0872b0455d025782e041.tar.bz2 | |
[multiple changes]
2014-08-04 Robert Dewar <dewar@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference, case Pred):
Remove special test for Float'First, no longer required.
(Expand_N_Attribute_Reference, case Succ): Remove special test
for Float'First, no longer required.
* s-fatgen.adb (Pred): return infinity unchanged.
(Succ): ditto.
2014-08-04 Claire Dross <dross@adacore.com>
* sem_ch12.adb (Analyze_Associations): Defaults should only be
used if there is no explicit match.
* exp_util.adb (Get_First_Parent_With_Ext_Axioms_For_Entity):
Also check for pragma external_axiomatization on generic units.
From-SVN: r213546
Diffstat (limited to 'gcc/ada/checks.adb')
0 files changed, 0 insertions, 0 deletions