called_routines are not stored in context at all.

This commit is contained in:
Chris Pressey 2019-10-22 16:26:50 +01:00
parent 1b5f4c0c4b
commit 4b518508d5
1 changed files with 0 additions and 3 deletions

View File

@ -35,7 +35,6 @@ class AnalysisContext(object):
self._terminated = False
self._gotos_encountered = set()
self._pointer_assoc = dict()
self.called_routines = set()
for ref in inputs:
if self.is_constant(ref):
@ -80,7 +79,6 @@ class AnalysisContext(object):
c._writeable = set(self._writeable)
c._pointer_assoc = dict(self._pointer_assoc)
c._gotos_encountered = set(self._gotos_encountered)
c.called_routines = set(self.called_routines)
return c
def update_from(self, other):
@ -96,7 +94,6 @@ class AnalysisContext(object):
self._writeable = set(other._writeable)
self._terminated = other._terminated
self._pointer_assoc = dict(other._pointer_assoc)
self.called_routines = set(other.called_routines)
def each_meaningful(self):
for ref in self._range.keys():