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

The special inlining for GNATprove should not inline calls inside record
types, used for the constraints of components.

There is no impact on compilation.

2019-08-13  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* sem_res.adb (Resolve_Call): Do not inline calls inside record
	types.

From-SVN: r274344

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

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 759887ccd311d99aaa0ef20360ae20996c47ed3f..7a9c85c2154f2674c4caa9c3dd4d3f121c570803 100644 (file)
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -7062,6 +7062,15 @@ package body Sem_Res is
                      end if;
                   end if;
 
+               --  Cannot inline a call inside the definition of a record type,
+               --  typically inside the constraints of the type. Calls in
+               --  default expressions are also not inlined, but this is
+               --  filtered out above when testing In_Default_Expr.
+
+               elsif Is_Record_Type (Current_Scope) then
+                  Cannot_Inline
+                    ("cannot inline & (inside record type)?", N, Nam_UA);
+
                --  With the one-pass inlining technique, a call cannot be
                --  inlined if the corresponding body has not been seen yet.