tests/reach-exit1.lst

   1 #xform_inst: booleanize_cond
   2 #xform: analyze_reach_defs
   3 #xform: collect_reach_exit
   4 10  if (!$a1) goto 30
   5 20  $a2 = 1
   6 21  goto 40
   7 30 30:
   8 20  $a3 = 2
   9 40 40:
  10 40  $a4 = 0
  11 50  return