From e4740bd0414f5d5c8f355b21fdcb7dbf06aff58c Mon Sep 17 00:00:00 2001 From: Petr Machata Date: Fri, 4 Mar 2011 21:28:40 +0100 Subject: [PATCH] dwarflint: Publish the option --dump-offsets - must have been forgotten - and one coding style nit --- dwarflint/check_debug_info.cc | 1 + dwarflint/check_debug_line.cc | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/dwarflint/check_debug_info.cc b/dwarflint/check_debug_info.cc index 59792d5c3..e13b0fe69 100644 --- a/dwarflint/check_debug_info.cc +++ b/dwarflint/check_debug_info.cc @@ -1144,6 +1144,7 @@ check_debug_info_refs::descriptor () static checkdescriptor cd (checkdescriptor::create ("check_debug_info_refs") .groups ("@low") + .option (dump_die_offsets) .prereq () .prereq () .description ( diff --git a/dwarflint/check_debug_line.cc b/dwarflint/check_debug_line.cc index d4675babb..14f91080d 100644 --- a/dwarflint/check_debug_line.cc +++ b/dwarflint/check_debug_line.cc @@ -125,8 +125,8 @@ namespace } bool - use_file (files_t &files, uint64_t file_idx, - where *where, char const *msg = "") + use_file (files_t &files, uint64_t file_idx, + where *where, char const *msg = "") { if (file_idx == 0 || file_idx > files.size ()) { -- 2.47.2