diff --git a/infer/src/backend/Summary.ml b/infer/src/backend/Summary.ml index 231e4019f..c3d4a6db8 100644 --- a/infer/src/backend/Summary.ml +++ b/infer/src/backend/Summary.ml @@ -71,7 +71,8 @@ include struct ; stats: Stats.t ; status: Status.t ; proc_desc: Procdesc.t - ; err_log: Errlog.t } + ; err_log: Errlog.t + ; callee_pnames: Typ.Procname.Set.t } [@@deriving fields] end @@ -243,7 +244,8 @@ let init_summary proc_desc = ; stats= Stats.empty ; status= Status.Pending ; proc_desc - ; err_log= Errlog.empty () } + ; err_log= Errlog.empty () + ; callee_pnames= Typ.Procname.Set.empty } in Typ.Procname.Hash.replace cache (Procdesc.get_proc_name proc_desc) summary ; summary diff --git a/infer/src/backend/Summary.mli b/infer/src/backend/Summary.mli index 2df166aa5..bb04a942d 100644 --- a/infer/src/backend/Summary.mli +++ b/infer/src/backend/Summary.mli @@ -46,7 +46,8 @@ type t = ; stats: Stats.t ; status: Status.t ; proc_desc: Procdesc.t - ; err_log: Errlog.t } + ; err_log: Errlog.t + ; callee_pnames: Typ.Procname.Set.t } val poly_fields : t PolyFields.t