diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-06-02 01:00:48 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-04 07:46:00 +0000 |
| commit | 8c6bef0a33e32e6a95dca7d50cd5be37e7262775 (patch) | |
| tree | fbddcb7d0612c5865ddd13f8b1d8d30c80fea4bb /gcc/tree-loop-distribution.cc | |
| parent | 1f03b43fc7552fe105d33612b3b89b4f0b222798 (diff) | |
| download | gcc-8c6bef0a33e32e6a95dca7d50cd5be37e7262775.zip gcc-8c6bef0a33e32e6a95dca7d50cd5be37e7262775.tar.gz gcc-8c6bef0a33e32e6a95dca7d50cd5be37e7262775.tar.bz2 | |
[Ada] Do not make procedure call with only tag-indeternminate actuals dispatching
The RM 3.9.2(19) clause says that the controlling tag value is statically
determined to be the tag of the tagged type involved. As a matter of fact,
the call would be made dispatching only as a by-product of the propagation
of the controlling tag value to the tag-indeternminate actuals, but that's
unnecessary and not done in the equivalent case of a procedure call with
both statically tagged and tag-indeternminate actuals.
gcc/ada/
* sem_disp.adb (Check_Dispatching_Call): Merge the two special cases
where there are no controlling actuals but tag-indeternminate ones.
Diffstat (limited to 'gcc/tree-loop-distribution.cc')
0 files changed, 0 insertions, 0 deletions