diff --git a/infer/src/IR/Cfg.ml b/infer/src/IR/Cfg.ml
index f8c8be930..d4333002d 100644
--- a/infer/src/IR/Cfg.ml
+++ b/infer/src/IR/Cfg.ml
@@ -59,7 +59,7 @@ let is_proc_cfg_connected proc_desc =
   in
   let is_between_join_and_exit_node n =
     match Procdesc.Node.get_kind n with
-    | Procdesc.Node.Stmt_node "between_join_and_exit" -> (
+    | Procdesc.Node.Stmt_node "between_join_and_exit" | Procdesc.Node.Stmt_node "Destruction" -> (
       match Procdesc.Node.get_succs n with [n'] when is_exit_node n' -> true | _ -> false )
     | _ ->
         false