let set_loc kinstr =
  match kinstr with
  | Kglobal -> CurrentLoc.clear ()
  | Kstmt s -> CurrentLoc.set (Stmt.loc s)