Fix on ReferenceVariable.points_to

pull/56/head
Josselin 6 years ago
parent c6b90f262a
commit a6c325d40c
  1. 5
      slither/slithir/variables/reference.py

@ -1,6 +1,6 @@
from slither.core.children.child_node import ChildNode from slither.core.children.child_node import ChildNode
from slither.core.declarations import Contract, Enum, SolidityVariableComposed from slither.core.declarations import Contract, Enum, SolidityVariable
from slither.core.variables.variable import Variable from slither.core.variables.variable import Variable
@ -36,8 +36,7 @@ class ReferenceVariable(ChildNode, Variable):
# Member or Index operator # Member or Index operator
from slither.slithir.utils.utils import is_valid_lvalue from slither.slithir.utils.utils import is_valid_lvalue
assert is_valid_lvalue(points_to) \ assert is_valid_lvalue(points_to) \
or isinstance(points_to, SolidityVariableComposed) \ or isinstance(points_to, (SolidityVariable, Contract, Enum))
or isinstance(points_to, (Contract, Enum))
self._points_to = points_to self._points_to = points_to

Loading…
Cancel
Save