Do not scrape const modifier on char pointers corresponding to strings

Follow-up to d5d11eb.
xavierleroy · Nov 9, 2022 · 9437be3 · 9437be3
1 parent 761a29f
commit 9437be3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/compiler/cvttyp.ml b/compiler/cvttyp.ml
@@ -222,7 +222,10 @@ let rec scrape_type = function
 (* Remove leading "const" from a type *)
 let rec scrape_const = function
     Type_const ty -> scrape_const ty
-  | Type_array(attr, ty) -> Type_array(attr, scrape_const ty)
+  | Type_array(attr, tyelt) as ty ->
+      if (attr.is_string || attr.is_bytes) && attr.bound = None
+      then ty
+      else Type_array(attr, scrape_const tyelt)
   | ty -> ty
 
 (* Determine if a type is an ignored pointer *)