diff --git a/gcc/jit/libgccjit.cc b/gcc/jit/libgccjit.cc
index 0a400a2..6c3ff9d 100644
--- a/gcc/jit/libgccjit.cc
+++ b/gcc/jit/libgccjit.cc
@@ -2533,10 +2533,10 @@
     if (dst_is_int || dst_is_bool)
       return true;
 
-  /* Permit casts between pointer types.  */
+  /* Permit casts between pointer types and integers and pointers.  */
   gcc::jit::recording::type *deref_src_type = src_type->is_pointer ();
   gcc::jit::recording::type *deref_dst_type = dst_type->is_pointer ();
-  if (deref_src_type && deref_dst_type)
+  if ((deref_src_type || src_is_int) && (deref_dst_type || dst_is_int))
     return true;
 
   return false;