diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2021-10-25 20:45:50 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-11-09 09:44:47 +0000 |
| commit | 64cb8ebef32c44ab7cab6021942df0b3d08a5fe5 (patch) | |
| tree | 9d2964c66c9ca8c9bce47a45d929985e9bbfa23d /gcc/dumpfile.c | |
| parent | 1275c4031a7d3b55e127cab53f31362469f8c89b (diff) | |
| download | gcc-64cb8ebef32c44ab7cab6021942df0b3d08a5fe5.zip gcc-64cb8ebef32c44ab7cab6021942df0b3d08a5fe5.tar.gz gcc-64cb8ebef32c44ab7cab6021942df0b3d08a5fe5.tar.bz2 | |
[Ada] Errors on globals in expressions of predicate aspects in generic bodies
gcc/ada/
* sem_ch13.adb (Freeze_Entity_Checks): Analyze the expression of
a pragma Predicate associated with an aspect at the freeze point
of the type, to ensure that references to globals get saved when
the aspect occurs within a generic body. Also, add
Aspect_Static_Predicate to the choices of the membership test of
the enclosing guard.
Diffstat (limited to 'gcc/dumpfile.c')
0 files changed, 0 insertions, 0 deletions