aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorRichard Kenner <kenner@vlsi1.ultra.nyu.edu>2004-07-15 03:17:42 +0000
committerRichard Kenner <kenner@gcc.gnu.org>2004-07-14 23:17:42 -0400
commit54805e134f0eacc458edae67f2dfde22f0f73e32 (patch)
tree8b76c3c276caffea1a06dec99e6fa71cee182bcf /gcc/ada
parentcc5e9f5a4c9d096ecd1516088eeb92e1c3473575 (diff)
downloadgcc-54805e134f0eacc458edae67f2dfde22f0f73e32.zip
gcc-54805e134f0eacc458edae67f2dfde22f0f73e32.tar.gz
gcc-54805e134f0eacc458edae67f2dfde22f0f73e32.tar.bz2
trans.c (add_decl_expr): Clear TREE_READONLY if clear DECL_INITIAL.
* trans.c (add_decl_expr): Clear TREE_READONLY if clear DECL_INITIAL. * utils.c (unchecked_convert): Don't do two VIEW_CONVERT_EXPRs. From-SVN: r84742
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/trans.c1
-rw-r--r--gcc/ada/utils.c5
3 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 82315c9..5ad44ea 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+Wed Jul 14 23:16:59 2004 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
+
+ * trans.c (add_decl_expr): Clear TREE_READONLY if clear DECL_INITIAL.
+ * utils.c (unchecked_convert): Don't do two VIEW_CONVERT_EXPRs.
+
2004-07-14 Andreas Schwab <schwab@suse.de>
* trans.c (gnat_init_stmt_group): Remove duplicate definition.
diff --git a/gcc/ada/trans.c b/gcc/ada/trans.c
index 0cc6f95..903b314 100644
--- a/gcc/ada/trans.c
+++ b/gcc/ada/trans.c
@@ -4164,6 +4164,7 @@ add_decl_expr (tree gnu_decl, Entity_Id gnat_entity)
gnu_lhs, DECL_INITIAL (gnu_decl));
DECL_INITIAL (gnu_decl) = 0;
+ TREE_READONLY (gnu_decl) = 0;
annotate_with_locus (gnu_assign_stmt,
DECL_SOURCE_LOCATION (gnu_decl));
add_stmt (gnu_assign_stmt);
diff --git a/gcc/ada/utils.c b/gcc/ada/utils.c
index dc8a5b1..3d525a0 100644
--- a/gcc/ada/utils.c
+++ b/gcc/ada/utils.c
@@ -3224,6 +3224,11 @@ unchecked_convert (tree type, tree expr, int notrunc_p)
else
{
expr = maybe_unconstrained_array (expr);
+
+ /* There's no point in doing two unchecked conversions in a row. */
+ if (TREE_CODE (expr) == VIEW_CONVERT_EXPR)
+ expr = TREE_OPERAND (expr, 0);
+
etype = TREE_TYPE (expr);
expr = build1 (VIEW_CONVERT_EXPR, type, expr);
}