From 8360465284b423991cc84d4d0ecb06e224e7236e Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 17 Oct 2018 09:10:29 -0700 Subject: [PATCH] [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 | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/infer/src/IR/SpecializeProcdesc.ml b/infer/src/IR/SpecializeProcdesc.ml index 755c3111e..7b4e0fee4 100644 --- a/infer/src/IR/SpecializeProcdesc.ml +++ b/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_pdesc = Procdesc.from_proc_attributes resolved_attributes in - with_formals_types_proc callee_pdesc resolved_pdesc substitutions + let resolved_proc_desc = Procdesc.from_proc_attributes resolved_attributes in + let resolved_proc_desc = with_formals_types_proc callee_pdesc resolved_proc_desc substitutions in + Attributes.store ~proc_desc:(Some resolved_proc_desc) resolved_attributes ; + resolved_proc_desc let with_block_args_instrs resolved_pdesc substitutions =