diff mbox series

[2/3,PR,libfortran/101305] Bind(C): Correct sizes of some types in CFI_establish

Message ID 20210713212859.1532449-3-sandra@codesourcery.com
State New
Headers show
Series Bind(C): Fix kind/size mappings | expand

Commit Message

Sandra Loosemore July 13, 2021, 9:28 p.m. UTC
CFI_establish was failing to set the default elem_len correctly for
CFI_type_cptr, CFI_type_cfunptr, CFI_type_long_double, and
CFI_type_long_double_Complex.

2021-07-13  Sandra Loosemore  <sandra@codesourcery.com>

libgfortran/
	PR libfortran/101305
	* runtime/ISO_Fortran_binding.c (CFI_establish): Special-case
	CFI_type_cptr and CFI_type_cfunptr.  Correct size of long double
	on targets where it has kind 10.
---
 libgfortran/runtime/ISO_Fortran_binding.c | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

Comments

Tobias Burnus July 21, 2021, 9:48 a.m. UTC | #1
On 13.07.21 23:28, Sandra Loosemore wrote:
> CFI_establish was failing to set the default elem_len correctly for
> CFI_type_cptr, CFI_type_cfunptr, CFI_type_long_double, and
> CFI_type_long_double_Complex.

LGTM – thanks for the patch!

Tobias

> 2021-07-13  Sandra Loosemore  <sandra@codesourcery.com>
>
> libgfortran/
>       PR libfortran/101305
>       * runtime/ISO_Fortran_binding.c (CFI_establish): Special-case
>       CFI_type_cptr and CFI_type_cfunptr.  Correct size of long double
>       on targets where it has kind 10.
> ---
>   libgfortran/runtime/ISO_Fortran_binding.c | 19 ++++++++++---------
>   1 file changed, 10 insertions(+), 9 deletions(-)
>
> diff --git a/libgfortran/runtime/ISO_Fortran_binding.c b/libgfortran/runtime/ISO_Fortran_binding.c
> index 28fa9f5..6b5f26c 100644
> --- a/libgfortran/runtime/ISO_Fortran_binding.c
> +++ b/libgfortran/runtime/ISO_Fortran_binding.c
> @@ -341,9 +341,13 @@ int CFI_establish (CFI_cdesc_t *dv, void *base_addr, CFI_attribute_t attribute,
>
>     dv->base_addr = base_addr;
>
> -  if (type == CFI_type_char || type == CFI_type_ucs4_char ||
> -      type == CFI_type_struct || type == CFI_type_other)
> +  if (type == CFI_type_char || type == CFI_type_ucs4_char
> +      || type == CFI_type_struct || type == CFI_type_other)
>       dv->elem_len = elem_len;
> +  else if (type == CFI_type_cptr)
> +    dv->elem_len = sizeof (void *);
> +  else if (type == CFI_type_cfunptr)
> +    dv->elem_len = sizeof (void (*)(void));
>     else
>       {
>         /* base_type describes the intrinsic type with kind parameter. */
> @@ -351,16 +355,13 @@ int CFI_establish (CFI_cdesc_t *dv, void *base_addr, CFI_attribute_t attribute,
>         /* base_type_size is the size in bytes of the variable as given by its
>          * kind parameter. */
>         size_t base_type_size = (type - base_type) >> CFI_type_kind_shift;
> -      /* Kind types 10 have a size of 64 bytes. */
> +      /* Kind type 10 maps onto the 80-bit long double encoding on x86.
> +      Note that this has different storage size for -m32 than -m64.  */
>         if (base_type_size == 10)
> -     {
> -       base_type_size = 64;
> -     }
> +     base_type_size = sizeof (long double);
>         /* Complex numbers are twice the size of their real counterparts. */
>         if (base_type == CFI_type_Complex)
> -     {
> -       base_type_size *= 2;
> -     }
> +     base_type_size *= 2;
>         dv->elem_len = base_type_size;
>       }
>
-----------------
Siemens Electronic Design Automation GmbH; Anschrift: Arnulfstraße 201, 80634 München; Gesellschaft mit beschränkter Haftung; Geschäftsführer: Thomas Heurung, Frank Thürauf; Sitz der Gesellschaft: München; Registergericht München, HRB 106955
diff mbox series

Patch

diff --git a/libgfortran/runtime/ISO_Fortran_binding.c b/libgfortran/runtime/ISO_Fortran_binding.c
index 28fa9f5..6b5f26c 100644
--- a/libgfortran/runtime/ISO_Fortran_binding.c
+++ b/libgfortran/runtime/ISO_Fortran_binding.c
@@ -341,9 +341,13 @@  int CFI_establish (CFI_cdesc_t *dv, void *base_addr, CFI_attribute_t attribute,
 
   dv->base_addr = base_addr;
 
-  if (type == CFI_type_char || type == CFI_type_ucs4_char ||
-      type == CFI_type_struct || type == CFI_type_other)
+  if (type == CFI_type_char || type == CFI_type_ucs4_char
+      || type == CFI_type_struct || type == CFI_type_other)
     dv->elem_len = elem_len;
+  else if (type == CFI_type_cptr)
+    dv->elem_len = sizeof (void *);
+  else if (type == CFI_type_cfunptr)
+    dv->elem_len = sizeof (void (*)(void));
   else
     {
       /* base_type describes the intrinsic type with kind parameter. */
@@ -351,16 +355,13 @@  int CFI_establish (CFI_cdesc_t *dv, void *base_addr, CFI_attribute_t attribute,
       /* base_type_size is the size in bytes of the variable as given by its
        * kind parameter. */
       size_t base_type_size = (type - base_type) >> CFI_type_kind_shift;
-      /* Kind types 10 have a size of 64 bytes. */
+      /* Kind type 10 maps onto the 80-bit long double encoding on x86.
+	 Note that this has different storage size for -m32 than -m64.  */
       if (base_type_size == 10)
-	{
-	  base_type_size = 64;
-	}
+	base_type_size = sizeof (long double);
       /* Complex numbers are twice the size of their real counterparts. */
       if (base_type == CFI_type_Complex)
-	{
-	  base_type_size *= 2;
-	}
+	base_type_size *= 2;
       dv->elem_len = base_type_size;
     }