| commit | 33bf9f744395085eccccd4366c3ac013c4f8dee1 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 23 Jan 2017 12:00:26 +0000 (23 12:00 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 23 Jan 2017 12:00:26 +0000 (23 12:00 +0000) | ||
| tree | a30bc477380cd60dbeb59b86ec2abe49e3833502 | treesnapshot (tar.gz zip) |
| parent | 67e0f1f268832f600298ffa088ca7c3777eb5692 | commitdiff |
2017-01-23 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Try_Primitive_Operations,
Is_Valid_First_Argument_Of): argument is valid if it is a derived
type with unknown discriminants that matches its underlying
record view.
* exp_util.adb (Expand_Subtype_From_Expr): Do not expand
expression if its type is derived from a limited type with
unknown discriminants, because the expansion (which is a call)
must be expanded in the enclosing context to add the proper build-
in-place parameters to the call.
* lib.ads, exp_ch9.adb: Minor fixes in comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244790 138bc75d-0d04-0410-961f-82ee72b054a4
* sem_ch4.adb (Try_Primitive_Operations,
Is_Valid_First_Argument_Of): argument is valid if it is a derived
type with unknown discriminants that matches its underlying
record view.
* exp_util.adb (Expand_Subtype_From_Expr): Do not expand
expression if its type is derived from a limited type with
unknown discriminants, because the expansion (which is a call)
must be expanded in the enclosing context to add the proper build-
in-place parameters to the call.
* lib.ads, exp_ch9.adb: Minor fixes in comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244790 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/exp_ch9.adb | diffblobblamehistory | |
| gcc/ada/exp_util.adb | diffblobblamehistory | |
| gcc/ada/lib.ads | diffblobblamehistory | |
| gcc/ada/sem_ch4.adb | diffblobblamehistory |