From c1daedb244d1f7586c12749642b0d78ae910e60a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 17 Dec 2014 11:33:23 +0100
Subject: Clean up support for common symbols.  Uninitialized "const" symbols
 can be common.

---
 arm/PrintAsm.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'arm')

diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml
index 7b9e2cc8..c7157aac 100644
--- a/arm/PrintAsm.ml
+++ b/arm/PrintAsm.ml
@@ -168,8 +168,10 @@ let thumbS oc =
 
 let name_of_section = function
   | Section_text -> ".text"
-  | Section_data i | Section_small_data i -> if i then ".data" else "COMM"
-  | Section_const | Section_small_const -> ".section	.rodata"
+  | Section_data i | Section_small_data i ->
+      if i then ".data" else "COMM"
+  | Section_const i | Section_small_const i ->
+      if i then ".section	.rodata" else "COMM"
   | Section_string -> ".section	.rodata"
   | Section_literal -> ".text"
   | Section_jumptable -> ".text"
-- 
cgit