From fe89c5688c16c70e71c21e78e0b4e5745b49686a Mon Sep 17 00:00:00 2001 From: Sam Blackshear Date: Wed, 25 Oct 2017 13:38:27 -0700 Subject: [PATCH] [build] add missing `Typ.void_star` type Reviewed By: jberdine Differential Revision: D6151803 fbshipit-source-id: c76304b --- infer/src/IR/Typ.ml | 2 ++ infer/src/IR/Typ.mli | 3 +++ 2 files changed, 5 insertions(+) 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]