Store a set of callee names in Summary.t

Summary:
Store a set callee names (`Typ.Procname.Set`) in the summary of a procedure

This will allow a call graph to be constructed showing the dependencies between procedures from the perspective of the analyses

Reviewed By: ngorogiannis

Differential Revision: D16148907

fbshipit-source-id: ab6f5d616

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

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