]> git.ipfire.org Git - people/ms/gcc.git/commit
projects / people / ms / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e4f370) | patch
[Ada] Spurious error on freezing of tagged types in SPARK
authorYannick Moy <moy@adacore.com>
Fri, 1 Apr 2022 14:58:19 +0000 (16:58 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 18 May 2022 08:41:03 +0000 (08:41 +0000)
commitba89624e938a9309a0a8a672b2753159cf0a8a78
tree31a0380c18e1f65638611218c53c69cbcc717d00tree | snapshot
parent8e4f37024ada46dafe1f8fd8464f0be118c6b961commit | diff
[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.
gcc/ada/sem_elab.adb diff | blob | blame | history
Michael's GCC tree