[java] fix char cast

Summary: A java char is not the same as a C char. Reviewed By: ezgicicek Differential Revision: D24620096 fbshipit-source-id: 9a1e345ca
4 years ago · b6eb480597
parent 4fb2fde4af
commit b6eb480597
2 changed files with 2 additions and 2 deletions
--- a/infer/src/IR/Typ.mli
+++ b/infer/src/IR/Typ.mli
@ -147,7 +147,7 @@ val java_short : t

 val boolean : t

-val char : t
+val char : t [@@warning "-32"]

 val int : t
 (** signed int type *)
--- a/infer/src/java/jTransType.ml
+++ b/infer/src/java/jTransType.ml
@ -47,7 +47,7 @@ let cast_type = function
  | JBir.I2B ->
      Typ.boolean
  | JBir.I2C ->
-      Typ.char
+      Typ.java_char
  | JBir.I2S ->
      Typ.java_short