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;