diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2011-12-18 14:41:00 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2011-12-18 14:41:00 +0000 |
| commit | 2ad8d9105d0f772c46c12d65c799ed3938285346 (patch) | |
| tree | 0a142fcd6ce856dec9298f10e5d77f444c652cd3 /gcc/ada/gcc-interface/trans.c | |
| parent | 7cb62ef1ba8272fa9706c9110289a1d3ced36d65 (diff) | |
| download | gcc-2ad8d9105d0f772c46c12d65c799ed3938285346.zip gcc-2ad8d9105d0f772c46c12d65c799ed3938285346.tar.gz gcc-2ad8d9105d0f772c46c12d65c799ed3938285346.tar.bz2 | |
decl.c (gnat_to_gnu_param): Add comment about double reference and DECL_POINTS_TO_READONLY_P.
* gcc-interface/decl.c (gnat_to_gnu_param): Add comment about double
reference and DECL_POINTS_TO_READONLY_P.
* gcc-interface/trans.c (Identifier_to_gnu) <by_ref>: Always set the
TREE_READONLY flag on the first dereference of a double dereference.
From-SVN: r182460
Diffstat (limited to 'gcc/ada/gcc-interface/trans.c')
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index da1a8f1..3640782 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -1038,8 +1038,9 @@ Identifier_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p) if (TREE_CODE (gnu_result) == INDIRECT_REF) TREE_THIS_NOTRAP (gnu_result) = 1; - if (read_only) - TREE_READONLY (gnu_result) = 1; + /* The first reference, in case of a double reference, always points + to read-only, see gnat_to_gnu_param for the rationale. */ + TREE_READONLY (gnu_result) = 1; } /* If it's a PARM_DECL to foreign convention subprogram, convert it. */ |