Project

General

Profile

« Previous | Next » 

Revision 2fdbc781

Added by Pierre-Loïc Garoche about 5 years ago

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

View differences:

src/plugins/salsa/machine_salsa_opt.ml
57 57
      List.fold_left (fun vars (_, b) -> Vars.union vars (get_read_vars b) ) vars branches
58 58
    )
59 59
    | LT.MReset _ 
60
    | LT.MNoReset _ 
60 61
    | LT.MComment _ -> Vars.empty  
61 62
  )
62 63

  
......
73 74
      List.fold_left (fun vars (_, b) -> Vars.union vars (get_written_vars b) ) vars_tl branches
74 75
    )
75 76
    | LT.MReset _ 
77
    | LT.MNoReset _ 
76 78
    | LT.MComment _ -> Vars.empty    
77 79
  )
78 80

  
......
440 442
						  produced within branches *)
441 443

  
442 444

  
443
	 | LT.MReset(_) | LT.MComment _ ->
445
	 | LT.MReset(_) | LT.MNoReset _ | LT.MComment _ ->
444 446
			   if debug then Format.eprintf "Untouched %a (non real)@ " MC.pp_instr hd_instr;
445 447

  
446 448
			   (* Untouched instruction *)

Also available in: Unified diff