diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2023-05-20 01:23:20 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-15 09:59:37 +0200 |
| commit | 17e45a14a2043ae2117f772945de32d402e10f3f (patch) | |
| tree | 8929c6eb7beb651809bc495f6cb195ff64ebe2de /gcc/ada/gcc-interface/decl.cc | |
| parent | a8c45d3fba65fa4e83903ffcba678eb497c2b07b (diff) | |
| download | gcc-17e45a14a2043ae2117f772945de32d402e10f3f.zip gcc-17e45a14a2043ae2117f772945de32d402e10f3f.tar.gz gcc-17e45a14a2043ae2117f772945de32d402e10f3f.tar.bz2 | |
ada: Fix too small secondary stack allocation for returned conversion
The previous fix did not address a latent issue whereby the allocation
would be made using the (static) subtype of the conversion instead of
the (dynamic) subtype of the return object, so this change rewrites the
code responsible for determining the type used for the allocation, and
also contains a small improvement to the Has_Tag_Of_Type predicate.
gcc/ada/
* exp_ch3.adb (Make_Allocator_For_Return): Rewrite the logic that
determines the type used for the allocation and add assertions.
* exp_util.adb (Has_Tag_Of_Type): Also return true for extension
aggregates.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.cc')
0 files changed, 0 insertions, 0 deletions