From 2afca3f850d28cd67fd30fe3467d934ebe9dc9f5 Mon Sep 17 00:00:00 2001
From: varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 4 Jul 2012 08:48:17 +0000
Subject: checklink: some more debug tracing

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1953 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 checklink/Check.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'checklink')

diff --git a/checklink/Check.ml b/checklink/Check.ml
index 9608767..cf6843e 100644
--- a/checklink/Check.ml
+++ b/checklink/Check.ml
@@ -3004,6 +3004,7 @@ let is_padding bs start stop =
     Returns a framework where [chkd_bytes_list] is sorted and full.
 *)
 let check_padding efw =
+  print_debug "Checking padding";
   let elf = efw.elf in
   let sndxes = list_n elf.e_hdr.e_shnum in
   let matching_sections x y =
@@ -3161,6 +3162,7 @@ let check_sym_tab_zero efw =
     not the same, we warn the user.
 *)
 let warn_sections_remapping efw =
+  print_debug "Checking remapped sections";
   StringMap.fold
     (fun c_name e_name efw ->
       if c_name = e_name
@@ -3177,6 +3179,7 @@ let warn_sections_remapping efw =
     efw
 
 let warn_sda_mapping efw =
+  print_debug "Checking SDA mappings";
   if IntMap.is_empty efw.sda_map
   then efw
   else (
-- 
cgit v1.2.3