diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2009-04-23 16:40:55 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2009-04-23 16:40:55 +0000 |
| commit | bbaba73f06d6ebd6e5b3ed96e7fd40537e3fa489 (patch) | |
| tree | c50f816477650b4e3cbb25b84c72aae959f07b1b /gcc/ada/sinfo.ads | |
| parent | 3682dc97d6bf818e4c95c734e4d5588a9d9a4cda (diff) | |
| download | gcc-bbaba73f06d6ebd6e5b3ed96e7fd40537e3fa489.zip gcc-bbaba73f06d6ebd6e5b3ed96e7fd40537e3fa489.tar.gz gcc-bbaba73f06d6ebd6e5b3ed96e7fd40537e3fa489.tar.bz2 | |
gimplify.c (gimplify_modify_expr_rhs): Do not do a direct assignment from the constructor either if the target is volatile.
* gimplify.c (gimplify_modify_expr_rhs) <VAR_DECL>: Do not do a direct
assignment from the constructor either if the target is volatile.
ada/
* einfo.ads (Is_True_Constant): Lift restriction on atomic objects.
* sinfo.ads (Object Declaration): Likewise.
(Assignment Statement): Likewise.
* freeze.adb (Expand_Atomic_Aggregate): Remove useless test.
Do not force Is_True_Constant to false on the temporary.
(Freeze_Entity): Do not force Is_True_Constant to false on names on
the RHS of object declarations.
* gcc-interface/trans.c (lvalue_required_p) <N_Object_Declaration>:
New case. Return 1 if the object is atomic.
<N_Assignment_Statement>: Likewise.
From-SVN: r146652
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index d45b4b0..5aae9c0 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -2152,11 +2152,8 @@ package Sinfo is -- Note: the back end places some restrictions on the form of the -- Expression field. If the object being declared is Atomic, then -- the Expression may not have the form of an aggregate (since this - -- might cause the back end to generate separate assignments). It - -- also cannot be a reference to an object marked as a true constant - -- (Is_True_Constant flag set), where the object is itself initialized - -- with an aggregate. If necessary the front end must generate an - -- extra temporary (with Is_True_Constant set False), and initialize + -- might cause the back end to generate separate assignments). In this + -- case the front end must generate an extra temporary and initialize -- this temporary as required (the temporary itself is not atomic). -- Note: there is not node kind for object definition. Instead, the @@ -3848,11 +3845,8 @@ package Sinfo is -- Note: the back end places some restrictions on the form of the -- Expression field. If the object being assigned to is Atomic, then -- the Expression may not have the form of an aggregate (since this - -- might cause the back end to generate separate assignments). It - -- also cannot be a reference to an object marked as a true constant - -- (Is_True_Constant flag set), where the object is itself initialized - -- with an aggregate. If necessary the front end must generate an - -- extra temporary (with Is_True_Constant set False), and initialize + -- might cause the back end to generate separate assignments). In this + -- case the front end must generate an extra temporary and initialize -- this temporary as required (the temporary itself is not atomic). ----------------------- |