From ff280c2b6f35f8df4efff92903700da7d04fb415 Mon Sep 17 00:00:00 2001
From: Josselin <josselin@trailofbits.com>
Date: Fri, 11 Jan 2019 19:22:29 +0000
Subject: [PATCH] SSA: dont propage read_write info for nodes on PhiCallback
 instruction

---
 slither/core/cfg/node.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/slither/core/cfg/node.py b/slither/core/cfg/node.py
index 05ec3de81..8e9d98be5 100644
--- a/slither/core/cfg/node.py
+++ b/slither/core/cfg/node.py
@@ -580,6 +580,8 @@ class Node(SourceMapping, ChildFunction):
         if not self.expression:
             return
         for ir in self.irs_ssa:
+            if isinstance(ir, (PhiCallback)):
+                continue
             self._ssa_vars_read += [v for v in ir.read if isinstance(v,
                                                                      (StateIRVariable,
                                                                       LocalIRVariable))]