| commit | be19d090b8faf34f15dc6514d836c8f7dfab292c | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 30 Jan 2015 09:29:51 +0000 (30 09:29 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 30 Jan 2015 09:29:51 +0000 (30 09:29 +0000) | ||
| tree | 9de9ba7528c8a2e075365fb8f9362f6be20eb86a | treesnapshot (tar.gz zip) |
| parent | c89279287e18146f3a7021bd991dd9897f68ab9e | commitdiff |
2015-01-30 Ed Schonberg <schonberg@adacore.com>
* sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity
or a function call, return True if type is class-wide.
* sem_res.adb (Resolve_Case_Expression, Resolve_If_Expression);
Apply RM 4.5.7 (17/3): all or none of the dependent expression
of a conditional expression must be dynamically tagged.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220276 138bc75d-0d04-0410-961f-82ee72b054a4
* sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity
or a function call, return True if type is class-wide.
* sem_res.adb (Resolve_Case_Expression, Resolve_If_Expression);
Apply RM 4.5.7 (17/3): all or none of the dependent expression
of a conditional expression must be dynamically tagged.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220276 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_disp.adb | diffblobblamehistory | |
| gcc/ada/sem_res.adb | diffblobblamehistory |