tests/reach-exit-infloop.lst

   1 # Variables defined in infinite loops should not be recorded as reaching
   2 # function exit.
   3 #xform_inst: booleanize_cond
   4 #xform: cfg_single_exit
   5 #xform: number_postorder_from_exit
   6 #xform: number_postorder
   7 #xform: cfg_infloops_exit
   8 #xform: analyze_reach_defs
   9 #xform: collect_reach_exit
  10 10  if (!$a1) goto 30
  11 20  $a2 = 1
  12 21  goto 40
  13 30 30:
  14 30  $a3 = 2
  15 35  goto 30
  16 40 40:
  17 40  $a4 = 0
  18 50  return