From 73dba57e45dcc9715dc4b75317734ce0e3267158 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Wed, 2 Aug 2017 20:23:38 -0700
Subject: [PATCH] [cleanup] remove useless append_instrs on empty instruction
 list

Summary: Working on making CFG immutable by killing refs to functions that mutate them. This is an easy one because it doesn't do anything :).

Reviewed By: jeremydubreil, mbouaziz

Differential Revision: D5551521

fbshipit-source-id: bec76a9
---
 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 d829eb7dd..a5c773292 100644
--- a/infer/src/clang/cTrans.ml
+++ b/infer/src/clang/cTrans.ml
@@ -1720,7 +1720,6 @@ module CTrans_funct (F : CModule_type.CFrontend) : CModule_type.CTranslation = s
         let _ = connected_instruction (List.rev pre_case_stmts) top_entry_point in
         Procdesc.node_set_succs_exn context.procdesc switch_special_cond_node top_prune_nodes [] ;
         let top_nodes = res_trans_decl.root_nodes in
-        List.iter ~f:(fun n' -> Procdesc.Node.append_instrs n' []) succ_nodes ;
         (* succ_nodes will remove the temps *)
         {empty_res_trans with root_nodes= top_nodes; leaf_nodes= succ_nodes}
     | _