| commit | ba89624e938a9309a0a8a672b2753159cf0a8a78 | |
| author | Yannick Moy <moy@adacore.com> | |
| Fri, 1 Apr 2022 14:58:19 +0000 (1 16:58 +0200) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Wed, 18 May 2022 08:41:03 +0000 (18 08:41 +0000) | ||
| tree | 31a0380c18e1f65638611218c53c69cbcc717d00 | treesnapshot (tar.gz zip) |
| parent | 8e4f37024ada46dafe1f8fd8464f0be118c6b961 | commitdiff |
[Ada] Spurious error on freezing of tagged types in SPARK
SPARK RM 7.7(8) mandates that the freezing point of a tagged type must
occur within the so-called early call region of all its primitives.
This check may lead to spurious errors due to generated constructs being
considered in the search for the start of the early call region.
gcc/ada/
* sem_elab.adb (Is_Suitable_Construct): Fix for generated
constructs.
SPARK RM 7.7(8) mandates that the freezing point of a tagged type must
occur within the so-called early call region of all its primitives.
This check may lead to spurious errors due to generated constructs being
considered in the search for the start of the early call region.
gcc/ada/
* sem_elab.adb (Is_Suitable_Construct): Fix for generated
constructs.
| gcc/ada/sem_elab.adb | diffblobblamehistory |