git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

ada: Fix extended access and memory pool explicit deref 

Explicit dereference of an extended access with data allocation in a
memory pool would crash the compiler.

gcc/ada/ChangeLog:

	* gcc-interface/trans.cc (Attribute_to_gnu)<Attr_Pool_Address>: Handle
	extended access.
This commit is contained in:
Marc Poulhiès 2025-09-16 15:07:29 +02:00 committed by Marc Poulhiès
parent e77f62626f
commit 17e59eebf9
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/ada/gcc-interface/trans.cc
View File

@ -1937,12 +1937,17 @@ Attribute_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p,
tree gnu_ptr = gnu_prefix;
tree gnu_obj_type;
if (Is_Extended_Access_Type (Etype (Prefix (gnat_node)))
&& !Is_Constrained (Etype (gnat_node)))
gnu_result_type = get_unpadded_extended_type (Etype (gnat_node));
else
gnu_result_type = get_unpadded_type (Etype (gnat_node));
/* If this is fat pointer, the object must have been allocated with the
template in front of the array. So compute the template address; do
it by converting to a thin pointer. */
if (TYPE_IS_FAT_POINTER_P (TREE_TYPE (gnu_ptr)))
/* If this is fat or extended pointer, the object must have been
allocated with the template in front of the array. So compute the
template address; do it by converting to a thin pointer. */
if (TYPE_IS_FAT_POINTER_P (TREE_TYPE (gnu_ptr))
|| TYPE_IS_EXTENDED_POINTER_P (TREE_TYPE (gnu_ptr)))
gnu_ptr
= convert (build_pointer_type
(TYPE_OBJECT_RECORD_TYPE