diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-21 16:22:17 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-21 16:22:17 +0000 |
| commit | a04f9d2ed050c3d841b78fd82668979b09b12df0 (patch) | |
| tree | 8e1e1ceab8a196ae569b6159a72727a0e4c3b46e /gcc/ada/exp_pakd.adb | |
| parent | cba20aada581d851f20d4fcf1d32b439f31416a1 (diff) | |
| download | gcc-a04f9d2ed050c3d841b78fd82668979b09b12df0.tar.gz | |
2014-01-21 Thomas Quinot <quinot@adacore.com>
* exp_pakd.adb: Update comment, minor reformatting.
2014-01-21 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb (Analyze_Variable_Contract): Trigger the volatile
object check when SPARK_Mode is on.
* sem_ch6.adb (Process_Formals): Trigger the volatile object
check when SPARK_Mode is on.
* sem_ch12.adb (Instantiate_Object): Trigger the volatile object
check when SPARK_Mode is on.
* sem_ch13.adb (Analyze_Aspect_Specifications): Insert the
corresponding pragma of aspect SPARK_Mode in the visible
declarations of a package declaration.
* sem_prag.adb (Analyze_Pragma): Trigger the volatile object
check when SPARK_Mode is on.
* sem_res.adb (Resolve_Actuals): Trigger the volatile object
check when SPARK_Mode is on.
(Resolve_Entity_Name): Trigger
the volatile object check when SPARK_Mode is on.
2014-01-21 Robert Dewar <dewar@adacore.com>
* a-except-2005.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206888 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_pakd.adb')
| -rw-r--r-- | gcc/ada/exp_pakd.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_pakd.adb b/gcc/ada/exp_pakd.adb index 0baab98d9cd..601030c3671 100644 --- a/gcc/ada/exp_pakd.adb +++ b/gcc/ada/exp_pakd.adb @@ -1127,7 +1127,7 @@ package body Exp_Pakd is -- The name of the packed array subtype is - -- ttt___Xsss + -- ttt___XPsss -- where sss is the component size in bits and ttt is the name of -- the parent packed type. @@ -1565,7 +1565,7 @@ package body Exp_Pakd is declare T : constant Entity_Id := Etype (Obj); begin - New_Lhs := Duplicate_Subexpr (Obj, True); + New_Lhs := Duplicate_Subexpr (Obj, Name_Req => True); New_Rhs := Duplicate_Subexpr_No_Checks (Obj); Set_Etype (Obj, T); Set_Etype (New_Lhs, T); |