aboutsummaryrefslogtreecommitdiff
path: root/gcc/fortran
diff options
context:
space:
mode:
authorSteve Baird <baird@adacore.com>2022-05-25 17:21:39 -0700
committerPierre-Marie de Rodat <derodat@adacore.com>2022-07-04 07:45:57 +0000
commitf3451ba8aa3a54c6f09ee049a1a406603ed2ec30 (patch)
treef8dfcb2de113874f7af781e0e8055719da89fcaf /gcc/fortran
parent4b766285b089ba1bce91a7644b9d97836e80cda3 (diff)
downloadgcc-f3451ba8aa3a54c6f09ee049a1a406603ed2ec30.zip
gcc-f3451ba8aa3a54c6f09ee049a1a406603ed2ec30.tar.gz
gcc-f3451ba8aa3a54c6f09ee049a1a406603ed2ec30.tar.bz2
[Ada] Enforce deferred constant completion rules
If a constrained subtype is given when a deferred constant is declared, then the subtype given in the completion is required (at compile time) to be subject to a statically matching constraint. This rule was not properly enforced in some cases and constructs that should have been rejected were incorrectly accepted. gcc/ada/ * sem_ch3.adb (Check_Possible_Deferred_Completion): Delete Prev_Obj_Def formal parameter. Reorganize code so that statically matching check is also performed in the case where the subtype given in the initial declaration is constrained and the subtype given in the completion is not.
Diffstat (limited to 'gcc/fortran')
0 files changed, 0 insertions, 0 deletions