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