Allow sending a const pointer as argument

Author: antoyo

gcc/jit/jit-recording.h

@@ -759,12 +759,6 @@ class memento_of_get_const : public decorated_type
   memento_of_get_const (type *other_type)
   : decorated_type (other_type) {}
 
-  bool accepts_writes_from (type */*rtype*/) FINAL OVERRIDE
-  {
-    /* Can't write to a "const".  */
-    return false;
-  }
-
   virtual type* copy(context* ctxt)
   {
     type* result = new memento_of_get_const (m_other_type->copy (ctxt));

gcc/jit/libgccjit.cc

@@ -2928,7 +2928,7 @@ gcc_jit_block_add_assignment (gcc_jit_block *block,
   RETURN_IF_FAIL (rvalue, ctxt, loc, "NULL rvalue");
   RETURN_IF_FAIL_PRINTF4 (
     gcc_jit_compatible_types ((gcc_jit_type*) lvalue->get_type (),
-		      (gcc_jit_type*) rvalue->get_type ()),
+		      (gcc_jit_type*) rvalue->get_type ()) || lvalue->get_type ()->is_const () != NULL,
     ctxt, loc,
     "mismatching types:"
     " assignment to %s (type: %s) from %s (type: %s)",
@@ -2974,7 +2974,7 @@ gcc_jit_block_add_assignment_op (gcc_jit_block *block,
   RETURN_IF_FAIL (rvalue, ctxt, loc, "NULL rvalue");
   RETURN_IF_FAIL_PRINTF4 (
     gcc_jit_compatible_types ((gcc_jit_type*) lvalue->get_type (),
-		      (gcc_jit_type*) rvalue->get_type ()),
+		      (gcc_jit_type*) rvalue->get_type ()) || lvalue->get_type ()->is_const () != NULL,
     ctxt, loc,
     "mismatching types:"
     " assignment to %s (type: %s) involving %s (type: %s)",