diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-06-27 15:26:34 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-12 12:24:13 +0000 |
| commit | 570f43b823ad9013aab5abd5868b6554f4cf019c (patch) | |
| tree | c810a6ef7c98545e20a9e1a41f701b811bb1e8d2 /gcc/ada/libgnat | |
| parent | 70c3959a8af920616878e587e64dbd01620b87db (diff) | |
| download | gcc-570f43b823ad9013aab5abd5868b6554f4cf019c.zip gcc-570f43b823ad9013aab5abd5868b6554f4cf019c.tar.gz gcc-570f43b823ad9013aab5abd5868b6554f4cf019c.tar.bz2 | |
[Ada] Do not create large objects for indefinite protected types
This plugs a small loophole in the Needs_Secondary_Stack predicate for
some protected types and record types containing protected components.
gcc/ada/
* sem_util.adb (Caller_Known_Size_Record): Make entry assertion
more robust and add guard for null argument. For protected
types, invoke Caller_Known_Size_Record on
Corresponding_Record_Type.
(Needs_Secondary_Stack): Likewise.
Diffstat (limited to 'gcc/ada/libgnat')
0 files changed, 0 insertions, 0 deletions