[Ada] Avoid crash in GNATprove due to inlining inside type

[thirdparty/gcc.git] / gcc / ada / ChangeLog

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 34f41fde3f09ccac29df42a8a38ce9683349b19b..55044f6e200f49b4ab2dd2b0b81b2c0222ad0dff 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-13  Yannick Moy  <moy@adacore.com>
+
+       * sem_res.adb (Resolve_Call): Do not inline calls inside record
+       types.
+
 2019-08-13  Eric Botcazou  <ebotcazou@adacore.com>
 
        * sem_ch4.adb (Analyze_One_Call): Remove bypass for type