aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2015-11-30 11:34:31 +0000
committerEric Botcazou <ebotcazou@gcc.gnu.org>2015-11-30 11:34:31 +0000
commitf8125f0c9ce43aac6d7a96753e4617af68ee0009 (patch)
treec9fd197ea12537544785bc54773f93d385651a75 /gcc/ada
parent14ecca2eea820447afe3214ed635883fbc4244a4 (diff)
downloadgcc-f8125f0c9ce43aac6d7a96753e4617af68ee0009.zip
gcc-f8125f0c9ce43aac6d7a96753e4617af68ee0009.tar.gz
gcc-f8125f0c9ce43aac6d7a96753e4617af68ee0009.tar.bz2
* gcc-interface/utils2.c (gnat_invariant_expr): Add type conversions.
From-SVN: r231063
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/ChangeLog4
-rw-r--r--gcc/ada/gcc-interface/utils2.c4
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index a90fa64..cc0add2 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,5 +1,9 @@
2015-11-30 Eric Botcazou <ebotcazou@adacore.com>
+ * gcc-interface/utils2.c (gnat_invariant_expr): Add type conversions.
+
+2015-11-30 Eric Botcazou <ebotcazou@adacore.com>
+
* gcc-interface/ada-tree.h (TYPE_MAX_ALIGN): New macro.
* gcc-interface/decl.c (gnat_to_gnu_entity): Do not set PACKED to -2.
Remove obsolete code setting the alignment on some atomic types.
diff --git a/gcc/ada/gcc-interface/utils2.c b/gcc/ada/gcc-interface/utils2.c
index 79e9b2f..a74b8a8 100644
--- a/gcc/ada/gcc-interface/utils2.c
+++ b/gcc/ada/gcc-interface/utils2.c
@@ -2860,7 +2860,9 @@ gnat_invariant_expr (tree expr)
tree op0 = gnat_invariant_expr (TREE_OPERAND (expr, 0));
tree op1 = TREE_OPERAND (expr, 1);
if (op0 && TREE_CONSTANT (op1))
- return fold_build2 (TREE_CODE (expr), type, op0, op1);
+ return
+ fold_build2 (TREE_CODE (expr), type,
+ fold_convert (type, op0), fold_convert (type, op1));
else
return NULL_TREE;
}