tests/copy-propagate2.lst.exp.bb

   1 // Graph props:
   2 //  name: None
   3 //  trailing_jumps: True
   4
   5 // Predecessors: []
   6 // BBlock props:
   7 //  state_out: {$a=1, $c=$b, $d=$b}
   8 20:
   9 $b = $a
  10 $a = 1
  11 $c = $b
  12 $d = $b
  13 Exits: []