[build] add missing `Typ.void_star` type

Reviewed By: jberdine

Differential Revision: D6151803

fbshipit-source-id: c76304b

infer/src/IR/Typ.ml

@@ -187,6 +187,8 @@ let mk ?default ?quals desc : t =
   mk_aux ?default ?quals desc
 
 
+let void_star = mk (Tptr (mk Tvoid, Pk_pointer))
+
 let merge_quals quals1 quals2 =
   { is_const= quals1.is_const || quals2.is_const
   ; is_restrict= quals1.is_restrict || quals2.is_restrict

infer/src/IR/Typ.mli

@@ -113,6 +113,9 @@ and template_spec_info =
 val mk : ?default:t -> ?quals:type_quals -> desc -> t
 (** Create Typ.t from given desc. if [default] is passed then use its value to set other fields such as quals *)
 
+val void_star : t
+(** void* type *)
+
 (** Stores information about type substitution *)
 type type_subst_t [@@deriving compare]