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