diff options
| author | Yannick Moy <moy@adacore.com> | 2022-04-01 16:58:19 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-18 08:41:03 +0000 |
| commit | ba89624e938a9309a0a8a672b2753159cf0a8a78 (patch) | |
| tree | 31a0380c18e1f65638611218c53c69cbcc717d00 /gcc/params.opt | |
| parent | 8e4f37024ada46dafe1f8fd8464f0be118c6b961 (diff) | |
| download | gcc-ba89624e938a9309a0a8a672b2753159cf0a8a78.tar.gz | |
[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.
Diffstat (limited to 'gcc/params.opt')
0 files changed, 0 insertions, 0 deletions