From 1a3942a903f8a3ea342f82cecfe8c50f47df31ba Mon Sep 17 00:00:00 2001
From: Jeremy Dubreil <jrm@fb.com>
Date: Sun, 15 Oct 2017 19:07:12 -0700
Subject: [PATCH] [infer][biabduction] clear the error log when creating a
 specialized clone of a method

Summary: This removes cases of duplicated warnings when the dynamic dispatch handling specializes a method Infer already reported on.

Reviewed By: sblackshear

Differential Revision: D6060337

fbshipit-source-id: dbefeca
---
 infer/src/IR/Cfg.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infer/src/IR/Cfg.ml b/infer/src/IR/Cfg.ml
index a07433058..a12782fac 100644
--- a/infer/src/IR/Cfg.ml
+++ b/infer/src/IR/Cfg.ml
@@ -417,7 +417,8 @@ let specialize_types callee_pdesc resolved_pname args =
       ~init:([], Mangled.Map.empty) callee_attributes.formals args
   in
   let resolved_attributes =
-    {callee_attributes with formals= List.rev resolved_params; proc_name= resolved_pname}
+    { callee_attributes with
+      formals= List.rev resolved_params; proc_name= resolved_pname; err_log= Errlog.empty () }
   in
   Attributes.store resolved_attributes ;
   let resolved_pdesc =