From 27ed2c7062166e72e0f43a02852fd6f7d621773a Mon Sep 17 00:00:00 2001
From: Andrzej Kotulski <akotulski@fb.com>
Date: Mon, 10 Oct 2016 07:18:19 -0700
Subject: [PATCH] [clang] always call add_edge

Summary: it seems to have no effect on analysis. As such it should be ok to add cg nodes for builtin model calls

Reviewed By: jberdine

Differential Revision: D3967399

fbshipit-source-id: 06c32e5
---
 infer/src/clang/cTrans.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/infer/src/clang/cTrans.ml b/infer/src/clang/cTrans.ml
index 6e454bcde..7dc639339 100644
--- a/infer/src/clang/cTrans.ml
+++ b/infer/src/clang/cTrans.ml
@@ -895,7 +895,6 @@ struct
         let res_trans_to_parent = PriorityNode.compute_results_to_parent trans_state_pri
             sil_loc nname si all_res_trans in
         let add_cg_edge callee_pname =
-          if not (Builtin.is_registered callee_pname) then
             Cg.add_edge context.CContext.cg procname callee_pname
         in
         Option.may add_cg_edge callee_pname_opt;