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

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

From-SVN: r275188

gcc/ada/ChangeLog

 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.
 
 2019-08-30  Eric Botcazou  <ebotcazou@adacore.com>

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;