TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

changed function name

Browse Source
pull/2069/head
Tiko7454 1 year ago
parent 4ecccfac66
commit 30f2667605
1 changed files with 3 additions and 3 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 6
      slither/solc_parsing/declarations/function.py

6
slither/solc_parsing/declarations/function.py
Unescape View File

@ -1401,7 +1401,7 @@ class FunctionSolc(CallerContextExpression):
################################################################################### ###################################################################################
################################################################################### ###################################################################################
def __make_temporary_variable_declaration_node( def __make_temporary_variable_declaration_node_from_condition(
self, self,
node_expression: "Expression", node_expression: "Expression",
node_source_mapping: SourceMapping, node_source_mapping: SourceMapping,
@ -1465,7 +1465,7 @@ class FunctionSolc(CallerContextExpression):
has_cond = HasConditional(node.expression) has_cond = HasConditional(node.expression)
if has_cond.result(): if has_cond.result():
if node.is_conditional(): if node.is_conditional():
temp_var_node, temp_var = self.__make_temporary_variable_declaration_node( temp_var_node, temp_var = self.__make_temporary_variable_declaration_node_from_condition(
node.expression, node.expression,
node.source_mapping, node.source_mapping,
node.scope, node.scope,
@ -1479,7 +1479,7 @@ class FunctionSolc(CallerContextExpression):
begin_loop_node: Optional[Node] = self.__find_start_loop_in_nodes_fathers(if_loop_node) begin_loop_node: Optional[Node] = self.__find_start_loop_in_nodes_fathers(if_loop_node)
if begin_loop_node: # if BEGIN_LOOP is IF_LOOP's father, IF_LOOP represents `while` if begin_loop_node: # if BEGIN_LOOP is IF_LOOP's father, IF_LOOP represents `while`
temp_var_node_pre_loop = temp_var_node temp_var_node_pre_loop = temp_var_node
temp_var_node_during_loop, _ = self.__make_temporary_variable_declaration_node( temp_var_node_during_loop, _ = self.__make_temporary_variable_declaration_node_from_condition(
if_loop_node.expression, if_loop_node.expression,
if_loop_node.source_mapping, if_loop_node.source_mapping,
if_loop_node.scope, if_loop_node.scope,

Write Preview
Loading…
Cancel
Save