[gcc r14-9726] [PATCH] Allow `gcc_jit_type_get_size` to work with pointers

[Guillaume Gomez via Gcc-cvs]

https://gcc.gnu.org/g:4c18ace1cb69a31af4ac719850a66de79ed12e93

commit r14-9726-g4c18ace1cb69a31af4ac719850a66de79ed12e93
Author: Guillaume Gomez <guillaume1.go...@gmail.com>
Date:   Fri Mar 29 18:56:33 2024 +0100

    [PATCH] Allow `gcc_jit_type_get_size` to work with pointers
    
    gcc/jit/ChangeLog:
    
            * libgccjit.cc (gcc_jit_type_get_size): Add pointer support

Diff:
---
 gcc/jit/libgccjit.cc                     |  4 ++--
 gcc/testsuite/jit.dg/test-pointer_size.c | 27 +++++++++++++++++++++++++++
 2 files changed, 29 insertions(+), 2 deletions(-)

diff --git a/gcc/jit/libgccjit.cc b/gcc/jit/libgccjit.cc
index f40a9781405..445c0d0e0e3 100644
--- a/gcc/jit/libgccjit.cc
+++ b/gcc/jit/libgccjit.cc
@@ -560,8 +560,8 @@ gcc_jit_type_get_size (gcc_jit_type *type)
 {
   RETURN_VAL_IF_FAIL (type, -1, NULL, NULL, "NULL type");
   RETURN_VAL_IF_FAIL
-    (type->is_int () || type->is_float (), -1, NULL, NULL,
-     "only getting the size of integer or floating-point types is supported 
for now");
+    (type->is_int () || type->is_float () || type->is_pointer (), -1, NULL, 
NULL,
+     "only getting the size of integer or floating-point or pointer types is 
supported for now");
   return type->get_size ();
 }
 
diff --git a/gcc/testsuite/jit.dg/test-pointer_size.c 
b/gcc/testsuite/jit.dg/test-pointer_size.c
new file mode 100644
index 00000000000..337796acc2a
--- /dev/null
+++ b/gcc/testsuite/jit.dg/test-pointer_size.c
@@ -0,0 +1,27 @@
+/* { dg-do compile { target x86_64-*-* } } */
+
+#include <assert.h>
+#include "libgccjit.h"
+
+#include "harness.h"
+
+void
+create_code (gcc_jit_context *ctxt, void *user_data)
+{}
+
+void
+verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
+{
+  gcc_jit_type *int_type =
+    gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
+  gcc_jit_type *int_ptr_type = gcc_jit_type_get_pointer (int_type);
+
+  int int_ptr_size = gcc_jit_type_get_size (int_ptr_type);
+  CHECK_VALUE (int_ptr_size, 8);
+
+  gcc_jit_type *void_type =
+    gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
+  gcc_jit_type *void_ptr_type = gcc_jit_type_get_pointer (void_type);
+
+  CHECK_VALUE (int_ptr_size, gcc_jit_type_get_size (void_ptr_type));
+}