let compute_init_loc mem lv =
    match addr mem lv with
      | Warning(source,reason) ->
          Datalib.Collector.add_warning
            ~severe:false ~source ~reason
            "No translation for init l-value '%a'" !Ast_printer.d_lval lv ;
          raise SkipInit
      | Result loc -> loc