133: Visit functions in while test

Author: adrianbn

examples/example_inputs/while_func_comparator.py

@@ -0,0 +1,6 @@
+def foo():
+ return 6
+
+while x < foo():
+ print(x)
+ x += 1

pyt/cfg/stmt_visitor.py

@@ -565,13 +565,18 @@ def visit_While(self, node):
  label_visitor = LabelVisitor()
  label_visitor.visit(node.test)
 
- test = self.append_node(Node(
+ while_node = self.append_node(Node(
  'while ' + label_visitor.result + ':',
  node,
  path=self.filenames[-1]
  ))
 
- return self.loop_node_skeleton(test, node)
+ for comp in node.test.comparators:
+ if isinstance(comp, ast.Call) and get_call_names_as_string(comp.func) in self.function_names:
+ last_node = self.visit(comp)
+ last_node.connect(while_node)
+
+ return self.loop_node_skeleton(while_node, node)
 
  def add_blackbox_or_builtin_call(self, node, blackbox): # noqa: C901
  """Processes a blackbox or builtin function when it is called.

tests/cfg/cfg_test.py

@@ -684,6 +684,38 @@ def test_while_line_numbers(self):
  self.assertLineNumber(else_body_2, 6)
  self.assertLineNumber(next_stmt, 7)
 
+ def test_while_func_iterator(self):
+ self.cfg_create_from_file('examples/example_inputs/while_func_comparator.py')
+
+ self.assert_length(self.cfg.nodes, expected_length=9)
+
+ entry = 0
+ test = 1
+ entry_foo = 2
+ ret_foo = 3
+ exit_foo = 4
+ call_foo = 5
+ _print = 6
+ body_1 = 7
+ _exit = 8
+
+ self.assertEqual(self.cfg.nodes[test].label, 'while x < foo():')
+
+ self.assertInCfg([
+ (test, entry),
+ (entry_foo, test),
+ (_print, test),
+ (_exit, test),
+ (body_1, _print),
+
+ (test, body_1),
+ (test, call_foo),
+ (ret_foo, entry_foo),
+ (exit_foo, ret_foo),
+ (call_foo, exit_foo),
+
+ ])
+
 
 class CFGAssignmentMultiTest(CFGBaseTestCase):
  def test_assignment_multi_target(self):