[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
master
Andrzej Kotulski 8 years ago committed by Facebook Github Bot
parent 2d97b5d111
commit 27ed2c7062

@ -895,7 +895,6 @@ struct
let res_trans_to_parent = PriorityNode.compute_results_to_parent trans_state_pri let res_trans_to_parent = PriorityNode.compute_results_to_parent trans_state_pri
sil_loc nname si all_res_trans in sil_loc nname si all_res_trans in
let add_cg_edge callee_pname = let add_cg_edge callee_pname =
if not (Builtin.is_registered callee_pname) then
Cg.add_edge context.CContext.cg procname callee_pname Cg.add_edge context.CContext.cg procname callee_pname
in in
Option.may add_cg_edge callee_pname_opt; Option.may add_cg_edge callee_pname_opt;

Loading…
Cancel
Save