Merge pull request #442 from crytic/dev-empty-catch

Fix parsing of empty catch statement
pull/445/head
Feist Josselin 5 years ago committed by GitHub
commit ff8066e607
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      slither/solc_parsing/declarations/function.py

@ -511,6 +511,7 @@ class FunctionSolc(Function):
def _parse_catch(self, statement, node): def _parse_catch(self, statement, node):
block = statement.get('block', None) block = statement.get('block', None)
if block is None: if block is None:
raise ParsingError('Catch not correctly parsed by Slither %s' % statement) raise ParsingError('Catch not correctly parsed by Slither %s' % statement)
try_node = self._new_node(NodeType.CATCH, statement['src']) try_node = self._new_node(NodeType.CATCH, statement['src'])
@ -521,6 +522,7 @@ class FunctionSolc(Function):
else: else:
params = statement[self.get_children('children')] params = statement[self.get_children('children')]
if params:
for param in params.get('parameters', []): for param in params.get('parameters', []):
assert param[self.get_key()] == 'VariableDeclaration' assert param[self.get_key()] == 'VariableDeclaration'
self._add_param(param) self._add_param(param)

Loading…
Cancel
Save