diff --git a/infer/src/IR/Typ.ml b/infer/src/IR/Typ.ml
index 438fdff2d..2d7e84163 100644
--- a/infer/src/IR/Typ.ml
+++ b/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
diff --git a/infer/src/IR/Typ.mli b/infer/src/IR/Typ.mli
index 4fe0edd55..91e688a1d 100644
--- a/infer/src/IR/Typ.mli
+++ b/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]