diff options
| author | Steve Baird <baird@adacore.com> | 2021-08-02 16:18:08 -0700 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-01 06:13:36 +0000 |
| commit | aa4648eef474d7827b9ccf948ad4de128783e171 (patch) | |
| tree | 73385a605f8ed74946f949e50943ca214a414422 /gcc/tree-ssa-loop-split.c | |
| parent | a6fe12b0a9a375e655945ff385810661d8bb494c (diff) | |
| download | gcc-aa4648eef474d7827b9ccf948ad4de128783e171.zip gcc-aa4648eef474d7827b9ccf948ad4de128783e171.tar.gz gcc-aa4648eef474d7827b9ccf948ad4de128783e171.tar.bz2 | |
[Ada] Fix bug in inherited user-defined-literal aspects for tagged types
gcc/ada/
* sem_res.adb (Resolve): Two separate fixes. In the case where
Find_Aspect for a literal aspect returns the aspect for a
different (ancestor) type, call Corresponding_Primitive_Op to
get the right callee. In the case where a downward tagged type
conversion appears to be needed, generate a null extension
aggregate instead, as per Ada RM 3.4(27).
* sem_util.ads, sem_util.adb: Add new Corresponding_Primitive_Op
function. It maps a primitive op of a tagged type and a
descendant type of that tagged type to the corresponding
primitive op of the descendant type. The body of this function
was written by Javier Miranda.
Diffstat (limited to 'gcc/tree-ssa-loop-split.c')
0 files changed, 0 insertions, 0 deletions