hphp/hack/test/ifc/analyse/for.php.exp

   1 === IFC analysis results for for.php
   2 Analyzing \test_constraints:
   3 * pc: pc
   4 * This: None
   5 * Return: <ret>
   6 * Exception: \Exception<exn, exn_lump>
   7 * Params:
   8   {}
   9 * Final environment:
  10   Deps: {}
  11   Constraints:
  12     [4:8-14] lit < $i
  13     [5:8-15] $i < $i'1, $i'1 < bop, lit'1 < bop, $i'2 < $i'1
  14     [6:8-12] bop < $i'2, $i'1 < $i'2
  15   Locals:
  16     { $#capability -> nothing; $#local_capability -> nothing; $i -> <$i'1> }
  17