From 63f1a341b5a7879d33138f7cfde86b9e032d5bab Mon Sep 17 00:00:00 2001
From: Daiva Naudziuniene <daivan@fb.com>
Date: Wed, 9 May 2018 07:35:21 -0700
Subject: [PATCH] [cfg] Filter out join*->destructor->exit nodes as being not
 broken

Reviewed By: jvillard

Differential Revision: D7927878

fbshipit-source-id: 2c0eedd
---
 infer/src/IR/Cfg.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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