aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/ChangeLog')
-rw-r--r--gcc/ada/ChangeLog15
1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index aa97043..e0f821b 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,18 @@
+2019-12-16 Ed Schonberg <schonberg@adacore.com>
+
+ * checks.adb (Apply_Float_Conversion_Check): Use node of type
+ conversion and not its parent, when inserting the declaration
+ for the temporary that hold the result of the conversion.
+ Previously the declaration was inserted above the parent of the
+ conversion, apparently as a small optimization for the
+ subsequent traversal in Insert_Actions. Unfortunately a similar
+ optimization takes place in Insert_Actions, assuming that the
+ insertion point must be above the expression that creates the
+ actions to insert. This is not correct in the presence of
+ conditional expressions (i.e. since Ada2012), where the
+ insertion must be in the list of actions attached to the current
+ alternative.
+
2019-12-16 Bob Duff <duff@adacore.com>
* sem_attr.adb (Analyze_Attribute): Use Known_RM_Size. But we