[cfg] always store specialized proc desc CFGs

Summary:
Store the correct version of the proc desc into the DB when specialising
it. This doesn't seem to be used but is useful for investigating after
the fact (eg, if we could print individual cfgs).

Reviewed By: mbouaziz

Differential Revision: D10380708

fbshipit-source-id: fd72dbfc2

infer/src/IR/SpecializeProcdesc.ml

@@ -172,9 +172,10 @@ let with_formals_types ?(has_clang_model = false) callee_pdesc resolved_pname ar
     ; is_specialized= true
     ; translation_unit }
   in
-  Attributes.store ~proc_desc:None resolved_attributes ;
+  let resolved_proc_desc = Procdesc.from_proc_attributes resolved_attributes in
-  let resolved_pdesc = Procdesc.from_proc_attributes resolved_attributes in
+  let resolved_proc_desc = with_formals_types_proc callee_pdesc resolved_proc_desc substitutions in
-  with_formals_types_proc callee_pdesc resolved_pdesc substitutions
+  Attributes.store ~proc_desc:(Some resolved_proc_desc) resolved_attributes ;
+  resolved_proc_desc
 
 
 let with_block_args_instrs resolved_pdesc substitutions =