static void load_loc (location &loc, Location const &sloc) { loc.file = files.add (sloc.file ()); loc.first_line = sloc.first_line (); loc.first_column = sloc.first_column (); loc.last_line = sloc.last_line (); loc.last_column = sloc.last_column (); }