From eaf4bab84af4b3db1ca9c6785ed803bbbd61b9a7 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 1 Oct 2015 12:19:16 +0200
Subject: Only print locations for symbols that are present in the assembler.

---
 backend/PrintAsm.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'backend')

diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index a152e3c2..45b1e878 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -79,10 +79,11 @@ module Printer(Target:TARGET) =
       match v.gvar_init with
       | [] -> ()
       | _  ->
+          Debug.variable_printed (extern_atom name);
           let sec =
             match C2C.atom_sections name with
             | [s] -> s
-        |  _  -> Section_data true
+            |  _  -> Section_data true
           and align =
             match C2C.atom_alignof name with
             | Some a -> a
-- 
cgit