decl.c (annotate_value): Inline the call also if List_Representation_Info is greater...

	* gcc-interface/decl.c (annotate_value) <CALL_EXPR>: Inline the call
	also if List_Representation_Info is greater than 3.

From-SVN: r275188

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index af3db1d63776a6928b89c80376a4c4b8baa8b013..5f004a92fdd0cccc3f02fd0671ab97fbed580d25 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc-interface/decl.c (annotate_value) <CALL_EXPR>: Inline the call
+       also if List_Representation_Info is greater than 3.
+
 2019-08-30  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Size>: Add assertion.

diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c
index 54ceb8d323747a05750817d1b6048cb96a5d1988..0695c2f00e8ede40113fd736c9c1c3b8f8e9429a 100644 (file)
--- a/gcc/ada/gcc-interface/decl.c
+++ b/gcc/ada/gcc-interface/decl.c
@@ -8398,7 +8398,7 @@ annotate_value (tree gnu_size)
       /* In regular mode, inline back only if symbolic annotation is requested
         in order to avoid memory explosion on big discriminated record types.
         But not in ASIS mode, as symbolic annotation is required for DDA.  */
-      if (List_Representation_Info == 3 || type_annotate_only)
+      if (List_Representation_Info >= 3 || type_annotate_only)
        {
          tree t = maybe_inline_call_in_expr (gnu_size);
          return t ? annotate_value (t) : No_Uint;