re PR ada/78524 (failure of ACATS c41104a at -O0)

	PR ada/78524
	* gcc-interface/utils.c (max_size) <tcc_reference>: Add missing
	conversion to original type in the PLACEHOLDER_EXPR case.

From-SVN: r242902

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index d89b967..ca438db 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,11 @@
 2016-11-27  Eric Botcazou  <ebotcazou@adacore.com>
 
+       PR ada/78524
+       * gcc-interface/utils.c (max_size) <tcc_reference>: Add missing
+       conversion to original type in the PLACEHOLDER_EXPR case.
+
+2016-11-27  Eric Botcazou  <ebotcazou@adacore.com>
+
        PR ada/78531
        * namet.h (Max_Line_Length): Define.
        (struct Bounded_String): Declare Chars with exact size.

diff --git a/gcc/ada/gcc-interface/utils.c b/gcc/ada/gcc-interface/utils.c
index fd6c202..cde17fe 100644 (file)
--- a/gcc/ada/gcc-interface/utils.c
+++ b/gcc/ada/gcc-interface/utils.c
@@ -3548,7 +3548,9 @@ max_size (tree exp, bool max_p)
        {
          tree val_type = TREE_TYPE (TREE_OPERAND (exp, 1));
          tree val = (max_p ? TYPE_MAX_VALUE (type) : TYPE_MIN_VALUE (type));
-         return max_size (convert (get_base_type (val_type), val), true);
+         return
+           convert (type,
+                    max_size (convert (get_base_type (val_type), val), true));
        }
 
       return exp;