]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Freezing too strict in instances
authorArnaud Charlet <charlet@adacore.com>
Wed, 30 Mar 2022 19:00:27 +0000 (19:00 +0000)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 18 May 2022 08:40:59 +0000 (08:40 +0000)
commit54cf6609e0c52123db5c600db197647491c33395
tree4074356bd2ff7e42c99380bf786ed3eff47650b6
parent5488c78c836ca71330bc69247bf75aa14d9d2603
[Ada] Freezing too strict in instances

Should_Freeze_Type is relaxed to only take the relevant case into
account (entities denoted by generic actual parameters as per
13.14(5/3), as well as profile of any subprograms named as per
13.14(10.2/4)), instead of being overly conservative wrt instances and
as a result, wrongly rejecting some legal code.

In practice this means we only need to worry about profile of
subprograms named as part of instances.

gcc/ada/

* freeze.adb (Should_Freeze_Type): Fix handling of freezing in
instances.
gcc/ada/freeze.adb