diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-24 16:07:09 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-24 16:07:09 +0100 |
| commit | c97d7285d9b949ac05ad04f0d76112579c50e240 (patch) | |
| tree | 122167c89fc81d8688b17d1d508f3c1a21a863a6 /gcc/common | |
| parent | f3fec19fb8f6ae5c4b95acb6e2b1b76846a84c44 (diff) | |
| download | gcc-c97d7285d9b949ac05ad04f0d76112579c50e240.zip gcc-c97d7285d9b949ac05ad04f0d76112579c50e240.tar.gz gcc-c97d7285d9b949ac05ad04f0d76112579c50e240.tar.bz2 | |
2014-02-24 Sergey Rybin <rybin@adacore.com frybin>
* gnat_ugn.texi: Misc updates.
2014-02-24 Hristian Kirtchev <kirtchev@adacore.com>
* exp_prag.adb (Expand_Old): Set the type of the generated temporary.
2014-02-24 Gary Dismukes <dismukes@adacore.com>
* layout.adb (Layout_Variant_Record): Instantiate
Generic_Check_Choices and call Check_Choices before calling
Build_Discr_Checking_Funcs, since we need Others_Discrete_Choices
set to prevent generating incorrect discriminant-checking
functions for 'others' variants (functions that unconditionally
return True rather than accounting for the values covered by the
'others' choice).
* sem_eval.ads (Subtypes_Statically_Compatible): Add formal
Formal_Derived_Matching.
(Subtypes_Statically_Match): Add formal Formal_Derived_Matching.
* sem_eval.adb (Subtypes_Statically_Compatible): Pass new
Formal_Derived_Matching formal to Subtypes_Statically_Match.
(Subtypes_Statically_Match): Suppress the Object_Size matching
test in the case where Formal_Derived_Matching is True.
* sem_ch12.adb (Validate_Derived_Type_Instance): Pass
True for Formal_Derived_Matching_Formal on the call to
Subtypes_Statically_Compatible.
From-SVN: r208068
Diffstat (limited to 'gcc/common')
0 files changed, 0 insertions, 0 deletions